|
Truth-bearing
A truth-bearer is an entity that is said to be either true or false and nothing else. The thesis that some things are true while others are false has led to different theories about the nature of these entities. Since there is divergence of opinion on the matter, the term ''truth-bearer'' is used to be neutral among the various theories. Truth-bearer candidates include propositions, sentences, sentence-tokens, statements, beliefs, thoughts, intuitions, utterances, and judgements but different authors exclude one or more of these, deny their existence, argue that they are true only in a derivative sense, assert or assume that the terms are synonymous, or seek to avoid addressing their distinction or do not clarify it. Introduction Some distinctions and terminology as used in this article, based on Wolfram 1989 (Chapter 2 Section1) follow. ''It should be understood that the terminology described is not always used in the ways set out, and it is introduced solely for the pur ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy
Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational and critical inquiry that reflects on its methods and assumptions. Historically, many of the individual sciences, such as physics and psychology, formed part of philosophy. However, they are considered separate academic disciplines in the modern sense of the term. Influential traditions in the history of philosophy include Western philosophy, Western, Islamic philosophy, Arabic–Persian, Indian philosophy, Indian, and Chinese philosophy. Western philosophy originated in Ancient Greece and covers a wide area of philosophical subfields. A central topic in Arabic–Persian philosophy is the relation between reason and revelation. Indian philosophy combines the Spirituality, spiritual problem of how to reach Enlightenment in Buddhism, enlighten ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical Form
In logic, the logical form of a statement is a precisely specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system. In an ideal formal language, the meaning of a logical form can be determined unambiguously from syntax alone. Logical forms are semantic, not syntactic constructs; therefore, there may be more than one string that represents the same logical form in a given language. The logical form of an argument is called the argument form of the argument. History The importance of the concept of form to logic was already recognized in ancient times. Aristotle, in the '' Prior Analytics'', was one of the first people to employ variable letters to represent valid inferences. Therefore, Jan Łukasiewicz claims that the introduction of variables was "one of Aristotle's greatest inventions." ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sentence (mathematical Logic)
In mathematical logic, a sentence (or closed formula)Edgar Morscher, "Logical Truth and Logical Form", ''Grazer Philosophische Studien'' 82(1), pp. 77–90. of a predicate logic is a Boolean-valued well-formed formula with no free variables. A sentence can be viewed as expressing a proposition, something that ''must'' be true or false. The restriction of having no free variables is needed to make sure that sentences can have concrete, fixed truth values: as the free variables of a (general) formula can range over several values, the truth value of such a formula may vary. Sentences without any logical connectives or quantifiers in them are known as atomic sentences; by analogy to atomic formula. Sentences are then built up out of atomic sentences by applying connectives and quantifiers. A set of sentences is called a theory; thus, individual sentences may be called theorems. To properly evaluate the truth (or falsehood) of a sentence, one must make reference to an interpr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Classical Logic
Classical logic (or standard logic) or Frege–Russell logic is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy. Characteristics Each logical system in this class shares characteristic properties: Gabbay, Dov, (1994). 'Classical vs non-classical logic'. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, (Eds), ''Handbook of Logic in Artificial Intelligence and Logic Programming'', volume 2, chapter 2.6. Oxford University Press. # Law of excluded middle and double negation elimination # Law of noncontradiction, and the principle of explosion # Monotonicity of entailment and idempotency of entailment # Commutativity of conjunction # De Morgan duality: every logical operator is dual to another While not entailed by the preceding conditions, contemporary discussions of classical logic normally only include propositional and first-order logics. Shapiro, Stewart (2000). Classical Logic. In St ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical Consequence
Logical consequence (also entailment or logical implication) is a fundamental concept in logic which describes the relationship between statement (logic), statements that hold true when one statement logically ''follows from'' one or more statements. A Validity (logic), valid logical argument is one in which the Consequent, conclusion is entailed by the premises, because the conclusion is the consequence of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises?Beall, JC and Restall, Greg, Logical Consequence' The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.). All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth. Logical consequence is logical truth, necessary and Formalism (philosophy of mathematics), formal, by wa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aristotle
Aristotle (; 384–322 BC) was an Ancient Greek philosophy, Ancient Greek philosopher and polymath. His writings cover a broad range of subjects spanning the natural sciences, philosophy, linguistics, economics, politics, psychology, and the arts. As the founder of the Peripatetic school of philosophy in the Lyceum (classical), Lyceum in Athens, he began the wider Aristotelianism, Aristotelian tradition that followed, which set the groundwork for the development of modern science. Little is known about Aristotle's life. He was born in the city of Stagira (ancient city), Stagira in northern Greece during the Classical Greece, Classical period. His father, Nicomachus (father of Aristotle), Nicomachus, died when Aristotle was a child, and he was brought up by a guardian. At around eighteen years old, he joined Plato's Platonic Academy, Academy in Athens and remained there until the age of thirty seven (). Shortly after Plato died, Aristotle left Athens and, at the request ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Explanation
An explanation is a set of statements usually constructed to describe a set of facts that clarifies the causes, context, and consequences of those facts. It may establish rules or laws, and clarifies the existing rules or laws in relation to any objects or phenomena examined. In philosophy, an explanation is a set of statements which render understandable the existence or occurrence of an object, event, or state of affairs. Among its most common forms are: * Causal explanation * Deductive-nomological explanation, involves subsuming the explanandum under a generalization from which it may be derived in a deductive argument. For example, “All gases expand when heated; this gas was heated; therefore, this gas expanded". * Statistical explanation, involves subsuming the explanandum under a generalization that gives it inductive support. For example, “Most people who use tobacco contract cancer; this person used tobacco; therefore, this person contracted cancer”. Explan ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Use–mention Distinction
In analytic philosophy, a fundamental distinction is made between the use of a term and the mere mention of it.Devitt and Sterelny (1999) pp. 40–1. W. V. O. Quine (1940) p. 24. Many philosophical works have been "vitiated by a failure to distinguish use and mention." The distinction can sometimes be pedantic, especially in simple cases where it is obvious. The distinction between use and mention can be illustrated with the word "cheese": # Use: Cheese is derived from milk. # Mention: "Cheese" is derived from the Old English word . The first sentence is a statement about the substance called "cheese": it the word "cheese" to refer to that substance. The second is a statement about the word "cheese" as a signifier: it the word without using it to refer to anything other than itself. Overview In written language, words or phrases often appear between single or double quotation marks or in italics. In philosophy, single quotation marks are typically used, while in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Type–token Distinction
The type–token distinction is the difference between a ''type'' of objects (analogous to a ''class'') and the individual ''tokens'' of that type (analogous to ''instances''). Since each type may be instantiated by multiple tokens, there are generally more tokens than types of an object. For example, the sentence "A Rose is a rose is a rose" contains three word types: three word tokens of the type ''a'', two word tokens of the type ''is,'' and three word tokens of the type ''rose''. The distinction is important in disciplines such as logic, linguistics, metalogic, typography, and computer programming. Overview The type–token distinction separates ''types'' (abstract descriptive concepts) from ''tokens'' (objects that instantiate concepts). For example, in the sentence "''the bicycle is becoming more popular''" the word ''bicycle'' represents the abstract concept of bicycles and this abstract concept is a type, whereas in the sentence "''the bicycle is in the garage''", it ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
