Combining Philosophers

All the ideas for Herodotus, Jonathan Bennett and Marcus Rossberg

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

21 ideas

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10757 Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg]
10751 Second-order logic needs the sets, and its consequence has epistemological problems [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]
7. Existence / B. Change in Existence / 4. Events / a. Nature of events
8440 Maybe an event's time of occurrence is essential to it [Bennett]
8439 Maybe each event has only one possible causal history [Bennett]
7. Existence / B. Change in Existence / 4. Events / c. Reduction of events
8978 Events are made of other things, and are not fundamental to ontology [Bennett]
26. Natural Theory / C. Causation / 1. Causation
8441 Delaying a fire doesn't cause it, but hastening it might [Bennett]
8436 Either cause and effect are subsumed under a conditional because of properties, or it is counterfactual [Bennett]
26. Natural Theory / C. Causation / 2. Types of cause
8435 Causes are between events ('the explosion') or between facts/states of affairs ('a bomb dropped') [Bennett]
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
10364 Facts are about the world, not in it, so they can't cause anything [Bennett]
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
8437 The full counterfactual story asserts a series of events, because counterfactuals are not transitive [Bennett]
8438 A counterfactual about an event implies something about the event's essence [Bennett]
27. Natural Reality / C. Space / 4. Substantival Space
8592 Empty space is measurable in ways in which empty time necessarily is not [Bennett, by Shoemaker]
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
1513 The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus]