Report on some ramified-type assignment systems and their model-theoretic semantics

In Nicholas Griffin & Bernard Linsky (eds.), The Palgrave Centenary Companion to Principia Mathematica. London and Basingstoke: Palgrave-Macmillan (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Comparing cubes of typed and type assignment systems.Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca & Pawel Urzyczyn - 1997 - Annals of Pure and Applied Logic 86 (3):267-303.
The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility.Edwin D. Mares - 2007 - Notre Dame Journal of Formal Logic 48 (2):237-251.
Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
Logic in the 1930s: type theory and model theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
Where do sets come from?Harold T. Hodes - 1991 - Journal of Symbolic Logic 56 (1):150-175.
Proof-Theoretic Semantics for Subsentential Phrases.Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi - 2010 - Studia Logica 94 (3):381-401.
The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.
The original sin of proof-theoretic semantics.Francesco Paoli & Bogdan Dicher - 2018 - Synthese 198 (1):615-640.
A Semantic Analysis of Russellian Simple Type Theory.Sten Lindström - 1986 - In Paul Needham & Jan Odelstad (eds.), Changing Positions, Essays Dedicated to Lars Lindahl on the Occassion of His Fiftieth Birthday. Uppsala:
Towards a variable-free semantics.Pauline Jacobson - 1999 - Linguistics and Philosophy 22 (2):117-185.
Putnam's Model‐Theoretic Argument.Maximilian de Gaynesford - 2011 - In Steven D. Hales (ed.), A Companion to Relativism. Oxford, UK: Wiley‐Blackwell. pp. 569–587.
What Happened to the Sense of a Concept Word?Carlo Penco - 2013 - ProtoSociology 30:6-28.
Ramified structure.Gabriel Uzquiano - 2022 - Philosophical Studies 180 (5-6):1651-1674.
Subatomic Inferences: An Inferentialist Semantics for Atomics, Predicates, and Names.Kai Tanter - 2021 - Review of Symbolic Logic:1-28.
Subatomic Inferences: An Inferentialist Semantics for Atomics, Predicates, and Names.Kai Tanter - 2023 - Review of Symbolic Logic 16 (3):672-699.

Analytics

Added to PP
2023-09-03

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Harold Hodes
Cornell University

Citations of this work

A Modal Account of Propositions.Andy Demfree Yu - 2017 - Dialectica 71 (4):463-488.

Add more citations

References found in this work

No references found.

Add more references