Combining Philosophers
Ideas for Archimedes, Kit Fine and Giles of Orleans
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
10 ideas
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]
|