Constructional system

Last updated

A constructional system or a constitution system is a system of objects or concepts of a certain domain in which all objects or concepts of that domain can be logically constructed from a proper subset of those objects or concepts, called the basis of the system. [1]

The notion of constructional systems can be traced back to Bertrand Russell, who wrote in 1914 [2] that

The supreme maxim in scientific philosophising is this: wherever possible logical constructions are to be substituted for inferred entities.

German philosopher Rudolf Carnap in his Der logische Aufbau der Welt (1928) (referring to them as "Konstitutionssystems") and American philosopher Nelson Goodman in his The Structure of Appearance (1951) studied the structure of constructional systems.

Related Research Articles

<span class="mw-page-title-main">Existence</span> State of being real

Existence is the state of having being or reality in contrast to nonexistence and nonbeing. Existence is often contrasted with essence: the essence of an entity are its essential features or qualities, which can be understood even if one does not know whether the entity exists.

In the philosophy of mathematics, intuitionism, or neointuitionism, is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed and applied, but are instead considered the application of internally consistent methods used to realize more complex mental constructs, regardless of their possible independent existence in an objective reality.

<span class="mw-page-title-main">Nominalism</span> Philosophy emphasizing names and labels

In metaphysics, nominalism is the view that universals and abstract objects do not actually exist other than being merely names or labels. There are at least two main versions of nominalism. One version denies the existence of universals – things that can be instantiated or exemplified by many particular things. The other version specifically denies the existence of abstract objects – objects that do not exist in space and time.

Neutral monism is an umbrella term for a class of metaphysical theories in the philosophy of mind, concerning the relation of mind to matter. These theories take the fundamental nature of reality to be neither mental nor physical; in other words it is "neutral".

<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).

In mathematical logic, Russell's paradox is a set-theoretic paradox published by the British philosopher and mathematician Bertrand Russell in 1901. Russell's paradox shows that every set theory that contains an unrestricted comprehension principle leads to contradictions. The paradox had already been discovered independently in 1899 by the German mathematician Ernst Zermelo. However, Zermelo did not publish the idea, which remained known only to David Hilbert, Edmund Husserl, and other academics at the University of Göttingen. At the end of the 1890s, Georg Cantor – considered the founder of modern set theory – had already realized that his theory would lead to a contradiction, as he told Hilbert and Richard Dedekind by letter.

The distinction between subject and object is a basic idea of philosophy.

<span class="mw-page-title-main">Gottlob Frege</span> German philosopher, logician, and mathematician (1848–1925)

Friedrich Ludwig Gottlob Frege was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, logic, and mathematics. Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932), Bertrand Russell (1872–1970), and, to some extent, Ludwig Wittgenstein (1889–1951) introduced his work to later generations of philosophers. Frege is widely considered to be the greatest logician since Aristotle, and one of the most profound philosophers of mathematics ever.

Analytic philosophy is a broad, contemporary movement or tradition within Western philosophy and especially anglophone philosophy focused on analysis.

Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathematics. In this latter sense, the distinction between foundations of mathematics and philosophy of mathematics turns out to be vague. Foundations of mathematics can be conceived as the study of the basic mathematical concepts and how they form hierarchies of more complex structures and concepts, especially the fundamentally important structures that form the language of mathematics also called metamathematical concepts, with an eye to the philosophical aspects and the unity of mathematics. The search for foundations of mathematics is a central question of the philosophy of mathematics; the abstract nature of mathematical objects presents special philosophical challenges.

In the philosophy of mathematics, logicism is a programme comprising one or more of the theses that – for some coherent meaning of 'logic' – mathematics is an extension of logic, some or all of mathematics is reducible to logic, or some or all of mathematics may be modelled in logic. Bertrand Russell and Alfred North Whitehead championed this programme, initiated by Gottlob Frege and subsequently developed by Richard Dedekind and Giuseppe Peano.

Mereology is the philosophical study of part-whole relationships, also called parthood relationships. As a branch of metaphysics, mereology examines the connections between parts and their wholes, exploring how components interact within a system. This theory has roots in ancient philosophy, with significant contributions from Plato, Aristotle, and later, medieval and Renaissance thinkers like Thomas Aquinas and John Duns Scotus. Mereology gained formal recognition in the 20th century through the pioneering works of Polish logician Stanisław Leśniewski, who introduced it as part of a comprehensive framework for logic and mathematics, and coined the word "mereology". The field has since evolved to encompass a variety of applications in ontology, natural language semantics, and the cognitive sciences, influencing our understanding of structures ranging from linguistic constructs to biological systems.

<span class="mw-page-title-main">Alexius Meinong</span> Austrian philosopher (1853–1920)

Alexius Meinong Ritter von Handschuchsheim was an Austrian philosopher, a realist known for his unique ontology. He also made contributions to philosophy of mind and theory of value.

In modal logic and the philosophy of language, a term is said to be a rigid designator or absolute substantial term when it designates the same thing in all possible worlds in which that thing exists. A designator is persistently rigid if it also designates nothing in all other possible worlds. A designator is obstinately rigid if it designates the same thing in every possible world, period, whether or not that thing exists in that world. Rigid designators are contrasted with connotative terms, non-rigid or flaccid designators, which may designate different things in different possible worlds.

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.

<span class="mw-page-title-main">Nelson Goodman</span> American philosopher (1906–1998)

Henry Nelson Goodman was an American philosopher, known for his work on counterfactuals, mereology, the problem of induction, irrealism, and aesthetics.

<i>The Problems of Philosophy</i> Book by Bertrand Russell

The Problems of Philosophy is a 1912 book by the philosopher Bertrand Russell, in which the author attempts to create a brief and accessible guide to the problems of philosophy. He introduces philosophy as a repeating series of (failed) attempts to answer the same questions: Can we prove that there is an external world? Can we prove cause and effect? Can we validate any of our generalizations? Can we objectively justify morality? He asserts that philosophy cannot answer any of these questions and that any value of philosophy must lie elsewhere than in offering proofs to these questions.

Irrealism is a philosophical position first advanced by Nelson Goodman in "Ways of Worldmaking", encompassing epistemology, metaphysics, and aesthetics.

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.

In the philosophy of science, structuralism asserts that all aspects of reality are best understood in terms of empirical scientific constructs of entities and their relations, rather than in terms of concrete entities in themselves.

References

Cited works