abductive reasoning aesthetics al-farabi al-ghazali al-kindi alan turing alfred north whitehead alfred tarski alonzo church analogy analytic philosophy ancient philosophy antinomy argument argumentation theory aristotelianism aristotle artificial intelligence averroes averroism avicenna avicennism axiom axiomatic system backward chaining bayesian inference bertrand russell boolean function boolean satisfiability problem buddhist philosophy business rule business rules engine certainty charles peirce chinese philosophy christian philosophy classical logic closed world assumption cogency cognitive bias cognitive psychology completeness computability logic conclusion consistency contemporary philosophy continental philosophy critical thinking david hilbert deconstruction deductive reasoning deductive system definition deontic logic deontological ethics dharmakirti dialectical materialism dialetheism doxastic logic dualism early islamic philosophy eastern philosophy empiricism environmental philosophy epicureanism epiphenomenalism epistemic logic epistemology ethics euclid existentialism expert system 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 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 engine informal logic inquiry intuitionism intuitionistic logic iranian philosophy islamic philosophy jain philosophy jewish philosophy kanada 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 logic of information logical atomism logical connective logical consequence logical graph logical positivism logicism lotfi asker zadeh marxism materialism mathematical logic mathematics measurement medieval philosophy metalogic metaphilosophy metaphysics modal logic model theory modern philosophy modus ponens monadic predicate calculus monism moral particularism mozi nagarjuna neoplatonism new philosophers nihilism nominalism non-monotonic logic ontology ordinary language philosophy organon paraconsistent logic paradox peripatetic school philosophical anthropology philosophical logic philosophical movement philosophical realism 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 plato platonic realism platonism political philosophy positivism postmodern philosophy pragmatism pre-socratic philosophy predicate logic premise probability problem of induction programming language prolog proof proof theory proposition propositional calculus quantification rationalism reason reasoning recursion theory relativism relevance relevance logic rudolf carnap rule of inference saul kripke scholasticism science second-order logic sentence set theory shahab al-din suhrawardi socrates soundness statistical inference statistics stoicism structuralism subset syllogism table of logic symbols temporal logic term logic theorem thomism thoralf skolem truth table type theory utilitarianism validity virtue ethics web ontology language well-formed formula western philosophy wiktionary willard van orman quine