VIII.—Verification and Understanding

Proceedings of the Aristotelian Society 34 (1):143-156 (1934)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/aristotelian/34.1.143

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

Concerning 'Eschatological Verification Reconsidered'.Beth Mackie - 1987 - Religious Studies 23 (1):129 - 135.
VIII.—Use and Verification.R. W. Ashby - 1956 - Proceedings of the Aristotelian Society 56 (1):149-166.
Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
Scientific understanding.Peter Kosso - 2006 - Foundations of Science 12 (2):173-188.
Verificationist Theory of Meaning.Markus Schrenk - 2008 - In U. Windhorst, M. Binder & N. Hirowaka (eds.), Encyclopaedic Reference of Neuroscience. Springer.
Verification: Validity or Understanding.Kenneth J. Shapiro - 1986 - Journal of Phenomenological Psychology 17 (2):167-179.
Verification and Falsification of Modellings Towards an Understanding of Auditive Sensomotorics.Hans J. Gerhardt - 1995 - In Heinz Lübbig (ed.), The Inverse Problem. Akademie Verlag Und Vch Weinheim. pp. 143.
Von Wright on Historical causation1.Elazar Weinryb - 1974 - Inquiry: An Interdisciplinary Journal of Philosophy 17 (1-4):327-338.
Verification of concurrent programs: the automata-theoretic framework.Moshe Y. Vardi - 1991 - Annals of Pure and Applied Logic 51 (1-2):79-98.
Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
Adaptive Model Checking.Alex Groce, Doron Peled & Mihalis Yannakakis - 2006 - Logic Journal of the IGPL 14 (5):729-744.
Computer modeling and simulation: towards epistemic distinction between verification and validation.Vitaly Pronskikh - unknown
Adventures in the verification of mathematics.Harvey Friedman - manuscript
Decidable properties for monadic abstract state machines.Daniele Beauquier - 2006 - Annals of Pure and Applied Logic 141 (3):308-319.
Nine Fragments on Psychological Phenomenology.Dorion Cairns - 2010 - Journal of Phenomenological Psychology 41 (1):1-27.

Analytics

Added to PP
2011-05-29

Downloads
56 (#274,303)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Margaret MacDonald’s scientific common-sense philosophy.Justin Vlasits - 2022 - British Journal for the History of Philosophy 30 (2):267-287.
Verificationism and (Some of) its Discontents.Thomas Uebel - 2019 - Journal for the History of Analytical Philosophy 7 (4):1-31.
Susan Stebbing on Logical Positivism and Communication.Paul L. Franco - 2023 - Ergo: An Open Access Journal of Philosophy 10 (48):1378 - 1402.

Add more citations

References found in this work

No references found.

Add more references