17 ideas
18696 | The vagueness of truthmaker claims makes it easier to run anti-realist arguments [Button] |
Full Idea: The sheer lack of structure demanded by truthmaker theorists means that it is easier to run model-theoretic arguments against them than against correspondence theorists. | |
From: Tim Button (The Limits of Reason [2013], 02.3) | |
A reaction: Truthmaking is a vague relation, where correspondence is fairly specific. Model arguments say you can keep the sentences steady, but shuffle around what they refer to. |
18701 | The coherence theory says truth is coherence of thoughts, and not about objects [Button] |
Full Idea: According to the coherence theory of truth, for our thoughts to be true is not for them to be about objects, but only for them to cohere with one another. This is rather terrifying. | |
From: Tim Button (The Limits of Reason [2013], 14.2) | |
A reaction: Davidson espoused this view in 1983, but then gave it up. It strikes me as either a daft view of truth, or a denial of truth. The coherence theory of justification, on the other hand, is correct. |
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. |
18694 | Permutation Theorem: any theory with a decent model has lots of models [Button] |
Full Idea: The Permutation Theorem says that any theory with a non-trivial model has many distinct isomorphic models with the same domain. | |
From: Tim Button (The Limits of Reason [2013], 02.1) | |
A reaction: This may be the most significant claim of model theory, since Putnam has erected an argument for anti-realism on it. See the ideas of Tim Button. |
18692 | Realists believe in independent objects, correspondence, and fallibility of all theories [Button] |
Full Idea: External realists have three principles: Independence - the world is objects that are independent of mind, language and theory; Correspondence - truth involves some correspondence of thoughts and things; Cartesian - an ideal theory might be false. | |
From: Tim Button (The Limits of Reason [2013], 01.1-3) | |
A reaction: [compressed; he cites Descartes's Demon for the third] Button is setting these up as targets. I subscribe to all three, in some form or other. Of course, as a theory approaches the success implying it is 'ideal', it becomes highly likely to be accurate. |
18693 | Indeterminacy arguments say if a theory can be made true, it has multiple versions [Button] |
Full Idea: Indeterminacy arguments aim to show that if there is any way to make a theory true, then there are many ways to do so. | |
From: Tim Button (The Limits of Reason [2013], 02.1) | |
A reaction: Button says the simplest indeterminacy argument is Putnam's Permutation Argument - that you can shuffle the objects in a formal model, without affecting truth. But do we belief that metaphysics can be settled in this sort of way? |
18695 | An ideal theory can't be wholly false, because its consistency implies a true model [Button] |
Full Idea: If realists think an ideal theory could be false, then the theory is consistent, and hence complete, and hence finitely modellable, and hence it is guaranteed that there is some way to make it true. | |
From: Tim Button (The Limits of Reason [2013], 02.2) | |
A reaction: [compressed] This challenges the realists' supposed claim that even the most ideal of theories could possibly be false. Presumably for a theory to be 'ideal' is not all-or-nothing. Are we capable of creating a fully ideal theory? [Löwenheim-Skolem] |
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. |
18700 | Cartesian scepticism doubts what is true; Kantian scepticism doubts that it is sayable [Button] |
Full Idea: Cartesian scepticism agonises over whether our beliefs are true or false, whereas Kantian scepticism agonises over how it is even possible for beliefs to be true or false. | |
From: Tim Button (The Limits of Reason [2013], 07.2) | |
A reaction: Kant's question is, roughly, 'how can our thoughts succeed in being about the world?' Kantian scepticism is the more drastic, and looks vulnerable to a turning of the tables, but asking how Kantian worries can even be expressed. |
18698 | Predictions give the 'content' of theories, which can then be 'equivalent' or 'adequate' [Button] |
Full Idea: The empirical 'content' of a theory is all its observable predictions. Two theories with the same predictions are empirically 'equivalent'. A theory which gets it all right at this level is empirically 'adequate'. | |
From: Tim Button (The Limits of Reason [2013], 05.1) |
4741 | A very powerful computer might have its operations restricted by the addition of consciousness [Clark,T] |
Full Idea: It seems possible that if a powerful multi-tasking computer was then given consciousness, this might restrict its operations instead of enhancing them. | |
From: Tom Clark (talk [2003]), quoted by PG - Db (ideas) | |
A reaction: A nice thought, because it challenges the usual view - that consciousness brings huge intellectual liberty to a mind, and that a mind without it is necessarily restricted. Maybe consciousness is a bottleneck. |
18697 | A sentence's truth conditions are all the situations where it would be true [Button] |
Full Idea: A sentence's truth conditions comprise an exhaustive list of the situations in which that sentence would be true. | |
From: Tim Button (The Limits of Reason [2013], 03.4) | |
A reaction: So to know its meaning you must know those conditions? Compare 'my cat is licking my finger' with 'dramatic events are happening in Ethiopia'. It should take an awful long time to grasp the second sentence. |