Combining Texts

All the ideas for '04: Gospel of St John', 'Logical Necessity' and 'What Does It Take to Refer?'

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


34 ideas

2. Reason / A. Nature of Reason / 2. Logos
In the beginning was the Word, and the Word was with God, and the word was God [John]
3. Truth / A. Truth Problems / 2. Defining Truth
Jesus said he bore witness to the truth. Pilate asked, What is truth? [John]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
The logic of metaphysical necessity is S5 [Rumfitt]
4. Formal Logic / E. Nonclassical Logics / 6. Free Logic
Free logic at least allows empty names, but struggles to express non-existence [Bach]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Soundness in argument varies with context, and may be achieved very informally indeed [Rumfitt]
There is a modal element in consequence, in assessing reasoning from suppositions [Rumfitt]
We reject deductions by bad consequence, so logical consequence can't be deduction [Rumfitt]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
In first-order we can't just assert existence, and it is very hard to deny something's existence [Bach]
5. Theory of Logic / D. Assumptions for Logic / 3. Contradiction
Contradictions include 'This is red and not coloured', as well as the formal 'B and not-B' [Rumfitt]
5. Theory of Logic / E. Structures of Logic / 3. Constants in Logic
In logic constants play the role of proper names [Bach]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
Proper names can be non-referential - even predicate as well as attributive uses [Bach]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
Millian names struggle with existence, empty names, identities and attitude ascription [Bach]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / a. Descriptions
An object can be described without being referred to [Bach]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
Definite descriptions can be used to refer, but are not semantically referential [Bach]
5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof
Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [Rumfitt]
10. Modality / A. Necessity / 3. Types of Necessity
A distinctive type of necessity is found in logical consequence [Rumfitt, by Hale/Hoffmann,A]
10. Modality / A. Necessity / 6. Logical Necessity
Logical necessity is when 'necessarily A' implies 'not-A is contradictory' [Rumfitt]
A logically necessary statement need not be a priori, as it could be unknowable [Rumfitt]
Narrow non-modal logical necessity may be metaphysical, but real logical necessity is not [Rumfitt]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
If a world is a fully determinate way things could have been, can anyone consider such a thing? [Rumfitt]
19. Language / B. Reference / 1. Reference theories
Fictional reference is different inside and outside the fiction [Bach]
We can refer to fictional entities if they are abstract objects [Bach]
You 'allude to', not 'refer to', an individual if you keep their identity vague [Bach]
19. Language / B. Reference / 4. Descriptive Reference / b. Reference by description
What refers: indefinite or definite or demonstrative descriptions, names, indexicals, demonstratives? [Bach]
If we can refer to things which change, we can't be obliged to single out their properties [Bach]
We can think of an individual without have a uniquely characterizing description [Bach]
It can't be real reference if it could refer to some other thing that satisfies the description [Bach]
Since most expressions can be used non-referentially, none of them are inherently referential [Bach]
Just alluding to or describing an object is not the same as referring to it [Bach]
19. Language / B. Reference / 5. Speaker's Reference
Context does not create reference; it is just something speakers can exploit [Bach]
'That duck' may not refer to the most obvious one in the group [Bach]
What a pronoun like 'he' refers back to is usually a matter of speaker's intentions [Bach]
Information comes from knowing who is speaking, not just from interpretation of the utterance [Bach]
19. Language / F. Communication / 5. Pragmatics / a. Contextual meaning
People slide from contextual variability all the way to contextual determination [Bach]