Checking out Checking

Acta Analytica 38 (1):15-26 (2022)
  Copy   BIBTEX

Abstract

Guido Melchior’s important and rich book (Melchior _Knowing and Checking. __An Epistemological Investigation_ 2019 ) draws our attention to the much neglected topic of checking. There are many new leads to follow. Here, I will pick a few that seem to me to allow the most room for discussion and disagreement: the alleged modal profile of checking (Sect. 1), the contrastive aspects of checking (Sect. 2), and the relation of checking to closure (Sect. 3). I will end with two smaller points worth bringing up here (Sect. 4).

Categories

Add categories

Keywords

Reprint years

2023

DOI

10.1007/s12136-022-00526-z

Links

PhilArchive



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

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

Knowing and Checking: An Epistemological Investigation.Guido Melchior - 2019 - New York City, New York, USA: Routledge.
Model checking techniqes for the analysis of reactive systems.Stephan Merz - 2002 - Synthese 133 (1-2):173 - 201.
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking.Bożena Woźna-Szcześniak & Andrzej Zbrzezny - 2016 - Studia Logica 104 (4):641-678.
Extended full computation-tree logics for paraconsistent model checking.Norihiro Kamide - 2007 - Logic and Logical Philosophy 15 (3):251-276.
Revisiting the Epistemology of Fact-Checking.Michelle A. Amazeen - 2015 - Critical Review: A Journal of Politics and Society 27 (1):1-22.
From model checking to equilibrium checking: Reactive modules for rational verification.Julian Gutierrez, Paul Harrenstein & Michael Wooldridge - 2017 - Artificial Intelligence 248 (C):123-157.
Extended Full Computation-tree Logics For Paraconsistent Model Checking.Norihiro Kamide - 2006 - Logic and Logical Philosophy 15:251-267.
Typability and type checking in System F are equivalent and undecidable.J. B. Wells - 1999 - Annals of Pure and Applied Logic 98 (1-3):111-156.
Symbolic model checking of logics with actions.Charles Pecheur & Franco Raimondi - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 113--128.
Real-time model checking on secondary storage.Stefan Edelkamp & Shahid Jabbar - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 67--83.
Distributed extended beam search for quantitative model checking.Anton J. Wijs & Bert Lisser - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 166--184.
Checking again.Jane Friedman - 2019 - Philosophical Issues 29 (1):84-96.
A framework for model checking institutions.Francesco Vigano - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 129--145.
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.Piergiorgio Bertoli, Marco Bozzano & Alessandro Cimatti - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 1--18.
Interactive and probabilistic proof-checking.Luca Trevisan - 2000 - Annals of Pure and Applied Logic 104 (1-3):325-342.

Analytics

Added to PP
2022-08-24

Downloads
30 (#530,318)

6 months
10 (#262,545)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Baumann
Swarthmore College

Citations of this work

Add more citations

References found in this work

Philosophical explanations.Robert Nozick - 1981 - Cambridge, Mass.: Harvard University Press.
Logical foundations of probability.Rudolf Carnap - 1950 - Chicago]: Chicago University of Chicago Press.
Discrimination and perceptual knowledge.Alvin I. Goldman - 1976 - Journal of Philosophy 73 (November):771-791.
Epistemic operators.Fred I. Dretske - 1970 - Journal of Philosophy 67 (24):1007-1023.

View all 20 references / Add more references