Ego et communauté. Au contraire de la position défendue par la plupart des interprètes de Husserl qui, au nom de l'intersubjectivité, lui reprochent de suivre une "voie cartésienne" et d'accorder un privilège à l'ego cogito, il s'agit de montrer que cette critique n'est pas fondée : le primat méthodologique de l'ego est au contraire une condition nécessaire pour constituer la communauté intersubjective, et éviter de subordonner l'individualité vivante à une "transcendance" anonyme. L'enjeu est de comprendre la crise des temps modernes (...) comme celle d'un monde aliéné qui s'est fondé sur l'oubli de la vie, mais aussi sur le déni du pouvoir constituant de l'ego et la répression de toute subjectivité."--Page 4 of cover. (shrink)

Docteur en médecine et philosophe, Canguilhem n'élabore pas de système, contrairement à Bergson qui fait de l'intuition le seul moyen de connaissance de la durée et de la vie. Philosophie biologique, durée, temps, devenir sont les thèmes abordés par les deux hommes. Canguilhem, le corps humain. Bergson, l'élan vital.

"Le national-socialisme est un principe barbare", écrit Martin Heidegger dans ses Cahiers noirs, ajoutant : "C'est ce qui lui est essentiel et sa possible grandeur." Révolutionnaire radical, ayant vu et approuvé le caractère destructeur du nazisme, le recteur de Fribourg a réservé d'autres surprises dans ses journaux philosophiques, dans lesquels il évoque par exemple l'"auto-anéantissement du "juif"". Alors que le philosophe est devenu un objet d'incompréhension et d'horreur, nombre de spécialistes en appellent désormais à l'histoire. C'est cette réhistoricisation que l'auteur (...) a entreprise dans ce livre. Refusant la polémique, l'adoration et la détestation, il s'emploie à comprendre l'homme et le penseur, de l'intérieur et en son temps, par le biais de toutes les sources disponibles : cours, lettres, textes de circonstance, de même que ces Cahiers noirs qui suscitent tant d'émoi. Excédant largement le IIIe Reich, le cheminement de Heidegger fut heurté : il commença par un catholicisme intransigeant, qui laissa la place, après la Première Guerre mondiale, à une volonté farouche de révolution philosophique, terreau dans lequel son nazisme vint jeter de profondes racines qui survécurent à l'effondrement du régime d'Adolf Hitler. De cette biographie se dégage un portrait fait d'ombres et de lumières : grand philosophe, maître, ami ou amant de juifs ou d'étrangers, Heidegger fut aussi un nationaliste antisémite, inquiet de l'"enjuivement" de son peuple et soucieux de son rôle historique prééminent. (shrink)

_A portrait of Martin Heidegger as a man and a philosopher_ In this biography of Martin Heidegger (1889–1976), now available in English, historian Guillaume Payen synthesizes the connections between the German philosopher’s life and work. Critically, but without polemics, he creates a portrait of Heidegger in his time, using all available sources—lectures, letters, and the notorious “black notebooks.” Payen chronicles Heidegger’s “changing destinies”: after the First World War, an uncompromising Catholicism gave way to a vigorous striving for a philosophical (...) revolution—fertile ground for National Socialism. The book reflects a life of light and shadow. Heidegger was a great philosopher and teacher who cultivated friendships and love affairs with Jews but also was an anti-Semitic nationalist who lamented the “Judaization of German intellectual life.”. (shrink)

Brentano’s philosophy of perception has often been understood as a special chapter of his theory of intentionality. If all and only mental phenomena are constitutively intentional, and if perceptual experience is mental by definition, then all perceptual experiences are intentional experiences. I refer to this conception as the “standard view” of Brentano’s account of perception. Different options are available to support the standard view: a sense-data theory of perception; an adverbialist account; representationalism. I argue that none of them are real (...) options for the standard view. I suggest that Brentano’s conception of optical illusions introduces a presupposition that not only challenges the standard view - the distinction between the subjectively and objectively given - but that also makes his account more palatable for a naive understanding of perception as openness to and awareness of the world. (shrink)

