Philosophy Lexicon of Arguments

Existential generalization, logic: if an object that can be named, has a certain property, then there is at least one object with this property. See also universal generalization, universal instantiation.
Author Item Excerpt Meta data
Tarski, Alfred
Books on Amazon
Existential Generalization Berka I 469
Generalization/generalization/Tarski: ((s) here: not existential generalization?) lets free variables disappear.
Berka I 480
Generalization/generalization/fulfillment/"at most distinguishing at i-th position"/Tarski: ((s) here not existential generalization) - Let x be a propositional function, assuming it is already known, which sequences fulfill the function x - by considering the content of the considered operation, we will only claim of the sequence f that it satisfies the LKx function if the sequence itself satisfies the x function and even then not stops to satisfy it if the k-th term varies in any way - e.g. the function L2l1,2 is only satisfied by such a sequence, which verifies the formula f1

Tarsk I
A. Tarski
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983

> Counter arguments against Tarski

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file
Ed. Martin Schulz, access date 2017-04-28