Objet d'une captation indue par une certaine extrême gauche, l'écologie a été très souvent délaissée par la droite radicale européenne, dont la phobie envers l'écologauchisme l'a poussée à oublier une part pourtant essentielle de son propre héritage. Réunissant deux essais qui abordent la même problématique sous des angles différents, cet ouvrage est donc aussi une redécouverte d'un continent englouti. Dans le sillage de l'oeuvre de Julius Evola, Giovanni Monastra rappelle le caractère empathique et holistique de l'approche traditionnelle de la nature, (...) par opposition à l'approche moderne, exclusivement tournée vers l'utile et l'exploitable, et qui finit par considérer l'homme lui-même comme un cobaye. Il réaffirme, conformément à la parole d'Héraclite ("Il faut éteindre la démesure"), que la mentalité prométhéenne ou faustienne est foncièrement incompatible avec le païen "sens de la Terre" cher à Nietzsche. En tant qu'elle respecte certaines "limites", la véritable écologie relève fondamentalement de l'esprit de conservation et d'une forme de conservatisme, ainsi que s'attache à le démontrer Philippe Baillet dans une étude qui fait une très large place aux sources allemandes de l'écologie, du romantisme au biocentrisme de Ludwig Klages et de certains nationaux-socialistes, en passant par le mouvement völkisch et ses prolongements jusqu'à nos jours. Parce qu'il lie de manière indissociable défense de l'environnement, défense des espèces animales et défense du pays natal (Heimat), l'écologisme conservateur allemand s'est voulu, dès l'origine, identitaire. Il s'est agi ici de poser les premiers jalons théoriques, dans l'espace francophone, de la redéfinition d'une écologie profonde nourrie par l'immémoriale piété indo-européenne pour le cosmos. (shrink)

This paper argues that in some explanations mathematics are playing an explanatory rather than a representational role, and that this feature unifies many types of non-causal or non-mechanistic explanations that some philosophers of science have been recently exploring under various names. After showing how mathematics can play either a representational or an explanatory role by considering two alternative explanations of a same biological pattern—“Bergmann’s rule”—I offer an example of an explanation where the bulk of the explanatory job is done by (...) a mathematical theorem, and where mechanisms involved in the target systems are not explanatorily relevant. Then I account for the way mathematical properties may function in an explanatory way within an explanation by arguing that some mathematical propositions involving variables non directly referring to the target system features constitute constraints to which a whole class of systems should comply, provided they are describable by a mathematical object concerned by those propositions. According to such “constraint account”, those mathematical facts are directly entailing the explanandum, as a consequence of such constraints. I call those explanations “structural”, because here properties of mathematical structures are accounting for the explanandum; various kinds of mathematical structures thereby define various types of structural explanations. (shrink)

Kaplan claims in Demonstratives that no operator may manipulate the context of evaluation of natural language indexicals. We show that this is not so. In fact, attitude reports always manipulate a context parameter (or, rather, a context variable). This is shown by (i) the existence of De Se readings of attitude reports in English (which Kaplan has no account for), and (ii) the existence of a variety of indexicals across languages whose point of evaluation can be shifted, but only in (...) attitude reports. We develop an alternative account within an extensional framework with overt quantification over times, worlds and contexts. Various typological facts are discussed, esp. the distinction between English, Amharic and Ewe pronouns, and that between English and Russian tenses. (shrink)

The objective of this article is to propose a precise characterization of the collective practice behind at least an important part of the phenomena named “decision by consensus”. First, I provide descriptions of the use of this rule, and give a definition of the non-opposition rule, both as a specific sequence of acts and as a stopping rule. Second, I challenge the usual way of understanding the non-opposition rule by contrast with voting, stating that the contrast between logic of approval (...) and logic of consent also has to be taken into account. Third, I examine the conditions of its use. The non-opposition rule satisfies groups whose concern is to decide without dividing. Finally, from the analytic benefit of opening up decision by consensus as the use of the non-opposition rule, I will examine, in a fourth part, whether consensus in decision-making is as democratic a procedure as is sometimes thought. (shrink)

