Search
Skip to Search Results 42Brigandt, Ingo
 25Pelletier, Francis J.
 17Morin, MarieEve
 16Wilson, Robert A.
 14Koslicki, Kathrin
 12Welchman, Jennifer

20200101
Some logics are decidable, that is, there is an algorithm to determine whether a formula is provable in a calculus formalizing the logic. This paper aims to depict the evolution of decidability proofs based on sequent calculi from the first such proof for intuitionist logic to some of the latest...

2003
Introduction: How do the familiar concrete objects of commonsense –houses, trees, people, cars and the like persist through time? According to the position known as ‘fourdimensionalism’ or ‘the doctrine of temporal parts’, ordinary concrete objects persist through time by perduring, i.e., by...

2014
In various texts (e.g., Met. Z.17), Aristotle assigns priority to form, in its role as a principle and cause, over matter and the matterform compound. Given the central role played by this claim in Aristotle's search for primary substance in the Metaphysics, it is important to understand what...

Systems biology and the integration of mechanistic explanation and mathematical explanation
Download2013
The paper discusses how systems biology is working toward complex accounts that integrate explanation in terms of mechanisms and explanation by mathematical models—which some philosophers have viewed as rival models of explanation. Systems biology is an integrative approach, and it strongly...

20220101
Katalin Bimbó and J. Michael Dunn
Urquhart works in several areas of logic where he has proved important results. Our paper outlines his topological lattice representation and attempts to relate it to other lattice representations. We show that there are different ways to generalize Priestley's representation of distributive...

2003
Marc Ereshefsky argues that pluralism about species suggests that the species concept is not theoretically useful. It is to be abandoned in favor of several concrete species concepts that denote real categories. While accepting species pluralism, the present paper rejects eliminativism about the...

2000
This paper points to some problems for the position that D.M. Walsh calls \"alternative individualism,\" and argues that in defending this view Walsh has omitted an important part of what separates individualists and externalists in psychology. Walsh's example of Hox gene complexes is discussed...

1994
Introduction: Emmon Bach's paper (this volume) raises a number of interesting issues, especially the questions \"What is quantification, anyway?\" and \"What is the range of different ways in which quantification can be manifested?\" Of course such questions bring up philosophical issues of how...