Search results
Results from the WOW.Com Content Network
This theory of deductive reasoning – also known as term logic – was developed by Aristotle, but was superseded by propositional (sentential) logic and predicate logic. [citation needed] Deductive reasoning can be contrasted with inductive reasoning, in regards to validity and soundness. In cases of inductive reasoning, even though the ...
In the second half of the 5th century BC, sophists were teachers who specialized in using the tools of philosophy and rhetoric to entertain, impress, or persuade an audience to accept the speaker's point of view. Socrates promoted an alternative method of teaching, which came to be called the Socratic method. [2]
Socratic questioning (or Socratic maieutics) [1] is an educational method named after Socrates that focuses on discovering answers by asking questions of students. According to Plato, Socrates believed that "the disciplined practice of thoughtful questioning enables the scholar/student to examine ideas and be able to determine the validity of those ideas". [2]
For example, the proposition that water is H 2 O (if it is true): According to Kripke, this statement is both necessarily true, because water and H 2 O are the same thing, they are identical in every possible world, and truths of identity are logically necessary; and a posteriori, because it is known only through empirical investigation.
Different sets of rules of inference constitute different deductive systems, for example, the ones associated with classical logic or with intuitionistic logic. So whether the proposition is a logical consequence depends not just on the premises but also on the deductive system used.
In this way, it contrasts with deductive reasoning examined by formal logic. [35] Non-deductive arguments make their conclusion probable but do not ensure that it is true. An example is the inductive argument from the empirical observation that "all ravens I have seen so far are black" to the conclusion "all ravens are black".
A syllogism (Ancient Greek: συλλογισμός, 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. "Socrates" at the Louvre
Deductive reasoning – Form of reasoning – from meaning postulate, axiom, or contingent assertion: if p then q (i.e., q or not-p) Inductive reasoning – Method of logical reasoning – theory formation; from data, coherence, simplicity, and confirmation: (inducibly) "if p then q"; hence, if p then (deducibly-but-revisably) q