A nested proof; that is, a proof that occurs within a larger proof sequence. (See alsoAssumptive proof.) https://youtube.com/shorts/GztQjmSjBQM?feature=share
Aesthetic experience associated with being overwhelmed—for example, in terms of size (the mathematically sublime) or in terms of power (the dynamically sublime). For Immanuel Kant(1724-1804), this involved the sensation that…
Søren Kierkegaard’s (1813-1855) view that “truth is subjectivity” is not to be confused with relativism, which is the view that something is true because one believes it. Instead,subjective truth is…
In categorical logic, the term that comes first in a standard-form proposition. (See also Categorical proposition and Standard form.) https://youtube.com/shorts/ma4TRhKu-VM?feature=share
A pair of propositions that cannot both be simultaneously false but can be simultaneously true. In categorical logic, I- and O-propositions are sub contraries. If one is false, the other…
On the Aristotelian or traditional square of opposition, the relation between a particular claim and its corresponding universal (superaltern). https://youtube.com/shorts/cTSht53vNcw?feature=share
An evaluation term in inductive logic, a strong argument is one in which the premises make the conclusion probably, or likely, true. https://youtube.com/shorts/2smX3wfj90A?feature=share
(or Straw Man; gender neutral alternatives: straw person or straw person)An informal fallacy constituted by distorting someone’s position in such a way as to render it unrecognizable and easy to…