HOME
*





Particular Proposition
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, \forall _\rightarrow P_xequiv \forall neg S_\lor P_x/math>) *No ''S'' are ''P''. (''E'' form, \forall _\rightarrow \neg P_xequiv \forall neg S_\lor \neg P_x/math>) *Some ''S'' are ''P''. (''I'' form, \exists _\land P_x/math>) *Some ''S'' are not ''P''. (''O'' form, \ex ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Logic
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 un ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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 drawn on a plane to represent sets. Very often, these curves are circles or ellipses. Similar ideas had been proposed before Venn. Christian Weise in 1712 (''Nucleus Logicoe Wiesianoe'') and Leonhard Euler (''Letters to a German Princess'') in 1768, for instance, came up with similar ideas. The idea was popularised by Venn in ''Symbolic Logic'', Chapter V "Diagrammatic Representation", 1881. Details A Venn diagram may also be called a ''set diagram'' or ''logic diagram''. It is a diagram that shows ''all'' possible logical relations between a finite collection of different sets. These diagrams depict element ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Contraposition
In logic and mathematics, contraposition refers to the inference of going from a conditional statement into its logically equivalent contrapositive, and an associated proof method known as Proof by contrapositive, proof by contraposition. The contrapositive of a statement has its Antecedent (logic), antecedent and consequent Inverse (logic), inverted and Conversion (logic), flipped. Material conditional, Conditional statement P \rightarrow Q. In Logical connective, 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. The contrapositive ( \neg Q \rightarrow \neg P ) can be compared with three other statements: ;Inverse (logic), Inversion (the inverse), \neg P \rightarrow \ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Negation
In logic, negation, also called the logical complement, is an operation that takes a proposition P to another proposition "not P", written \neg P, \mathord P or \overline. It is interpreted intuitively as being true when P is false, and false when P is true. Negation is thus a unary logical connective. It may be applied as an operation on notions, propositions, truth values, or 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 refutations of P. Definition ''Classical negation'' is an operation on one logical value, typically the value of a proposition, that produces a value of ''true'' when its operand is false, and a value of ''false'' when its operand is true. Thus if statement is true, then \neg P (pr ...
[...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]  


Material Conditional
The material conditional (also known as material implication) is an operation commonly used in logic. When the conditional symbol \rightarrow is interpreted as material implication, a formula P \rightarrow Q is true unless P is true and Q is false. Material implication can also be characterized inferentially by modus ponens, modus tollens, conditional proof, and classical reductio ad absurdum. 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 l ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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 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 ''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 statement is "If I am mortal, then I am ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Complement (set Theory)
In set theory, the complement of a set , often denoted by (or ), is the set of elements not in . When all sets in the universe, i.e. all sets under consideration, are considered to be 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 : A^\complement = U \setminus A. Or formally: A^\complement = \. The absolute complement of is u ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Domain Of Discourse
In the formal sciences, the domain of discourse, also called the universe of discourse, universal set, or simply universe, is the set of entities over which certain variables of interest in some formal treatment may range. Overview 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''.José Miguel Sagüillo, Domains of sciences, universe of discourse, and omega arguments, History and philosophy of logic, vol. 20 (1999), pp. 267–280. Examples For example, in an interpretation of first-order logic, the domain of discourse is the set of individuals over which the quantifiers range. A proposition such as is ambiguous, if no domain of discourse has been identified. In one interpretation, the domain of di ...
[...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 Cardiff an ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Singular Term
A singular term is a paradigmatic referring device in a language. 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 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. 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 demonstrati ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Intensional Statement
In linguistics, logic, philosophy, and other fields, an intension is any property or quality connoted by a word, phrase, or another symbol. In the case of a word, the word's definition often implies an intension. For instance, the intensions of the word ''plant'' include properties such as "being composed of cellulose", "alive", and "organism", among others. A '' comprehension'' is the collection of all such intensions. Overview The meaning of a word can be thought of as the bond between the ''idea the word means'' and the ''physical form of the word''. Swiss linguist Ferdinand de Saussure (1857–1913) contrasts three concepts: # the ''signifier'' – the "sound image" or the string of letters on a page that one recognizes as the form of a sign # the ''signified'' – the meaning, the concept or idea that a sign expresses or evokes # the ''referent'' – the actual thing or set of things a sign refers to. See '' Dyadic signs'' and '' Reference (semantics)''. Without intension ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]