Peter Zumthor est aujourd’hui considéré comme « l’architecte des atmosphères ». De ce fait, son œuvre est souvent rapprochée des théorisations de la notion d’atmosphère issues de la phénoménologie allemande. L’article vise à ressaisir la singularité de la problématique de l’atmosphère chez Zumthor (liens à la théorie du projet et à la production architecturale, aux notions centrales d’image et d’histoire), ainsi qu’à revenir sur les sources de ce concept chez Aldo Rossi, cela afin de comprendre de manière (...) synthétique la nécessité, le sens et les évolutions du recours à l’atmosphère dans cette manière de penser en architecture. (shrink)

Résumé La pensée architecturale de Peter Zumthor, l’un des plus grands architectes contemporains (lauréat du Pritzker Price en 2009), est l’une des plus fortes de notre temps. Loin de tout sensationnalisme théorique, il développe une véritable pensée en architecture, faisant de l’« atmosphère » son déterminant essentiel. Contre l’oubli de l’histoire constitutif de la pensée moderniste, il cherche à « retrouver » l’architecture au moyen de l’exploration des données biographiques et contextuelles qui la fondent. C’est à la mise (...) au jour des éléments essentiels de cette pensée qu’est consacré cet article. (shrink)

Comment passer de la réflexion esthétique sur les atmosphères à une pratique architecturale des atmosphères? En suivant les Leçons d’esthétique du philosophe allemand Gernot Böhme, nous analysons la façon dont leur esprit est mis en œuvre par l’architecte suisse Peter Zumthor. Comment le sentiment fondamental de la présence est-il principiel dans le projet du plus grand musée d’art de Los Angeles? Composée de propositions concrètes, l’enjeu de l’esthétique envisagée ici tient moins de la détermination de l’œuvre d’art que (...) du sentiment de liberté qu’éprouvent des sujets dans le site qui leur est offert. (shrink)

There is fast-growing awareness of the role atmospheres play in architecture. Of equal interest to contemporary architectural practice as it is to aesthetic theory, this 'atmospheric turn' owes much to the work of the German philosopher Gernot Böhme. Atmospheric Architectures: The Aesthetics of Felt Spaces brings together Böhme's most seminal writings on the subject, through chapters selected from his classic books and articles, many of which have hitherto only been available in German. This is the only translated version authorised by (...) Böhme himself, and is the first coherent collection deploying a consistent terminology. It is a work which will provide rich references and a theoretical framework for ongoing discussions about atmospheres and their relations to architectural and urban spaces. Combining philosophy with architecture, design, landscape design, scenography, music, art criticism, and visual arts, the essays together provide a key to the concepts that motivate the work of some of the best contemporary architects, artists, and theorists: from Peter Zumthor, Herzog & de Meuron and Juhani Pallasmaa to Olafur Eliasson and James Turrell. With a foreword by Professor Mark Dorrian and an afterword by Professor David Leatherbarrow,, the volume also includes a general introduction to the topic, including coverage of it history, development, areas of application and conceptual apparatus. (shrink)

Since the publication in 1975 of Paul Virilio's Bunker Archeology, the range of Virilio's critical works and their impact have now become clear within a variety of subjects. Making astonishing interventions into art and architecture, geography, cultural studies, media, literature, aesthetics and sociology, the momentous implications of which have yet to be entirely understood, Virilio is the cultural theorist for our troubled twenty-first century. Responding to this growing interdisciplinary interest, Virilio Now: Current Perspectives in Virilio Studies comprises Sean Cubitt's critical (...) overview of Virilio's aesthetics of disappearance, an important newly translated text by Virilio interrogating the impact of contemporary art, and eight other major original essays by noted scholars on the wide scope of Virilio's writings, inclusive of Adam Sharr on Virilio and the architect Peter Zumthor's Bruder Klaus chapel, and Nigel Thrift's crucial assessment of Virilio's City of Panic. Substantial coverage of Virilio's essential texts such as The Information Bomb is presented alongside his hypermodern conjectures on television and speed, globalization, media and representation. Navigating Virilio's 'accident of art', the 'aesthetics of disappearance' and widespread cultural devastation, additional essays bring together considerations of financial adversity, war, calamity and the apocalypse. Dazzling yet perceptive, these texts on the 'post-nuclear imagination', terror and dread are simultaneously creative and theoretical extrapolations from Virilio's 'scenic imagination' and companion essays to his most contemporary, highly original and powerful books such as The Original Accident and The University of Disaster. Clearly introduced by the editor, Virilio Now is the preeminent single volume on Virilio's work and world available today."--Page 4 of cover. (shrink)