Cet article propose la première publication complète d’un monument consacré par les Thespiens aux Muses dans leur sanctuaire au pied de l’Hélicon, dont les éléments constitutifs sont connus depuis le xixe s., et notamment depuis les fouilles de P. Jamot au Val des Muses. Les statues en bronze de petite taille des neuf Muses se dressaient sur une base en arc de cercle d’une ampleur de ca 10 m, placée dans un écrin architectural largement ouvert sur l’extérieur. Un nouveau lustre (...) est donné à ce groupe statuaire hellénistique exceptionnel à l’époque d’Auguste par la gravure, sous chacune des figures, d’une épigramme descriptive et érudite signée par le poète corinthien Honestos. Est ainsi conservé l’un des rares exemples archéologiques de recueil de poèmes décrivant des œuvres d’art figuré. L’analyse des épigrammes et l’observation détaillée des mortaises de fixation visibles à la face supérieure des blocs de la base permettent d’émettre des hypothèses sur les types utilisés pour la représentation des Muses, mais aussi d’assurer, au‑delà de tout doute, que les statues prenaient place au milieu d’ornements végétaux en bronze qui évoquaient le paysage du Val des Muses. La représentation de la nature comme élément non plus secondaire, mais essentiel d’un groupe sculpté correspond aux recherches nouvelles de la basse époque hellénistique. Faute de fouilles exhaustives du sanctuaire des Muses, l’emplacement du monument ne peut être déterminé avec certitude. Des lettres de remontage nous apprennent en revanche qu’il a été déplacé, peut‑être à l’époque où furent gravés les poèmes d’Honestos. (shrink)

L’article exploite l’occasion rare d’étudier ensemble une statue et la construction où elle était présentée et mise en valeur. Les fragments de la statue comme de son baldaquin ont été trouvés ensemble lors de la fouille de 1931. Le baldaquin consiste en un petit édicule corinthien à deux colonnes, ouvert en façade et sur les côtés, accolé au mur Sud de la curie. La légèreté de sa construction comparée à la massivité de la statue exécutée d’un seul bloc, implique qu’il (...) a été construit autour de la statue, après sa mise en place et son achèvement. La statue assise de Fortuna se présentait de face, tournée vers l’espace qui tenait lieu de basilique civile au forum. L’emplacement où elle se trouve lui donne ainsi tout son sens. L’ensemble a été mis en place au moment des grands travaux de la deuxième phase architecturale du forum, dans le troisième quart du iie s. p.C., et détruit par le séisme qui a gravement affecté les bâtiments du forum vers le début du vie s. (shrink)

Cette étude constitue la première publication complète de tous les éléments associés à l’autel des Césars au cœur de l’agora de Thasos : les vestiges architecturaux, la dédicace à Lucius César et la tête sculptée mises au jour lors de la fouille du monument. L’identification de l’édifice à un autel est désormais assurée et l’appartenance du bloc inscrit à ce dernier confirmée. La présence d’une seconde dédicace, vraisemblablement à Caius César, est rendue très probable par la structure du monument, dont (...) une restitution est proposée pour la première fois. L’association à la construction de l’autel des deux soubassements de bases qui le flanquent à l’Est est démontrée, ce qui conforte l’identification de la tête à l’un des deux princes de la jeunesse, dans lequel il faut reconnaître Caius plutôt que Lucius. Ces nouveaux éléments permettent de dater précisément le monument entre 4 et 6 apr. J.‑C. et de lui donner sa juste place dans l’histoire des relations entre Thasos et la famille impériale. (shrink)

Résumé David Chalmers maintient que la réalité virtuelle est une véritable réalité. Une version de ce « réalisme virtuel » affirme que les entités virtuelles dépendent ontologiquement d'entités numériques réelles. Nous explorons ici cette suggestion, en proposant un nouveau modèle pour décrire la dépendance du virtuel à l’égard du numérique. En nous appuyant sur la théorie de la constitution de Lynne Rudder Baker, nous défendons que les objets virtuels sont constitués par des objets numériques, lorsque ceux-ci se trouvent dans certaines (...) circonstances favorables. Nous explorons les motivations et les implications de cette approche, que nous considérons comme une forme prometteuse de réalisme virtuel. (shrink)

Considers Deleuze's ideas on philosophical practice in relation to his work. This book presents analyses of, and aims to provide some context for, this relation in Deleuze's work, by focusing on Deleuze's conception of the relation between thought and practice, the brain and the hand (or mouth).

