Search
Search Results
-
Structural Representation and the Ontology of Models
This chapter introduces a structural account of representation through partial structures and examines its ontological commitments. It is pointed out... -
The inferential constraint and if \(\varvec{\phi }\) ought \(\varvec{\phi }\) problem
The standard semantics for modality, together with the influential restrictor analysis of conditionals (Kratzer, 1986, 2012) renders conditional ought ...
-
Clinical Ethics Consultation in Germany: History, Current Status and Models of Training
In Germany, clinical ethics consultation (CEC) has developed over the past 20 years into a well-established professional service, particularly in... -
Models and Idealizations in Quantum Chemistry: The Case of the Born-Oppenheimer Approximation
In the context of the discussion about idealizations, the present chapter aims at two different but complementary objectives. Firstly, we will... -
SCI–Sequent Calculi, Cut Elimination and Interpolation Property
We discuss the methods for providing sequent calculi for Suszko’s basic non-Fregean Logic with sentential identity SCI. After examination of possible... -
Chapter 8 On Meta-knowledge and Truth
The paper deals with the problem of logical adequacy of language knowledge with cognition of reality. A logical explication of the concept of... -
Can Models Have Skill?
Climate scientists and climate modelers often speak of determining whether or not a model has “skill.” This seems to imply that climate models... -
Can Physics Explain Physics? Anthropic Principles and Transcendental Idealism
In this chapter, I argue that contemporary physics, understood as a natural science that’s committed to the Standard Models of cosmology and particle... -
Unrealistic models for realistic computations: how idealisations help represent mathematical structures and found scientific computing
We examine two very different approaches to formalising real computation, commonly referred to as “Computable Analysis” and “the BSS approach”. The...
-
The scope of provability
We explore the relationship between evidence and knowledge when knowledge is described by a standard partition over a finite state space, and...
-
The Fiction View of Models
Scientific modelling involves a creative act of the imagination. This, and the fact that at least parts of the content of what is imagined deviates... -
Truthmakers and Relevance for FDE, LP, K3, and CL
In this paper, we first develop truthmaker semantics for four relevance logics defined as the non-transitive relevant cores [as introduced in Verdée... -
The Relational Turn
Formalism is based on the premise that the form of a literary text is constitutive of meaning (or content). Literature is counter-posed to standard... -
Knot much like tonk
Connectives such as Tonk have posed a significant challenge to the inferentialist. It has been recently argued (Button 2016; Button and Walsh 2018)...
-
Consciousness and Self-awareness—an Alternative Perspective
An alternative model of the relation between consciousness and self-consciousness is proposed. The model combines a non-standard version of the...
-
Causal scientific explanations from machine learning
Machine learning is used more and more in scientific contexts, from the recent breakthroughs with AlphaFold2 in protein fold prediction to the use of...
-
Quantified Modal Logics: One Approach to Rule (Almost) them All!
We present a general approach to quantified modal logics that can simulate most other approaches. The language is based on operators indexed by terms...
-
Clinical Ethics Consultation: Current Standards in the Field
Should those charged with overseeing a clinical ethics consultation (CEC) service identify the practice standards to which its CEC practitioners will... -
What Is a Scientific Theory?
In this chapter I first present the objectifying attitude, which is characteristic of science, in contrast with the holistic attitude, which is... -
Sentential Logic Languages ∑
The fourth chapter begins the construction of a series of named formal languages, beginning with a formal language for sentential logic. The logical...