Combining Philosophers
Ideas for Richard Cumberland, Kit Fine and Lynch,MP/Glasgow,JM
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
21 ideas
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
23548
|
Indeterminacy is in conflict with classical logic [Fine,K]
|
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
17286
|
Logical consequence is verification by a possible world within a truth-set [Fine,K]
|
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
9775
|
Excluded Middle, and classical logic, may fail for vague predicates [Fine,K]
|
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
12220
|
Is it the sentence-token or the sentence-type that has a logical form? [Fine,K]
|
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
11175
|
Logical concepts rest on certain inferences, not on facts about implications [Fine,K]
|
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
9148
|
I think of variables as objects rather than as signs [Fine,K]
|
15592
|
The usual Tarskian interpretation of variables is to specify their range of values [Fine,K]
|
15593
|
Variables can be viewed as special terms - functions taking assignments into individuals [Fine,K]
|
15590
|
It seemed that Frege gave the syntax for variables, and Tarski the semantics, and that was that [Fine,K]
|
15591
|
In separate expressions variables seem identical in role, but in the same expression they aren't [Fine,K]
|
15595
|
The 'algebraic' account of variables reduces quantification to the algebra of its component parts [Fine,K]
|
15594
|
'Instantial' accounts of variables say we grasp arbitrary instances from their use in quantification [Fine,K]
|
5. Theory of Logic / E. Structures of Logic / 8. Theories in Logic
14620
|
Theories in logic are sentences closed under consequence, but in truth discussions theories have axioms [Fine,K]
|
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
15599
|
Cicero/Cicero and Cicero/Tully may differ in relationship, despite being semantically the same [Fine,K]
|
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
11176
|
The property of Property Abstraction says any suitable condition must imply a property [Fine,K]
|
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
12222
|
Substitutional quantification is referential quantification over expressions [Fine,K]
|
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
10569
|
If you ask what F the second-order quantifier quantifies over, you treat it as first-order [Fine,K]
|
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
10570
|
Assigning an entity to each predicate in semantics is largely a technical convenience [Fine,K]
|
23539
|
Classical semantics has referents for names, extensions for predicates, and T or F for sentences [Fine,K]
|
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
9771
|
Logic holding between indefinite sentences is the core of all language [Fine,K]
|
11174
|
A logical truth is true in virtue of the nature of the logical concepts [Fine,K]
|