Unlike in physics, the category of thought experiment is not very common in biology. At least there are no classic examples that are as important and as well-known as the most famous thought experiments in physics, such as Galileo’s, Maxwell’s or Einstein’s. The reasons for this are far from obvious; maybe it has to do with the fact that modern biology for the most part sees itself as a thoroughly empirical discipline that engages either in real natural history or in (...) experimenting on real organisms rather than fictive ones. While theoretical biology does exist and is recognized as part of biology, its role within biology appears to be more marginal than the role of theoretical physics within physics. It could be that this marginality of theory also affects thought experiments as sources of theoretical knowledge. Of course, none of this provides a sufficient reason for thinking that thought experiments are really unimportant in biology. It is quite possible that the common perception of this matter is wrong and that there are important theoretical considerations in biology, past or present, that deserve the title of thought experiment just as much as the standard examples from physics. Some such considerations may even be widely known and considered to be important, but were not recognized as thought experiments. In fact, as we shall see, there are reasons for thinking that what is arguably the single most important biological work ever, Charles Darwin’s On the Origin of Species, contains a number of thought experiments. There are also more recent examples both in evolutionary and non-evolutionary biology, as we will show. Part of the problem in identifying positive examples in the history of biology is the lack of agreement as to what exactly a thought experiment is. Even worse, there may not be more than a family resemblance that unifies this epistemic category. We take it that classical thought experiments show the following characteristics: They serve directly or indirectly in the non-empirical epistemic evaluation of theoretical propositions, explanations or hypotheses. Thought experiments somehow appeal to the imagination. They involve hypothetical scenarios, which may or may not be fictive. In other words, thought experiments suppose that certain states of affairs hold and then try to intuit what would happen in a world where these suppositions are true. We want to examine in the following sections if there are episodes in the history of biology that satisfy these criteria. As we will show, there are a few episodes that might satisfy all three of these criteria, and many more if the imagination criterion is dropped or understood in a lose sense. In any case, this criterion is somewhat vague in the first place, unless a specific account of the imagination is presupposed. There will also be issues as to what exactly “non-empirical” means. In general, for the sake of discussion we propose to understand the term “thought experiment” here in a broad rather than a narrow sense here. We would rather be guilty of having too wide a conception of thought experiment than of missing a whole range of really interesting examples. (shrink)

Excerpt from La Morale: Fondements Psycho-Sociologiques d'une Conduite Rationnelle Parce qu'ils ont eu le sentiment de cette trans formation inéluctable du moraliste, qui de sage ou inspiré devient de plus en plus homme de science, M. Le Dr toulouse et ses collaborateurs en ont suscité une première manifestation et ont fait entrer dans le cadre cl'é tudes psychologiques, psy cho - pathologiques et psycho sociologiques, un ou vrage de morale. About the Publisher Forgotten Books publishes hundreds of thousands of rare (...) and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

Le spiritualisme ravaissonien ouvre l'horizon d'une refondation complète de la métaphysique au cœur du XIXe siècle français. À partir de la lecture d'Aristote, Ravaisson élabore une critique de ce que l'on peut nommer les 'métaphysiques de la séparation', dont le point de départ se trouve dans les écrits du stagirite. Il s'agira dès lors de déployer une philosophie qui affirme l'identité de l'être et de la pensée, par-delà toute transcendance et tout dualisme. C'est ainsi que le problème de la métaphysique (...) peut être posé peut-on surmonter la disjonction de l'être et de l'étant, de la nature et de l'esprit, ou encore de l'homme et de Dieu? Faut-il au contraire considérer que la séparation définit le geste inaugural de toute métaphysique? Ravaisson, en refusant cette dernière possibilité, élabore une philosophie qui s'inscrit contre l'idéalisme transcendantal de Kant ou le positivisme de Comte, et plus largement contre toute tendance matérialiste de la pensée. Ainsi, l'unité perdue de la métaphysique doit être recherchée en questionnant l'héritage d'Aristote, afin de déterminer s'il s'agit de penser avec, ou contre celui-ci."--Page 4 of cover. (shrink)

Malgré l’important renouveau que connaît la théologie naturelle depuis environ un demi-siècle dans le champ de la philosophie de la religion, Charles Taylor soutient que celle-ci appartient à une époque désormais révolue. Cette étude propose de restituer de manière aussi fidèle et précise que possible les raisons de ce verdict. Une telle analyse vise à combler une lacune importante dans la littérature secondaire. Cette lacune tient, d’une part, au fait que Taylor lui-même ne développe jamais ces raisons de façon systématique (...) ; d’autre part, elle tient également au fait que plusieurs commentateurs semblent présupposer qu’un tel argument n’existe pas : Taylor récuserait la théologie naturelle simplement parce qu’elle ne correspond pas à la manière dont il est enclin à justifier ses propres convictions religieuses. (shrink)