This book aims to make the pragmatist intellectual framework accessible to organization and management scholars. It presents some fundamental concepts of Pragmatism, their potential application to the study of organizations and the resulting theoretical, methodological, and practical issues.

Recent semantic research has made increasing use of a principle, Maximize Presupposition, which requires that under certain circumstances the strongest possible presupposition be marked. This principle is generally taken to be irreducible to standard Gricean reasoning because the forms that are in competition have the same assertive content. We suggest, however, that Maximize Presupposition might be reducible to the theory of scalar implicatures. (i)First, we consider a special case: the speaker utters a sentence with a presupposition p which is not (...) initially taken for granted by the addressee, but the latter takes the speaker to be an authority on the matter. Signaling the presupposition provides new information to the addressee; but it also follows from the logic of presupposition qua common belief that the presupposition is thereby satisfied (Stalnaker, Ling Philos 25(5–6):701–721, 2002). (ii) Second, we generalize this solution to other cases. We assume that even when p is common belief, there is a very small chance that the addressee might forget it (‘Fallibility’); in such cases, marking a presupposition will turn out to generate new information by re-establishing part of the original context. We also adopt from Raj Singh (Nat Lang Semantics 19(2):149–168, 2011) the hypothesis that presupposition maximization is computed relative to local contexts—and we assume that these too are subject to Fallibility; this accounts for cases in which the information that justifies the presupposition is linguistically provided. (iii) Finally, we suggest that our assumptions have benefits in the domain of implicatures: they make it possible to reinterpret Magri’s ‘blind’ (i.e. context-insensitive) implicatures as context-sensitive implicatures which just happen to be misleading. (shrink)

As part of a recent attempt to extend the methods of formal semantics beyond language, it has been claimed that music has an abstract truth-conditional semantics, albeit one that has more in common with iconic semantics than with standard compositional semantics. After summarizing this approach and addressing a common objection, we argue that music semantics should be enriched in three directions by incorporating insights of other areas of Super Semantics. First, it has been claimed by Abusch 2013 that visual narratives (...) make use of discourse referents akin to those we find in language. We argue that a similar conclusion extends to music, and we highlight it by investigating ways in which orchestration and dance may make cross-referential dependencies more explicit. Second, we show that by bringing music semantics closer to the semantics of visual narratives, we can give an account of the semantics of mixed visual and musical sequences. Third, it has been claimed that co-speech gestures trigger characteristic conditionalized presuppositions, called ‘cosuppositions’, and that their semantic status derives from their parasitic character relative to words. We argue that the same conclusion extends to some instances of film and cartoon music: it may trigger cosuppositions that can be revealed by embedding film excerpts or gifs in sentences so as to test presupposition projection. We further argue that under special discourse conditions, pro-speech gestures and pro-speech music alike can trigger cosuppositions as well. These results suggest that new insights can be gained not just by extending the methods of semantics to new objects, but also by drawing new connections among them. (shrink)

We develop a formal semantic analysis of the alarm calls used by Campbell’s monkeys in the Tai forest and on Tiwai island —two sites that differ in the main predators that the monkeys are exposed to. Building on data discussed in Ouattara et al. :e7808, 2009a; PNAS 106: 22026–22031, 2009b and Arnold et al., we argue that on both sites alarm calls include the roots krak and hok, which can optionally be affixed with -oo, a kind of attenuating suffix; in (...) addition, sentences can start with boom boom, which indicates that the context is not one of predation. In line with Arnold et al., we show that the meaning of the roots is not quite the same in Tai and on Tiwai: krak often functions as a leopard alarm call in Tai, but as a general alarm call on Tiwai. We develop models based on a compositional semantics in which concatenation is interpreted as conjunction, roots have lexical meanings, -oo is an attenuating suffix, and an all-purpose alarm parameter is raised with each individual call. The first model accounts for the difference between Tai and Tiwai by way of different lexical entries for krak. The second model gives the same underspecified entry to krak in both locations, but it makes use of a competition mechanism akin to scalar implicatures. In Tai, strengthening yields a meaning equivalent to non-aerial dangerous predator and turns out to single out leopards. On Tiwai, strengthening yields a nearly contradictory meaning due to the absence of ground predators, and only the unstrengthened meaning is used. (shrink)

