L’étude du portique de Delphes attribué initialement aux Étoliens a été entreprise par A. Perrier en 2007 et les campagnes de relevés de terrain, commencées à la fin de l’année 2010 avec J.‑J. Malmary (architecte) et L. Fadin (topographe), se sont achevées en 2013 par des vérifications sur le monument, les derniers relevés ayant été mis au net en 2014. Un mémoire sur l’histoire, l’architecture et la topographie du portique et de sa terrasse a été déposé à l’Académie des (...) inscriptions et belles... (shrink)

1. Causal knowledge is an indispensable element in science. Causal assertions are embedded in both the results and the procedures of scientific investigation. 2. It is therefore worthwhile to investigate the meaning of causal statements and the ways in which we can arrive at causal knowledge.

Annotation In this book Mr. Mackie selects for critical discussion six related topic which are prominent in John Locke's Essay concerning Human Understanding: ...

A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.

According to a recent challenge to Kratzer's canonical contextualist semantics for deontic modal expressions, no contextualist view can make sense of cases in which such a modal must be information-sensitive in some way. Here I show how Kratzer's semantics is compatible with readings of the targeted sentences that fit with the data. I then outline a general account of how contexts select parameter values for modal expressions and show, in terms of that account, how the needed, contextualist-friendly readings might plausibly (...) get selected in the challenge cases. (shrink)

The idea of a 'logic of quantum mechanics' or quantum logic was originally suggested by Birkhoff and von Neumann in their pioneering paper [1936]. Since that time there has been much argument about whether, or in what sense, quantum 'logic' can be actually considered a true logic (see, e.g. Bell and Hallett [1982], Dummett [1976], Gardner [1971]) and, if so, how it is to be distinguished from classical logic. In this paper I put forward a simple and natural semantical framework (...) for quantum logic which reveals its difference from classical logic in a strikingly intuitive way, viz. through the fact that quantum logic admits (suitably formulated versions of) the characteristic quantum-mechanical notions of superposition and incompatibility of attributes. That is, precisely the features that distinguish quantum from classical physics also serve, within this framework, to distinguish quantum from classical logic. Some light is shed on the question of whether quantum logic is a genuine logical system by introducing a natural entailment relation for quantum-logical formulas with the implication symbol. The novelty is that, although implication behaves as it should (i.e. the 'deduction theorem' holds), the order of introduction of premises is significant. The fact that a reasonable entailment relation can be formulated for quantum logic supports the view that it is a genuine logical system and not merely an algebraic formalism. (shrink)

In this paper (a sequel to [4]) I put forward a "local" interpretation of mathematical concepts based on notions derived from category theory. The fundamental idea is to abandon the unique absolute universe of sets central to the orthodox set-theoretic account of the foundations of mathematics, replacing it by a plurality of local mathematical frameworks - elementary toposes - defined in category-theoretic terms.

This paper argues that, while there is a difference between personal and sub‐personal explanation, claims of autonomy should be treated with scepticism. It distinguishes between horizontal and vertical explanatory relations that might hold between facts at the personal and farts at the sub‐personal level. Noting that many philosophers are prepared to accept vertical explanatory relations between the two levels, I argue for the stronger claim that, in the case of at least three central personal level phenomena, the demands of explanatory (...) adequacy require postulating horizontal explanatory relations. (shrink)

Autobiographical memories typically give rise either to memory reports (“I remember going swimming”) or to first person past-tense judgements (“I went swimming”). This article focuses on first person past-tense judgements that are (epistemically) based on autobiographical memories. Some of these judgements have the IEM property of being immune to error through misidentification. This article offers an account of when and why first person past-tense judgements have the IEM property.

This paper is an introduction to topos theory which assumes no prior knowledge of category theory. It includes a discussion of internal logic in a topos, A characterization of the category of sets, And an investigation of the notions of topology and sheaf in a topos.

We analyze Zorn's Lemma and some of its consequences for Boolean algebras in a constructive setting. We show that Zorn's Lemma is persistent in the sense that, if it holds in the underlying set theory, in a properly stated form it continues to hold in all intuitionistic type theories of a certain natural kind. (Observe that the axiom of choice cannot be persistent in this sense since it implies the law of excluded middle.) We also establish the persistence of some (...) familiar results in the theory of (complete) Boolean algebras--notably, the proposition that every complete Boolean algebra is an absolute subretract. This (almost) resolves a question of Banaschewski and Bhutani as to whether the Sikorski extension theorem for Boolean algebras is persistent. (shrink)