abductive reasoning aesthetics al-farabi al-ghazali al-kindi alan turing alfred north whitehead alfred tarski alonzo church analogy analytic philosophy ancient philosophy antinomy archaeology argument argumentation theory aristotelianism aristotle averroes averroism avicenna avicennism axiom axiomatic system bertrand russell biased sample black swan boolean function boolean satisfiability problem buddhist philosophy category of being charles peirce chinese philosophy christian philosophy classical logic cogency common sense completeness computability logic consistency contemporary philosophy continental philosophy converse accident cosmic variance critical thinking david hilbert david hume deconstruction deductive reasoning deductive system deontic logic deontological ethics dharmakirti dialectical materialism dialetheism dicto simpliciter doxastic logic dualism early islamic philosophy eastern philosophy economics edwin thompson jaynes empiricism entailment environmental philosophy epicureanism epiphenomenalism epistemic logic epistemology ethics existentialism explanation fakhr al-din al-razi fallacy false analogy falsifiability 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 induction inductive reasoning aptitude inference informal logic inquiry intuitionism intuitionistic logic iranian philosophy islamic philosophy jain philosophy jewish philosophy kanada karl popper kibibyte 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 materialism mathematical induction mathematical logic medieval philosophy metalogic metaphilosophy metaphysics modal logic model theory modern philosophy monadic predicate calculus monism moral particularism mozi nagarjuna nelson goodman 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 physical cosmology platonic realism platonism political philosophy portable document format positivism postmodern philosophy pragmatism pre-socratic philosophy predicate logic principle of indifference probability problem of induction proof theory proposition propositional calculus quantification rationalism raven paradox reason reasoning recursion theory relativism relevance logic retroduction rudolf carnap rule of inference saul kripke scholasticism science scientific skepticism scottish people second-order logic semantics set theory sextus empiricus shahab al-din suhrawardi soundness stanford encyclopedia of philosophy statistical population stoicism structuralism syllogism table of logic symbols temporal logic term logic theorem thomism thoralf skolem truth table type theory university of north carolina at greensboro utilitarianism validity virtue ethics well-formed formula western philosophy willard van orman quine