abductive reasoning aesthetics al-farabi al-ghazali al-kindi alan turing alfred north whitehead alfred tarski alonzo church analytic philosophy ancient philosophy anti-realism antinomy argument argumentation theory aristotelianism aristotle averroes averroism avicenna avicennism axiom axiomatic system bertrand russell boolean function boolean satisfiability problem buddhist philosophy charles peirce chinese philosophy christian philosophy classical logic cogency completeness computability logic conceptualism consistency constructivist epistemology contemporary philosophy continental philosophy continuum hypothesis correspondence theory of truth counterfactual definiteness critical realism critical thinking david hilbert deconstruction deductive reasoning deductive system deflationary theory of truth deontic logic deontological ethics dharmakirti dialectical materialism dialetheism doxastic logic dualism early islamic philosophy eastern philosophy empiricism environmental philosophy epicureanism epiphenomenalism epistemic logic epistemological realism epistemology ethics existentialism fakhr al-din al-razi fallacy feminist philosophy fictionalism finitism first-order logic formal grammar formal interpretation formal language formal proof formal semantics formal system future fuzzy logic georg cantor george boole gerhard gentzen giuseppe peano glossary of philosophical isms gottlob frege greek philosophy hedonism hegelianism hellenistic philosophy hermeneutics hilary putnam hindu philosophy history of logic history of philosophy humanism ibn hazm ibn taymiyyah ibn al-nafis idealism immanuel kant indian logic indian philosophy inductive reasoning inference informal logic interpretation of quantum mechanics intuitionism intuitionistic logic iranian philosophy islamic philosophy jain philosophy jewish philosophy kanada legal realism liberalism linear logic list of basic topics in logic list of fallacies list of logicians list of mathematical logic topics list of paradoxes list of philosophies list of rules of inference list of set theory topics lists of philosophers lists of philosophy topics logic logic in china logic in islamic philosophy logic in computer science logical atomism logical connective logical consequence logical positivism logicism lotfi asker zadeh marxism material world materialism mathematical logic mathematics medieval philosophy metalogic metaphilosophy metaphysics mind modal logic model theory moderate realism modern philosophy monadic predicate calculus monism moral particularism morality mozi nagarjuna neoplatonism new philosophers nihilism nominalism non-monotonic logic ontology ordinary language philosophy organon paraconsistent logic paradox past peripatetic school philosophical anthropology philosophical logic philosophical movement philosophical skepticism philosophy philosophy and literature philosophy of economics philosophy of education philosophy of geography philosophy of healthcare philosophy of history philosophy of information philosophy of language philosophy of logic philosophy of mathematics philosophy of mind philosophy of music philosophy of physics philosophy of psychology philosophy of religion philosophy of science philosophy of social science philosophy of technology philosophy of war physics platonic realism platonism political philosophy positivism postmodern philosophy pragmatism pre-socratic philosophy predicate logic principle of locality problem of universals proof theory proposition propositional calculus quantification quantum mechanics rationalism real reality reason reasoning recursion theory relativism relevance logic rudolf carnap rule of inference saul kripke scholasticism scientific realism second-order logic set theory shahab al-din suhrawardi soundness stoicism structuralism syllogism table of logic symbols temporal logic term logic theorem thomism thoralf skolem thought triangle truth truth table type theory utilitarianism validity virtue ethics well-formed formula western philosophy willard van orman quine