Tag:Logic
From Wikipedia, the free encyclopedia
Jump to: navigation, search
Related Tags
philosophy math psychology science mathematics programming bias cognition language theory paradox interesting puzzle statistics religion games cognitive thinking research probability education sudoku game brain symbols fun linguistics history maths article puzzles economics learning knowledge fallacy ai mind writing politics algorithm buddhism fallacies list argument people epistemology algorithms sociology culture debate ideas physics computer semiotics cool cs social notation lambda words reasoning design english atheism biases law turing electronics bayes lists semantics bayesian criticalthinking rhetoric prolog metaphysics latin ethics rules lojban gametheory computing wittgenstein problem humor creativity lifehacks funny calculus spirituality ontology simplicity inference languages communication occam software correlation functional hardware
Articles
- List of paradoxes (178)
- The Hardest Logic Puzzle Ever (162)
- List of fallacies (125)
- List of cognitive biases (108)
- Occam's razor (80)
- Monty Hall problem (67)
- First-order logic (59)
- Fallacy (52)
- Logic (49)
- Fuzzy logic (40)
- Table of logic symbols (40)
- Nomic (38)
- Ad hominem (31)
- Confirmation bias (29)psychology wikipedia bias logic cognition science brain cognitive interesting mind fallacy confirmationbias perception lifehacks philosophy confirmation social sociology education humannature society wiki confirmation_bias cognitivescience cognitive_biases behavior cognitive-biases attentionmanagement @example @wikipedia
- Reductio ad absurdum (28)
- Description logic (27)logic ontology semanticweb owl dl semantic rdf semantic_web research descriptionlogic wikipedia metadata concepts semweb thesis web representation description_logic description descriptionlogics ideas description_logics dl_expressivity description-logic descritption_logic arevoir ai algebraicoperators databases description%2Blogics
- Straw man (26)
- Unexpected hanging paradox (26)
- Lambda calculus (25)programming lambda math mathematics lisp calculus wikipedia reference functional logic language scheme computing lambdacalculus wiki cs computer languages maths computerscience theory lambda_calculus lambda-calculus computers haskell functionalprogramming fp compsci computer_science computer+science
- Karnaugh map (25)
- Reductio ad Hitlerum (24)
- Parable of the broken window (23)
- Logic gate (23)logic electronics wikipedia reference programming mathematics education tools hardware information computing computer-science gates computer concepts computer_science computation ciruits computer%2Felectronics computerarchitecture computers computerfpga circuits circuitos basics automaton book boolean boolean-logic automatisering
- Modal logic (23)
- Deductive reasoning (23)
- No true Scotsman (23)
- Falsifiability (22)
- Inductive reasoning (22)
- Combinatory logic (20)logic mathematics functional programming math haskell combinator wikipedia lambda functional-programming cs combinatorylogic computerscience definition combinatory_logic combinatory-logic combinatorics combinatory entrelacs forth fun importedfurl20071006 dataspace fp computing applicative basics calculus clogic concepts
- Correlation does not imply causation (19)
- Lojban (19)
- E-Prime (18)
- Predicate logic (18)
- Mathematical logic (18)
- Post hoc ergo propter hoc (17)
- Syllogism (17)
- Logical positivism (16)philosophy logic positivism wikipedia science ethics wiki mathematics reference rhetoric language reason logical_positivism logical religion philosophy_of_science beliefs philosophy_of_language epistemology philosophical_movements philosophical_schools_and_traditions rationality sociological_positivism philophophy logic&philosophy aia_mica ayer ee2 greenspan logicalpositivism
- Raymond Smullyan (16)
- Halting problem (16)
- Abductive reasoning (16)
- Liar paradox (16)
- Laws of Form (15)
- Modus tollens (15)
- Ignoratio elenchi (15)
- Wason selection task (15)
- Ludwig Wittgenstein (14)philosophy wittgenstein wikipedia language logic linguistics reference people philosophers philosopher art wiki mathematics postmodern math biography communication analytics person readme filosofia ludwigwittgenstein eventually_everything article austria artículos apologetics [person] %5Bwikipedia_article%5D aia_mica
- Model theory (14)logic math model theory model-theory semantics wikipedia mathematics semanticweb research modeltheory maths math.research logical-theories modeling non-constructive-model structure referencemaps logic-and-model-theory syntax explanation castalia axiomatics algebra general-mathematics general-semantic-web idea group graph language
- Zebra Puzzle (14)
- Automated theorem proving (14)logic theorem mathematics proof math atp wikipedia education wiki essay cs theorem-prover proving computer ai compsci computational-mathematics computational-logics computer-science formal formal-development cas computerintelligence%2C automated_reasoning artificial ar automated-deduction automated-reasoning automated-theorem-proving automated_theorem_proving
- Epistemology (13)
- Informal fallacy (13)
- Philosophy of mathematics (13)
- Two envelopes problem (13)
- Axiom (13)
- Propositional calculus (13)
- Begging the question (13)
- Pascal's Wager (13)
- Venn diagram (13)diagram math wikipedia mathematics logic maths ideas diagrams venn visualization theory illustration set_theory wiki art design venn-diagram settheory relationship comparison visual venndiagram charts presentation algorithm architecture.2do ch16 %5Bwikipedia_article%5D *** affinitycombined_moodboard
- Boolean satisfiability problem (12)
- Catch-22 (logic) (12)
- Paradox (12)
- Table of mathematical symbols (12)
- Problem of induction (12)
- Prolog (12)prolog programming wikipedia ai development wiki reference logic language languages linguistics erlang article intelligence artificialintelligence icontact hmc inteligencia-artificial knowledge-management lenguaje-programacion-logico ks5 gp delanick 5gl 4gl @read artificial declarative artigos_wiki_para_ler dynamic_programming
- Raven paradox (12)
- Inference (12)
- Truth table (12)
- Hoare logic (12)
- Argument map (12)argument logic reference mindmap mapping wikipedia thinking software planning psychology tools mindmapping argumentation argument_map writing visualizations argumentmap mind map decision_making education evidence filosophy debate conceptmap apologetics arguments awareness communication criticalthinking
- Set theory (12)
- Second-order logic (11)
- Entscheidungsproblem (11)logic math wikipedia cs algorithms reference decision computing λ turing entscheidungsproblem computation computability church david-hilbert definition german first-order-predicate-calculus boolean gottfried-leibniz alan_turing alan-turing ai ac alanturing alonzo-church architecture archintro alonzo_church arithmetic
- Intuitionistic logic (11)
- False dilemma (11)logic wikipedia debate reference dilemma false polarity dichotomy dilemmas politics phyphor logicalfallacies language research_%26_campaign interesting_ideas research religion read psychology debate/flaws colin cognitivedissonance choice buddhism consciousness english foonetic fallacy fallacies foonetic/#xkcd
- Solipsism (11)
- Not even wrong (11)
- Linear temporal logic (11)
- Sudoku (11)
- Logic programming (11)
- Causality (11)
- Bertrand Russell (10)
- Chewbacca defense (10)
- Boolean algebra (logic) (10)
- Is-ought problem (10)
- Argumentum ad populum (10)
- Common knowledge (logic) (10)
- Argumentation theory (10)logic argumentation debate theory philosophy proof wikipedia politics truth inference criticalthinking dissertation science argument myresearch j information negativism qjgeorge democracy policy persons activism arguing apologetics argument-theory argumentation-theory compendium_mailing_list augmentation conversation
- Boolean logic (10)boolean logic programming wikipedia mathematics math science tech computer education tools computers inf1070 forensics.kw forensic_science internet_tools law reference expert_witness legal search computer-science computerscience_mathematics boolean_logic boolean_algebra dna edisc.kw evidence electronics expert
- Logical connective (10)
- Mereology (10)
- Modus ponens (10)
- Omnipotence paradox (9)
- Analytic philosophy (9)
- Principia Mathematica (9)
- Affirming the consequent (9)
- Willard Van Orman Quine (9)
- Temporal logic (9)
- Non-monotonic logic (9)
- Prisoner's dilemma (9)
- Vacuous truth (9)
Retrieved from "http://en.wikipedia.org/wiki/Tag:Logic"
