Intensional logic - PDFSEARCH.IO - Document Search Engine

Intensional logic
Results: 36

#	Item
1	Microsoft Word - vita 2007.doc Add to Reading List Source URL: philosophy.ucsb.edu Language: English - Date: 2015-07-13 19:18:47 Philosophy Logic American philosophers Analytic philosophers Philosophical logic Guggenheim Fellows Philosophy of logic Saul Kripke David Kaplan C. Anthony Anderson Modal logic Intensional logic
2	Microsoft Word - vita 2007.doc Add to Reading List Source URL: www.philosophy.ucsb.edu Language: English - Date: 2015-07-13 19:18:47 American philosophers Analytic philosophers Philosophical logic Guggenheim Fellows Logic Philosophy of logic Saul Kripke David Kaplan C. Anthony Anderson Modal logic Intensional logic Intension
3	Table of Contents Foreword ..............................................................................................................................................1 1. Introduction.................................. Add to Reading List Source URL: agora.metaphysica.skaut.org Language: English - Date: 2002-11-18 13:27:44 Modal logic Philosophical logic Possibility Non-classical logic Empiricism Possible world Entailment A priori and a posteriori Intensional logic Logic Philosophy Mathematical logic
4	The Starring Role of Quantifiers in the History of Formal Semantics Barbara H. Partee. Abstract The history of formal semantics is a history of evolving ideas about logical form, linguistic form, and the nature of semant Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2013-01-08 16:19:32 Science Philosophy of language Formal languages Quantification Grammar Intensional logic Generalized quantifier Mathematical logic First-order logic Logic Semantics Linguistics
5	Linguistics 218: Math Ling II Montague Grammar and Dynamic Semantics Jessica Rett, deets: MW 12-2, Bunche 1265 course description: Add to Reading List Source URL: www.linguistics.ucla.edu Language: English - Date: 2015-03-01 16:55:18 Grammar Science Predicate logic Quantification Discourse representation theory Lambda calculus Montague grammar Intensional logic First-order logic Semantics Logic Linguistics
6	Higher-Order Intensional Type Analysis Stephanie Weirich Department of Computer Science, Cornell University Ithaca, NY 14850, USA Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Programming language theory Software engineering Symbol Recursive data type Constructor Turn Type system Binding Ordinal number Type theory Mathematical logic Data types
7	Alleged Assassins Bjørn Jespersen & Giuseppe Primiero Department of Computer Science, Technical University of Ostrava & Department of Logic, Czech Academy of Sciences, Prague FWO & Centre for Logic and Philosophy of Sci Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-10-03 05:47:29 Modal logic Non-classical logic Transparent Intensional Logic Intensional logic Logic Philosophical logic Science
8	Intensional Polymorphism in Type-Erasure Semantics Karl Crary Stephanie Weirich Greg Morrisett Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:51 Type theory Models of computation Program analysis Type system Lambda calculus Curry–Howard correspondence Denotational semantics Theoretical computer science Mathematical logic Computer science
9	CHAPTER 1 Montague Grammar Barbara H. Partee University of Massachusetts, Department of Linguistics, Amherst, MA 01003, USA E-mail: [removed] Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2007-04-24 15:15:43 Science Philosophy of language Grammar Philosophical logic Formal languages Montague grammar Intensional logic Formal semantics Richard Montague Logic Linguistics Semantics
10	Language Games, Natural and Artificial John F. Sowa VivoMind Research, LLC Abstract. Natural languages are the ultimate knowledge representation languages. Everything that can be expressed in any artificial language or n Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2014-10-20 09:58:49 Semantics Philosophical logic Philosophy of language Meaning Logicians Intensional logic Tractatus Logico-Philosophicus Formal semantics Ludwig Wittgenstein Logic Philosophy Analytic philosophy