As opposed to propositional logic, this is the type of formal logic introduced by Aristotle
What is categorical logic?
the person who founded categorical logic
Who is Aristotle?
the quantity of a proposition that begins with "All" or "No"
What is universal?
a diagram that depicts the relationships between pairs of propositions that are stated in categorical form.
What is the square of opposition?
the town where Jesus was born
What is Bethlehem?
this term describes an argument in formal logic that has a correct form, whether or not its premises are true or false
What is "valid"?
a group of thinkers who had many different interests, but who are grouped together because they were the first people who attempted to arrive at explanations (e. g. about god, nature) via reason alone.
Who are the PreSocratics?
This statement translated into categorical form: Most cats laze around a lot.
What is "Some cats are lazy"?
the term for the relationship between A and E propositions
What is "contrary"?
January 6th/ the twelfth day of Christmas on the Western calendar is this
What is Epiphany?
the type of reasoning that is used in informal logic; it draws a general conclusion or an analogy from evidence and/or experience
What is inductive reasoning?
the process Socrates used to examine others' beliefs and ideas
What is dialectic?
the technical term for the verb "to be" when it is used in a proposition in categorical form
What is a copula?
if two propositions are this, they cannot both be true at the same time, and they cannot both be false at the same time
What is contradictory?
the total number of swans in "The 12 Days of Christmas" - if you sing the song all the way through
What is 42?
When the mind makes a judgment about an object, it places that object into a category and makes one of these
What is a proposition?
his truth table is the basis for the binary language used as the basis for computer programming
Who is George Boole?
Words like "since," "because" and "it follows that" are examples of these
What are premise indicators?
propositions that are superalternate
What are I and A - and O and E?
the names of Santa's reindeer, according to Clement Moore
Who are Dasher, Dancer, Prancer, Vixen, Comet, Cupid, Dunder, and Blixem?
the act of the mind that creates a concept that can be used as a term in categorical logic.
What is simple apprehension?
a phrase or predicate term that defines some X by expressing its "substance"
What is essential predication?
This statement translated into categorical form: "Kripke models can be conveniently described in terms of a process of acquiring knowledge in stages (in time) by an idealized mathematician." -- Dictionary of Logic, 160.
What is "All Kripke models are a process of acquiring knowledge in stages"?
propositions that share this relationship can both be true at the same time, but they cannot both be false at the same time.
What is subcontrariety?
the person who invented the "creche" (i. e. nativity scene)
Who is St. Francis of Assisi?