Ecology in principle is tied to evolution, since communities and ecosystems result from evolution and ecological conditions determine fitness values. Yet the two disciplines of evolution and ecology were not unified in the twentieth-century. The architects of the Modern Synthesis, and especially Julian Huxley, constantly pushed for such integration, but the major ideas of the Synthesis—namely, the privileged role of selection and the key role of gene frequencies in evolution—did not directly or immediately translate into ecological science. In this paper (...) I consider five stages through which the Synthesis was integrated into ecology and distinguish between various ways in which a possible integration was gained. I start with Elton’s animal ecology, then consider successively Ford’s ecological genetics in the 1940s, the major textbook Principles of animal ecology edited by Allee et al., and the debates over the role of competition in population regulation in the 1950s, ending with Hutchinson’s niche concept and McArthur and Wilson’s Principles of Island Biogeography viewed as a formal transposition of Modern Synthesis explanatory schemes. I will emphasize the key role of founders of the Synthesis at each stage of this very nonlinear history. (shrink)

An introduction to semantics for the general reader. How things mean, from animal communication to music.

The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiomatics: we use a non-standard semantics putting together a neighborhood semantics for explicit beliefs and relational semantics for background knowledge, and we have specific axioms in the logic highlighting the relationship between the two concepts. Mental (...) operations of perceptive type and inferential type, having effects on epistemic states of agents, are primitives in the object language of the logic. At the semantic level, they are modelled as special kinds of model-update operations, in the style of dynamic epistemic logic. Results about axiomatization, decidability and complexity for the logic are given in the paper. (shrink)

We argue that some sign language loci (i.e. positions in signing space that realize discourse referents) are both formal variables and simplified representations of what they denote; in other words, they are simultaneously logical symbols and pictorial representations. We develop a 'formal semantics with iconicity' that accounts for their dual life; the key idea ('formal iconicity') is that some geometric properties of signs must be preserved by the interpretation function. We analyze in these terms three kinds of iconic effects in (...) American and French Sign Language (ASL and LSF): (i) structural iconicity, where relations of inclusion and complementation among loci are directly reflected in their denotations; (ii) locus-external iconicity, where the high or low position of a locus in signing space has a direct semantic reflex, akin to the semantic contribution of gender features of pronouns; and (iii) locus-internal iconicity, where different parts of a structured locus are targeted by different directional verbs, as was argued by Liddell and Kegl. The resulting semantics combines insights of two traditions that have been sharply divided by recent debates. In line with the 'formalist camp' (e.g. Lillo-Martin and Klima, Neidle, and Sandler and Lillo-Martin), our theory treats loci as variables, and develops an explicit formal analysis of their behavior. But we also incorporate insights of the 'iconic camp', which emphasized the role of iconic constraints in sign language in general and in pronominals in particular (e.g. Cuxac, Taub, Liddell). However, this synthesis is only possible if formal semantics makes provisions for iconic requirements at the very core of its interpretive procedure. (An Appendix discusses relevant data from Italian Sign Language [LIS].). (shrink)

In the ordinary modal language, KD is the modal logic determined by the class of all serial frames. In this paper, we demonstrate that KD is nullary.

The problem of unification in a normal modal logic $L$ can be defined as follows: given a formula $\varphi$, determine whether there exists a substitution $\sigma$ such that $\sigma $ is in $L$. In this paper, we prove that for several non-symmetric non-transitive modal logics, there exists unifiable formulas that possess no minimal complete set of unifiers.

Epistemic logics are essential to the design of logical systems that capture elements of reasoning about knowledge. In this paper, we study the computability of unifiability and the unification types in several epistemic logics.

