The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Both mindreading and stereotyping are forms of social cognition that play a pervasive role in our everyday lives, yet too little attention has been paid to the question of how these two processes are related. This paper offers a theory of the influence of stereotyping on mental-state attribution that draws on hierarchical predictive coding accounts of action prediction. It is argued that the key to...
Recent literature has paid attention to a demarcation problem for evolutionary debunking arguments. This is the problem of asking in virtue of what regulative metaepistemic norm evolutionary considerations either render a belief justified, or debunk it as unjustified. I examine the so-called ‘Milvian Bridge principle’ (cf. Griffiths and Wilkins (in: Maclaurin, Dawes (eds) A new science of religion,...
This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this...
Quine’s most important charge against second-, and more generally, higher-order logic is that it carries massive existential commitments. The force of this charge does not depend upon Quine’s questionable assimilation of second-order logic to set theory. Even if we take second-order variables to range over properties, rather than sets, the charge remains in force, as long as properties are individuated...
Can Quine’s criterion for ontological commitment be comparatively applied across different logics? If so, how? Cross-logical evaluations of discourses are central to contemporary philosophy of mathematics and metaphysics. The focus here is on the influential and important arguments of George Boolos and David Lewis that second-order logic and plural quantification don’t incur additional ontological...
In “Properties and the Interpretation of Second-Order Logic” (Hale, Philos Math 21:133–156, 2013) Bob Hale develops and defends a deflationary conception of properties where a property with particular satisfaction conditions actually (and in fact necessarily) exists if and only if it is possible that a predicate with those same satisfaction conditions exists. He argues further that, since our languages...
The concept of information has well-known difficulties. Among the many issues that have been discussed is the alethic nature of a semantic conception of information. Floridi (Minds Mach 14(2):197–222, 2004; Philos Phenomenol Res 70:351–370, 2005; EUJAP 3(1):31–41, 2007; The philosophy of information, Oxford University Press, Oxford, 2011) argued that semantic information must be truthful. In this...
As the content of propositional attitudes, propositions are usually taken to help explain the behavior of rational agents. However, a closer look at signaling games suggests otherwise: rational agents often acquire partial beliefs, and many of their signals are ambiguous. Signaling games also suggest that it is rational for agents to mix their behavior in response to partial beliefs and ambiguous...
Many efforts have been made in recent years to construct formal systems for mechanizing general mathematical reasoning. Most of these systems are based on logics which are stronger than first-order logic (FOL). However, there are good reasons to avoid using full second-order logic (SOL) for this task. In this work we investigate a logic which is intermediate between FOL and SOL, and seems to be a...
It is a distinctive mark of normal conscious perception that perceived objects are experienced as actually present in one’s surroundings. The aim of this paper is to offer a phenomenologically accurate and empirically plausible account of the cognitive underpinning of this feature of conscious perception, which I shall call perceptual presence (PP). The paper begins with a preliminary characterization...
In this paper, we explore how we should aggregate the degrees of belief of a group of agents to give a single coherent set of degrees of belief, when at least some of those agents might be probabilistically incoherent. There are a number of ways of aggregating degrees of belief, and there are a number of ways of fixing incoherent degrees of belief. When we have picked one of each, should we aggregate...
It is sometimes mentioned that Bernard Bolzano’s work on grounding anticipates many insights of the current debate on metaphysical grounding. The present paper discusses a certain part of Bolzano’s theory of grounding that has thus far not been discussed in the literature. This part does not so much anticipate what are nowadays common assumptions about grounding, but rather goes beyond them. Central...
The point of formalisation is to model various aspects of natural language. Perhaps the main use to which formalisation is put is to model and explain inferential relations between different sentences. Judged solely by this objective, a formalisation is successful in modelling the inferential network of natural language sentences to the extent that it mirrors this network. There is surprisingly little...
It is often remarked that first-order Peano Arithmetic is non-categorical but deductively well-behaved, while second-order Peano Arithmetic is categorical but deductively ill-behaved. This suggests that, when it comes to axiomatizations of mathematical theories, expressive power and deductive power may be orthogonal, mutually exclusive desiderata. In this paper, I turn to Hintikka’s (Philos Top 17(2):69–90,...
Epistemological disjunctivism says that one can know that p on the rational basis of one’s seeing that p. The basis problem for disjunctivism says that that can’t be since seeing that p entails knowing that p on account of simply being the way in which one knows that p. In defense of their view disjunctivists have rejected the idea that seeing that p is just a way of knowing that p (the $$\hbox {S}_{\mathrm{w}}\hbox...
We propose a multi-agent logic of knowledge, public announcements and arbitrary announcements, interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intuitive and semantic differences. We provide axiomatizations for three logics based on this setting, with...
According to the free energy principle biological agents resist a tendency to disorder in their interactions with a dynamically changing environment by keeping themselves in sensory and physiological states that are expected given their embodiment and the niche they inhabit (Friston in Nat Rev Neurosci 11(2):127–138, 2010. doi: 10.1038/nrn2787 ). Why would a biological agent that aims at minimising...
Amalgamating evidence from heterogeneous sources and across levels of inquiry is becoming increasingly important in many pure and applied sciences. This special issue provides a forum for researchers from diverse scientific and philosophical perspectives to discuss evidence amalgamation, its methodologies, its history, its pitfalls, and its potential. We situate the contributions therein within six...
In medicine and the social sciences, researchers often measure only a handful of variables simultaneously. The underlying assumption behind this methodology is that combining the results of dozens of smaller studies can, in principle, yield as much information as one large study, in which dozens of variables are measured simultaneously. Mayo-Wilson (Philos Sci 78(5):864–874, 2011, Br J Philos Sci...
Francesco Guala once wrote that ‘The problem of extrapolation (or external validity as it is sometimes called) is a minor scandal in the philosophy of science’. This paper agrees with the statement, but for reasons different from Guala’s. The scandal is not, or not any longer, that the problem has been ignored in the philosophy of science. The scandal is that framing the problem as one of external...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.