Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae

In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property with respect to the class of -formulae, i.e. each -formula has a -model iff it has a finite -model. Roughly speaking, a -formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators.     

There must be a First: Why Thomas Aquinas Rejects Infinite,Essentially Ordered,Causal Series

Several of Thomas Aquinas's proofs for the existence of God rely on the claim that causal series cannot proceed in infinitum. I argue that Aquinas has good reason to hold this claim given his conception of causation. Because he holds that effects are ontologically dependent on their causes, he holds that the relevant causal series are wholly derivative: the later members of such series serve as causes only insofar as they have been caused by and are effects of the earlier members. Because the intermediate causes in such series possess causal powers only by deriving them from all the preceding causes, they need a first and non-derivative cause to serve as the source of their causal powers.     

Constructive Empiricism and the Vices of Voluntarism

Abstract

Constructive empiricism – as formulated by Bas van Fraassen – makes no epistemological claims about the nature of science. Rather, it is a view about the aim of science, to be situated within van Fraassen’s broader voluntarist epistemology. Yet while this epistemically minimalist framework may have various advantages in defending the epistemic relevance of constructive empiricism, I show how it also has various disadvantages in maintaining its internal coherence.     

Justifying Desires

According to an influential conception of reasons for action, the presence of a desire or some other conative state in the agent is a necessary condition for the agent's having a reason for action. This is sometimes known as internalism. This article presents a case for the considerably stronger thesis, which we may call hyper‐internalism, that the presence of a desire is a sufficient condition for the agent's having a (prima facie) reason for action.     

Imprecise Epistemic Values and Imprecise Credences

A number of recent arguments purport to show that imprecise credences are incompatible with accuracy-first epistemology. If correct, this conclusion suggests a conflict between evidential and alethic epistemic norms. In the first part of the paper, I claim that these arguments fail if we understand imprecise credences as indeterminate credences. In the second part, I explore why agents with entirely alethic epistemic values can end up in an indeterminate credal state. Following William James, I argue that there are many distinct alethic values that a rational agent can have. Furthermore, such an agent is rationally permitted not to have settled on one fully precise value function. This indeterminacy in value will sometimes result in indeterminacy in epistemic behaviour—that is, because the agent’s values aren’t settled, what she believes might not be.     

The Developmental Origin of Metacognition

We explain metacognition as a management of cognitive resources that does not necessitate algorithmic strategies or metarepresentation. When pragmatic, world‐directed actions cannot reduce the distance to the goal, agents engage in epistemic action directed at cognition. Such actions often are physical and involve other people, and so are open to observation. Taking a dynamic systems approach to development, we suggest that implicit and perceptual metacognition emerges from dyadic reciprocal interaction. Early intersubjectivity allows infants to internalize and construct rudimentary strategies for monitoring and control of their own and others' cognitions by emotion and attention. The functions of initiating, maintaining, and achieving turns make proto‐conversation a productive platform for developing metacognition. It enables caregiver and infant to create shared routines for epistemic actions that permit training of metacognitive skills. The adult is of double epistemic use to the infant—as a teacher that comments on and corrects the infant's efforts, and as the infant's cognitive resource in its own right. Copyright © 2012 John Wiley & Sons, Ltd.     

Chisholm's Epistemic Principles

Abstract: An exposition and discussion of Chisholm's “epistemic principles.” These are compared with relevant views of Wilfrid Sellars and Richard Foley. A further comparison, with the approach favored by Descartes, is argued to throw light on the status of such principles.     

Epistemic Injustice The Third Way?

In response to Miranda Fricker's advocacy of a virtue of 'reflexive critical openness', I emphasise the importance of other virtues, such as loyalty, in evaluating an agent's response to testimony, and I query Fricker's claim that in certain circumstances agents can lack a means to correct their faulty evaluations of another's testimony     

Memory of Past Beliefs and Actions

Two notions of memory are studied both syntactically and semantically: memory of past beliefs and memory of past actions. The analysis is carried out in a basic temporal logic framework enriched with beliefs and actions.