Verification and the Use of Language

Revue Internationale de Philosophie 5 (3/4=17/18):307-322 (1951)
  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,139

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

Timing diagrams: Formalization and algorithmic verification. [REVIEW]Kathi Fisler - 1999 - Journal of Logic, Language and Information 8 (3):323-361.
Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
Easy Solutions for a Hard Problem? The Computational Complexity of Reciprocals with Quantificational Antecedents.Fabian Schlotterbeck & Oliver Bott - 2013 - Journal of Logic, Language and Information 22 (4):363-390.
Schlick and Neurath.Keith Lehrer - 1982 - Grazer Philosophische Studien 16 (1):49-61.
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.
On the verification of statements about ordinary language.Benson Mates - 1964 - Inquiry: An Interdisciplinary Journal of Philosophy 1 (1-4):161 – 171.
Verificationist Theory of Meaning.Markus Schrenk - 2008 - In U. Windhorst, M. Binder & N. Hirowaka (eds.), Encyclopaedic Reference of Neuroscience. Springer.
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.
On the verification of statements about ordinary language.Benson Mates - 1958 - Inquiry: An Interdisciplinary Journal of Philosophy 1 (1-4):161 – 171.
Pragmatic Self-Verification and Performatives.Geoffrey Sampson - 1971 - Foundations of Language 7 (2):300-302.
Verification methods for dense and sparse systems of.Siegfried M. Rump - 1994 - In Stephen Everson (ed.), Language. Cambridge University Press.
Language meaning and verification-philosophy of religion in great-Britain.Jp Clayton - 1978 - Philosophisches Jahrbuch 85 (1):144-162.
Meaning and privacy.Edward Craig - 1997 - In Bob Hale & C. Wright (eds.), A Companion to the Philosophy of Language. Blackwell. pp. 541-564.
Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.

Analytics

Added to PP
2014-02-13

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?

Citations of this work

Postulates and meaning.Edward H. Madden & Murray J. Kiteley - 1962 - Philosophy of Science 29 (1):66-78.

Add more citations

References found in this work

No references found.

Add more references