Principle Of Wholistic Reference
Wholistic reference is reference to the whole—with respect to the context. In its strongest, unqualified form, the principle of wholistic reference is the proposition that each and every proposition, regardless how limited the referents of its non-logical or content terms, refers to the whole of its universe of discourse. According to this principle every proposition of number theory, even an equational proposition such as 5 + 7 = 12, refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. The relation verb ‘refers’ is being used in its broad sense (loosely “is about”) and not as a synonym for ‘names’ in the sense of “is a name of”. George Boole (1815–1864) introduced this principle into modern logic: Even though he changed from a monistic fixed-universe framework in his 1840s writings to a pluralistic multiple-universe framework in 1854, he never wavered in his frank avowal of the principle of wholistic refere ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Proposition
In logic and linguistics, a proposition is the meaning of a declarative sentence. In philosophy, " meaning" is understood to be a non-linguistic entity which is shared by all sentences with the same meaning. Equivalently, a proposition is the non-linguistic bearer of truth or falsity which makes any sentence that expresses it either true or false. While the term "proposition" may sometimes be used in everyday language to refer to a linguistic statement which can be either true or false, the technical philosophical term, which differs from the mathematical usage, refers exclusively to the non-linguistic meaning behind the statement. The term is often used very broadly and can also refer to various related concepts, both in the history of philosophy and in contemporary analytic philosophy. It can generally be used to refer to some or all of the following: The primary bearers of truth values (such as "true" and "false"); the objects of belief and other propositional attitudes (i.e ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Non-logical Symbol
In logic, the formal languages used to create expressions consist of symbols, which can be broadly divided into constants and variables. The constants of a language can further be divided into logical symbols and non-logical symbols (sometimes also called logical and non-logical constants). The non-logical symbols of a language of first-order logic consist of predicates and individual constants. These include symbols that, in an interpretation, may stand for individual constants, variables, functions, or predicates. A language of first-order logic is a formal language over the alphabet consisting of its non-logical symbols and its logical symbols. The latter include logical connectives, quantifiers, and variables that stand for statements. A non-logical symbol only has meaning or semantic content when one is assigned to it by means of an interpretation. Consequently, a sentence containing a non-logical symbol lacks meaning except under an interpretation, so a sentence is ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Universe Of Discourse
In the formal sciences, the domain of discourse, also called the universe of discourse, universal set, or simply universe, is the set of entities over which certain variables of interest in some formal treatment may range. Overview The domain of discourse is usually identified in the preliminaries, so that there is no need in the further treatment to specify each time the range of the relevant variables. Many logicians distinguish, sometimes only tacitly, between the ''domain of a science'' and the ''universe of discourse of a formalization of the science''.José Miguel Sagüillo, Domains of sciences, universe of discourse, and omega arguments, History and philosophy of logic, vol. 20 (1999), pp. 267–280. Examples For example, in an interpretation of first-order logic, the domain of discourse is the set of individuals over which the quantifiers range. A proposition such as is ambiguous, if no domain of discourse has been identified. In one interpretation, the domain of di ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Number Theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mathematics is the queen of the sciences—and number theory is the queen of mathematics."German original: "Die Mathematik ist die Königin der Wissenschaften, und die Arithmetik ist die Königin der Mathematik." Number theorists study prime numbers as well as the properties of mathematical objects made out of integers (for example, rational numbers) or defined as generalizations of the integers (for example, algebraic integers). Integers can be considered either in themselves or as solutions to equations (Diophantine geometry). Questions in number theory are often best understood through the study of Complex analysis, analytical objects (for example, the Riemann zeta function) that encode properties of the integers, primes ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
George Boole
George Boole (; 2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher, and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland. He worked in the fields of differential equations and algebraic logic, and is best known as the author of ''The Laws of Thought'' (1854) which contains Boolean algebra. Boolean logic is credited with laying the foundations for the Information Age. Early life Boole was born in 1815 in Lincoln, Lincolnshire, England, the son of John Boole senior (1779–1848), a shoemaker and Mary Ann Joyce. He had a primary school education, and received lessons from his father, but due to a serious decline in business, he had little further formal and academic teaching. William Brooke, a bookseller in Lincoln, may have helped him with Latin, which he may also have learned at the school of Thomas Bainbridge. He was self-taught in modern languages.H ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
John Corcoran (logician)
John Corcoran ( ; 20 March 1937 - 8 January 2021) was an American logician, philosopher, mathematician, and historian of logic. He is best known for his philosophical work on concepts such as the nature of inference, relations between conditions, argument-deduction-proof distinctions, the relationship between logic and epistemology, and the place of proof theory and model theory in logic. Nine of Corcoran's papers have been translated into Spanish, Portuguese, Persian, and Arabic; his 1989 "signature" essay was translated into three languages. Fourteen of his papers have been reprinted; one was reprinted twice. His work on Aristotle's logic of the '' Prior Analytics'' is regarded as being highly faithful both to the Greek text and to the historical context. It is the basis for many subsequent investigations. His mathematical results on definitional equivalence of formal character-string theories, sciences of strings of characters over finite alphabets, are foundational for lo ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Gottlob Frege
Friedrich Ludwig Gottlob Frege (; ; 8 November 1848 – 26 July 1925) 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. His contributions include the development of modern logic in the ''Begriffsschrift'' and work in the foundations of mathematics. His book the ''Foundations of Arithmetic'' is the seminal text of the logicist project, and is cited by Michael Dummett as where to pinpoint the linguistic turn. His philosophical ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Concepts In Logic
Concepts are defined as abstract ideas. They are understood to be the fundamental building blocks of the concept behind principles, thoughts and beliefs. They play an important role in all aspects of cognition. As such, concepts are studied by several disciplines, such as linguistics, psychology, and philosophy, and these disciplines are interested in the logical and psychological structure of concepts, and how they are put together to form thoughts and sentences. The study of concepts has served as an important flagship of an emerging interdisciplinary approach called cognitive science. In contemporary philosophy, there are at least three prevailing ways to understand what a concept is: * Concepts as mental representations, where concepts are entities that exist in the mind (mental objects) * Concepts as abilities, where concepts are abilities peculiar to cognitive agents (mental states) * Concepts as Fregean senses, where concepts are abstract objects, as opposed to mental obje ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Holism
Holism () is the idea that various systems (e.g. physical, biological, social) should be viewed as wholes, not merely as a collection of parts. The term "holism" was coined by Jan Smuts in his 1926 book ''Holism and Evolution''."holism, n." OED Online, Oxford University Press, September 2019, www.oed.com/view/Entry/87726. Accessed 23 October 2019. While his ideas had racist connotations, the modern use of the word generally refers to treating a person as an integrated whole, rather than as a collection of separate systems. For example, well-being may be regarded as not merely physical health, but also psychological and spiritual well-being. Meaning The exact meaning of "holism" depends on context. Jan Smuts originally used "holism" to refer to the tendency in nature to produce wholes from the ordered grouping of unit structures. However, in common usage, "holism" usually refers to the idea that a whole is greater than the sum of its parts.J. C. Poynton (1987) SMUTS'S HOLISM AND EVOL ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Philosophy Of Logic
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 characterization, 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 consi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Philosophy Of Language
In analytic philosophy, 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. Gottlob Frege and Bertrand Russell were pivotal figures in analytic philosophy's "linguistic turn". These writers were followed by Ludwig Wittgenstein ('' Tractatus Logico-Philosophicus''), the Vienna Circle, logical positivists, and Willard Van Orman Quine. In continental philosophy, language is not studied as a separate discipline. Rather, it is an inextricable part of many other areas of thought, such as phenomenology, structural semiotics, language of mathematics, hermeneutics, existentialism, deconstruction and critical theory. History Ancient philosophy In the West, inquiry into language stretches back to the 5th century BC with Socrates, Plato, Aristotl ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |