Ideal language philosophy

Last updated

Ideal language philosophy is contrasted with ordinary language philosophy. From about 1910 to 1930, analytic philosophers like Bertrand Russell and Ludwig Wittgenstein emphasized creating an ideal language for philosophical analysis, which would be free from the ambiguities of natural language that, in their opinion, often made for philosophical error. During this phase, Russell and Wittgenstein sought to understand language (and hence philosophical problems) by using formal logic to formalize the way in which philosophical statements are made. Wittgenstein developed a comprehensive system of logical atomism in his Tractatus Logico-Philosophicus (German : Logisch-Philosophische Abhandlung, 1921). He thereby argued that the universe is the totality of facts and not things: actual states of affairs and that these states of affairs can be expressed by the language of first-order predicate logic. Thus a picture of the universe can be construed by means of expressing atomic facts in the form of atomic propositions, and linking them using logical operators.

See also

Related Research Articles

<span class="mw-page-title-main">Ludwig Wittgenstein</span> Austrian philosopher and logician (1889–1951)

Ludwig Josef Johann Wittgenstein was an Austrian philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language.

Truth or verity is the property of being in accord with fact or reality. In everyday language, it is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as beliefs, propositions, and declarative sentences.

<i>Tractatus Logico-Philosophicus</i> 1921 philosophical work by Ludwig Wittgenstein

The Tractatus Logico-Philosophicus is the only book-length philosophical work by the Austrian philosopher Ludwig Wittgenstein that was published during his lifetime. The project had a broad goal: to identify the relationship between language and reality, and to define the limits of science. Wittgenstein wrote the notes for the Tractatus while he was a soldier during World War I and completed it during a military leave in the summer of 1918. It was originally published in German in 1921 as Logisch-Philosophische Abhandlung. In 1922 it was published together with an English translation and a Latin title, which was suggested by G. E. Moore as homage to Baruch Spinoza's Tractatus Theologico-Politicus (1670).

<span class="mw-page-title-main">Rudolf Carnap</span> German-American philosopher (1891–1970)

Rudolf Carnap was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism.

A proposition is a central concept in the philosophy of language, semantics, logic, and related fields, often characterized as the primary bearer of truth or falsity. Propositions are also often characterized as being the kind of thing that declarative sentences denote. For instance the sentence "The sky is blue" denotes the proposition that the sky is blue. However, crucially, propositions are not themselves linguistic expressions. For instance, the English sentence "Snow is white" denotes the same proposition as the German sentence "Schnee ist weiß" even though the two sentences are not the same. Similarly, propositions can also be characterized as the objects of belief and other propositional attitudes. For instance if one believes that the sky is blue, what one believes is the proposition that the sky is blue. A proposition can also be thought of as a kind of idea: Collins Dictionary has a definition for proposition as "a statement or an idea that people can consider or discuss whether it is true."

Analytic philosophy is an analysis focused, broad, contemporary movement or tradition within Western philosophy, especially anglophone philosophy. Analytic philosophy is characterized by a clarity of prose; rigor in arguments; and making use of formal logic and mathematics, and, to a lesser degree, the natural sciences. It is further characterized by an interest in language and meaning known as the linguistic turn. It has developed several new branches of philosophy and logic, notably philosophy of language, philosophy of mathematics, philosophy of science, modern predicate logic and mathematical logic.

Pluralism is a term used in philosophy, referring to a worldview of multiplicity, often used in opposition to monism or dualism. The term has different meanings in metaphysics, ontology, epistemology and logic. In metaphysics, it is the view that there are in fact many different substances in nature that constitute reality. In ontology, pluralism refers to different ways, kinds, or modes of being. For example, a topic in ontological pluralism is the comparison of the modes of existence of things like 'humans' and 'cars' with things like 'numbers' and some other concepts as they are used in science.

Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. Some theorists conceive philosophical logic in a wider sense as the study of the scope and nature of logic in general. In this sense, philosophical logic can be seen as identical to the philosophy of logic, which includes additional topics like how to define logic or a discussion of the fundamental concepts of logic. The current article treats philosophical logic in the narrow sense, in which it forms one field of inquiry within the philosophy of logic.

Logical atomism is a philosophical view that originated in the early 20th century with the development of analytic philosophy. It holds that the world consists of ultimate logical "facts" that cannot be broken down any further, each of which can be understood independently of other facts.

In logic and analytic philosophy, an atomic sentence is a type of declarative sentence which is either true or false and which cannot be broken down into other simpler sentences. For example, "The dog ran" is an atomic sentence in natural language, whereas "The dog ran and the cat hid" is a molecular sentence in natural language.

The linguistic turn was a major development in Western philosophy during the early 20th century, the most important characteristic of which is the focusing of philosophy primarily on the relations between language, language users, and the world.

A referential theory of meaning is a theory of language that claims that the meaning of a word or expression lies in what it points out in the world. Ex, The word tree may have an exterior meaning from the one always intended, that is, tree can be translated into different form of meaning. The object denoted by a word is called its referent. Criticisms of this position are often associated with Ludwig Wittgenstein.

In philosophy—more specifically, in its sub-fields semantics, semiotics, philosophy of language, metaphysics, and metasemantics—meaning "is a relationship between two sorts of things: signs and the kinds of things they intend, express, or signify".

Philosophy of language investigates the nature of language and the relations between language, language users, and the world. Investigations may include inquiry into the nature of meaning, intentionality, reference, the constitution of sentences, concepts, learning, and thought.

The aspects of Bertrand Russell's views on philosophy cover the changing viewpoints of philosopher and mathematician Bertrand Russell (1872–1970), from his early writings in 1896 until his death in February 1970.

Philosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such as the presuppositions often implicitly at work in theories of logic and in their application. This involves questions about how logic is to be defined and how different logical systems are connected to each other. It includes the study of the nature of the fundamental concepts used by logic and the relation of logic to other disciplines. According to a common characterisation, philosophical logic is the part of the philosophy of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. But other theorists draw the distinction between the philosophy of logic and philosophical logic differently or not at all. Metalogic is closely related to the philosophy of logic as the discipline investigating the properties of formal logical systems, like consistency and completeness.

The picture theory of language, also known as the picture theory of meaning, is a theory of linguistic reference and meaning articulated by Ludwig Wittgenstein in the Tractatus Logico-Philosophicus. Wittgenstein suggested that a meaningful proposition pictured a state of affairs or atomic fact. Wittgenstein compared the concept of logical pictures with spatial pictures. The picture theory of language is considered a correspondence theory of truth.

Ludwig Wittgenstein considered his chief contribution to be in the philosophy of mathematics, a topic to which he devoted much of his work between 1929 and 1944. As with his philosophy of language, Wittgenstein's views on mathematics evolved from the period of the Tractatus Logico-Philosophicus: with him changing from logicism towards a general anti-foundationalism and constructivism that was not readily accepted by the mathematical community. The success of Wittgenstein's general philosophy has tended to displace the real debates on more technical issues.

<span class="mw-page-title-main">Logic</span> Study of correct reasoning

Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics.

Mathematicism is 'the effort to employ the formal structure and rigorous method of mathematics as a model for the conduct of philosophy', or the epistemological view that reality is fundamentally mathematical. The term has been applied to a number of philosophers, including Pythagoras and René Descartes although the term was not used by themselves.

References