Search

2005

Koslicki, Kathrin

Introduction: In this paper, I argue that a surprisingly widespread strategy in metaphysics is suspect for various reasons and hence ought to be abandoned. In very broad strokes, situations which give rise to ‘The Suspect Strategy’ (TSS) contain as one of their ingredients a general metaphysical...

1995

Pelletier, Francis J., Sutcliffe, Geoff

Introduction: In 1986 Pelletier published an annotated list of logic problems, intended as an aid for students, developers, and researchers to test their automated theorem proving (ATP) systems. The 75 problems in the list are subdivided into propositional logic (Problems 1-17), monadic-predicate...

2010

Brigandt, Ingo

Introduction: Reduction remains a live philosophical topic, encompassing metaphysical issues about the natural world, as well as epistemological and methodological questions about science. Germane to various philosophical notions, such as ontological determination, causation, explanation,...

2015

Morin, Marie-Eve

Introduction: Nancy engages with democracy most explicitly in his little book The Truth of Democracy, the publication of which marks the 40th anniversary of May ’68. At the beginning of the eponymous essay, ‘The Truth of Democracy,’ Nancy identifies as the ‘real singularity’ of May ’68 a certain...

1997

Pelletier, Francis J., Elio, Renée

This study examines the problem of belief revision, defined as deciding which of several initially accepted sentences to disbelieve, when new information presents a logical inconsistency with the initial set. In the first three experiments, the initial sentence set included a conditional...

2010

Brigandt, Ingo

The paper works towards an account of explanatory integration in biology, using as a case study explanations of the evolutionary origin of novelties—a problem requiring the integration of several biological fields and approaches. In contrast to the idea that fields studying lower level phenomena...

2006

Zupko, Jack

Introduction: A little over a decade ago, I published a paper that tried to un- ravel the puzzling relationship between John Buridan, the most fa- mous Parisian arts master of the fourteenth century, and Nicholas of Autrecourt, the Paris-based bête noir of late-medieval Aristote- lianism, who...

1993

Zupko, Jack

Despite John Buridan's reputation as the foremost Parisian philosopher of the fourteenth century and the predominant role played by his teachings in European universities until well into the sixteenth century,' our understanding of his thought in a number of areas remains sketchy. Epistemology is...

1994

Wilson, Robert A.

Individualists claim that wide explanations in psychology are problematic. I argue that wide psychological explanations sometimes have greater explanatory power than individualistic explanations. The aspects of explanatory power I focus on are causal depth and theoretical appropriateness....

2020-06-01

Katalin Bimbó

The first sequent calculus, LK is the example after which many other calculi have been fashioned. We describe this calculus, prove its equivalence to the axiom system K, and provide a sound and complete interpretation too. A major part of Section 2.3 is a presentation of the proof of the cut...