Recently some philosophers have emphasized a potentially irreconcilable conceptual antagonism between the statistical characterization of natural selection and the standard scientific discussion of natural selection in terms of forces and causes. Other philosophers have developed an account of the causal character of selectionist statements represented in terms of counterfactuals. I examine the compatibility between such statisticalism and counterfactually based causal accounts of natural selection by distinguishing two distinct statisticalist claims: firstly the suggested impossibility for natural selection to be a cause (...) acting upon populations and secondly the conceptualization that all evolutionary causes occur at the level of interactions between individual organisms. I argue that deriving the latter from the former involves supplementary assumptions concerning precisely what causation is. I critically examine two of these assumptions purportedly preventing natural selection being regarded as a cause: the locality claim and the modularity claim. I conclude that justifying the strongest version of statisticalism—i.e. evolutionary causation only occurs at the level of individual interactions between organisms—would require further metaphysical arguments that are likely to be deemed highly problematic. Additionally, I argue that such a metaphysical position would be considered incongruous with both our scientific and ordinary use of the concepts of causality and explanation as employed within our everyday epistemological framework. (shrink)

Self-recognition by 86 children was assessed using the mirror mark test in two different social contexts. In the classic mirror task condition, only the child was marked prior to mirror exposure . In the social norm condition, the child, experimenter, and accompanying parent were marked prior to the child’s mirror exposure . Results indicate that in both conditions children pass the test in comparable proportion, with the same increase as a function of age. However, in the Norm condition, children displayed (...) significantly more hesitation while removing the mark, often touching it without removing it or, if so, promptly putting the mark back onto their forehead. In the Classic condition, only one child showed such hesitation. These results suggest that from the outset, mirror self-recognition can refer to social awareness. This link is interpreted as the trademark of human self-consciousness, a deeply rooted “looking glass” self-awareness. (shrink)

Stalnaker ( 1978 ) made two seminal claims about presuppositions. The most influential one was that presupposition projection is computed by a pragmatic mechanism based on a notion of ‘local context’ . Due to conceptual and technical difficulties, however, the latter notion was reinterpreted in purely semantic terms within ‘dynamic semantics’ (Heim 1983 ). The second claim was that some instances of presupposition generation should also be explained in pragmatic terms . But despite various attempts, the definition of a precise (...) ‘triggering algorithm’ has remained somewhat elusive. We discuss possible extensions of both claims. First, we offer a reconstruction of ‘local contexts’ which circumvents some of the difficulties faced by Stalnaker’s original analysis. We preserve the idea that local contexts are computed by a pragmatic mechanism that aggregates the information that follows from an incomplete sentence given the global context; but we crucially rely on a modified notion of entailment (‘R-entailment’), whose plausibility should be assessed on independent grounds. Second, we speculate that local contexts might prove necessary (though by no means sufficient) to understand how some presuppositions are triggered. In a nutshell, we suggest that a presupposition is triggered when the semantic contribution of an expression to its local context is in some sense ‘heterogeneous’. Without giving an analysis of the latter notion, we note that this architecture implies that presuppositions should be triggered on the basis of the meaning that an expression has relative to its local context (what we call its ‘local meaning’); we sketch some possible consequences of this analysis. (shrink)

This paper is based on the archives of Michel Foucault collected (since 2013) at the Manuscripts Department of the Bibliothèque nationale de France in Paris. Our investigation focuses in particular on a complete manuscript, until now totally unknown and entitled ‘ Phénoménologie et psychologie’ (‘Phenomenology and Psychology’). This manuscript could be the first project for a thesis devoted to ‘The Notion of the “World” in Phenomenology’, written around 1953–4, at the same time as a manuscript on Binswanger and existential psychiatry (...) and as a manuscript on philosophical anthropology. We aim to show the importance that phenomenology seems to have held for Foucault at the beginning of the 1950s and in particular the role that it could have played in Foucault’s distancing himself from a naturalist psychology and a philosophy of consciousness to which he opposes a philosophy of the world, of being and of language. Foucault thus discovers a truth of the phenomenology which rests on the radicality of the transcendental gesture and on the access to an ontology gathering the being, the meaning and the language. (shrink)

