Search
Search Results
-
Processes, Mechanisms, and Mechanistic Models
Among the philosophical approaches to explanation in the biological and biomedical sciences, the so-called mechanistic approach has doubtless been...
-
Introduction: Theories, Models, and Scientific Representations
Alejandro Cassini and Juan Redmond offer an elementary but fairly complete and extensive introduction to the present state of the philosophy of...
-
Non-quantum Behaviors of Configuration-Space Density Formulations of Quantum Mechanics
The trajectories of the pilot-wave formulation of quantum mechanics and hence its empirical predictions may be recovered via the dynamics of a...
-
Games and Bisimulations for Intuitionistic First-Order Kripke Models
The aim of this paper is to introduce the notion of a game for intuitionistic first-order Kripke models. We also establish links between notions...
-
From Generative Models to Generative Passages: A Computational Approach to (Neuro) Phenomenology
This paper presents a version of neurophenomenology based on generative modelling techniques developed in computational neuroscience and biology. Our...
-
Theories and Models
This chapter presents some general results that hinge on the notion of cardinality.
-
First-Order Modal Logic
This revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters...
-
Poset Products as Relational Models
We introduce a relational semantics based on poset products, and provide sufficient conditions guaranteeing its soundness and completeness for...
-
Newton da Costa on Hypothetical Models in Logic and on the Modal Status of Logical Laws
This paper has three aims: first , to present in a clear way Newton da Costa’s argument against the necessity of logical laws. In order to do so, we...
-
Prediction and Topological Models in Neuroscience
In the last two decades, philosophy of neuroscience has predominantly focused on explanation. Indeed, it has been argued that mechanistic models are...
-
Learning from Non-Causal Models
This paper defends the thesis of learning from non - causal models : viz. that the study of some model can prompt justified changes in one’s confidence...
-
Three noncontextual hidden variable models for the Peres-Mermin square
I will argue that the Peres-Mermin square does not necessarily rule out a value-definite (deterministic) noncontextual hidden variable model if the...
-
‘Selective Programming’: Response to ‘From Felicitous Models to Answer Set Programming’ by V. Lifschitz
I make use of the truthmaker framework in providing a selective semantics for programs with disjunction and compare it to the minmalist semantics.
-
Decidability of Modal Logics of Non-k-Colorable Graphs
We consider the bimodal language, where the first modality is interpreted by a binary relation in the standard way, and the second is interpreted by...
-
Assessing the quality of evidence from epidemiological agent-based models for the COVID-19 pandemic
Agent-based models (ABMs) are one of the main sources of evidence for decisions regarding mitigation and suppression measures against the spread of...
-
Seven Myths About the Fiction View of Models
Roman Frigg and James Nguyen present a detailed statement and defense of the fiction view of scientific models, according to which they are akin to...
-
Effective Skolemization
We define a new relatively simple Skolemization method called atomic Skolemization which allows for a non-elementarily bounded speed-up of cut-free...
-
Context Specification Language for Formally Verifying Consent Properties on Models and Code
Recent privacy laws and regulations raise the stakes in verifying that software systems respect user consent. The current state of the art shows that...
-
Models, structures, and the explanatory role of mathematics in empirical science
Are there genuine mathematical explanations of physical phenomena, and if so, how can mathematical theories, which are typically thought to concern...
-
Models as Hypostatizations: The Case of Supervaluationism in Semantics
Manuel García Carpintero defends a form of antirealism for the explicit talk and thought both about fictional entities and scientific models: a...