| 
|
QuoteRef: churA_1951
topics >
all references >
ThesaHelp:
references c-d
Topic:
natural language as a system
Topic:
reductionism
Group:
function
Topic:
lambda calculus
Group:
naming
Topic:
data type as a set of values
Topic:
sense perception
Reference
Church, A., "The need for abstract entities", American Academy of Arts and Sciences Proceedings, 80, pp. 100-113, 1951. Google
Other Reference
Church, A., "Intensional Semantics," p. 40-47 in Martinich, A.P. (ed), The Philosophy of Language, 2nd edition, New York: Oxford University Press, 1990.
40 ;;Quote: seek a normative, abstract theory of language; like applied geometry is the abstract theory for surveying
41 ;;Quote: a form has a value for every system of admissible values of its free variables
41+;;Quote: a form is a meaningful expression with free variables
41+;;Quote: names are meaningful expressions without free variables
41+;;Quote: a free variable in a form has a range that define its admissible values
41 ;;Quote: assume unambiguous concepts, unambiguous constants, the free variables of a form determine its sense-value
43 ;;Quote: there is no difference in principle between a formalized language and a natural language; differing degrees of completeness
42 ;;Quote: understanding a concept and seeing an object are similar processes; both are through intermediaries such as retinas and linguistic expressions
ThesaHelp: references c-d (337 items)
Topic: natural language as a system (43 items)
Topic: reductionism (51 items)
Group: function (12 topics, 232 quotes)
Topic: lambda calculus (14 items)
Group: naming (32 topics, 784 quotes)
Topic: data type as a set of values (20 items)
Topic: sense perception (52 items)