Categorical 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, ) No S are P. (E form, ) Some S are P. (I form, ) Some S are not P. (O form, ) Surprisingly, 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 investigations resulted in the so-called square of opposition, which codifies the logical relations among the different forms; for example, that an A-statement is contradictory to an O-statement; that is to say, for example, if one believes "All apples are red fruits," one cannot simultaneously believe that "Some apples are not red fruits." Thus the relationships of the square of opposition may allow immediate inference, whereby the truth or falsity of one of the forms may follow directly from the truth or falsity of a statement in another form. Modern understanding of categorical propositions (originating with the mid-19th century work of George Boole) requires one to consider if the subject category may be empty. If so, this is called the hypothetical viewpoint, in opposition to the existential viewpoint which requires the subject category to have at least one member. The existential viewpoint is a stronger stance than the hypothetical and, when it is appropriate to take, it allows one to deduce more results than otherwise could be made.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (1)

Related concepts (17)

Related courses (4)

Related lectures (61)

Surélévation et densification en bois du quartier de Sévelin (VD)

L'augmentation de la population, l'étalement urbain et le mitage du territoire, représentent des défis majeurs auxquels les grandes agglomérations doivent faire face. La densification par la surélévation, accompagnée d'une analyse minutieuse du bâtiment et de son contexte, est une manière judicieuse de répondre aux besoins actuels tels que le manque de logements. Notre proposition, composée d'une surélévation-extension et de deux nouveaux immeubles de logements, ne se contente pas seulement de densifier et d'aménager le quartier de Sévelin. Elle offre un système applicable à la plupart des bâtiments, sous forme de voiles en bois rayonnant autour d'un noyau en béton. Le principe constructif est de prolonger la partie centrale (cages d'escaliers et services) de manière minérale et massive et de réaliser la ceinture (séjours et chambres) par un matériau durable et léger, sur plusieurs étages, selon le contexte et la capacité structurelle de l'existant. Ainsi, tout immeuble ordinaire devient un potentiel de socle à la surélévation légère. Son évolution est l'adaptation durable de l'existant par son extension. Cela implique une bonne gestion et préparation des matériaux utilisés, ainsi que l'emploi adéquat de leurs caractéristiques. Porté à une application globale, ce processus peut être perçu comme la perspective d'une planification urbaine mettant en relation l'homme aux matériaux, idéologie contemporaine d'un retour à la “ville en bois”.

2017

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 logical truths. It studies how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language.

Inverse (logic)

In logic, an inverse is a type of conditional sentence which is an immediate inference made from another conditional sentence. More specifically, given a conditional sentence of the form , the inverse refers to the sentence . Since an inverse is the contrapositive of the converse, inverse and converse are logically equivalent to each other. For example, substituting propositions in natural language for logical variables, the inverse of the following conditional proposition "If it's raining, then Sam will meet Jack at the movies.

Obversion

In traditional logic, obversion is a "type of immediate inference in which from a given proposition another proposition is inferred whose subject is the same as the original subject, whose predicate is the contradictory of the original predicate, and whose quality is affirmative if the original proposition's quality was negative and vice versa". The quality of the inferred categorical proposition is changed but the truth value is the same to the original proposition.

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a

MATH-323: Topology III - Homology

Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course is to introduce this notion, understand its

MATH-207(d): Analysis IV

Le cours étudie les concepts fondamentaux de l'analyse complexe et de l'analyse de Laplace en vue de leur utilisation pour résoudre des problèmes pluridisciplinaires d'ingénierie scientifique.

Jordan Curve Theorem MATH-323: Topology III - Homology

Covers the proof of the Jordan Curve Theorem and the properties of embedded spheres.

Sets and Operations: Introduction to Mathematics

Covers the basics of sets and operations in mathematics, from set properties to advanced operations.

Linear Algebra: Properties and Propositions

Explores the link between properties and variables, including contraries and propositions.