In this paper, we use an experimental design to compare the performance of elicitation rules for subjective beliefs. Contrary to previous works in which elicited beliefs are compared to an objective benchmark, we consider a purely subjective belief framework. The performance of different elicitation rules is assessed according to the accuracy of stated beliefs in predicting success. We measure this accuracy using two main factors: calibration and discrimination. For each of them, we propose two statistical indexes and we compare the (...) rules’ performances for each measurement. The matching probability method provides more accurate beliefs in terms of discrimination, while the quadratic scoring rule reduces overconfidence and the free rule, a simple rule with no incentives, which succeeds in eliciting accurate beliefs. Nevertheless, the matching probability appears to be the best mechanism for eliciting beliefs due to its performances in terms of calibration and discrimination, but also its ability to elicit consistent beliefs across measures and across tasks, as well as its empirical and theoretical properties. (shrink)

In this paper, I discuss the distribution and the interpretation of the temporal suffix -kue in Mbyá, a Guaraní language that is closely related to Paraguayan Guaraní. This suffix is attested both inside noun phrases and inside clauses. Interestingly, its nominal uses give rise to inferences that are unattested in its clausal uses. These inferences were first identified in Paraguayan Guaraní by Tonhauser, who called them the existence property and the change of state property. Tonhauser further argued that these properties (...) are built into the lexical entry of the nominal temporal marker -kue. By contrast, I argue that -kue denotes a relative past tense both in its nominal and clausal uses, and that the existence and change of state properties are pragmatic inferences that arise from the interaction of the literal meaning of -kue with general constraints on the interpretation of noun phrases, notably constraints on the topicality of the time of evaluation of noun phrases. This allows me to maintain a uniform analysis of -kue across its nominal uses and its clausal uses. The analysis of -kue in Mbyá is relevant to a number of current debates on the expression of tense crosslinguistically. Firstly, the existence of relative tenses has sometimes been called into question. Klein notably argues that relative tenses are actually combinations of tense with the perfect aspect. Others have argued that there exist true relative tenses in certain languages. I argue that facts of Mbyá support the latter view. Secondly, Klein famously defined tenses as relations between topic times and the time of utterance. I argue, on the other hand, that relative tenses only denote relations between times, and that the topicality or non-topicality of their temporal arguments depends on their context of use, including their syntactic environment. Thirdly, this paper contributes to debates on the nature and reality of nominal tenses The Oxford handbook of tense and aspect, 2012), by arguing that tense in Mbyá is a genuinely nominal category, in the sense that temporal functional projections are part of the extended projection of the noun phrase. (shrink)

Guillaume Collett questions to what extent we can locate Deleuze within the Lacanian School during the late-1960s, prior to Guattari. In so doing, he offers a new, integrated reading of Deleuze's The Logic of Sense by understanding it as a 'psychoanalysis of sense', and gives a new interpretation of Deleuze's conception of philosophy itself. The Psychoanalysis of Sense shows that Deleuze was not merely aware of the debates animating the Lacanian School during the 1960s: he sought to contribute to (...) them. Emphasising his appropriation of the work of post-Lacanian Serge Leclaire, Collett explains how Deleuze constructed a more singular and immanent theory of the linguistic structure of the unconscious - granting the erogenous body a larger structuring role. (shrink)

Although Wilhelm Dilthey and Franz Brentano apparently were pursuing roughly the same objective—to offer a description of our mental functions and of their relations to objects—and both called their respective research programs ‘descriptive psychology’, they seem to have used the term to refer to two different methods of psychological research. In this article, I compare analyses of these differences. Against the reading of Orth but also against a possible application of recent relativist accounts of the epistemology of peer disagreement to (...) this case, I argue that their apparent shared objective is not enough to support an understanding of their views as two alternatives within a given historical or scientific context, or as a mutual peer disagreement. I show that the impression of a shared objective can be explained away as stemming from the influence of their teacher Adolf Trendelenburg, and I stress that the case of introspection strongly suggests that an account in terms of peer disagreement is not plausible. Finally, I conclude that the opposition between two traditions, Austrian philosophy and historicism, might be better suited to account for the dispute and its apparent common historical context. (shrink)

