more on this theme     |     more from this thinker

Single Idea 7729

[filed under theme 5. Theory of Logic / E. Structures of Logic / 1. Logical Form ]

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.

Clarification

A function is a procedure, using a value (the argument)

Gist of Idea

Frege replaced Aristotle's subject/predicate form with function/argument form

Source

report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege

Book Ref

Weiner,Joan: 'Frege' [OUP 1999], p.37

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?

The 20 ideas from 'Begriffsschrift'

7622 In 1879 Frege developed second order logic [Frege, by Putnam]
7729 Frege replaced Aristotle's subject/predicate form with function/argument form [Frege, by Weiner]
9991 For Frege the variable ranges over all objects [Frege, by Tait]
10536 Frege's domain for variables is all objects, but modern interpretations first fix the domain [Dummett on Frege]
9950 A quantifier is a second-level predicate (which explains how it contributes to truth-conditions) [Frege, by George/Velleman]
13609 Frege produced axioms for logic, though that does not now seem the natural basis for logic [Frege, by Kaplan]
7730 Frege introduced quantifiers for generality [Frege, by Weiner]
7742 Frege reduced most quantifiers to 'everything' combined with 'not' [Frege, by McCullogh]
13824 Proof theory began with Frege's definition of derivability [Frege, by Prawitz]
17855 It may be possible to define induction in terms of the ancestral relation [Frege, by Wright,C]
10607 Frege's logic has a hierarchy of object, property, property-of-property etc. [Frege, by Smith,P]
11008 Existence is not a first-order property, but the instantiation of a property [Frege, by Read]
22280 Frege's account was top-down and decompositional, not bottom-up and compositional [Frege, by Potter]
7741 The predicate 'exists' is actually a natural language expression for a quantifier [Frege, by Weiner]
22270 Frege changed philosophy by extending logic's ability to check the grounds of thinking [Potter on Frege]
8939 We should not describe human laws of thought, but how to correctly track truth [Frege, by Fisher]
17745 For Frege, 'All A's are B's' means that the concept A implies the concept B [Frege, by Walicki]
7728 Frege has a judgement stroke (vertical, asserting or judging) and a content stroke (horizontal, expressing) [Frege, by Weiner]
4971 I don't use 'subject' and 'predicate' in my way of representing a judgement [Frege]
16881 The laws of logic are boundless, so we want the few whose power contains the others [Frege]