Free On-line Dictionary of Philosophy; Acknowledgements; abduction; Abelard Peter; Absolute; absolute consistency; absolute inconsistency; absolutism; absorption; abstract class; abstract data type; abstract interpretation; abstraction; abstractionism; abstract machine; Abstract Machine Notation; abstract syntax; abstract syntax tree; Abstract-Type and Scheme-Definition Language; absurd; Abunaser; accent fallacy of; Acceptable Use Policy; acceptance testing; acceptor; access consciousness; accident; accidentalism; accident fallacy of; accuracy; a-consciousness; acronym; action; action theory; active object; actor; Actors; act - rule utilitarianism; actual; actuality - potentiality; adaptive learning; Addams Jane; addition; additive; ad hoc; ad hominem argument; adiaphora; A Dictionary of Philosophical Terms and Names; adjectival numerals; Adler Alfred; Adorno Theodor Wiesengrund; aesthetic; aestheticism; aesthetics; affirmative action; affirmative conclusion from negative premise; affirmative proposition; affirming the alternative; affirming the consequent; a fortiori; agent; aggregate type; aggregation; agnosticism; agreement method of; AI; AI-complete; aisthaesis; aition; aka; akrasia; AL; Albert the Great; aleph 0; aletheia; Alexander Samuel; Algazel; algebra; algebraic; algebraic data type; algebraic structure; algorithm; Algorithmic Model; alias; aliasing; alienation; alife; A-Life; alpha-categoricity; alphanumeric; Alpharabius; alternation; alternative occurrence; Althusser Louis; altruism; ambiguity; Amdahl's Law; amoral; amphiboly; analog; analogue; analogue computer; analogy; analysis; analytic; Analytical Engine; Analytical Machine; analytic philosophy; analytic - synthetic; anamnaesis; anankae; anarchism; Anaxagoras of Clazomenae; Anaximander; Anaximenes; AND; andreia; Angst; anima; animal rights; animals; animism; annealing; anomalous monism; Anscombe G.E.M.; Anselm - Anselm of Canterbury; antecedent; Anthony Susan Brownell; anthropic principle; anthropomorphism; antichain; antinomy; Antisthenes; antisymmetric; antitheorem; antithesis; anxiety; apeiron; APF; A Philosophical Glossary; apodeictic; apodosis; aporia; a posteriori; appearance - reality; apperception; Appiah Kwame Anthony; applied ethics; approximation algorithm; a priori; A proposition; Aquinas Thomas; archae; Archimedes; architecture; Arendt Hannah; Ares; aretae; arg; argument; argument form; argument from evil; argumentum; argumentum ad populum; Aristippus; aristocracy; aristotelianism; aristotelian logic; Aristotle; arithmetic, formal system of; arithmetisation; arity; Armstrong David M.; Arnauld Antoine; Arrow Kenneth Joseph; artificial intelligence; Artificial Life; artificial neural network; asceticism; aspectual shape; assent; assertion; assertoric; assignment; assignment problem; associated propositional formula; association; associationalism; association of ideas; assumption; ataraxia; atheism; atom; atomism; attribute; Aufklaerung; Augustine; Austin John; Austin John Langshaw; authentication; authenticity; authoritarianism; authority appeal to; autocracy; automata; automata theory; automation; automatism; automaton; autonomy; autonomy - heteronomy of the will; avatar; Averroes; Avicebron; Avicenna; axiology; axiom; axiomatic semantics; axiomatic set theory; Axiom of Choice; Axiom of Comprehension; Ayer Alfred Jules; Babbage Charles; Bachelard Gaston; Background; back-propagation; backtracking; backward analysis; backward chaining; Bacon Francis; Bacon Roger; baculum argumentum ad; bad faith; Baier Annette; Baier Kurt; Bakunin Mikhail Alexandrovich; Banach algebra; Banach inverse mapping theorem; Banach space; Banach-Tarski paradox; Barbara; Baroco; base; base class; basis; Bayes Thomas; Bayle Pierre; beauty; Beauvoir Simone de; bedeutung; begging the question; begriff; behaviourism; belief; belief revision; bell curve; benchmark; Bentham Jeremy; Berdyaev Nicolai Alexandrovich; Bergmann Gustav; Bergson Henri; Berkeley George; Berlin Isaiah; Bernstein condition; best first search; Best Fit; best of all possible worlds; beta abstraction; beta conversion; beta reduction; bewusstsein; Bezier curve; Bezier surface; biconditional; bijection; binaries; binary; binary file; binary search; binary tree; binding-time analysis; bit; bivalence principle of; black box; black-box testing; Blanshard Brand; Bocardo; Boethius Anicius Manlius Severinus; Boetius of Dacia; Bohr Niels Henrik David; Bolzano Bernard; Bonaventure; Boole George; Bordo Susan; Bosanquet Bernard; boundless the; Boyle Robert; Boolean; Boolean algebra; Boolean logic; Boolean search; Boole George; bootstrap; Bordo Susan; Bosanquet Bernard; bottom; bottom-unique; bottom-up implementation; bottom-up model; bounded; boundedly complete; bounded minimization; boundless the; bound variable; bourgeois; Boyle Robert; Bradley Francis Herbert; branch; branch prediction; Brentano Franz Clemens; brittle; Broad Charlie Dunbar; Bruno Giordano; brute force; brute force attack; B-tree; Buber Martin; Buddhism; bundle theory; Buridan Jean; Burke Edmund; Busy Beaver; Butler Joseph; byte; c; Caird Edward; calculus; Cambridge Platonists; Camenes; Camestres; Camus Albert; canonical; canonicity; Cantor Georg Ferdinand Ludwig Philipp; Cantorian set theory; Cantor's theorem; capacitor; capitalism; cardinality; cardinality of an interpretation; cardinal number; Carnap Rudolf; Carneades; Carroll Lewis; Cartesian coordinates; Cartesian doubt; Cartesian interactionist dualism; Cartesianism; Cartesian product; Cartesian scepticism; Cassirer Ernst; casuistry; categorical imperative; categorical logic; categorical proposition; categorical syllogism; categorical term; categoricity of systems; category; category mistake; catharsis; Cauchy sequence; causal functionalism; causation; cause; cause - effect; causes the four; Cavendish Margaret; Celarent; censorship; coherence theory of truth; cellular automata; cellular automaton; Cesare; chain of being; chaos; Charron Pierre; Chinese room; chip; Chisholm Roderick M.; Chomsky Noam Avram; Christianity; Chrysippus; Church Alonzo; Church-Rosser Theorem; Church's theorem; Church's thesis; Cicero Marcus Tullius; circuit; circularity; Cixous Hélène; Clarke Samuel; class; class hierarchy; classical logic; classicism; class library; class method; clear and distinct; Clifford William Kingdon; clone; closed-box testing; closed set; closed term; closure; closure conversion; CNF; coarse grain; Cockburn Catherine Trotter; codomain; cogito argument; cognition; cognitive architecture; cognitive science; cognize; coherence; collectivism; Collingwood Robin George; colour perception theories of; colour theories of; combination; combinator; combinatory logic; communalism; communication system; communism; communitarianism; compactness preserving; compatibilism; compatibility; compatible; complement; complementary non-deterministic polynomial; complete; complete graph; complete inference system; complete lattice; complete metric space; completeness; complete partial ordering; complete theory; complexity; complexity class; complexity measure; complex number; complex question; component; composite; composition; composition fallacy of; compositionality; compound proposition; computability theory; computable; computable function; computation; Computational Adequacy Theorem; computational architecture; computational complexity; computational model; computational models; computer; computer crime; computer dictionary; computer ethics; computer language; computer law; Computer Mediated Communication; computer program; computing; computing dictionary; computron; Comte Auguste M.E.X.; concept; conceptualisation; conceptualism; conceptual role semantics; conclusion; concomitant variation method of; concrete class; concrete syntax; concretism; concurrency; Condillac Etienne Bonnot de; conditional; confirmation; Confucianism; conjunction; Conjunctive Normal Form; connected graph; connected subgraph; connectionism; connectionism history of; connective; connotation; conscience; consciousness; consciousness access; consciousness objection; consequence; consequent; consequentialism; consistency; consistently complete; constant; constraint; constraint satisfaction; constructed type; constructive; constructive proof; constructor; container class; context; context clash; context-free; continence - incontinence; contingency; contingent; continuous function; continuum hypothesis; continuum; contraction; contradiction; contradictories; contraposition; contraries; control flow; conventionalism; converse; converse accident; conversion; Conway Anne Finch; co-option; coordinate; Copernicus Nicolas; copyright; Cordemoy; corpuscularianism; correspondence theory of truth; corresponding argument or derivation; corresponding conditional; cosmological arguments; countable; countably many; counted; counter-example; coupling; counterfactual; courage; creativity; Crescas Hasdai ben Abraham; criptography; crisp; criterion; critical theory; Croce Benedetto; CRS; Cudworth Ralph; cultural relativism; Cumberland Richard; curried function; currying; Cusa Nicolas of; cybernetics; cyberpunk; cybersex; cyberspace; cycle; cynicism; dagger function; Daly Mary; darii; Darwin Charles; dasein; data; data abstraction; database; database normalisation; data dictionary; data dictionary file; data flow; data flow analysis; Data Flow Diagram; data glove; datagram; data hierarchy; data mining; data model; data modeling; data modelling; data processing; data rate; data striping; data type; data warehouse; data warehousing; datisi; Davidson Donald; Day Dorothy; decidability; decidable; decidable system; decidable wff; decidibility; decision problem; decision procedure; decision theory; deconstruction; Dedekind J.W. Richard; de dicto - de re; deduction; deduction - induction; deduction theorem; deductive apparatus; deductive tableau; de facto - de jure; de facto standard; definite clause; definite description; definite sentence; definition; degrees of freedom; deism; de jure; Delaunay triangulation; Deleuze Gilles; delta reduction; democracy; Democritus; De Morgan Augustus; DeMorgan's theorem; Dennett Daniel C.; denotational semantics; denotation - connotation; denumerable set; denying the antecedent; deontologism; deontology; de re; derivation; Derrida Jacques; Descartes Rene; descent function; descriptive ethics; descriptive ethics; descriptivism; design; design - argument from; determinable - determinate; determinism; deterministic; deterministic automaton; Dewey John; d'Holbach Paul-Henri-Dietrich; dialectic; dialectical materialism; dianoia; Dictionary of Philosophy of Mind; Diderot Denis; Difference Engine; difference equation; difference method of; difference of sets; digital; dike; dilemma; Dilthey Wilhelm; dimaris; ding an sich; Diogenes; Diophantine equation; directed graph; directed set; directive use of language; direct realism; disamis; discriminated union; disjoint sets; disjoint union; disjunct; disjunction; disjunctive normal form (DNF); disjunctive syllogism; disposition; distributed memory; distributed representation; distributed system; distributed systems; distribution of terms; distributive lattice; diverge; divine command theory; division - fallacy of; divisor; DNA computing; DNF; doctrine of pre-established harmony; document; dogmatism; dolors; domain; Domain Analysis; domain architecture; domain engineering; domain maturity; domain model; domain selection; domain-specific language; domain theory; double aspect theory; double negation; doubt - method of; doxa; doxastic; dual; dual-aspect theory; dualism; Du Bois William Edward Burghardt; Duhem Pierre M.M.; Dummett Michael A.E.; Durkheim Emile; duty; Dworkin Ronald Myles; dynamical systems theory; dynamicism; dynamic systems theory; dynamis; dynamism; Eckhart Johannes; eclecticism; ecofeminism; Eco Umberto; effective computable; effect; effective computation; effective enumeration; effective method; effective proof procedure; efficient cause; egalitarianism; egoism; eidos; eigenvalue; eigenvector; eikasia; Einstein Albert; Eleatics; elegant; eliminativism; ELIZA; Elizabeth of Bohemia; ELIZA effect; emanation; emanationism; embedding; emergence; emergent property; Emerson Ralph Waldo; emotion appeal; emotionalism; emotive meaning; emotivism; Empedocles; empirical; empiricism; empiricist; emulation; emulator; encapsulation; encode; encoder; encryption; Encyclopedists; end; energeia; Engels Friedrich; Enlightenment; entailment; entelecheia; enthusiasm; enthymeme; entropy; enumerable set; enumerated type; enumeration; environment; environment variable; Epictetus; Epicureanism; Epicurus; Epimenides paradox; epiphenomenalism; epistemology; epoché; E proposition; equals; equational logic; equivalence; equivalence class; equivalence class partitioning; equivalence relation; equivalence thesis; equivalent sets; equivocal; equivocation; ER; Erasmus Desiderius; Eratosthenes; Erigena John Scotus; eros; error; error detection and correction; esse est percipi; essence; essence - accident; essentialism; estrangement; eternal return; ethical relativism; ethics; Ethics Glossary; ethnicity; ethos; Euclid; Euclidean Algorithm; Euclid's Algorithm; eudaimonia; eudaimonism; eudaimonistic; Euler Leonhard; event; event-driven; evidence; evil problem of; evolutionary algorithm; evolutionary computation; evolutionary programming; evolution strategy; excluded middle, law of; exclusive disjunction; exclusive premises; existence; existence proof; existential fallacy; existential import; existential instantiation; existentialism; existential quantifier; expected value; experientialism; ; experiment; experimentalism; expert system; explanandum; explanation; explicit memory; exponential; exponential-time; exponential-time algorithm; expressionism; expression tree; expressive use of language; extension; extensional; extensional equality; extensionality; extension - intension; externalism; extrinsic; fact; facticity; factor; fact - value; failure; fallacy; fallibilism; false cause; falsifiability; FAQ; FAQL; Farabi al - Abu Nasr; fatalism; fault; fault tolerance; fault tolerant; feature; feedback; feedback control; feed-forward; Feigl Herbert; feminism; Ferio; Ferison; Fermat Pierre de; Fermat prime; Festino; Feuerbach Ludwig Andreas; Feyerabend Paul; Feynman Richard Phillips; Fibonacci; Fibonacci series; Fichte Johann Gottlieb; Ficino Marsillio; fideism; field; fifth generation language; figure; Filmer Robert; final cause; finitary formal system; Finite Automata; Finite Automaton; finite differencing; Finite State Automata; Finite State Automaton; Finite State Machine; first-order; first-order logic; first-order predicate logic; first-order theory; first-order theory with identity; five ways; fix; flourishing; Flynn's taxonomy; FOLDOC; folk psychology; force - appeal to; formal cause; formal fallacy; formalism; formal language; formal methods; formal system; formal system of arithmetic; formation rules; forms; formula; forward analysis; forward chaining; FOT; Foucault Michel; Foucher Simon; foundation; four colour map theorem; four colour theorem; Fourier Jean - Baptiste Joseph; Fourier transform; four terms - fallacy of; fractal; fractal dimension; fragile; Frankfurt school; freedom; free variable; free will; Frege Gottlob; frequently asked question; Fresison; Freudianism; Freud Sigmund; Fuller Sarah Margaret; function; functionalism; functionalism 1; functionalism 2; functional requirements; functional role semantics; functional specification; functional unit; functor; fuzzy computing; fuzzy logic; fuzzy subset; Gadamer Hans-Georg; Galilei Galileo; Game of Life; game tree; Gandhi Mohandas Karamchand; Gassendi Pierre; Gauss Carl Friedrich; Gaussian distribution; Gay John; Gemeinschaft - Gesellschaft; gender; generality constraint; generalization; General Recursion Theorem; general will; generate; genetic algorithm; genetic algorithms; genetic programming; genus and differentia; Gersonides Levi ben Gershom; Gettier Edmund; Gettier problem; Geulincx Arnold; Ghazali, al-Ghazali Abu Hamid Muhammad; Gilligan Carol; Gilman Charlotte Perkins; Glanvil Joseph; globalisation; Glossary of First-Order Logic; God; God existence of; God-proofs of the existence of; Godwin William; Goedel Kurt; Goedel's incompleteness theorem; Goedel numbering; Goedel's theorems; GOFAI; Goldman Emma; good; Goodman Nelson; Good Old-Fashioned Artificial Intelligence; grammar; grammatical inference; Gramsci Antonio; granularity; graph; greatest common divisor; greatest happiness principle; greatest lower bound; Green Thomas Hill; Grelling's paradox; Grice H. Paul; Grosseteste Robert; Grotius Hugo; grue; Habermas Juergen; hacker; hacker ethic; haecceity; halting problem; Hamiltonian cycle; Hamiltonian path; Hamiltonian problem; Hamiltonian tour; Hamilton's problem; Hamilton William; Hampshire Stuart; Happiness; Haraway Donna Jeanne; Harding Sandra; Hare Richard Mervyn; Hart Herbert Lionel Adolphus; Hartley David; Hartmann Nicolai; Hayek Friedrich August von; Hebbian; hedon; hedonism; hedonistic; Hegel Georg Wilhelm Friedrich; Hegelianism; Heidegger Martin; Heisenberg Werner; Held Virginia Potter; Helvaetius Claude-Adrien; Hempel Carl Gustav; henotheism; Heraclitus; Herbert of Cherbury Baron; heredity; hermeneutics; heterogeneous; heterological paradox; heteronomy; heuristic; hex; hexadecimal; hierarchy; higher-order function; higher-order logic; higher-order predicate logic; high-level language; Hilbert David; Hilbert's program; Hippias; historical determinism; historicism; Hoagland Sarah Lucia; Hobbes Thomas; Hofstadter Douglas; holism; homogeneous; homogenous; homological - heterological; homomorphism; homonymous - synonymous - paronymous; Hopfield model; Hopfield network; Hopper Grace; Horkheimer Max; Horn clause; Horney Karen; Human-Computer Interaction; Human-Computer Interface; humanism; human rights; Hume David; Hume's argument against causation; Husserl Edmund Gustav Albrech; Hutcheson Francis; hyle; hylomorphic; Hypatia; hypercube; hypermedia; hypertext; hypostasization; hypothesis; hypothetical deductive method; hypothetical imperative; hypothetical syllogism - HS; Ibn Daud Abraham ben David Hallevi; Ibn Gabirol Solomon; Ibn Rushd Abù al-Walìd Muhammad b. Ahmad; Ibn Sina Abù Alì al-Husayn; icon; ICT; idea; ideal; idealism; ideas; idempotent; identity; identity theory; property.; iff; ignorance appeal to; ignoratiam argumentum ad; ignoratio elenchi; illicit major; illicit minor; illocutionary act; image; image recognition; imagination; immanent; immediate inference; immoralism; immortalism; impartiality; imperative; imperativism; implementation; implicans; implicate; implication; implicit memory; impossible; impressions; inclination; inclusive; inclusive disjunction; inclusive predicate logic; inclusive quantification theory; incommensurability; incomparable; incontinence; incorrigible; incremental analysis; independence of an axiom; indeterminism; indexical; indirect proof; individual constant; individualism; individuals; individual variable; indubitable; induction; induction hypothesis; induction step; inductive inference; inductive relation; ineffable; inference; inference engine; inference rule; inference to the best explanation; infinite regress; infimum; infinite; infinite loop; Infinite-Monkey Theorem; infinite set; infinity; infix notation; infix syntax; informal fallacy; Information and Communication Technology; information technology; informative use of language; infrared; Ingarden Roman; ingenium; inherence; inheritance; initialise; injection; innate ideas; inner product; input; input/output; insertion sort; instance; instance variable; instantiate; instantiation; instrumental; instrumentalism; integer; integers; integrated circuit; integrationist; integrity constraint; intellectualism; intellectual property; intensional; intentionalism; intentionality; intentionality derived; intentional phenomena; intentional phenomenon; intentional state; intentional states; intention-in-action; interactionism; interactive; interface; internalism; Internet; internet; interpolation; interpolation theorem; interpretation; intersection of sets; intertextuality; intrinsic - extrinsic; intrinsicism; intuitionism; intuitionism; intuitionistic logic; invariant; inverse; I proposition; Irigaray Luce; irony; irrational number; irrefutable; irrelevant conclusion; -ism; isochronous; isochronous transfer; isometry; isomorphic; isomorphism; isomorphism class; isomorphism of models; IT; iteration; Jargon File; join; Kant Immanuel; Kelsen Hans; Kemerling Garth; Kepler Johannes; kernel; Keynes John Maynard; Keynes John Maynard; KK-thesis; know how; knowledge; Knowledge Analysis and Design System; knowledge argument; knowledge base; knowledge-based system; knowledge by acquaintance; knowledge level; knowledge how; knowledge representation; knowledge theoretical; knowledge under entailment; knowledge under known entailment principle of closure of; KQML; KR; Kripke Saul Aaron; Kristeva Julia; Kristina Wasa; KRL; Kuhn Thomas Samuel; k-validity; Lacan Jacques; laissez-faire; Lakatos Imre; Lamarck Jean Baptiste de Monet Chevalier; LAMBDA; lambda abstraction; lambda-calculus; lambda expression; lambda lifting; La Mettrie Julien Offray de; Langer Susanne; language; language of thought; Laplace Pierre Simon de; latency; LaTeX; lattice; leaf; least fixed point; least upper bound; Le Doeuff Michèle; legal positivism; Leibniz Gottfried Wilhelm; lemma; Lenin Vladimir Ilyich; Lessing Gotthold Ephraim; Leucippus; Lewis Clarence Irving; lexeme; lexical definition; lex talionis; liar paradox; liberalism; libertarianism; libertas; Life; like this; linear argument; linear function; linear logic; linear map; linear programming; linear space; linear transformation; linear type; list; Lobachevsky Nikolai Ivanovich; Locke John; locutionary act; Loebner Prize; Loewenheim-Skolem theorem; logarithmus dualis; logic; logical axiom; logical complement; logical empiricist; logical form; logical implication; logical positivism; logical relation; logical validity; logic gate; logic programming; logic variable; logicization of arithmetic; logos - mythos; Lombard Peter; long term memory; loop; Lorenz attractor; Lorenz Konrad; Lotze Rudolf Hermann; Lovejoy Arthur Oncken; lower set; LTM; Lucretius Titus Lucretius Carus; Lukacs Grygory; Lukasiewicz Jan; Luxemburg Rosa; Lyotard Jean-Francois; magnanimity; Maimonides Moses Moses ben Maimon or Rambam; major premise; major term; Malebranche Nicolas; Malthus Thomas Robert; Mandelbrot Benoit; Mandelbrot set; Mandeville Bernard; manichaeanism; Mao Zedong; map; mapping; Marcel Gabriel; Marcus Aurelius; Marcuse Herbert; Maritain Jacques; Markov chain; Markov model; Markov process; Marsilius of Padua; Marx Karl; Masham Damaris Cudworth; material cause; material equivalence; material implication; materialism; mathematical induction; matrix; matter; mauvaise foi; maxim; maximal proof-theoretic consistent set; maximin principle; McCulloch-Pitts neuron; m-consistency; McTaggart John McTaggart Ellis; Mead George Herbert; mean; meaning; means; mechanicism; mechanism; megalopsychia; Meinong Alexius Ritter von Handschuchsheim; meliorism; membership; meme; memetic algorithm; Memex; memory; Mendel Gregor; Mendelssohn Moses; mens; mental content; mentalism; mention; mereology; Merleau-Ponty Maurice; Mersenne Marin; mesos; message; meta; Metaclass; meta-data; metaethics; metaheuristic; metalanguage; metalogic; metanarrative; metaphilosophy; metaphysics; metasyntax; metatheorem; method; method of doubt; methodology; methods of Mill; microcosm; middle term; Midgley Mary; milesians; Mill James; Mill John Stuart; mimesis; mind; mind-body dichotomy; mind-body problem; minimization; minor premise; minor term; Minsky Marvin; misericordiam argumentum ad; modal logic; mode; model; model checking; modelling; model theory; moderation; modernism; modus ponens; modus tollens; molecule; monad; monadic predicate logic; monism; monoid; monotheism; monotonic; monotonicity; Montaigne Michel Eyquem de; Montesquieu Charles-Louis de Secondat; mood and figure; Moore bound; Moore George Edward; Moore graph; Moore's Law; moral; moral argument; moral ballpark; moral isolationism; morality; moral luck; moral rights; moral sense; More Henry; More Thomas; morphe; morphing; mother; multiple realisability; multitasking; multithreaded; multithreading; Murphy's Law; mutual recursion; mysticism; mythos; n-adic function or predicate; Nagel Ernest; Nagel Thomas; NAND; narcissism; natural deduction; natural language; natural law; natural numbers; natural rights; natural theology; naturalised semantics; naturalism; naturalistic fallacy; necessary; necessary - contingent; necessary - sufficient; necessitarianism; negating the antecedent and the consequent; negation; negation by failure; negation completeness; negation incompleteness; negative proposition; negative rights; neikos; neo-Confucianism; neoplatonism; neorationalist; neo-Thomism; netiquette; network; neural nets; neural network; Neurath Otto; neuron; neutral monism; Newton Isaac; n-formula; Nicole Pierre; Nietzsche Friedrich; nihil est in intellectu quod non prius fuerit in sensu; nihilism; Noddings Nel; node; noesis; nominalism; nominalist; non-algorithmic procedure; noncognitivism; nonconceptual content; non-contradiction; non-determinism; non-deterministic; non-deterministic automaton; non-deterministic polynomial time; non-deterministic Turing Machine; nonlinear; non parity; non-polynomial; non sequitur; non-truth-functional; non-volatile; non-volatile memory; Non-Volatile Random Access Memory; non-volatile storage; NOR; norm; normal distribution; normal form; normal interpretation; normalisation; normalised; normal order reduction; normative ethics; normed space; Norris John; NOT; noumenal; noumenon; noun numeral; nous; Nozick Robert; NP; NP-complete; NP-hard; NP time; n-tuple; null set; number crunching; numbers; numeral; Nussbaum Martha Craven; n-valued logics; n-wff; Nyquist Theorem; O proposition; Ob-; object; object code; object identifier; objective; objective - subjective; objective truth; objectivity; object language; object-orientation; object-oriented; object-oriented analysis; object-oriented database; object-oriented design; object-oriented language; object-oriented programming; objective - subjective; obligation; obscenity; obscurum per obscurius; obversion; observational equivalence; obversion; Occam's Razor; occasionalism; Ockham William of; octal; oligarchy; Omega-algebraic; omega-completeness; omega-consistency; ones complement; one-to-one correspondence; ontological argument; ontological commitment; ontology; open; open question argument; open source; Open Source Definition; Open Source Initiative; Open source license; operationalism; operational semantics; operator; opinion; O proposition; optimal; optimise; optimism; OR; order-embedding; ordering; ordinal; ordinate; organicism; Ortega y Gasset Jose; orthogonal; ostension; other minds problem; Otto Rudolf; ousia; output; outsourcing; overriding; overrun; pacifism; Paine Thomas; Paley William; panpsychism; pantheism; Paracelsus Phillippus Aureolus Theophrastus Bombastus von Hohenheim; paradigm; paradox; paradoxes of material implication; parallel computer; parallel computing; parallel distributed process; parallel distributed processing; parallelism; parallel processing; parallel processor; param; parameter; parametric polymorphism; parent; Pareto Vilfredo; Parkinson's Law of Data; Parmenides; paronymous; parser; parser generator; parsimony law of; parsing; partial equivalence relation; partial function; partially ordered set; partial ordering; particularity; particular proposition; particulars; partition; Pascal Blaise; patriarchy; pattern matching; pattern recognition; PDP; Peano arithmetic; Peano Giuseppe; Peirce Charles Sanders; perceive; perception; perceptron; perceptual illusion; perfectibility; performatives; performative utterance; peripatetics; perlocutionary act; permutation; perplexity; Perry Ralph Barton; per se - per accidens; persistence; persistent; perspective; perspectivism; pessimism; Petri net; phenomena; phenomenal; phenomenal consciousness; phenomenalism; phenomenological; phenomenological critique of representationalism; phenomenology; phenomenon; phenominalism; philia; Philo Judaeus Philo of Alexandria; Philosophical Glossary; philosophy; philosophy of mind; philosophy of psychology; phronesis; physicalism; physicalism non-reductive; physis; Pico della Mirandola Giovanni; picture; picture element; pipeline; pipeline break; piracy; pirate; pistis; pity appeal to; plan; Planck Max Karl Ernst Ludwig; Plato; Platonic realism; platonism; plenitude principle of; pleonasm; Plotinus; pluralism; ply; pneuma; PNF; poiesis; Poincare Jules Henri; point; Polish notation; politics; polyadic predicate logic; Polya George; polymorphic; polymorphic lambda-calculus; polymorphism; polynomial; polynomial-time; polynomial-time algorithm; polytheism; Popper Karl Raimund; populum argumentum ad; Porphyry; portability; portable; Port-Royal; poset; positive rights; positivism; possible; postfix notation; postfix syntax; post hoc ergo propter hoc; postmodernism; postulate; potentiality; powerdomain; powerset; PPLambda; practical reasoning; pragmatics; pragmatic theory of truth; pragmatism; praxis; precision; predecessor; predicate; predicate calculus; predicate constant; predicate logic; predicate logic with identity; prediction; predomain; prefix; prefix notation; prefix syntax; premise; prenex normal form; pre-order; pre-order traversal; prescriptivism; presocratic philosophers; presupposition; Price Henry Habberly; Price Richard; Prichard H.A.; prima facie; primary qualities; prime number theorem; primitive; primitive recursion; principal type; principle of closure; principle of closure of knowledge under entailment; principle of non contradiction; principle of the compositionality of representations; Pringle-Pattison Andrew Seth; prior intention; privacy; private language argument; probabilism; probabilistic; probabilistic automaton; probability; problematic - assertoric - apodeictic; procedural language; procedure; process; product; production system; productivity; product of sets; program; programming; programming language; projection; projective plane; proletarian; Pronunciation; proof; proof-theoretic consistency; proof-theoretic consistent set of wffs; proof theory; proper axiom; proper names; proper subset; property dualism; proposition; propositional calculus; propositional function; propositional logic; Protagoras of Abdera; protasis; protocol; prototyping; Proudhon Pierre-Joseph; provably difficult; provably unsolvable; prudence; psyche; psychological egoism; psychologism; public domain; public domain software; public-key cryptography; Public-Key Cryptography Standards; public-key encryption; Pufendorf Samuel; punishment; pure lambda-calculus; pure predicate calculus; Putnam Hilary; Pyrrho of Elis; Pythagoras; QED - quod erat demonstrandum; qualia; quality; Quality Assurance; Quality Control; quality - propositional; quantification rules; quantification theory; quantifier; quantity - propositional; quantum bogodynamics; quantum computer; quantum computing; quantum consciousness theories of; quantum mechanics; quaternio terminorum; Queens Puzzle; query; queue; Quine Willard Van Orman; quotient; radix; Ramsey Frank Plumpton; Ramus Petrus - Pierre de la Ramee; Rand Ayn - Alissa Rosenbaum; random; randomness; range; rational; rationalism; rationalist; rational numbers; raw data; Rawls John; real; realisation; realism; realism perceptual; realist; reality; real number; real-time; Real World; reason; recipient; recollection; record; recourse; recursion; recursive; recursive definition; recursive function; recursive function theory; recursive set; recursive type; reductio ad absurdum; reduction; reductionism; redundancy; redundancy theory of truth; re-engineering; reference; reflection; reflexive; reflexive domain; Reflexive transitive closure; refutable; Regan Tom; Regis Pierre-Sylvain; regression; Reichenbach Hans; Reid Thomas; reification; reify; reinvent the wheel; relation; relational algebra; relational calculus; relative consistency proof; relatively prime; relativism; relevance; reliability; Reliability, Availability, Serviceability; reliable communication; renaissance; replacement - rules of; representation; representationalism; repression; requirements; requirements analysis; Requirements Engineering; res cogitans - res extensa; residues - method of; resolution; responsibility; restructuring; reusability; reuse; revealed theology; reverse engineering; Reverse Polish Notation; Ricoeur Paul; Riemann Georg Friedrich Bernhard; rights; rigid designator; ring network; ring topology; Ritchie David George; robot; robust; Rohault Jacques; romanticism; Rorty Richard; Ross William David; Rousseau Jean-Jacques; routine; Royce Josiah; Ruddick Sara Loop; rule; rules of inference; run-time; Russell Bertrand Arthur William; Russell's Attic; Russell's Paradox; Russell's theory of descriptions; Ryle Gilbert; Saadiah Gaon Sa adyah ben Joseph; safety-critical system; Saint-Simon Comte de Claude-Henri de Rouvroy; salva veritate; sanction moral; Santayana George; Sartre Jean-Paul; satisficing; satisfaction; satisfiability; satisfiability problem; Satyagraha; Saussure Ferdinand de; scalability; scalar; scepticism; Schelling Friedrich Wilhelm Joseph von; schema; Schiller Johann Christoph Friedrich von; Schleiermacher Friedrich Daniel Ernst; Schlick Moritz; scholasticism; Scholastic logic; Schopenhauer Arthur; Schrodinger Erwin; scientia; scientific law; scientific method; scientific realism; scientific theory; scientism; Scott-closed; Scott domain; search problem; Scotus John Duns; search term; Searle John; secondary qualities; secondary qualities; second-order desire; secularism; secundum quid; self-deception; self-evident; Sellars Wilfrid; semantic; semantic completeness; semantic consequence; semantic gap; semantic network; semantics; semantic tautology; semantic theory of truth; semantic validity; semiotics; Seneca Lucius Annaeus; sensationalism; sensations; sense; sense data; sense-reference; senses; sentence; sequence; set; Seth Pringle-Pattison Andrew; set theory; Sextus Empiricus; Shaftesbury - Third Earl of - Anthony Ashley Cooper; Sheffer stroke; short term memory; Sidgwick Henry; Siger of Brabant; signal; signalling rate; signal-to-noise ratio; silicon chip replacement thought experiment; simple consistency; simple propositions; simpliciter; simplification; simulated annealing; simulation; sine qua non; Singer Peter; singleton; singleton variable; singular proposition; Sinn - Bedeutung; skepticism; Skinner Burrhus Frederic; Skolemisation; Skolem normal form; Skolem paradox; Smart John Jameison Carswell; Smith Adam; social constructivism; social contract theory; social Darwinism; Socrates; Socraticism; software; software law; software life-cycle; Software Method; Software Methodology; software metric; software patent; software piracy; software pirate; software theft; solipsism; sophia; sophism; sophists; sophrosine; sorites; soul; soundness; sound - unsound; source; source code; Souvre Madeleine de Marquise de Sable; space complexity; specialisation; speech acts; speech recognition; Spencer Herbert; Spinoza Baruch; Stael-Holstein Anne Louise Germaine Necker Baronne de; standard form; standard semantics; Stanton Elizabeth Cady; state; state diagram; state machine; statement; statement constant; statement form; state transition diagram; statement variable; statistics; Stevenson Charles Leslie; Stewart Dugald; stipulative definition; STM; stochastic; stoicism; storage; Strawson Peter F.; strength reduction; strict; strict evaluation; stroke function; strongly connected component; structuralism; structural recursion; structured analysis; structured design; structure diagram; structured language; structured programming; Suarez Francisco; subalternation; subclass; subcontraries; subject; subject index; subjective; subjectivism; subjectivity; sublimation; sublime; subroutine; subset; sub specie aeternitatis; substance; substance dualism; substantialism; substitution; substrate; subtype; sufficient condition; sufficient reason; sui generis; sum; sum of sets; summum bonum; superclass; supercomputer; supererogatory; superset; supervenience; supervenient; supremum; surjection; surjective; syllogism; symbolic logic; symbols - logical; syncategorematic; synderesis; synonymous; syntactics; synthesis; synthetic; symbolic inference; symbolicism; symbolic logic; symbolic mathematics; symmetric; symmetric difference of sets; synchronous; syncretism; syntactic; syntactic completeness; syntactic consequence; syntactic tautology; syntactics; syntactic validity; syntax; syntax tree; synthetic; systematicity; tacit knowledge; taoism; Tarski Alfred; tautology; tautology schema; Taylor Harriet Hardy; techne; teleological argument; teleological ethics; teleology; telos; temporal logic; tensor product; Teresa of Avila; term; terminus; test; texture; Thales; theism; The Ism Book; theodicy; theorem; theorem schema; theoretical definition; theory; theory change; theory laden; theory neutral; theory of definite descriptions; thesis - antithesis - synthesis; thing-in-itself; Thomas Aquinas; thomism; Thomson Judith Jarvis; Thoreau Henry David; thought; throughput; Tillich Paul; time; time complexity; timeout; time-sharing; Timon of Philius; token; token identity thesis; Toland John; top-down design; topology; total function; totalitarianism; totally ordered set; total ordering; traditional logic; traditional, scholastic, or aristotelian logic; transcendent; transcendental; transcendental argument; transfinite cardinal; transformation rules; transitive; transitive closure; transparent; transposition; travelling salesman problem; tree; triad - Hegelian; Trotsky Leon - Lev Davidovich Bronstein; truth; truth for an interpretation; truth function; truth-functional compound proposition; truth-functional connective; truth-functional propositional logic; truth of fact; truth of reason; Truth Sojourner - Isabella Baumfree van Wagener; truth table; truth theories; truth-value; tu quoque; Turing Alan Mathison; Turing Machine; Turing test; twin earth; two-valued logic; tyche; type; type assignment; type class; typed lambda-calculus; type inference; type scheme; types - theory of; type - token; uebermensch; Unamuno Miguel de; unbounded minimization; unconscious the; uncountable; uncountable set; undecidable set; undecidable system; undecidable wff; underdetermination; understanding; undistributed middle; uniformity of nature; union of sets; universal; universal algebra; universal generalization; universal instantiation; universalisability; universal proposition; universal quantifier; universal set; universals problem of; univocal - equivocal; ursache; urteil; use - mention; utilitarianism; universe of discourse; unmoved mover; upper bound; usability; use theory of meaning; utilitarianism; utility; vagueness; Vaihinger Hans; valid; valid - invalid; validity; Valla Lorenzo; value; variable; Veblen Thorsten; vector; vector space; Venn John; Venn diagrams; verbal dispute; verecundiam - argumentum ad; verifiability principle; verification; veritas; vernunft; Verstehen; vice; Vico Giambattista; Vienna Circle; virtual; virtual reality; virtue; virtue ethics; virus; visualisation; vitalism; voice recognition; volition; voluntarism; Voltaire - Francois Marie Arouet; voluntarism; voluntary - involuntary; von Neumann integer; von Neumann John; von Neumann ordinal; voting paradox; Wahrheit; Waismann Friedrich; watchmaker argument; Watson John Broadus; weakness of will; Weber Max; Weil Simone; well-formed formula; well-ordered set; Weltanschauung; Wert; West Cornel; wetware; wff; Whately Richard; Whewell William; Whitehead Alfred North; Wiener Kreis; will; Wilson Edward Osborne; Wilson John Cook; Wirklichkeit; Wirkung; wisdom; Wisdom John; Wissen; Wittgenstein Ludwig; Wolff Christian; Wollstonecraft Mary; Xenocrates; Xenophanes of Colophon; Xenophon; xor; Zeit; Zen; Zeno of Citium; Zeno of Elea; Zermelo - Ernst Friedrich Ferdinand; Zermelo Fraenkel set theory; Zermelo set theory; zombie;