abductive reasoning academia aesthetics al-farabi al-ghazali al-kindi alan turing alfred north whitehead alfred tarski alonzo church analytic philosophy ancient philosophy antinomy argument argumentation theory aristotelianism aristotle atom auguste comte averroes averroism avicenna avicennism axiom axiomatic system berlin circle bertrand russell boolean function boolean satisfiability problem buddhist philosophy carl gustav hempel charles peirce chinese philosophy christian philosophy classical logic cogency coherence theory of truth cold war completeness computability logic consistency contemporary philosophy continental philosophy correspondence theory of truth critical thinking david hilbert deconstruction deductive reasoning deductive system deontic logic deontological ethics dharmakirti dialectical materialism dialetheism digital object identifier doxastic logic dualism early islamic philosophy eastern philosophy empiricism environmental philosophy epicureanism epiphenomenalism epistemic logic epistemology ernest nagel ernst mach 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 friedrich waismann fuzzy logic georg cantor george boole gerhard gentzen giuseppe peano glossary of philosophical isms gottlob frege greek philosophy gustav bergmann hans hahn hans reichenbach harvard university hedonism hegelianism hellenistic philosophy herbert feigl hermeneutics hilary putnam hindu philosophy history of logic history of philosophy history of science holism humanism hypothesis ibn hazm ibn taymiyyah ibn al-nafis idealism immanuel kant indian logic indian philosophy inductive reasoning inference informal logic intuitionism intuitionistic logic iranian philosophy islamic philosophy jain philosophy jewish philosophy kanada karl popper kurt grelling 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 logicism lotfi asker zadeh ludwig wittgenstein marxism materialism mathematical logic medieval philosophy metalogic metaphilosophy metaphysical naturalism metaphysics modal logic model theory modern philosophy monadic predicate calculus monism moral particularism moritz schlick mozi nagarjuna neoplatonism new philosophers nihilism nominalism non-monotonic logic ontology ordinary language philosophy organon otto neurath paraconsistent logic paradox peripatetic school peter godfrey-smith phenomenalism philipp frank 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 platonic realism platonism political philosophy positivism postmodern philosophy pragmatism pre-socratic philosophy predicate logic principia mathematica probability proof theory proposition propositional calculus quantification rationalism reason reasoning received view of theories recursion theory reductionism relativism relevance logic rudolf carnap rule of inference saul kripke scholasticism scientific realism second-order logic set theory shahab al-din suhrawardi sociological positivism soundness stoicism structuralism syllogism table of logic symbols temporal logic term logic the logic of scientific discovery theology theorem thomism thoralf skolem tractatus logico-philosophicus truth table type theory unified science university of chicago university of chicago press utilitarianism validity verificationism vienna circle virtue ethics well-formed formula western philosophy willard van orman quine world war i