“For reasons mentioned at the beginning of this section, we cannot offer here a precise structural definition of semantical category and will content ourselves with the following approximate formulation: two expressions belong to the same semantical category if (I) there is a sentential function which contains one of these expressions, and if (2) no sentential function which contains one of these expressions ceases to be a sentential function if this expression is replaced in it by the other. It follows from this that the relation of belonging to the same category is reflective, symmetrical and transitive. By applying the principle of abstraction, all the expressions of the language which are parts of sentential functions can be divided into mutually exclusive classes, for two expressions are put into one and the same class if and only if they belong to the same semantical category, and each of these classes is called a semantical category. Among the simplest examples of semantical categories it suffices to mention the category of the sentential functions, together with the categories which include respectively the names of individuals, of classes of individuals, of two-termed relations between individuals, and so on. Variables (or expressions with variables) which represent names of the given categories likewise belong to the same category.”

Source: The Semantic Conception of Truth (1952), p. 45; as cited in: Schaff (1962) pp. 36-37.

Adopted from Wikiquote. Last update Jan. 30, 2022. History

Help us to complete the source, original and additional information

Do you have more details about the quote "For reasons mentioned at the beginning of this section, we cannot offer here a precise structural definition of semanti…" by Alfred Tarski?
Alfred Tarski photo
Alfred Tarski 6
Polish-American logician 1901–1983

Related quotes

Ilya Prigogine photo

“In an isolated system, which cannot exchange energy and matter with the surroundings, this tendency is expressed in terms of a function of the macroscopic state of the system: the entropy.”

Ilya Prigogine (1917–2003) physical chemist

Part 2; Cited in: Evgenii Rudnyi (2013).
Thermodynamics of Evolution (1972)

Antoine Augustin Cournot photo

“Those skilled in mathematical analysis know that its object is not simply to calculate numbers, but that it is also employed to find the relations between magnitudes which cannot be expressed in numbers and between functions whose law is not capable of algebraic expression.”

Source: Researches into the Mathematical Principles of the Theory of Wealth, 1897, p. 3 ; Cited in: Robert Edouard Moritz. Memorabilia mathematica; or, The philomath's quotation-book https://archive.org/stream/memorabiliamathe00moriiala#page/198/mode/2up, (1914) p. 33: About the nature of mathematics

René Descartes photo
Kim Stanley Robinson photo
Miguel de Unamuno photo
Ada Lovelace photo

“[...] engine is the material expression of any indefinite function of any degree of generality and complexity.”

Ada Lovelace (1815–1852) English mathematician, considered the first computer programmer

As quoted by Rosen, Kenneth H. (2013). Discrete Mathematics and Its Applications, McGraw-Hill, ISBN 9780071315012. p.29.

Henry Adams photo
Kazimierz Ajdukiewicz photo
Samuel Beckett photo

“The expression that there is nothing to express, nothing with which to express, nothing from which to express, no power to express, no desire to express, together with the obligation to express.”

Also quoted in "Conversations with Samuel Beckett and Bram van Velde by Charles Juliet" by Nicholas Lezard, in The Guardian (23 January 2010) http://www.theguardian.com/books/2010/jan/23/conversations-samuel-beckett-van-velde
Three Dialogues (1949)

Related topics