Combining Texts

Ideas for 'fragments/reports', 'works' and 'Non-Monotonic Logic'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

8 ideas

5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
9179 Frege frequently expressed a contempt for language [Frege, by Dummett]
5. Theory of Logic / C. Ontology of Logic / 2. Platonism in Logic
13473 Frege thinks there is an independent logical order of the truths, which we must try to discover [Frege, by Hart,WD]
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
6076 For Frege, predicates are names of functions that map objects onto the True and False [Frege, by McGinn]
3319 Frege gives a functional account of predication so that we can dispense with predicates [Frege, by Benardete,JA]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
9871 Frege always, and fatally, neglected the domain of quantification [Dummett on Frege]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
16884 Basic truths of logic are not proved, but seen as true when they are understood [Frege, by Burge]
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]