Ob Kunstwerke, im emphatischen Sinne des Wortes, in der Moderne überhaupt produziert werden können, hat Heidegger philosophisch in Zweifel gezogen. Sofern ästhetische Praxis an einem historischen Wahrheitsanspruch gemessen werden soll, muss ihre Bewertung letztlich prekär bleiben. Trotz dieser skeptischen Haltung Heideggers haben nicht nur Kunsttheoretiker, sondern auch zahlreiche Künstler und Schriftsteller seine Überlegungen nachhaltig rezipiert und in die Reflexion der eigenen Praxis eingebunden. Nikola Mirkovic folgt den Spuren von vier Lesern von Heideggers Kunstphilosophie, - Günther Anders, Heinrich Besseler, Paul Celan (...) und Peter Zumthor - die verschiedene Motive von Heideggers Denkens aufgreifen, kritisieren und weiterentwickeln. Erst durch die Transformation von Heideggers Grundbegriffen im Zuge der jeweiligen Architektur-, Literatur- und Musiktheorie zeigt sich ihr phänomenologisches Potential. (shrink)

Engages with the impact of modern technology on experimental physicists. This study reveals how the increasing scale and complexity of apparatus has distanced physicists from the very science which drew them into experimenting, and has fragmented microphysics into different technical traditions.

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

Is science unified or disunified? This collection brings together contributions from prominent scholars in a variety of scientific disciplines to examine this important theoretical question. They examine whether the sciences are, or ever were, unified by a single theoretical view of nature or a methodological foundation and the implications this has for the relationship between scientific disciplines and between science and society.

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to (...) the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

Propositional quantifiers are quantifiers binding proposition letters, understood as variables. This Element introduces propositional quantifiers and explains why they are especially interesting in the context of propositional modal logics. It surveys the main results on propositionally quantified modal logics which have been obtained in the literature, presents a number of open questions, and provides examples of applications of such logics to philosophical problems.

In our everyday lives we struggle with the notions of why we do what we do and the need to assign values to our actions. Somehow, it seems possible through experience and life to gain knowledge and understanding of such matters. Yet once we start delving deeper into the concepts that underwrite these domains of thought and actions, we face a philosophical disappointment. In contrast to the world of facts, values and morality seem insecure, uncomfortably situated, easily influenced by illusion (...) or ideology. How can we apply this same objectivity and accuracy to the spheres of value and morality? In the essays included in this collection, Peter Railton shows how a fairly sober, naturalistically informed view of the world might nonetheless incorporate objective values and moral knowledge. This book will be of interest to professionals and students working in philosophy and ethics. (shrink)

This far-reaching study redraws the intellectual map of the Enlightenment and boldly reassesses the legacy of that highly influential period for us today. Peter Hanns Reill argues that in the middle of the eighteenth century, a major shift occurred in the way Enlightenment thinkers conceived of nature that caused many of them to reject the prevailing doctrine of mechanism and turn to a vitalistic model to account for phenomena in natural history, the life sciences, and chemistry. As he traces (...) the ramifications of this new way of thinking through time and across disciplines, Reill provocatively complicates our understanding of the way key Enlightenment thinkers viewed nature. His sophisticated analysis ultimately questions postmodern narratives that have assumed a monolithic Enlightenment—characterized by the dominance of instrumental reason—that has led to many of the disasters of modern life. (shrink)

This volume explores the use of higher-order logics in metaphysics. Seventeen original essays trace the development of higher-order metaphysics, discuss different ways in which higher-order languages and logics may be used, and consider their application to various central topics of metaphysics.

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that (...) propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise. (shrink)

Current views of metaphysical ground suggest that a true conjunction is immediately grounded in its conjuncts, and only its conjuncts. Similar principles are suggested for disjunction and universal quantification. Here, it is shown that these principles are jointly inconsistent: They require that there is a distinct truth for any plurality of truths. By a variant of Cantor’s Theorem, such a fine-grained individuation of truths is inconsistent. This shows that the notion of grounding is either not in good standing, or that (...) natural assumptions about it need to be revised. (shrink)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

An argument going back to Russell shows that the view that propositions are structured is inconsistent in standard type theories. Here, it is shown that such type theories may nevertheless provide entities which can serve as proxies for structured propositions. As an illustration, such proxies are applied to the case of grounding, as standard views of grounding require a degree of propositional structure which suffices for a version of Russell’s argument. While this application solves some of the problems grounding faces, (...) it introduces problematic limitations: it becomes impossible to quantify unrestrictedly over the relata of ground. The proposed proxies may thus not save grounding, but they shed light on what exactly Russell’s argument does and does not show. (shrink)

