green numbers give full details.

back to list of philosophers

expand these ideas
Ideas of Melvin Fitting, by Text
[American, fl. 1998, At Lehmann College.]
§1

p.2

11026

Classical logic is deliberately extensional, in order to model mathematics

§3.3

p.15

11028

λabstraction disambiguates the scope of modal operators

3

p.8

15375

If terms change their designations in different states, they are functions from states to objects

3.3

p.14

15376

Intensional logic adds a second type of quantification, over intensional objects, or individual concepts

3.4

p.16

15377

Definite descriptions pick out different objects in different possible worlds

3.6.1

p.23

15379

Justication logics make explicit the reasons for mathematical truth in proofs

3.6.1

p.23

15378

Awareness logic adds the restriction of an awareness function to epistemic logic
