display all the ideas for this combination of texts
4 ideas
10704 | We can formalize second-order formation rules, but not inference rules [Potter] |
Full Idea: In second-order logic only the formation rules are completely formalizable, not the inference rules. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 01.2) | |
A reaction: He cites Gödel's First Incompleteness theorem for this. |
18489 | Connectives link sentences without linking their meanings [MacBride] |
Full Idea: The 'connectives' are expressions that link sentences but without expressing a relation that holds between the states of affairs, facts or tropes that these sentences denote. | |
From: Fraser MacBride (Truthmakers [2013], 3.7) | |
A reaction: MacBride notes that these contrast with ordinary verbs, which do express meaningful relations. |
18476 | 'A is F' may not be positive ('is dead'), and 'A is not-F' may not be negative ('is not blind') [MacBride] |
Full Idea: Statements of the form 'a is F' aren't invariably positive ('a is dead'), and nor are statements of the form 'a isn't F' ('a isn't blind') always negative. | |
From: Fraser MacBride (Truthmakers [2013], 2.1.4) | |
A reaction: The point is that the negation may be implicit in the predicate. There are many ways to affirm or deny something, other than by use of the standard syntax. |
10703 | Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter] |
Full Idea: A 'supposition' axiomatic theory is as concerned with truth as a 'realist' one (with undefined terms), but the truths are conditional. Satisfying the axioms is satisfying the theorem. This is if-thenism, or implicationism, or eliminative structuralism. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 01.1) | |
A reaction: Aha! I had failed to make the connection between if-thenism and eliminative structuralism (of which I am rather fond). I think I am an if-thenist (not about all truth, but about provable truth). |