Deductive versus Expressive Power: A Pre-Godelian Predicament

Journal of Philosophy 97 (5):257 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

0022362X

DOI

10.2307/2678395

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,705

External links

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

Gödelian Question.LÁszlÓ GÁl - 2001 - Studia Philosophica 1.
Is Gödelian Model-based Deductive Reasoning Computational?Selmer Bringsjord - 1998 - Philosophica 61 (1).
On the expressive power of first-order modal logic with two-dimensional operators.Alexander W. Kocurek - 2018 - Synthese 195 (10):4373-4417.
On fork arrow logic and its expressive power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
Perusasive Games: The Expressive Power of Videogames.Ian Bogost - 2007 - MIT Press.
On Fork Arrow Logic and Its Expressive Power.Paulo A. S. Veloso, Renata P. De Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
Pruss's ontological arguments.Graham Oppy - 2009 - Religious Studies 45 (3):355-363.
Expressive meaning in music: Generality versus particularity.Krzysztof Guczalski - 2005 - British Journal of Aesthetics 45 (4):342-367.
New types of hyper MV-deductive systems in hyper MV-algebras.Young Bae Jun, Min Su Kang & Hee Sik Kim - 2010 - Mathematical Logic Quarterly 56 (4):400-405.
A note on the expressive power of probabilistic context free grammars.Gabriel Infante-Lopez & Maarten De Rijke - 2006 - Journal of Logic, Language and Information 15 (3):219-231.
African Predicament.Isaiah Aduojo Negedu - 2017 - Internet Encyclopedia of Philosophy.
Spectra of Formulae with Henkin Quantifiers.Joanna Golińska & Konrad Zdanowski - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 29--45.
African Predicament.Negedu Isaiah Aduojo - 2017 - Internet Encyclopedia of Philosophy.
On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic.Thomas Eiter & Georg Gottlob - 1998 - Journal of Symbolic Logic 63 (1):73-82.
Deductive closure.Isaac Levi - 2012 - Synthese 186 (2):493-499.

Analytics

Added to PP
2009-01-28

Downloads
81 (#210,311)

6 months
10 (#304,159)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Neil Tennant
Ohio State University

Citations of this work

Husserl on completeness, definitely.Mirja Hartimo - 2018 - Synthese 195 (4):1509-1527.
Core Gödel.Neil Tennant - 2023 - Notre Dame Journal of Formal Logic 64 (1):15-59.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references