Combining Texts
Ideas for
'Axiomatic Theories of Truth (2005 ver)', 'Reply to Sixth Objections' and 'Goodbye Descartes'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
8 ideas
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
|
8091
|
Situation theory is logic that takes account of context [Devlin]
|
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
|
8087
|
Golden ages: 1900-1960 for pure logic, and 1950-1985 for applied logic [Devlin]
|
|
8089
|
Montague's intensional logic incorporated the notion of meaning [Devlin]
|
5. Theory of Logic / B. Logical Consequence / 7. Strict Implication
|
8082
|
Where a conditional is purely formal, an implication implies a link between premise and conclusion [Devlin]
|
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
|
15652
|
We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach]
|
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
|
8072
|
Sentences of apparent identical form can have different contextual meanings [Devlin]
|
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
|
15651
|
Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach]
|
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / a. Achilles paradox
|
8075
|
Space and time are atomic in the arrow, and divisible in the tortoise [Devlin]
|