Combining Philosophers

All the ideas for Moses Schönfinkel, Melvin Fitting and G. Aldo Antonelli

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

18 ideas

2. Reason / E. Argument / 1. Argument
19115 You can 'rebut' an argument's conclusion, or 'undercut' its premises [Antonelli]
4. Formal Logic / E. Nonclassical Logics / 1. Nonclassical Logics
19119 We infer that other objects are like some exceptional object, if they share some of its properties [Antonelli]
4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
15375 If terms change their designations in different states, they are functions from states to objects [Fitting]
15376 Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting]
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
15378 Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
15379 Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
4. Formal Logic / E. Nonclassical Logics / 12. Non-Monotonic Logic
19111 Reasoning may be defeated by new premises, or by finding out more about the given ones [Antonelli]
19114 Should we accept Floating Conclusions, derived from two arguments in conflict? [Antonelli]
19113 Weakest Link Principle: prefer the argument whose weakest link is the stronger [Antonelli]
19116 Non-monotonic core: Reflexivity, Cut, Cautious Monotonicity, Left Logical Equivalence, Right Weakening [Antonelli]
19117 We can rank a formula by the level of surprise if it were to hold [Antonelli]
19118 People don't actually use classical logic, but may actually use non-monotonic logic [Antonelli]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
11026 Classical logic is deliberately extensional, in order to model mathematics [Fitting]
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
17699 Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
11028 λ-abstraction disambiguates the scope of modal operators [Fitting]
5. Theory of Logic / K. Features of Logics / 10. Monotonicity
19110 In classical logic the relation |= has Monotony built into its definition [Antonelli]
19112 Cautious Monotony ignores proved additions; Rational Monotony fails if the addition's negation is proved [Antonelli]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]