|
Salva Congruitate
''Salva congruitate'' is a Latin scholastic term in logic, which means "without becoming ill-formed", '' salva'' meaning ''rescue'', ''salvation'', ''welfare'' and '' congruitate'' meaning ''combine'', ''coincide'', ''agree''. Salva Congruitate is used in logic to mean that two terms may be substituted for each other while preserving grammaticality in all contexts. Remarks on ''salva congruitate'' Timothy C. Potts Timothy C. Potts describes ''salva congruitate'' as a form of replacement in the context of meaning. It is a replacement which preserves semantic coherence and should be distinguished from a replacement which preserves syntactic coherence but may yield an expression to which no meaning has been given. This means that supposing an original expression is meaningful, the new expression obtained by the replacement will also be meaningful, though it will not necessarily have the same meaning as the original one, nor, if the expression in question happens to be a propos ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Latin
Latin ( or ) is a classical language belonging to the Italic languages, Italic branch of the Indo-European languages. Latin was originally spoken by the Latins (Italic tribe), Latins in Latium (now known as Lazio), the lower Tiber area around Rome, Italy. Through the expansion of the Roman Republic, it became the dominant language in the Italian Peninsula and subsequently throughout the Roman Empire. It has greatly influenced many languages, Latin influence in English, including English, having contributed List of Latin words with English derivatives, many words to the English lexicon, particularly after the Christianity in Anglo-Saxon England, Christianization of the Anglo-Saxons and the Norman Conquest. Latin Root (linguistics), roots appear frequently in the technical vocabulary used by fields such as theology, List of Latin and Greek words commonly used in systematic names, the sciences, List of medical roots, suffixes and prefixes, medicine, and List of Latin legal terms ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bob Hale (philosopher)
Bob Hale, FRSE (1945 – 12 December 2017) was a British philosopher, known for his contributions to the development of the neo-Fregean (neo-logicist) philosophy of mathematics in collaboration with Crispin Wright, and for his works in modality and philosophy of language. Career Hale obtained a BPhil in Philosophy in 1967 from Linacre College, University of Oxford. From 2006 until his death, he was a professor of philosophy in the department of philosophy at the University of Sheffield. Prior to that, he taught in the University of Glasgow, the University of St. Andrews and the University of Lancaster. Hale produced the first published neo-Fregean construction of the real numbers. In his book (''Necessary Beings''), he argues for an essentialist theory of necessity and possibility. Notable positions * British Academy Research Reader (1997–9) * Fellow of the Royal Society of Edinburgh (from 2000) * President of the Aristotelian Society (2002–3) * Leverhulme Senior Resea ... [...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 t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Concepts In Logic
A concept is an abstract idea that serves as a foundation for more concrete principles, thoughts, and beliefs. Concepts play an important role in all aspects of cognition. As such, concepts are studied within such disciplines 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, cognitive science. In contemporary philosophy, three understandings of a concept prevail: * mental representations, such that a concept is an entity that exists in the mind (a mental object) * abilities peculiar to cognitive agents (mental states) * Fregean senses, abstract objects rather than a mental object or a mental state Concepts are classified into a hierarchy, higher levels of which are termed "superordinate" and lower levels termed "subordinate". A ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter Geach
Peter Thomas Geach (29 March 1916 – 21 December 2013) was a British philosopher who was Professor of Logic at the University of Leeds. His areas of interest were philosophical logic, ethics, history of philosophy, philosophy of religion and the theory of identity. Early life Peter Geach was born in Chelsea, London, on 29 March 1916. He was the only son of George Hender Geach and his wife Eleonora Frederyka Adolfina ''née'' Sgonina. His father, who was employed in the Indian Educational Service, would go on to work as a professor of philosophy in Lahore and later as the principal of a teacher-training college in Peshawar. His parents' marriage was unhappy and quickly broke up. Until the age of four, he lived with his maternal grandparents, who were Polish immigrants, in Cardiff. After this time he was placed in the care of a guardian (until his father returned to Britain) and contact with his mother and her parents ceased. He attended Llandaff Cathedral School in Cardif ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Crispin Wright
Crispin James Garth Wright (; born 21 December 1942) is a British philosopher, who has written on neo-Fregean (neo-logicist) philosophy of mathematics, Wittgenstein's later philosophy, and on issues related to truth, realism, cognitivism, skepticism, knowledge, and objectivity. He is Professor of Philosophical Research at the University of Stirling, and taught previously at the University of St Andrews, University of Aberdeen, New York University, Princeton University and University of Michigan. Life and career Wright was born in Surrey and was educated at Birkenhead School (1950–61) and at Trinity College, Cambridge, graduating in Moral Sciences in 1964 and taking a PhD in 1968. He took an Oxford BPhil in 1969 and was elected Prize Fellow and then Research Fellow at All Souls College, Oxford, where he worked until 1978. He then moved to the University of St. Andrews, where he was appointed Professor of Logic and Metaphysics and then the first Bishop Wardlaw University ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Referential Opacity
An opaque context or referentially opaque context is a linguistic context in which it is not always possible to substitute "co-referential" expressions (expressions referring to the same object) without altering the truth of sentences. The expressions involved are usually grammatically singular terms. So, substitution of co-referential expressions into an opaque context does not always preserve truth. For example, "Lois believes x is a hero" is an opaque context because "Lois believes Superman is a hero" is true while "Lois believes Clark Kent is a hero" is false, even though 'Superman' and 'Clark Kent' are co-referential expressions. Usage The term is used in philosophical theories of reference, and is to be contrasted with referentially transparent context. In the opaque case, "Mary believes that Cicero is a great orator" gives rise to an opaque context; although Cicero was also called 'Tully',Tully is anglicised historic name from Tullius, source: we can't simply substitut ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Salva Veritate
In philosophy, salva veritate (or intersubstitutivity) is the logical condition by which two expressions may be interchanged without altering the truth-value of statements in which the expressions occur. Substitution ''salva veritate'' of co-extensional terms can fail in opaque contexts. The literal translation of the Latin "''salva veritate''" is "with (or by) unharmed truth", using ablative of manner: "''salva''" meaning "rescue," "salvation," or "welfare," and "''veritate''" meaning "reality" or "truth". Leibniz The phrase occurs in two fragments from Gottfried Leibniz's ''General Science. Characteristics'': * In Chapter 19, Definition 1, Leibniz writes: "Two terms are the same (''eadem'') if one can be substituted for the other ''without altering the truth of any statement'' (''salva veritate'')." * In Chapter 20, Definition 1, Leibniz writes: "Terms which can be substituted for one another wherever we please ''without altering the truth of any statement'' (''salva verit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Noun
In grammar, a noun is a word that represents a concrete or abstract thing, like living creatures, places, actions, qualities, states of existence, and ideas. A noun may serve as an Object (grammar), object or Subject (grammar), subject within a phrase, clause, or sentence.Example nouns for: * Living creatures (including people, alive, dead, or imaginary): ''mushrooms, dogs, Afro-Caribbeans, rosebushes, Mandela, bacteria, Klingons'', etc. * Physical objects: ''hammers, pencils, Earth, guitars, atoms, stones, boots, shadows'', etc. * Places: ''closets, temples, rivers, Antarctica, houses, Uluru, utopia'', etc. * Actions of individuals or groups: ''swimming, exercises, cough, explosions, flight, electrification, embezzlement'', etc. * Physical qualities: ''colors, lengths, porosity, weights, roundness, symmetry, solidity,'' etc. * Mental or bodily states: ''jealousy, sleep, joy, headache, confusion'', etc. In linguistics, nouns constitute a lexical category (part of speech) defined ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proposition
A proposition is a statement that can be either true or false. It is a central concept in the philosophy of language, semantics, logic, and related fields. Propositions are the object s denoted by declarative sentences; for example, "The sky is blue" expresses the proposition that the sky is blue. Unlike sentences, propositions are not linguistic expressions, so the English sentence "Snow is white" and the German "Schnee ist weiß" denote the same proposition. Propositions also serve as the objects of belief and other propositional attitudes, such as when someone believes that the sky is blue. Formally, propositions are often modeled as functions which map a possible world to a truth value. For instance, the proposition that the sky is blue can be modeled as a function which would return the truth value T if given the actual world as input, but would return F if given some alternate world where the sky is green. However, a number of alternative formalizations have be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic
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. Logic studies arguments, which consist of a set of premises that leads to a conclusion. An example is the argument from the premises "it's Sunday" and "if it's Sunday then I don't have to work" leading to the conclusion "I don't have to wor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Meaning (philosophy Of Language)
In philosophymore specifically, in its sub-fields semantics, semiotics, philosophy of language, metaphysics, and metasemanticsmeaning "is a relationship between two sorts of things: signs and the kinds of things they intend, express, or signify". The types of meanings vary according to the types of the thing that is being represented. There are: *the things, which might have meaning; *things that are also signs of other things, and therefore are always meaningful (i.e., natural signs of the physical world and ideas within the mind); *things that are necessarily meaningful, such as words and nonverbal symbols. The major contemporary positions of meaning come under the following partial definitions of meaning: *psychological theories, involving notions of thought, intention, or understanding; *logical theories, involving notions such as intension, cognitive content, or sense, along with extension, reference, or denotation; *message, content, information, or communication; * trut ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
