import, existential — See existential import … Philosophy dictionary
Syllogism — A syllogism (Greek: συλλογισμός – syllogismos – conclusion, inference ) is a kind of logical argument in which one proposition (the conclusion) is inferred from two or more others (the premises) of a certain form. In antiquity, there were… … Wikipedia
Square of opposition — In the system of Aristotelian logic , the square of opposition is a diagram representing the different ways in which each of the four propositions of the system are logically related ( opposed ) to each of the others. The system is also useful in … Wikipedia
Empty domain — In first order logic the empty domain is the empty set having no members. In traditional and classical logic domains are restrictedly non empty in order that certain theorems be valid. Interpretations with an empty domain are shown to be a… … Wikipedia
List of philosophy topics (D-H) — DDaDai Zhen Pierre d Ailly Jean Le Rond d Alembert John Damascene Damascius John of Damascus Peter Damian Danish philosophy Dante Alighieri Arthur Danto Arthur C. Danto Arthur Coleman Danto dao Daodejing Daoism Daoist philosophy Charles Darwin… … Wikipedia
Miss Lonelyhearts — 1949 first UK edition cover … Wikipedia
Contraposition (traditional logic) — In traditional logic, contraposition is a form of immediate inference in which from a given proposition another is inferred having for its subject the contradictory of the original predicate, and in some cases involving a change of quality… … Wikipedia
ÊTRE (philosophie) — La «question sur l’être» traverse l’histoire de la philosophie. Pour certains, elle serait le motif même de cette histoire, les différences entre les philosophies découlant, au plus profond, de la diversité des réponses à la question sur l’être.… … Encyclopédie Universelle
epistemology — epistemological /i pis teuh meuh loj i keuhl/, adj. epistemologically, adv. epistemologist, n. /i pis teuh mol euh jee/, n. a branch of philosophy that investigates the origin, nature, methods, and limits of human knowledge. [1855 60; < Gk… … Universalium
Free logic — is a logic with no existential presuppositions. Alternatively, it is a logic whose theorems are valid in all domains, including the empty domain. Explanation In classical logic there are theorems which clearly presuppose that there is something… … Wikipedia