Combining Texts

Ideas for '', 'works' and 'Begriffsschrift'

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

display all the ideas for this combination of texts


3 ideas

5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Frege replaced Aristotle's subject/predicate form with function/argument form [Frege, by Weiner]
     Full Idea: Frege's regimentation is based on the view of the simplest sort of statement as having, not subject/predicate form (as in Aristotle), but function/argument form.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege
     A reaction: This looks like being a crucial move into the modern world, where one piece of information is taken in and dealt with, as in computer procedures. Have educated people reorganised their minds along Fregean lines?
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
The sense of a connective comes from primitively obvious rules of inference [Rumfitt]
     Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious.
     From: Ian Rumfitt ("Yes" and "No" [2000], III)
     A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value.
Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt]
     Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table.
     From: Ian Rumfitt ("Yes" and "No" [2000])
     A reaction: This is the standard view which Rumfitt sets out to challenge.