Two expressive limitations of an infinitary higher-order modal language interpreted on models for higher-order contingentism – the thesis that it is contingent what propositions, properties and relations there are – are established: First, the inexpressibility of certain relations, which leads to the fact that certain model-theoretic existence conditions for relations cannot equivalently be reformulated in terms of being expressible in such a language. Second, the inexpressibility of certain modalized cardinality claims, which shows that in such a language, higher-order contingentists cannot (...) express what is communicated using various instances of talk of ‘possible things’, such as ‘there are uncountably many possible stars’. (shrink)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...) arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

This far-reaching study redraws the intellectual map of the Enlightenment and boldly reassesses the legacy of that highly influential period for us today. Peter Hanns Reill argues that in the middle of the eighteenth century, a major shift occurred in the way Enlightenment thinkers conceived of nature that caused many of them to reject the prevailing doctrine of mechanism and turn to a vitalistic model to account for phenomena in natural history, the life sciences, and chemistry. As he traces (...) the ramifications of this new way of thinking through time and across disciplines, Reill provocatively complicates our understanding of the way key Enlightenment thinkers viewed nature. His sophisticated analysis ultimately questions postmodern narratives that have assumed a monolithic Enlightenment—characterized by the dominance of instrumental reason—that has led to many of the disasters of modern life. (shrink)

According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The two classes of models are shown to be equivalent as models of contingency in what propositions there are, although they differ as to which other aspects of reality they represent. These constructions are based on recent work by Robert Stalnaker; the aim of this paper is to explain, expand, (...) and, in one aspect, correct Stalnaker's discussion. (shrink)

The models of contingency in what propositions, properties and relations there are developed in Part 1 are related to models of contingency in what propositions there are due to Robert Stalnaker. It is shown that some but not all of the classes of models of Part 1 agree with Stalnaker’s models concerning the patterns of contingency in what propositions there are they admit. Further structural connections between the two kinds of models are explored.

Contingentists—who hold that it is contingent what there is—are divided on the claim that having a property or standing in a relation requires being something. This claim can be formulated as a natural schematic principle of higher-order modal logic. On this formulation, I argue that contingentists who are also higher-order contingentists—and so hold that it is contingent what propositions, properties and relations there are—should reject the claim. Moreover, I argue that given higher-order contingentism, having a property or standing in a (...) relation does not even require possibly being something. (shrink)

The ArgumentBehind the dispute over the relative priority of theory and experiment lie conflicting philosophical images of the nature of scientific inquiry. One crucial image arose in the 1920s, when the logical positivists agitated for a “unity of science” that would ground all meaningful scientific activity on an observational foundation. Their goals and rhetoric dovetailed with the larger movements of architectural, literary, and philosophical modernism. Historians of science followed the positivists by tracking experimental science as the basis for scientific progress. (...) After World War II, historians and philosophers of science created an antipositivist movement, inverting the positivist idea that observation had epistemic priority. But this counter-movement retained the modernist aspiration to unity, now chaining observation to theory. Once again historians of science, following their philosophical colleagues, illustrated the new modernism with historical instances of observation dominated by theory.Either reductionist scheme, by privileging one activity over the other, dictates an overly constrictive periodization. We need a wider class of periodization models that will allow instrumentation, experimentation, and theory a partial autonomy without granting any one the sole legitimate narrative standpoint. Such a heterogeneous representation of historical traditions may, surprisingly, make better sense of the perceived coherence of activity across theoretical transitions than the monolithic modernist representation of science it displaces. (shrink)

How do scholars formulate arguments about economic inequality? What is the role of empirical analysis? In what ways, if any, is the debate informed by ethical considerations? In this paper, we address these questions by evaluating one of the main arguments in Thomas Piketty’s 2014 book _Capital in the Twenty-First Century_, along with its endorsements and rebuttals. Applying Stephen Toulmin’s model of arguments to Piketty unearths a complex argument structure that must be understood for an evaluation to be possible. Of (...) particular importance are the warrants that Piketty used to justify his conclusions from the empirical material. Our analysis revealed that the most influential rebuttals were targeted not at Piketty’s empirical inferences but the way he used these inferences to justify his claims. We also found value judgments to be an essential part of the justification process, making Piketty’s claims ultimately embedded in ethical considerations. We conclude that value judgments are intrinsic to scholarly arguments not only in economic inequality debates but also more broadly. (shrink)

