substitutional quantification
- substitutional quantification
A sentence containing a
quantifier is usually interpreted by assigning values to the variable it contains. By contrast, it is interpreted substitutionally, if expressions are substituted for the variable, and the result evaluated according to whether any of the substitutions produce a true sentence. Substitutional quantifiers are frequently written Σ and Π. (Σ
x )(logicians are
x ) would be evaluated as true, with the quantifier interpreted susbstitutionally, if there is a sentence ‘logicians are…’ which is true.
Philosophy dictionary.
Academic.
2011.
Look at other dictionaries:
Dovid Gottlieb — Not to be confused with David Gottlieb. Dovid Gottlieb is a senior faculty member at Ohr Somayach in Jerusalem. An author and lecturer, Gottlieb received his Ph.D. in mathematical logic at Brandeis University and later become Professor of… … Wikipedia
List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… … Wikipedia
Saul Kripke — Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE name = Saul Kripke birth = birth date and age|1940|11|13 death = school tradition = Analytic main interests = Logic (particularly modal) Philosophy of… … Wikipedia
Formal semantics — See also Formal semantics of programming languages. Formal semantics is the study of the semantics, or interpretations, of formal languages. A formal language can be defined apart from any interpretation of it. This is done by designating a set… … Wikipedia
Quasi-quotation — is a linguistic device that facilitates rigorous and terse formulation of general rules about linguistic expressions while properly observing the use mention distinction. It was introduced in by the philosopher and logician Willard van Orman… … Wikipedia
Saul Kripke — Kripke en 2005. Saul Aaron Kripke (1940, Omaha, Nebraska) es un filósofo y lógico estadounidense. Actualmente es profesor emérito de la Universidad de Princeton. Kripke ha realizado importantes y originales contribuciones en diversos campos… … Wikipedia Español
Крипке, Сол Аарон — Сол Крипке Дата рождения: 13 ноября 1940(1940 11 13) (72 года) … Википедия
Truth-value semantics — In formal semantics, truth value semantics is an alternative to Tarskian semantics. It has been primarily championed by Ruth Barcan Marcus, H. Leblanc, and M. Dunn and N. Belnap. It is also called the substitution interpretation (of the… … Wikipedia
Marett Lecture — The Robert Ranulph Marett Memorial Lectureship at Exeter College, Oxford is a memorial lecture established in memory of the late R. R. Marett, D.Litt., D.Sc., F.B.A., Rector of the College 1928 43, by subscribers to a Memorial Fund.[1] Date… … Wikipedia
Logical symbols — Reading logical symbolism frightens many people more than it should. The very term symbolic logic sounds terrifying, and the presence of even a small amount of symbolism may deter many readers from otherwise perfectly intelligible texts. The… … Philosophy dictionary
