Comments on Verification

Theoria 22 (1):43-48 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1956.tb00918.x

Links

PhilArchive



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

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

Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
Verificationist Theory of Meaning.Markus Schrenk - 2008 - In U. Windhorst, M. Binder & N. Hirowaka (eds.), Encyclopaedic Reference of Neuroscience. Springer.
Verification and descriptive predicates.L. E. Palmieri - 1954 - Philosophy and Phenomenological Research 15 (4):548-550.
Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
Adventures in the verification of mathematics.Harvey Friedman - manuscript
Comments on comments on comments: A reply to Margenau and Wigner.Hilary Putnam - 1964 - Philosophy of Science 31 (1):1-6.
The localised falsification diagnosis of meaning.Tony Lloyd - manuscript
Schlick and Neurath.Keith Lehrer - 1982 - Grazer Philosophische Studien 16 (1):49-61.
Experimental Methods for Unraveling the Mind-body Problem: The Phenomenal Judgment Approach.Victor Argonov - 2014 - Journal of Mind and Behavior 35 (1-2):51-70.
Timing diagrams: Formalization and algorithmic verification. [REVIEW]Kathi Fisler - 1999 - Journal of Logic, Language and Information 8 (3):323-361.
Analogy, verification, and other minds.J. W. Meiland - 1966 - Mind 75 (October):564-568.
Falsification of theories without verification of basic statements – an argument for the possibility of knowledge growth.Rainer Willi Maurer - manuscript
Knowledge and experience.Calvin Dwight Rollins (ed.) - 1962 - [Pittsburgh, Pa.]: University of Pittsburgh Press.
Compositional verification of multi-agent systems in temporal multi-epistemic logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.

Analytics

Added to PP
2010-09-13

Downloads
61 (#259,066)

6 months
7 (#418,426)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references