Jump to ContentJump to Main Navigation

You are looking at 1-5 of 5 items

  • Keywords: Type theory x
Clear All Modify Search

View:

A Semantic Ontology for Dialogue

Jonathan Ginzburg

in The Interactive Stance

Published in print:
2012
Published Online:
May 2012
ISBN:
9780199697922
eISBN:
9780191738425
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199697922.003.0003
Subject:
Linguistics, Psycholinguistics / Neurolinguistics / Cognitive Linguistics, Semantics and Pragmatics

This chapter describes the semantic ontology which is the basis for subsequent representation of dialogue contexts. It suggests that a semantic ontology for dialogue needs to provide the following: ... More


Constructibility and Open‐Sentences

Charles S. Chihara

in Constructibility and Mathematical Existence

Published in print:
1991
Published Online:
November 2003
ISBN:
9780198239758
eISBN:
9780191597190
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/0198239750.003.0003
Subject:
Philosophy, Logic/Philosophy of Mathematics

Since the constructibility quantifiers, used in the mathematical system to be developed, will all assert the constructibility of open sentences, an explanation is given of the kinds of open sentences ... More


Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

David Corfield

Published in print:
2020
Published Online:
March 2020
ISBN:
9780198853404
eISBN:
9780191888069
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198853404.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

In[KF1] 1914, in an essay entitled ‘Logic as the Essence of Philosophy’, Bertrand Russell promised to revolutionize philosophy by introducing there the ‘new logic’ of Frege and Peano: “The old logic ... More


The Russellian Influence on Hilbert and His School

Paolo Mancosu

in The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940

Published in print:
2010
Published Online:
May 2011
ISBN:
9780199546534
eISBN:
9780191594939
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199546534.003.0004
Subject:
Philosophy, Logic/Philosophy of Mathematics, Philosophy of Mind

This chapter explores an aspect of Hilbert’s program that was considered to be an open problem in the literature, namely the influence of Russell’s type theory and logicism on Hilbert and his school ... More


The Early Response to Mendeleev’s Periodic System in Russia

Masanori Kaji and Nathan Brooks

in Early Responses to the Periodic System

Published in print:
2015
Published Online:
November 2020
ISBN:
9780190200077
eISBN:
9780197559468
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780190200077.003.0009
Subject:
Chemistry, History of Chemistry

Mendeleev’s first table of elements, entitled “An Attempt at a System of the Elements Based on Their Atomic Weight and Chemical Analogies,” was dated February 17, 1869. His first paper on the ... More


View: