Predicate - PDFSEARCH.IO - Document Search Engine

Predicate
Results: 1768

#	Item
991	An Extensible Toolkit for Computational Semantics Dan Garrette Ewan Klein October 3, 2009 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-12 20:53:04 Formal languages Semantics Predicate logic Theoretical computer science Model theory Discourse representation theory First-order logic Earley parser Prover9 Logic Mathematics Science
992	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
993	Two Views of the Logic of Plurals and a Reduction of One to the Other Nino B. Cocchiarella Indiana University Abstract There are di¤erent views of the logic of plurals that are now in circulation, two of which we will c Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 04:17:01 Mathematics First-order logic Free logic Predicate Function Mereology Grammatical number Singular they Plural Logic Mathematical logic Predicate logic
994	Internal, formal and thin relations François CLEMENTZ Université de Provence (Aix-Marseille 1), CEPERC (UMR 6059), France In one of his most thought-provoking and illuminating contributions to the metaphysical study of Add to Reading List Source URL: www.philosophie.ch Language: English - Date: 2012-05-01 06:33:25 Mathematics Abstraction Mereology Property Quality Predicate Relational grammar Categories FO Logic Mathematical logic Ontology
995	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
996	Faraci 1 ON LEAVING ROOM FOR DOUBT: USING FREGE-GEACH TO ILLUMINATE EXPRESSIVISM’S PROBLEM WITH OBJECTIVITY David Faraci Add to Reading List Source URL: personal.bgsu.edu Language: English - Date: 2015-01-14 16:08:36 Philosophy of law Expressivism Normative Gottlob Frege Is–ought problem Truth Norm Predicate Cognitivism Philosophy Ethics Meta-ethics
997	Phil 2440 Chapter 5: Predicate Logic Symbolizations To discuss today: Atomic sentences in predicate logic Quantifiers Some important kinds of sentences Add to Reading List Source URL: home.earthlink.net Language: English - Date: 2006-06-13 09:51:03 Classical logic Quantification Universal quantification First-order logic Definite description Generalization Atomic formula FO Categorical proposition Logic Predicate logic Mathematical logic
998	On Logical Relativity Achille C. Varzi Department of Philosophy, Columbia University (Published in Philosophical Issues[removed]), 197–219) Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2002-12-13 09:12:20 Predicate logic Logical syntax Model theory Semantics Interpretation First-order logic Alfred Tarski Truth Entailment Logic Philosophy Philosophical logic
999	Unsharpenable Vagueness John Collins and Achille C. Varzi Department of Philosophy, Columbia University, New York (Published in Philosophical Topics 28:[removed]), 1–10.) Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2002-02-20 19:21:56 Semantics Fuzzy logic Critical thinking Epistemology Philosophy of language Vagueness Predicate Function Logic Mathematical logic Mathematics
1000	Phil[removed]Course Requirements, What is logic? To discuss today: About the class: Some general course information Who should take this class? Add to Reading List Source URL: home.earthlink.net Language: English - Date: 2006-06-13 09:51:01 Predicate logic Binary operations Boolean algebra Logical connective First-order logic Entailment Truth table Argument Atomic formula Logic Propositional calculus Logical syntax