Cet article est le premier d’une série de contributions dont l’objectif est de rendre compte des investigations menées à Délos sur les différents secteurs de la ville qui n’ont jusqu’à présent fait l’objet d’aucune fouille. Celui‑ci est consacré à la région située au nord et à l’est du stade, au contact de la presqu’île de Patinioti. Il ressort des observations réalisées en surface du terrain naturel qu’on a affaire à un quartier d’habitations organisé en îlots autour d’une voie principale nord-sud, (...) qui semble être la continuité du quartier du Stade fouillé par A. Plassart et pourrait dater de la seconde période de la domination athénienne après 167 av. J.‑C. Sur les franges littorales est et ouest, les maisons sont construites perpendiculairement à la ligne du rivage, obligeant les constructeurs à réaliser d’importants travaux de génie civil. Les différences structurelles observées entre ces deux systèmes conduisent à se poser la question de la chronologie relative qui a présidé au développement de ce secteur. (shrink)

The pervasive use of computer simulations in the sciences brings novel epistemological issues discussed in the philosophy of science literature since about a decade. Evolutionary biology strongly relies on such simulations, and in relation to it there exists a research program (Artificial Life) that mainly studies simulations themselves. This paper addresses the specificity of computer simulations in evolutionary biology, in the context (described in Sect. 1) of a set of questions about their scope as explanations, the nature of validation processes (...) and the relation between simulations and true experiments or mathematical models. After making distinctions, especially between a weak use where simulations test hypotheses about the world, and a strong use where they allow one to explore sets of evolutionary dynamics not necessarily extant in our world, I argue in Sect. 2 that (weak) simulations are likely to represent in virtue of the fact that they instantiate specific features of causal processes that may be isomorphic to features of some causal processes in the world, though the latter are always intertwined with a myriad of different processes and hence unlikely to be directly manipulated and studied. I therefore argue that these simulations are merely able to provide candidate explanations for real patterns. Section 3 ends up by placing strong and weak simulations in Levins’ triangle, that conceives of simulations as devices trying to fulfil one or two among three incompatible epistemic values (precision, realism, genericity). (shrink)

Previous neural network models of concept learning were mainly implemented with supervised learning schemes. However, studies of human conceptual memory have shown that concepts may be learned without a teacher who provides the category name to associate with exemplars. A modular neural network architecture that realizes concept acquisition through two functionally distinct operations, categorizing and naming, is proposed as an alternative. An unsupervised algorithm realizes the categorizing module by constructing representations of categories compatible with prototype theory. The naming module associates (...) category names to the output of the categorizing module in a supervised mode. In such a modular architecture, the interface between the modules can be conceived of as an “information relay” that encodes, constrains, and propagates important information. Five experiments were conducted to analyze the relationships among internal conceptual codes and simple conceptual and lexical development. The first two experiments show a prototype effect and illustrate some basic characteristics of the system. The third experiment presents a bottom‐up model of the narrowing down of children's early lexical categories that honors mutual exclusivity. The fourth experiment introduces top‐down constraints on conceptual coding. The fifth experiment exhibits how hierarchical relationships between concepts are learned by the architecture, and also demonstrates how a spectrum of conceptual expertise may gradually emerge as a consequence of experiencing more with certain categories than with others. (shrink)

Temporal experiences, according to retentionalism, essentially have temporally extended contents: contents which represent distinct events at distinct temporal locations, and some of their temporal relations. This means, retentionalists insist, that temporal experiences themselves needn’t be extended in time: only their contents are. The paper reviews an experiment by Moutoussis and Zeki, which demonstrates a colour-motion visual asynchrony (§2): information about motion seems to be processed more slowly than information about colour, so that the former is delayed relative to the latter. (...) This, the paper argues, raises an important difficulty for retentionalism and its account of the temporal ontology of experiences: it suggests that a central background assumption about neural processing presupposed by retentionalism is false, at least in cases of visual asynchrony. The paper then explores the general significance of this result for retentionalism (§3). (shrink)

