15 ideas
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
From: Melvin Fitting (Intensional Logic [2007], 3) | |
A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
From: Melvin Fitting (Intensional Logic [2007], 3.3) |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
A reaction: [He cites Fagin and Halpern 1988 for this] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
From: Melvin Fitting (Intensional Logic [2007], §1) |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
19718 | Indefeasibility does not imply infallibility [Grundmann] |
Full Idea: Infallibility does not follow from indefeasibility. | |
From: Thomas Grundmann (Defeasibility Theory [2011], 'Significance') | |
A reaction: If very little evidence exists then this could clearly be the case. It is especially true of historical and archaeological evidence. |
22013 | Subjects distinguish representations, as related both to subject and object [Reinhold] |
Full Idea: In consciousness the subject distinguishes the representation from the subject and object, and relates it to both. | |
From: Karl Leonhard Reinhold (Foundations of Philosophical Knowledge [1791], p.78), quoted by Terry Pinkard - German Philosophy 1760-1860 04 | |
A reaction: This is a reminder that twentieth century analytic discussions of perception were largely recapitulating late Enlightenment German philosophy. This is a very good definition of sense-data. I can think about my representations. Reinhold was a realist. |
19717 | Can a defeater itself be defeated? [Grundmann] |
Full Idea: Can the original justification of a belief be regained through a successful defeat of a defeater? | |
From: Thomas Grundmann (Defeasibility Theory [2011], 'Defeater-Defs') | |
A reaction: [Jäger 2005 addresses this] I would have thought the answer is yes. I aspire to coherent justifications, so I don't see justifications as a chain of defeat and counter-defeat, but as collective groups of support and challenge. |
19716 | Simple reliabilism can't cope with defeaters of reliably produced beliefs [Grundmann] |
Full Idea: An unmodified reliabilism does not accommodate defeaters, and surely there can be defeaters against reliably produced beliefs? | |
From: Thomas Grundmann (Defeasibility Theory [2011], 'Defeaters') | |
A reaction: [He cites Bonjour 1980] Reliabilism has plenty of problems anyway, since a generally reliable process can obviously occasionally produce a bad result. 20:20 vision is not perfect vision. Internalist seem to like defeaters. |
19715 | You can 'rebut' previous beliefs, 'undercut' the power of evidence, or 'reason-defeat' the truth [Grundmann] |
Full Idea: There are 'rebutting' defeaters against the truth of a previously justified belief, 'undercutting' defeaters against the power of the evidence, and 'reason-defeating' defeaters against the truth of the reason for the belief. | |
From: Thomas Grundmann (Defeasibility Theory [2011], 'How') | |
A reaction: That is (I think) that you can defeat the background, the likelihood, or the truth. He cites Pollock 1986, and implies that these are standard distinctions about defeaters. |
19713 | Defeasibility theory needs to exclude defeaters which are true but misleading [Grundmann] |
Full Idea: Advocates of the defeasibility theory have tried to exclude true pieces of information that are misleading defeaters. | |
From: Thomas Grundmann (Defeasibility Theory [2011], 'What') | |
A reaction: He gives as an example the genuine news of a claim that the suspect has a twin. |
19714 | Knowledge requires that there are no facts which would defeat its justification [Grundmann] |
Full Idea: The 'defeasibility theory' of knowledge claims that knowledge is only present if there are no facts that - if they were known - would be genuine defeaters of the relevant justification. | |
From: Thomas Grundmann (Defeasibility Theory [2011], 'What') | |
A reaction: Something not right here. A genuine defeater would ensure the proposition was false, so it would simply fail the truth test. So we need a 'defeater' for a truth, which must therefore by definition be misleading. Many qualifications have to be invoked. |
19719 | 'Moderate' foundationalism has basic justification which is defeasible [Grundmann] |
Full Idea: Theories that combine basic justification with the defeasibility of this justification are referred to as 'moderate' foundationalism. | |
From: Thomas Grundmann (Defeasibility Theory [2011], 'Significance') | |
A reaction: I could be more sympathetic to this sort of foundationalism. But it begins to sound more like Neurath's boat (see Quine) than like Descartes' metaphor of building foundations. |