display all the ideas for this combination of texts
11 ideas
18912 | Was logic a branch of mathematics, or mathematics a branch of logic? [Engelbretsen] |
Full Idea: Nineteenth century logicians debated whether logic should be treated simply as a branch of mathematics, and mathematics could be applied to it, or whether mathematics is a branch of logic, with no mathematics used in formulating logic. | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 3) | |
A reaction: He cites Boole, De Morgan and Peirce for the first view, and Frege and Russell (and their 'logicism') for the second. The logic for mathematics slowly emerged from doing it, long before it was formalised. Mathematics is the boss? |
10111 | Asserting Excluded Middle is a hallmark of realism about the natural world [George/Velleman] |
Full Idea: A hallmark of our realist stance towards the natural world is that we are prepared to assert the Law of Excluded Middle for all statements about it. For all statements S, either S is true, or not-S is true. | |
From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.4) | |
A reaction: Personally I firmly subscribe to realism, so I suppose I must subscribe to Excluded Middle. ...Provided the statement is properly formulated. Or does liking excluded middle lead me to realism? |
18922 | Logical syntax is actually close to surface linguistic form [Engelbretsen] |
Full Idea: The underlying logical syntax of language is close to the surface syntax of ordinary language. | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 5) | |
A reaction: This is the boast of the Term logicians, in opposition to the strained and unnatural logical forms of predicate logic, which therefore don't give a good account of the way ordinary speakers reason. An attractive programme. 'Terms' are the key. |
18905 | Propositions can be analysed as pairs of terms glued together by predication [Engelbretsen] |
Full Idea: Sommers's 'tree theory' of predication assumes that propositions can be analysed as pairs of terms joined by some kind of predicational glue. | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 2) | |
A reaction: This is the basis of Sommers's upgraded Aristotelian logic, known as Term Logic. The idea of reasoning with 'terms', rather than with objects, predicates and quantifiers, seems to me very appealing. I think I reason more about facts than about objects. |
18908 | Standard logic only negates sentences, even via negated general terms or predicates [Engelbretsen] |
Full Idea: Standard logic recognises only one kind of negation: sentential negation. Consequently, negation of a general term/predicate always amounts to negation of the entire sentence. | |
From: George Engelbretsen (Trees, Terms and Truth [2005], 3) |
10129 | A 'model' is a meaning-assignment which makes all the axioms true [George/Velleman] |
Full Idea: A 'model' of a theory is an assignment of meanings to the symbols of its language which makes all of its axioms come out true. | |
From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.7) | |
A reaction: If the axioms are all true, and the theory is sound, then all of the theorems will also come out true. |
10105 | Differences between isomorphic structures seem unimportant [George/Velleman] |
Full Idea: Mathematicians tend to regard the differences between isomorphic mathematical structures as unimportant. | |
From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3) | |
A reaction: This seems to be a pointer towards Structuralism as the underlying story in mathematics. The intrinsic character of so-called 'objects' seems unimportant. How theories map onto one another (and onto the world?) is all that matters? |
10119 | Consistency is a purely syntactic property, unlike the semantic property of soundness [George/Velleman] |
Full Idea: Consistency is a purely syntactic property, unlike the semantic property of soundness. | |
From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.6) |
10126 | A 'consistent' theory cannot contain both a sentence and its negation [George/Velleman] |
Full Idea: If there is a sentence such that both the sentence and its negation are theorems of a theory, then the theory is 'inconsistent'. Otherwise it is 'consistent'. | |
From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.7) |
10120 | Soundness is a semantic property, unlike the purely syntactic property of consistency [George/Velleman] |
Full Idea: Soundness is a semantic property, unlike the purely syntactic property of consistency. | |
From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.6) |
10127 | A 'complete' theory contains either any sentence or its negation [George/Velleman] |
Full Idea: If there is a sentence such that neither the sentence nor its negation are theorems of a theory, then the theory is 'incomplete'. Otherwise it is 'complete'. | |
From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.7) | |
A reaction: Interesting questions are raised about undecidable sentences, irrelevant sentences, unknown sentences.... |