The unification problem in a normal modal logic is to determine, given a formula.

Des premiers rites baptismaux à la confession moderne, les références au christianisme sont constantes dans l'œuvre de Michel Foucault. Cette constance s'inscrit dans un questionnement philosophique plus large sur notre actualité : comprendre le rapport que nous avons aujourd'hui à nous-mêmes demande de s'interroger sur les actes de vérité que l'Occident a instaurés depuis les premiers siècles chrétiens. Que faut-il dire et manifester de soi pour être transformé dans son être, pardonné, sauvé, jugé ou guéri)? Ce livre propose une étude (...) critique de l'ensemble des lectures chrétiennes de Foucault, avec une attention particulière portée au cours Du gouvernement des vivants. Ni chronologique ni thématique, le parcours suivi espère retrouver la logique d'un travail à la fois philosophique et historique : quand et comment le christianisme a-t-il été constitué par Foucault en objet de recherche, avec quelles pratiques de lecture et quelles conséquences sur l'interprétation)? (shrink)

On échange des cadeaux en fin d'année par convention. Ecrire de gauche à droite, rouler à droite ou encore s'arrêter lorsque le feu est rouge sont des conventions. Les conventions sont également mobilisées pour coordonner les individus d'un même groupe de travail, de façon à déterminer le moment et la durée de la pause, mais aussi leur niveau d'effort, comme " ne faire que x pièces à l'heure ", voire la façon dont ils sont rémunérés. Les conventions jouent ainsi un (...) rôle important dans la coordination économique. La notion de convention est un thème d'étude nouveau pour l'économie. Elle fait aujourd'hui l'objet de très nombreuses recherches. Cet ouvrage ambitionne de clarifier tous les usages du terme " convention " en économie, depuis les travaux qui s'appuient sur la philosophie du langage jusqu'aux thèses développées par " l'Economie des conventions ", en passant par la théorie des jeux. Cet ouvrage est le fruit d'un travail collectif qui a associé et mobilisé une équipe de chercheurs an sein de FORUM. (shrink)

We show how to encode context-free string grammars, linear context-free tree grammars, and linear context-free rewriting systems as Abstract Categorial Grammars. These three encodings share the same constructs, the only difference being the interpretation of the composition of the production rules. It is interpreted as a first-order operation in the case of context-free string grammars, as a second-order operation in the case of linear context-free tree grammars, and as a third-order operation in the case of linear context-free rewriting systems. This (...) suggest the possibility of defining an Abstract Categorial Hierarchy. (shrink)

Van Heijenoort's main contribution to history and philosophy of modern logic was his distinction between two basic views of logic, first, the absolutist, or universalist, view of the founding fathers, Frege, Peano, and Russell, which dominated the first, classical period of history of modern logic, and, second, the relativist, or model-theoretic, view, inherited from Boole, Schröder, and Löwenheim, which has dominated the second, contemporary period of that history. In my paper, I present the man Jean van Heijenoort (Sect. 1); then (...) I describe his way of arguing for the second view (Sect. 2); and finally I come down in favor of the first view (Sect. 3). There, I specify the version of universalism for which I am prepared to argue (Sect. 3, introduction). Choosing ZFC to play the part of universal, logical (in a nowadays forgotten sense) system, I show, through an example, how the usual model theory can be naturally given its proper place, from the universalist point of view, in the logical framework of ZFC; I outline another, not rival but complementary, semantics for admissible extensions of ZFC in the very same logical framework; I propose a way to get universalism out of the predicaments in which universalists themselves believed it to be (Sect. 3.1). Thus, if universalists of the classical period did not, in fact, construct these semantics, it was not that their universalism forbade them, in principle, to do so. The historical defeat of universalism was not technical in character. Neither was it philosophical. Indeed, it was hardly more than the victory of technicism over the very possibility of a philosophical dispute (Sect. 3.2). (shrink)

