The Stack Overflow podcast is back! Listen to an interview with our new CEO.
3 edited tags
| link
2 added 541 characters in body
source | link

I'm reading this page https://plato.stanford.edu/entries/type-theory/ where the words predicative and impredicative are used in this context:

Notice that for defining the predicate R, we have used an impredicative existential quantification on predicates. It can be shown that the predicative version of Frege’s system is consistent

What does predicative mean?

Edit: I actually found the terms expanded on later in the page

In order to further motivate this hierarchy, here is one example due to Russell. If we say Napoleon was Corsican. we do not refer in this sentence to any assemblage of properties. The property “to be Corsican” is said to be predicative. If we say on the other hand Napoleon had all the qualities of a great general we are referring to a totality of qualities. The property “to have all qualities of a great general” is said to be impredicative.

I'm reading this page https://plato.stanford.edu/entries/type-theory/ where the words predicative and impredicative are used in this context:

Notice that for defining the predicate R, we have used an impredicative existential quantification on predicates. It can be shown that the predicative version of Frege’s system is consistent

What does predicative mean?

I'm reading this page https://plato.stanford.edu/entries/type-theory/ where the words predicative and impredicative are used in this context:

Notice that for defining the predicate R, we have used an impredicative existential quantification on predicates. It can be shown that the predicative version of Frege’s system is consistent

What does predicative mean?

Edit: I actually found the terms expanded on later in the page

In order to further motivate this hierarchy, here is one example due to Russell. If we say Napoleon was Corsican. we do not refer in this sentence to any assemblage of properties. The property “to be Corsican” is said to be predicative. If we say on the other hand Napoleon had all the qualities of a great general we are referring to a totality of qualities. The property “to have all qualities of a great general” is said to be impredicative.

1
source | link

What does predicative mean?

I'm reading this page https://plato.stanford.edu/entries/type-theory/ where the words predicative and impredicative are used in this context:

Notice that for defining the predicate R, we have used an impredicative existential quantification on predicates. It can be shown that the predicative version of Frege’s system is consistent

What does predicative mean?