Philosophy Lexicon of Arguments

Lambda Calculus, philosophy: The lambda calculus provides a way to avoid problems related to paradoxes, since, unlike the quantification of predicate logic, it does not make any existence assumptions. Where the quantification (Ex)(Fx) is translated colloquially as "There is an x with the property F" (in short "Something is F"), the translation of the corresponding form in the Lambda calculus is "An x, so that...". See also 2nd order logic.

Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments.
Author Item Excerpt Meta data

Books on Amazon
IV 210f
Lambda-Operator/abstraction operator/Grammar/Semantics/Lewis: Notation: x ^ - replaces complicated variable binding - instead, you just say: "is a thing x such that" - Then x ^ appears at a node in the tree - each variable has a corresponding lambda operator - we treat these as basic constituents, which do not appear in the surface structure.

Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.

D. Lewis
Die Identität von Körper und Geist Frankfurt 1989

D. Lewis
Konventionen Berlin 1975

D. Lewis
Philosophical Papers Bd I New York Oxford 1983

D. Lewis
Philosophical Papers Bd II New York Oxford 1986

LwCl I
Cl. I. Lewis
Mind and the World Order: Outline of a Theory of Knowledge (Dover Books on Western Philosophy) 1991

> Counter arguments against Lewis

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
Ed. Martin Schulz, access date 2017-06-27