Previous neural network models of concept learning were mainly implemented with supervised learning schemes. However, studies of human conceptual memory have shown that concepts may be learned without a teacher who provides the category name to associate with exemplars. A modular neural network architecture that realizes concept acquisition through two functionally distinct operations, categorizing and naming, is proposed as an alternative. An unsupervised algorithm realizes the categorizing module by constructing representations of categories compatible with prototype theory. The naming module associates (...) category names to the output of the categorizing module in a supervised mode. In such a modular architecture, the interface between the modules can be conceived of as an “information relay” that encodes, constrains, and propagates important information. Five experiments were conducted to analyze the relationships among internal conceptual codes and simple conceptual and lexical development. The first two experiments show a prototype effect and illustrate some basic characteristics of the system. The third experiment presents a bottom‐up model of the narrowing down of children's early lexical categories that honors mutual exclusivity. The fourth experiment introduces top‐down constraints on conceptual coding. The fifth experiment exhibits how hierarchical relationships between concepts are learned by the architecture, and also demonstrates how a spectrum of conceptual expertise may gradually emerge as a consequence of experiencing more with certain categories than with others. (shrink)

Draws upon Taoist wisdom and photographic artistry to provide insight into creativity, spirituality, and awareness training, with black-and-white photographs, passages from ancient Taoist writings, and practical exercises to explain the fundamentals of Taoist photography.

Suppose you see a red ball. Unless you happen to be in a psychologist.

ABSTRACT A spatial logic is a modal logic of which the models are the mathematical models of space. Successively considering the mathematical models of space that are the incidence geometry and the projective geometry, we will successively establish the language, the semantical basis, the axiomatical presentation, the proof of the decidability and the proof of the completeness of INC, the modal multilogic of incidence geometry, and PRO, the modal multilogic of projective geometry.

This volume addresses the question of time from the perspective of the time of nature. Its aim is to provide some insights about the nature of time on the basis of the different uses of the concept of time in natural sciences. Presenting a dialogue between philosophy and science, it features a collection of papers that investigate the representation, modeling and understanding of time as they appear in physics, biology, geology and paleontology. It asks questions such as: whether or not (...) the notions of time in the various sciences are reducible to the same physical time, what status should be given to timescale differences, or what are the specific epistemic issues raised by past facts in natural sciences. The book first explores the experience of time and its relation to time in nature in a set of chapters that bring together what human experience and physics enable metaphysicians, logicians and scientists to say about time. Next, it studies time in physics, including some puzzling paradoxes about time raised by the theory of relativity and quantum mechanics. The volume then goes on to examine the distinctive problems and conceptions of time in the life sciences. It explores the concept of deep time in paleontology and geology, time in the epistemology of evolutionary biology, and time in developmental biology. Each scientific discipline features a specific approach to time and uses distinctive methodologies for implementing time in its models. This volume seeks to define a common language to conceive of the distinct ways different scientific disciplines view time. In the process, it offers a new approach to the issue of time that will appeal to a wide range of readers: philosophers and historians of science, metaphysicians and natural scientists - be they scholars, advanced students or readers from an educated general audience. (shrink)

This article describes the conception of sensory perception during the early modern period. It discusses David Hume's Treatise of Human Nature where he contrasted the ancient metaphysics of substantial forms and occult qualities with the metaphysics of the Moderns. The article argues that Hume was fundamentally correct and that the doctrine of secondary qualities is indeed a distinctively modern doctrine that captures something of the very essence of the new philosophical age.

We argue that Anselm’s ontological argument (or at least one reconstruction of it) is based on an empirical version of Berry’s paradox. It is invalid, but it takes some understanding of trivalence to see why this is so. Under our analysis, Anselm’s use of the notion of existence is not the heart of the matter; rather, trivalence is.