|
Distribution Of Terms
In logic, a categorical proposition, or categorical statement, is a proposition that asserts or denies that all or some of the members of one category (the ''subject term'') are included in another (the ''predicate term''). The study of arguments using categorical statements (i.e., syllogisms) forms an important branch of deductive reasoning that began with the Ancient Greeks. The Ancient Greeks such as Aristotle identified four primary distinct types of categorical proposition and gave them standard forms (now often called ''A'', ''E'', ''I'', and ''O''). If, abstractly, the subject category is named ''S'' and the predicate category is named ''P'', the four standard forms are: * All ''S'' are ''P''. (''A'' form) * No ''S'' are ''P''. (''E'' form) * Some ''S'' are ''P''. (''I'' form) * Some ''S'' are not ''P''. (''O'' form) A large number of sentences may be translated into one of these canonical forms while retaining all or most of the original meaning of the sentence. Greek inves ... [...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] |
Venn Diagram
A Venn diagram is a widely used diagram style that shows the logical relation between set (mathematics), sets, popularized by John Venn (1834–1923) in the 1880s. The diagrams are used to teach elementary set theory, and to illustrate simple set relationships in probability, logic, statistics, linguistics and computer science. A Venn diagram uses simple closed curves on a plane to represent sets. The curves are often circles or ellipses. Similar ideas had been proposed before Venn such as by Christian Weise in 1712 (''Nucleus Logicoe Wiesianoe'') and Leonhard Euler in 1768 (''Letters to a German Princess''). The idea was popularised by Venn in ''Symbolic Logic'', Chapter V "Diagrammatic Representation", published in 1881. Details A Venn diagram, also called a ''set diagram'' or ''logic diagram'', shows ''all'' possible logical relations between a finite collection of different sets. These diagrams depict element (mathematics), elements as points in the plane, and sets as r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Term Logic
In logic and formal semantics, 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. Aristotle's system Aristotle's logical work is collected in the six texts that are collectively known as the '' Organon''. Two of these texts in particular, namely th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contraposition
In logic and mathematics, contraposition, or ''transposition'', refers to the inference of going from a conditional statement into its logically equivalent contrapositive, and an associated proof method known as . The contrapositive of a statement has its antecedent and consequent negated and swapped. Conditional statement P \rightarrow Q. In formulas: the contrapositive of P \rightarrow Q is \neg Q \rightarrow \neg P . If ''P'', Then ''Q''. — If not ''Q'', Then not ''P''. "If ''it is raining,'' then ''I wear my coat''." — "If ''I don't wear my coat,'' then ''it isn't raining''." The law of contraposition says that a conditional statement is true if, and only if, its contrapositive is true. Contraposition ( \neg Q \rightarrow \neg P ) can be compared with three other operations: ; Inversion (the inverse), \neg P \rightarrow \neg Q:"If ''it is not raining,'' then ''I don't wear my coat''." Unlike the contrapositive, the inverse's truth value is not at all dependen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Negation
In logic, negation, also called the logical not or logical complement, is an operation (mathematics), operation that takes a Proposition (mathematics), proposition P to another proposition "not P", written \neg P, \mathord P, P^\prime or \overline. It is interpreted intuitively as being true when P is false, and false when P is true. For example, if P is "Spot runs", then "not P" is "Spot does not run". An operand of a negation is called a ''negand'' or ''negatum''. Negation is a unary operation, unary logical connective. It may furthermore be applied not only to propositions, but also to notion (philosophy), notions, truth values, or interpretation (logic), semantic values more generally. In classical logic, negation is normally identified with the truth function that takes ''truth'' to ''falsity'' (and vice versa). In intuitionistic logic, according to the Brouwer–Heyting–Kolmogorov interpretation, the negation of a proposition P is the proposition whose proofs are the re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 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), for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Material Conditional
The material conditional (also known as material implication) is a binary operation commonly used in logic. When the conditional symbol \to is interpreted as material implication, a formula P \to Q is true unless P is true and Q is false. Material implication is used in all the basic systems of classical logic as well as some nonclassical logics. It is assumed as a model of correct conditional reasoning within mathematics and serves as the basis for commands in many programming languages. However, many logics replace material implication with other operators such as the strict conditional and the variably strict conditional. Due to the paradoxes of material implication and related problems, material implication is not generally considered a viable analysis of conditional sentences in natural language. Notation In logic and related fields, the material conditional is customarily notated with an infix operator \to. The material conditional is also notated using the i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Converse (logic)
In logic and mathematics, the converse of a categorical or implicational statement is the result of reversing its two constituent statements. For the Material conditional, implication ''P'' → ''Q'', the converse is ''Q'' → ''P''. For the categorical proposition ''All S are P'', the converse is ''All P are S''. Either way, the truth of the converse is generally independent from that of the original statement.Robert Audi, ed. (1999), ''The Cambridge Dictionary of Philosophy'', 2nd ed., Cambridge University Press: "converse". Implicational converse Let ''S'' be a statement of the form ''P implies Q'' (''P'' → ''Q''). Then the ''converse'' of ''S'' is the statement ''Q implies P'' (''Q'' → ''P''). In general, the truth of ''S'' says nothing about the truth of its converse, unless the Antecedent (logic), antecedent ''P'' and the consequent ''Q'' are logically equivalent. For example, consider the true statement "If I am a human, then I am mortal." The converse of that stateme ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complement (set Theory)
In set theory, the complement of a Set (mathematics), set , often denoted by A^c (or ), is the set of Element (mathematics), elements not in . When all elements in the Universe (set theory), universe, i.e. all elements under consideration, are considered to be Element (mathematics), members of a given set , the absolute complement of is the set of elements in that are not in . The relative complement of with respect to a set , also termed the set difference of and , written B \setminus A, is the set of elements in that are not in . Absolute complement Definition If is a set, then the absolute complement of (or simply the complement of ) is the set of elements not in (within a larger set that is implicitly defined). In other words, let be a set that contains all the elements under study; if there is no need to mention , either because it has been previously specified, or it is obvious and unique, then the absolute complement of is the relative complement of in : ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Domain Of Discourse
In the formal sciences, the domain of discourse or universe of discourse (borrowing from the mathematical concept of ''universe'') is the set of entities over which certain variables of interest in some formal treatment may range. It is also defined as the collection of objects being discussed in a specific discourse. In model-theoretical semantics, a universe of discourse is the set of entities that a model is based on. 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''. Etymology The concept ''universe of discourse'' was used for the first time by George Boole (1854) on page 42 of his '' Laws of Thought'': The concept, probably discovered independently by Boole in 1847, played a crucial role i ... [...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] |
Singular Term
A singular term is a paradigmatic referring device in a language. Singular terms are defined as expressions that purport to denote or designate particular individual people, places, or other objects. They contrast with ''general terms'' (such as "car" or "chair") which can apply to more than one thing. Singular terms are of philosophical importance for philosophers of language, because they ''refer'' to things in the world, and the ability of words to refer calls for scrutiny. Overview There are various kinds of singular terms: proper names (e.g. "Matthew"), definite descriptions (e.g. "the second fisherman in the boat"), singular personal pronouns (e.g. "she"), demonstrative pronouns (e.g. "this"), etc. Historically, various definitions for "singular term" have been offered: # A term that tells us which individual is being talked about. (John Stuart Mill, Arthur Prior, P. F. Strawson) # A term that is grammatically singular, i.e. a proper name (''proprium nomen''), a demonst ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
