On the Incompleteness of Axiomatized Models for the Empirical Sciences

&
Philosophica 50 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.21825/philosophica.82396

Links

PhilArchive



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

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

Mathematics is Dramatically Incomplete.Francisco Antonio Doria - 1992 - Theoria 7 (1/2/3):411-422.
The Incompleteness of Theories of Games.Marcelo Tsuji, Newton C. A. Da Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553 - 568.
The incompleteness of theories of games.Marcelo Tsuji, Newton C. A. Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553-568.
The first incompleteness theorem.Peter Smith - unknown
Nonstandard Models and Kripke's Proof of the Gödel Theorem.Hilary Putnam - 2000 - Notre Dame Journal of Formal Logic 41 (1):53-58.
Undecidability, Incompleteness and Arnol'D Problems.Newton C. A. da Costa & Francisco A. Doria - 1995 - Studia Logica 55 (1):23 - 32.
Undecidability, incompleteness and Arnol'd problems.Newton C. A. Costa & Francisco A. Doria - 1995 - Studia Logica 55 (1):23-32.
Gödel incompleteness in analysis, with an application to the forecasting problem in the social sciences.Newton C. A. da Costa & FranciscoAntonio Doria - 1994 - Philosophia Naturalis 31 (1):1-24.
Undecidability, incompleteness and Arnold Problems.Newton C. A. Costa & Francisco A. Doria - 1995 - Studia Logica 55 (1).
Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster.Tatsuya Shimura - 2000 - Studia Logica 65 (2):237-247.
Models in biology.Jay Odenbaugh - 2009 - Routledge Encyclopedia of Philosophy.
Formalization and the Meaning of “Theory” in the Inexact Biological Sciences.James Griesemer - 2013 - Biological Theory 7 (4):298-310.
Completeness and incompleteness for plausibility logic.Karl Schlechta - 1996 - Journal of Logic, Language and Information 5 (2):177-192.

Analytics

Added to PP
2013-03-01

Downloads
39 (#388,687)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Quasi-truth in quasi-set theory.Otávio Bueno - 2000 - Synthese 125 (1-2):33-53.

Add more citations

References found in this work

A notion of mechanistic theory.G. Kreisel - 1974 - Synthese 29 (1-4):11 - 26.
[Omnibus Review].C. Smorynski - 1979 - Journal of Symbolic Logic 44 (1):116-119.
An Introduction to the General Theory of Algorithms.Michael Machtey & Paul Young - 1981 - Journal of Symbolic Logic 46 (4):877-878.

Add more references