|
Slingshot Argument
In philosophical logic, a slingshot argument is one of a group of arguments claiming to show that all true sentences stand for the same thing. This type of argument was dubbed the "slingshot" by philosophers Jon Barwise and John Perry (1981) due to its disarming simplicity. It is usually said that versions of the slingshot argument have been given by Gottlob Frege, Alonzo Church, W. V. Quine, and Donald Davidson. However, it has been disputed by Lorenz Krüger (1995) that there is much unity in this tradition. Moreover, Krüger rejects Davidson's claim that the argument can refute the correspondence theory of truth. Stephen Neale (1995) claims, controversially, that the most compelling version was suggested by Kurt Gödel (1944). These arguments are sometimes modified to support the alternative, and evidently stronger, conclusion that there is only one ''fact'', or one true ''proposition'', '' state of affairs'', ''truth condition'', ''truthmaker'', and so on. The argument On ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophical Logic
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. An important issue for philosophical logic is the question of how to classify the great variety of non-classical logical systems, many of which are of rather recent origin. One form of classification often found in the literature is to distinguish between extended logics and deviant logics. Logic itself can be defined as the s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
State Of Affairs (philosophy)
In philosophy, a state of affairs (german: Sachverhalt), also known as a situation, is a way the actual world must be in order to make some given ''proposition'' about the actual world true; in other words, a state of affairs is a ''truth-maker'', whereas a proposition is a ''truth-bearer''. Whereas states of affairs either ''obtain'' or ''fail-to-obtain'', propositions are either ''true'' or ''false''. Some philosophers understand the term "states of affairs" in a more restricted sense as a synonym for "fact". In this sense, there are no states of affairs that do not obtain. David Malet Armstrong is well known for his defence of a factualism, a position according to which the world is a world of facts and not a world of things. Overview States of affairs are complex entities: they are built up from or constituted by other entities. Atomic states of affairs are constituted by one particular and one property exemplified by this particular. For example, the state of affairs that Socr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Charles Sanders Peirce
Charles Sanders Peirce ( ; September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician and scientist who is sometimes known as "the father of pragmatism". Educated as a chemist and employed as a scientist for thirty years, Peirce made major contributions to logic, a subject that, for him, encompassed much of what is now called epistemology and the philosophy of science. He saw logic as the formal branch of semiotics, of which he is a founder, which foreshadowed the debate among logical positivists and proponents of philosophy of language that dominated 20th-century Western philosophy. Additionally, he defined the concept of abductive reasoning, as well as rigorously formulated mathematical induction and deductive reasoning. As early as 1886, he saw that logic gate, logical operations could be carried out by electrical switching circuits. The same idea was used decades later to produce digital computers. See Also In 1934, the philosopher Paul W ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Paul Arthur Schilpp
Paul Arthur Schilpp (; February 6, 1897 – September 6, 1993) was an American philosopher and educator. Biography Schilpp was born in Dillenburg, Germany and immigrated to the United States prior to World War I. Schilpp taught at Northwestern University, University of Puget Sound, UC Santa Barbara, University of the Pacific and spent the last years of his professional career teaching undergraduate philosophy courses at Southern Illinois University Carbondale. Schilpp was president of the Western (now: Central) Division of the American Philosophical Association (1958–1959). A serious and driven teacher of moral decision and thought, often controversial, Schilpp came to Southern Illinois University in 1965 after he was considered "too old to teach at respectable universities." Southern Illinois University agreed with his condition that he be allowed to instruct undergraduate general studies courses in philosophy thus allowing him to reach the greatest number of what Schilpp call ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Charles Sanders Peirce Bibliography
This Charles Sanders Peirce bibliography consolidates numerous references to the writings of Charles Sanders Peirce, including letters, manuscripts, publications, and . For an extensive chronological list of Peirce's works (titled in English), see the (Chronological Overview) on the (Writings) page for Charles Sanders Peirce. Abbreviations Click on abbreviation in order to jump down this page to the relevant edition information. Click on the abbreviation appearing with that edition information in order to return here. Main editions (posthumous) Other Primary literature Bibliographies and microfilms Other bibliographies of primary literature * Burks, Arthur W. (1958). "Bibliography of the Works of Charles Sanders Peirce." CP 8:260–321. * Cohen, Morris R. (1916). "Charles S. Peirce and a Tentative Bibliography of His Published Writings." ''The Journal of Philosophy, Psychology, and Scientific Methods'' 13(26):726–37. *Fisch, Max H. (1964). "A First Supplement ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic Of Information
The logic of information, or the logical theory of information, considers the information content of logical signs and expressions along the lines initially developed by Charles Sanders Peirce. In this line of work, the concept of information serves to integrate the aspects of signs and expressions that are separately covered, on the one hand, by the concepts of denotation and extension, and on the other hand, by the concepts of connotation and comprehension. Peirce began to develop these ideas in his lectures "On the Logic of Science" at Harvard University (1865) and the Lowell Institute (1866). See also * Charles Sanders Peirce bibliography * Information theory * Inquiry * Philosophy of information * Pragmatic maxim * Pragmatic theory of information * Pragmatic theory of truth * Pragmaticism * Pragmatism * Scientific method * Semeiotic * Semiosis * Semiotics * Semiotic information theory * Sign relation * Sign relational complex * Triadic relation References * Luciano Flori ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abstraction
Abstraction in its main sense is a conceptual process wherein general rules and concepts are derived from the usage and classification of specific examples, literal ("real" or "concrete") signifiers, first principles, or other methods. "An abstraction" is the outcome of this process—a concept that acts as a common noun for all subordinate concepts and connects any related concepts as a ''group'', ''field'', or ''category''. Suzanne K. Langer (1953), ''Feeling and Form: a theory of art developed from Philosophy in a New Key'' p. 90: " Sculptural form is a powerful abstraction from actual objects and the three-dimensional space which we construe ... through touch and sight." Conceptual abstractions may be formed by filtering the information content of a concept or an observable phenomenon, selecting only those aspects which are relevant for a particular purpose. For example, abstracting a leather soccer ball to the more general idea of a ball selects only the information on gen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein ( ; ; 26 April 1889 – 29 April 1951) was an Austrian-British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language. He is considered by some to be the greatest philosopher of the 20th century. From 1929 to 1947, Wittgenstein taught at the University of Cambridge. In spite of his position, during his entire life only one book of his philosophy was published, the 75-page ''Logisch-Philosophische Abhandlung'' (''Logical-Philosophical Treatise'', 1921), which appeared, together with an English translation, in 1922 under the Latin title ''Tractatus Logico-Philosophicus''. His only other published works were an article, "Some Remarks on Logical Form" (1929); a book review; and a children's dictionary. His voluminous manuscripts were edited and published posthumously. The first and best-known of this posthumous series is the 1953 book ''Philosophical Investigations''. A su ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Identity Of Indiscernibles
The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. That is, entities ''x'' and ''y'' are identical if every predicate possessed by ''x'' is also possessed by ''y'' and vice versa. It states that no two distinct things (such as snowflakes) can be exactly alike, but this is intended as a metaphysical principle rather than one of natural science. A related principle is the indiscernibility of identicals, discussed below. A form of the principle is attributed to the German philosopher Gottfried Wilhelm Leibniz. While some think that Leibniz's version of the principle is meant to be only the indiscernibility of identicals, others have interpreted it as the conjunction of the identity of indiscernibles and the indiscernibility of identicals (the converse principle). Because of its association with Leibniz, the indiscernibility of identicals is sometimes known as Leibniz's law. I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gaetano Licata
Gaetano (anglicized ''Cajetan'') is an Italian masculine given name. It is also used as a surname. It is derived from the Latin ''Caietanus'', meaning "from ''Caieta''" (the modern Gaeta). The given name has been in use in Italy since medieval period, although it also remained in use as a byname indicating people from Gaeta, as in Thomas Cajetan or ''Gaetanus'' (1469–1534). The modern given name can be traced to Saint Gaetano dei Conti di Tiene (1480–1547) who was canonized in 1671. Other variants of the name exist in other Romance languages, the French form of the name is ''Gaëtan, Gaétan'', the Portuguese form is ''Caetano'', and the Spanish form is ''Cayetano''. The feminine form is ''Gaetana'' (also ''Caetana'' and ''Cayetana''). People with the given name ''Gaetano'' Clergy and religious figures * Pope Nicholas III (Giovanni Gaetano Orsini), Pope from 1277–1280 * Thomas Cajetan (Tomasso de Vio Cardinal Cajetan), (1469 – 1534), Italian philosopher, theolo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
First-order Logic
First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects, and allows the use of sentences that contain variables, so that rather than propositions such as "Socrates is a man", one can have expressions in the form "there exists x such that x is Socrates and x is a man", where "there exists''"'' is a quantifier, while ''x'' is a variable. This distinguishes it from propositional logic, which does not use quantifiers or relations; in this sense, propositional logic is the foundation of first-order logic. A theory about a topic is usually a first-order logic together with a specified domain of discourse (over which the quantified variables range), finitely many functions from that domain to itself, finitely many predicates defined on that domain, and a set of ax ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Definite Description
In formal semantics and philosophy of language, a definite description is a denoting phrase in the form of "the X" where X is a noun-phrase or a singular common noun. The definite description is ''proper'' if X applies to a unique individual or object. For example: " the first person in space" and " the 42nd President of the United States of America", are proper. The definite descriptions "the person in space" and "the Senator from Ohio" are ''improper'' because the noun phrase X applies to more than one thing, and the definite descriptions "the first man on Mars" and "the Senator from some Country" are ''improper'' because X applies to nothing. Improper descriptions raise some difficult questions about the law of excluded middle, denotation, modality, and mental content. Russell's analysis As France is currently a republic, it has no king. Bertrand Russell pointed out that this raises a puzzle about the truth value of the sentence "The present King of France is bald." The sen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