Corporate codes of ethics, which have spread in the last decades, have shown a limited ability to foster ethical behaviors. For instance, they have been criticized for relying too much on formal compliance, rather than taking into account sufficiently agents and their moral development, or promoting self-reflexive behaviors. We aim here at showing that a code of ethics in fact has meaning and enables ethical progress when it is interpreted and appropriated with practical wisdom. We explore a model that represents (...) an uncommon organizational code of ethics: the monastic Rule of St. Benedict, written in the sixth century and still used today. Our empirical study—conducted in several monasteries living under this rule—shows that organization members interpret this rule, both hermeneutically and ethically, to adapt it to situations. They also appropriate this rule as a way of life and treat it as a dynamic framework that helps them to follow their purpose within their organization. This exceptional code actually offers an alternative model for practicing codes of ethics, in a virtue-ethical manner, beyond mere compliance with the text. The way in which reflexive and active agents practice the code, both individually and collectively, shapes their organizational experience and fosters their moral development. (shrink)

This conference was devoted to the 80 years of the Copenhagen Interpretation, and to the question of the relevance of the Copenhagen interpretation for the present understanding of quantum mechanics. It is in this framework that fundamental questions raised by quantum mechanics, especially in information theory, were discussed throughout the conference. As has become customary in our series of conference in Växjö, we were glad to welcome a fruitful assembly of theoretical physicists, experimentalists, mathematicians and even philosophers interested in the (...) foundations of probability and physics. The nature of quantum fluctuations---in the form of Stochastic Electrodynamics or in other approaches to stochastic quantum mechanics---was also a central topic discussed during the conference, especially during debates. We should also mention talks on the completeness or incompleteness of quantum mechanics; on macroscopic quantum systems; on Bell's inequality, entanglement and experiments on quantum nonlocality (and locality); on Bohmian mechanics; on the connection between quantum mechanics and general relativity; on quantum probability; on quantum computing, quantum teleportation and quantum cryptography technologies; and more generally on the mathematical formalism of quantum mechanics and on the philosophical problems raised by its interpretations. (shrink)

This Växjö conference was devoted to the reconsideration of quantum foundations. Due to increasing research in quantum information theory, especially on quantum computing and cryptography, many questions regarding the foundations of quantum mechanics, which have long been considered to be exclusively of philosophical interest, nowadays play an important role in theoretical and experimental quantum physics.

(2012). DEL-sequents for regression and epistemic planning. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 337-367. doi: 10.1080/11663081.2012.736703.

One way social scientists explain phenomena is by building structural models. These models are explanatory insofar as they manage to perform a recursive decomposition on an initial multivariate probability distribution, which can be interpreted as a mechanism. Explanations in social sciences share important aspects that have been highlighted in the mechanisms literature. Notably, spelling out the functioning the mechanism gives it explanatory power. Thus social scientists should choose the variables to include in the model on the basis of their function (...) in the mechanism. This paper examines the notion of ‘function’ within structural modelling. We argue that ‘functions’ ought to be understood as the theoretical underpinnings of the causes, namely as the role that causes play in the functioning of the mechanism. (shrink)

In the present paper, I try to shed some light on the Munich-Göttingen conception of essences, laws of essence, and ideal objects. I first start with a preliminary account of their conception of the synthetic a priori at the basis of their conception of essence (§2); I then offer a first characterization of this conception, which I label as metaphysical realism (§3), highlighting its key concept: foundation (§4). In the last four sections (§§5-8), I discuss different outcomes of this conception (...) of essences: the nature of laws of essences (§5), different categories of essences (§6) and anumericity (§7). (shrink)

Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling points of view which are logically possible. We call the one traditionally followed by epistemic logic the perfect external approach, because there the modeler is assumed to be an omniscient and external observer of the epistemic situation. In the rest of the paper we focus on what we call the internal approach, where the modeler is (...) one of the agents involved in the situation. For this approach we propose and axiomatize a logical formalism based on epistemic logic. This leads us to formalize some intuitions about the internal approach and about its connections with the external ones. Finally, we show that our internal logic is decidable and PSPACE-complete. (shrink)

The Grand Challenges literature brings under its umbrella a wide variety of disjointed phenomena but runs the risk of reinventing the wheel as well as overlooking incremental progress and past work. To avert this, scholars need to (dis)connect (dis)similar issues, build on past research on these issues, and create opportunities for generalizability through theoretical examinations.

Dans cet article, nous livrons une analyse du statut épistémologique de l’hypothèse d’efficience des marchés. Sans juger de sa véracité ou de sa fausseté, nous montrons qu’elle ne peut, en aucun sens rigoureux, être entendue comme une proposition empirique testable. Aucune expérience n’existe permettant de la falsifier irrévocablement. A rebours, nous montrons qu’elle ne peut être entendue que comme une proposition analytique, comme inaugurant un nouveau système de définitions cohérent par lui-même. En cela, la formulation de l’hypothèse d’efficience des marchés (...) a ouvert un nouveau programme de recherche, dont nous mettons en évidence les grandes lignes directrices. (shrink)