A new puzzle of modal recombination is presented which relies purely on resources of first-order modal logic. It shows that naive recombinatorial reasoning, which has previously been shown to be inconsistent with various assumptions concerning propositions, sets and classes, leads to inconsistency by itself. The context sensitivity of modal expressions is suggested as the source of the puzzle, and it is argued that it gives us reason to reconsider the assumption that the notion of metaphysical necessity is in good standing.

In surveying the field of history and philosophy of science , it may be more useful just now to pose some key questions than it would be to lay out the sundry competing attempts to unify H and P. The ten problems this essay presents are grounded in a range of work of enormous interest—historical and philosophical work that has made use of productive categories of analysis: context, historicism, purity, and microhistory, to name but a few. What kind of account (...) are we after—historically and philosophically—when we attempt to address science not as a vacuous generality but in its specific, local formation? (shrink)

Peter Pagin Is the principle of semantic compositionality compatible with the principle of semantic holism? The question is of interest, since both principles have a lot that speaks for them, and since they do seem to be in conflict. The view that natural languages have compositional structure is almost unavoidable, since linguistic communication by means of new combinations of words would be virtually incomprehensible otherwise. And holism too seems generally plausible, since the meaning of an expression is directly connected (...) with the way that expression interacts with other. (shrink)

Can conjunctive propositions be identical without their conjuncts being identical? Can universally quantified propositions be identical without their instances being identical? On a common conception of propositions, on which they inherit the logical structure of the sentences which express them, the answer is negative both times. Here, it will be shown that such a negative answer to both questions is inconsistent, assuming a standard type-theoretic formalization of theorizing about propositions. The result is not specific to conjunction and universal quantification, but (...) applies to any binary operator and propositional quantifier. It is also shown that the result essentially arises out of giving a negative answer to both questions, as each negative answer is consistent by itself. (shrink)

This book develops an argument for a foundational theory of modality using higher-order logic. The use of higher-order logic in metaphysics is motivated, and a particular higher-order logic is introduced. Fine-grained theories of propositional individuation are shown to be problematic, and a course-grained theory of propositional individuation is defended. On the basis of this theory, it is argued that the metaphysical necessities can be delineated using purely logical terms; by adding an actuality operator, it is shown that the logic of (...) metaphysical necessity is S5. The theoretical role of possible worlds is articulated, and shown to be satisfied by maximal propositions if it satisfied by anything; the existence of such maximal propositions is demonstrated using plural propositional quantification. The resulting theory reduces metaphysical modal terms to higher-order logical terms, and thereby vindicates a widespread modal conception of metaphysics. (shrink)

Existential claims are widely held to be grounded in their true instances. However, this principle is shown to be problematic by arguments due to Kit Fine. Stephan Krämer has given an especially simple form of such an argument using propositional quantifiers. This note shows that even if a schematic principle of existential grounds for propositional quantifiers has to be restricted, this does not immediately apply to a corresponding non-schematic principle in higher-order logic.

I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only the (...) cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...) quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

This volume, an expanded edition of the philosophy of language issue of the journal Midwest Studies in Philosophy (1977), includes essays by some of the ...

Propositional quantifiers are added to a propositional modal language with two modal operators. The resulting language is interpreted over so-called products of Kripke frames whose accessibility relations are equivalence relations, letting propositional quantifiers range over the powerset of the set of worlds of the frame. It is first shown that full second-order logic can be recursively embedded in the resulting logic, which entails that the two logics are recursively isomorphic. The embedding is then extended to all sublogics containing the logic (...) of so-called fusions of frames with equivalence relations. This generalizes a result due to Antonelli and Thomason, who construct such an embedding for the logic of such fusions. (shrink)

One does not simply predict where the other will go, which is wherever the first predicts the second to predict the first to go, and so ad infinitum. Not "What would I do if I were she?" but "What would I do if I were she wondering what she would do if she were wondering what I would do if I were she...?".

Robert Stalnaker recently proposed a simple theory of propositions using the notion of a set of propositions being consistent, and conjectured that this theory is equivalent to the claim that propositions form a complete atomic Boolean algebra. This paper clarifies and confirms this conjecture. Stalnaker also noted that some of the principles of his theory may be given up, depending on the intended notion of proposition. This paper therefore also investigates weakened constraints on consistency and the corresponding classes of Boolean (...) algebras. (shrink)