Logical reasoningLogical reasoning is a mental activity that aims to arrive at a conclusion in a rigorous way. It happens in the form of inferences or arguments by starting from a set of premises and reasoning to a conclusion supported by these premises. The premises and the conclusion are propositions, i.e. true or false claims about what is the case. Together, they form an argument. Logical reasoning is norm-governed in the sense that it aims to formulate correct arguments that any rational person would find convincing.
Prior AnalyticsThe Prior Analytics (Ἀναλυτικὰ Πρότερα; Analytica Priora) is a work by Aristotle on reasoning, known as syllogistic, composed around 350 BCE. Being one of the six extant Aristotelian writings on logic and scientific method, it is part of what later Peripatetics called the Organon. The term analytics comes from the Greek words analytos (ἀναλυτός, 'solvable') and analyo (ἀναλύω, 'to solve', literally 'to loose'). However, in Aristotle's corpus, there are distinguishable differences in the meaning of ἀναλύω and its cognates.
Deductive reasoningDeductive reasoning is the mental process of drawing deductive inferences. An inference is deductively valid if its conclusion follows logically from its premises, i.e. it is impossible for the premises to be true and the conclusion to be false. For example, the inference from the premises "all men are mortal" and "Socrates is a man" to the conclusion "Socrates is mortal" is deductively valid. An argument is sound if it is valid and all its premises are true.
RhetoricRhetoric (ˈrɛtərɪk) is the art of persuasion, which along with grammar and logic (or dialectic), is one of the three ancient arts of discourse. Rhetoric aims to study the techniques writers or speakers utilize to inform, persuade, or motivate particular audiences in specific situations. Aristotle defines rhetoric as "the faculty of observing in any given case the available means of persuasion" and since mastery of the art was necessary for victory in a case at law, for passage of proposals in the assembly, or for fame as a speaker in civic ceremonies, he calls it "a combination of the science of logic and of the ethical branch of politics".
SyllogismA syllogism (συλλογισμός, syllogismos, 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true. In its earliest form (defined by Aristotle in his 350 BC book Prior Analytics), a syllogism arises when two true premises (propositions or statements) validly imply a conclusion, or the main point that the argument aims to get across.
Categorical propositionIn 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).
