Combining Texts

All the ideas for 'Letter to G.H. Schaller', 'First-order Logic, 2nd-order, Completeness' and 'A Defense of Presentism'

expand these ideas     |    start again     |     specify just one area for these texts

24 ideas

1. Philosophy / G. Scientific Philosophy / 3. Scientism
14001 People who use science to make philosophical points don't realise how philosophical science is [Markosian]
3. Truth / B. Truthmakers / 9. Making Past Truths
13991 Presentism has the problem that if Socrates ceases to exist, so do propositions about him [Markosian]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10751 Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg]
10757 Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg]
10759 There are at least seven possible systems of semantics for second-order logic [Rossberg]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
10753 Logical consequence is intuitively semantic, and captured by model theory [Rossberg]
5. Theory of Logic / B. Logical Consequence / 3. Deductive Consequence |-
10752 Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
10754 In proof-theory, logical form is shown by the logical constants [Rossberg]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10756 A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
10758 If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg]
5. Theory of Logic / K. Features of Logics / 4. Completeness
10761 Completeness can always be achieved by cunning model-design [Rossberg]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
10755 A deductive system is only incomplete with respect to a formal semantics [Rossberg]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
14002 Possible worlds must be abstract, because two qualitatively identical worlds are just one world [Markosian]
16. Persons / F. Free Will / 5. Against Free Will
4871 A thing is free if it acts only by the necessity of its own nature [Spinoza]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
14000 'Grabby' truth conditions first select their object, unlike 'searchy' truth conditions [Markosian]
27. Natural Reality / D. Time / 1. Nature of Time / h. Presentism
13990 Presentism is the view that only present objects exist [Markosian]
13992 Presentism says if objects don't exist now, we can't have attitudes to them or relations with them [Markosian]
13994 Presentism seems to entail that we cannot talk about other times [Markosian]
13995 Serious Presentism says things must exist to have relations and properties; Unrestricted version denies this [Markosian]
13996 Maybe Presentists can refer to the haecceity of a thing, after the thing itself disappears [Markosian]
13997 Maybe Presentists can paraphrase singular propositions about the past [Markosian]
13993 Special Relativity denies the absolute present which Presentism needs [Markosian]
27. Natural Reality / D. Time / 2. Passage of Time / k. Temporal truths
13998 Objects in the past, like Socrates, are more like imaginary objects than like remote spatial objects [Markosian]
13999 People are mistaken when they think 'Socrates was a philosopher' says something [Markosian]