Logic

Most Relevant Related Tags

• mathematical logic [5%]
  
• aristotle [4%]
  
• modal logic [4%]
  
• bertrand russell [3%]
  
• argumentation theory [3%]
  
• model theory [3%]
  
• inference [3%]
  
• set theory [3%]
  
• deductive reasoning [3%]
  
• artificial intelligence [3%]
  
• inductive reasoning [3%]
  
• gottlob frege [3%]
  
• proof theory [3%]
  
• classical logic [3%]
  
• relevance logic [2%]
  
• computer science [2%]
  
• term logic [2%]
  
• philosophical logic [2%]
  
• recursion theory [2%]
  
• philosophy [2%]
  

This is the cloud of related tags for the Logic concept

acm computing classification system abductive reasoning aesthetics al-farabi al-ghazali al-kindi alan turing alfred north whitehead alfred tarski alonzo church analytic philosophy ancient philosophy annals of mathematics antinomy arend heyting argument argumentation theory aristotelianism aristotle arithmetic arthur prior artificial intelligence automated theorem proving averroes averroism avicenna avicennism axiom axiomatic system bayesian probability bertrand russell boolean function boolean logic boolean satisfiability problem buddhist philosophy causality charles arthur willard charles peirce chinese philosophy christian christian philosophy clarence irving lewis classical logic cogency colonial india completeness complexity class computability logic computational linguistics computer science consistency contemporary philosophy continental philosophy continuum hypothesis critical thinking david hilbert deconstruction deductive reasoning deductive system default logic deontic logic deontological ethics description logic dharmakirti dialectic dialectical materialism dialetheism digital electronics doxastic logic dualism dynamic logic early islamic philosophy eastern philosophy empiricism entscheidungsproblem environmental philosophy epicureanism epiphenomenalism epistemic logic epistemology euclid existentialism fakhr al-din al-razi fallacy fictionalism finitism first-order logic formal grammar formal interpretation formal language formal methods formal proof formal science formal semantics formal semantics of programming languages formal system foundations of mathematics frame semantics free logic fuzzy logic garrett birkhoff general relativity geometry georg cantor george boole george boolos gerhard gentzen giuseppe peano glossary of philosophical isms gongsun long gottlob frege graham priest grammar graph theory greek language greek philosophy hedonism hegelianism hellenistic philosophy hermann weyl hermeneutics hilary putnam hindu philosophy history of logic history of philosophy hoare logic horn clause humanism hypothetical syllogism 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 john von neumann kanada law liberalism linear logic list of basic mathematics topics list of basic philosophy topics list of basic topics in logic list of fallacies list of logicians list of mathematical logic topics list of mathematics articles list of paradoxes list of philosophies list of rules of inference list of set theory topics list of topics in logic lists of philosophers lists of philosophy topics logic in china logic in islamic philosophy logic in computer science logic programming logic puzzle logical atomism logical connective logical consequence logical positivism logicism logos lotfi asker zadeh marxism materialism mathematical logic mathematical model mathematical notation mathematics mechanics medieval philosophy metalogic metaphilosophy metaphysics modal logic modality model theory modern philosophy monadic predicate calculus monism monotonicity of entailment moral particularism mozi multi-valued logic nagarjuna nasadiya sukta natural language neoplatonism new philosophers nihilism nominalism non-monotonic logic nyaya ontology ordinary language philosophy organon oxford university press paraconsistent logic paradox paradox of entailment 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 posterior analytics postmodern philosophy pragmatism pre-socratic philosophy predicate logic principia mathematica principle of bivalence principle of distributivity principle of explosion principles of theoretical logic prior analytics probabilistic logic probability problem of multiple generality prolog proof calculus proof theory proposition propositional calculus quantification quantum logic rationalism real number reason reasoning recursion theory relativism relevance logic renaissance rhetoric rigveda rudolf carnap rule of inference saul kripke scholasticism second-order logic semantics set set theory shahab al-din suhrawardi soundness stanford encyclopedia of philosophy stewart shapiro stoicism straight and crooked thinking structuralism susan haack syllogism symbolic logic table of logic symbols temporal logic term logic ternary logic tetralemma theorem thomism thoralf skolem truth truth table turing degree type theory utilitarianism validity virtue ethics well-formed formula western philosophy wikia wilhelm ackermann willard van orman quine