Combining Texts

Ideas for 'fragments/reports', 'An Introduction to Modal Logic' and 'First-order Logic, 2nd-order, Completeness'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / E. Structures of Logic / 1. Logical Form

10754	In proof-theory, logical form is shown by the logical constants [Rossberg]
	Full Idea: A proof-theorist could insist that the logical form of a sentence is exhibited by the logical constants that it contains.
	From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §2)
	A reaction: You have to first get to the formal logical constants, rather than the natural language ones. E.g. what is the truth table for 'but'? There is also the matter of the quantifiers and the domain, and distinguishing real objects and predicates from bogus.