How do we individuate the senses, what exactly do we do when we do so, and why does it matter? In the following article, I propose a general answer to these related questions based on Franz Brentano's views on the senses. After a short survey of various answers offered in the recent literature on the senses, I distinguish between two major ways of answering this question, causally and descriptively, arguing that only answers giving priority to description and to the classification (...) involved in it are on the right track for a general answer to the related questions. In the second part of the article, I argue that Brentano's descriptive psychology is an attractive candidate for such an answer. His descriptive psychology provides a plausible account of the classification involved in description, in particular regarding the classification of sensory qualities. I close the article by briefly explaining how Brentano spells out the priority of descriptive answers over causal ones. (shrink)

Analysis of the etymology of the name of the Tangut emperors.

Resumo O artigo descreve o poema “An die Melancholie” como um momento crucial e essencial da evolução da filosofia de Nietzsche, aquele de uma primeira intuição da noção de “vontade de potência”. O filósofo se afasta da longa tradição alemã dos hinos à melancolia, ao mesmo tempo em que subverteu os poemas filosóficos - os darwinistas em particular - de sua época, para superar seu pessimismo schopenhaueriano.The article aims at describing the poem “An die Melancholie” as an essential and crucial (...) moment within the development of Nietzsche’s philosophy, which refers to the first intuition of the notion of “Will to Power”. The philosopher deviates from the long German tradition of odes to melancholy, whilst subverting the philosophical poems of his own time - specially the Darwinian ones -, in order to overcome his Schopenhauerian pessimism. (shrink)

Why did Thomas More write two versions of his History of King Richard III, one in English and the other in Latin? Critics tend to answer this question by arguing that the two versions were not destined for the same audience: the Latin for a continental elite, the vernacular for a larger British readership. Although perfectly convincing, this explanation may not be the only one: this paper tries to underline the existence of another motivation, one of a literary nature. The (...) History of King Richard III indeed combines two historiographical models: the ancient and classical monograph as illustrated by Sallust, and the medieval tradition of the chronicle. The oscillation between English and Latin may reflect More's wish to renovate the genre of the medieval chronicle, accomplished by an hybridization with classical Latin models—as if More attempted to grasp the best of both traditions in order to initiate a new means of writing history. (shrink)

Dynamic Epistemic Logic (DEL) deals with the representation and the study in a multi-agent setting of knowledge and belief change. It can express in a uniform way epistemic statements about: 1. what is true about an initial situation 2. what is true about an event occurring in this situation 3. what is true about the resulting situation after the event has occurred. We axiomatize within the DEL framework what we can infer about (iii) given (i) and (ii). Given three formulas (...) φ,φ' and φ" describing respectively (i), (ii) and (iii), we also show how to build a formula φ ? φ' which captures all the information which can be inferred about (iii) from φ and φ'. We show how our results extend to other modal logics than K. In our proofs and definitions, we resort to a large extent to the normal form formulas for modal logic originally introduced by Kit Fine. In a companion paper (Aucher, 2012), we axiomatize what we can infer about (ii) given (i) and (iii), and what we can infer about (i) given (ii) and (iii), and show how to build two formulas φ ? φ" and φ' ? φ" which capture respectively all the information which can be inferred about (ii) from φ and φ", and all the information which can be inferred about (i) from φ' and φ". (shrink)

After observing that the truth conditions of connectives of non–classical logics are generally defined in terms of formulas of first–order logic, we introduce ‘protologics’, a class of logics whose connectives are defined by arbitrary first–order formulas. Then, we introduce atomic and molecular logics, which are two subclasses of protologics that generalize our gaggle logics and which behave particularly well from a theoretical point of view. We also study and introduce a notion of equi-expressivity between two logics based on different classes (...) of models. We prove that, according to that notion, every pure predicate logic with \ variables and constants is as expressive as a predicate atomic logic, some sort of atomic logic. Then, we prove that the class of protologics is equally expressive as the class of molecular logics. That formally supports our claim that atomic and molecular logics are somehow ‘universal’. Finally, we identify a subclass of molecular logics that we call predicate molecular logics and which constitutes its representative core: every molecular logic is as expressive as a predicate molecular logic. (shrink)