more from this thinker     |     more from this text

---

Single Idea 4971

[filed under theme 4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC ]

Full Idea

A distinction of subject and predicate finds no place in my way of representing a judgement.

Gist of Idea

I don't use 'subject' and 'predicate' in my way of representing a judgement

Source

Gottlob Frege (Begriffsschrift [1879], §03)

Book Ref

'From Frege to Gödel 1879-1931', ed/tr. Heijenoort,Jean van [Harvard 1967], p.12

---

A Reaction

Perhaps this sentence could be taken as the beginning of modern analytical philosophy. The old view doesn't seem to me entirely redundant - merely replaced by a much more detailed analysis of what makes a 'subject' and what makes a 'predicate'.

---

The 3 ideas with the same theme [general ideas about standard predicate logic]:

4971	I don't use 'subject' and 'predicate' in my way of representing a judgement [Frege]

17750

The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]

5737	Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia]