Logical Cube
   HOME
*





Logical Cube
In the system of Aristotelian logic, the logical cube is a diagram representing the different ways in which each of the eight propositions of the system is logically related ('opposed') to each of the others. The system is also useful in the analysis of syllogistic logic, serving to identify the allowed logical conversions from one type to another.Paul Dekker, 2015, "Not Only Barbara", Journal of Logic, Language, and Information 24(2), pp. 95-129. See also *Logical hexagon Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ... * Square of opposition References Conceptual models Term logic {{logic-stub ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Term Logic
In philosophy, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to formal logic that began with Aristotle and was developed further in ancient history mostly by his followers, the Peripatetics. It was revived after the third century CE by Porphyry's Isagoge. Term logic revived in medieval times, first in Islamic logic by Alpharabius in the tenth century, and later in Christian Europe in the twelfth century with the advent of new logic, remaining dominant until the advent of predicate logic in the late nineteenth century. However, even if eclipsed by newer logical systems, term logic still plays a significant role in the study of logic. Rather than radically breaking with term logic, modern logics typically expand it, so to understand the newer systems, one must be acquainted with the earlier one. Aristotle's system Aristotle's logical work is collected in the six texts that are collectively known as the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Diagram
A diagram is a symbolic representation of information using visualization techniques. Diagrams have been used since prehistoric times on walls of caves, but became more prevalent during the Enlightenment. Sometimes, the technique uses a three-dimensional visualization which is then projected onto a two-dimensional surface. The word ''graph'' is sometimes used as a synonym for diagram. Overview The term "diagram" in its commonly used sense can have a general or specific meaning: * ''visual information device'' : Like the term " illustration", "diagram" is used as a collective term standing for the whole class of technical genres, including graphs, technical drawings and tables. * ''specific kind of visual display'' : This is the genre that shows qualitative data with shapes that are connected by lines, arrows, or other visual links. In science the term is used in both ways. For example, Anderson (1997) stated more generally: "diagrams are pictorial, yet abstract, represen ...
[...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]  




Formal System
A formal system is an abstract structure used for inferring theorems from axioms according to a set of rules. These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system. A formal system is essentially an "axiomatic system". In 1921, David Hilbert proposed to use such a system as the foundation for the knowledge in mathematics. A formal system may represent a well-defined abstraction, system of abstract thought. The term ''formalism'' is sometimes a rough synonym for ''formal system'', but it also refers to a given style of notation, for example, Paul Dirac's bra–ket notation. Background Each formal system is described by primitive Symbol (formal), symbols (which collectively form an Alphabet (computer science), alphabet) to finitely construct a formal language from a set of axioms through inferential rules of formation. The system thus consists of valid formulas built up through finite combinations of the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Logical Hexagon
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually under ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Square Of Opposition
In term logic (a branch of philosophical logic), the square of opposition is a diagram representing the relations between the four basic categorical propositions. The origin of the square can be traced back to Aristotle's tractate ''On Interpretation'' and its distinction between two oppositions: contradiction and contrariety. However, Aristotle did not draw any diagram. This was done several centuries later by Apuleius and Boethius. Summary In traditional logic, a proposition (Latin: ''propositio'') is a spoken assertion (''oratio enunciativa''), not the meaning of an assertion, as in modern philosophy of language and logic. A '' categorical proposition'' is a simple proposition containing two terms, subject () and predicate (), in which the predicate is either asserted or denied of the subject. Every categorical proposition can be reduced to one of four logical forms, named , , , and based on the Latin ' (I affirm), for the affirmative propositions and , and ' (I deny), ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Conceptual Models
Conceptual may refer to: Philosophy and Humanities *Concept *Conceptualism * Philosophical analysis (Conceptual analysis) *Theoretical definition (Conceptual definition) *Thinking about Consciousness (Conceptual dualism) *Pragmatism (Conceptual pragmatism) * Paradigm (Conceptual scheme) * Abstract and concrete (Conceptual object) * Conceptual attrition, an idea of Beverley Skeggs *Conceptual proliferation * Conceptual history * Conceptual necessity Linguistics and Semantics *Conceptual schema *Conceptual metaphor *Conceptual model *Conceptual blending *Conceptual semantics *Conceptual dictionary * Conceptual change * Conceptual dependency theory *Conceptual domain in Frame semantics (linguistics) *Inferential role semantics (Conceptual role semantics) Psychology *Priming (psychology) (Conceptual priming) *Spatial–temporal reasoning (Visuo-conceptual) *Conceptual act model of emotion *Conceptual space Science *Conceptual physics *Conceptual economy *Conceptual model (computer s ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]