RESENHA: CAMAROTTI, Gerson. Segredos do Conclave: os bastidores da eleição do papa Francisco e a operação do Vaticano para estancar a hemorragia de fiéis na América Latina. 1ª ed. São Paulo: Geração Editorial, 2013.

This work is an attempt to outline basic political aspects of the ethics and the ontology developed by the philosopher Alain Badiou. It seeks to present the concepts of being, event, subject and truth, in addition to other similar, drawing parallels with central authors of contemporary philosophical debate. Initially exposing Badiou’s original theoretical reasons, we try to build a conceptual reconstruction that culminates in confrontation with currently hegemonic political-philosophical perspectives. At last, it`s discussed in what practical senses Badiou maintains the (...) need for a renewed understanding of universalistic politics. (shrink)

Luca M. Possati, Jean Grondin, Paul Ricoeur ; Aurore Dumont, François Dosse et Catherine Goldenstein, Paul Ricoeur: penser la mémoire ; Paul-Gabriel Sandu, Gert-Jan van der Heiden, The Truth of Language. Heidegger, Ricoeur and Derrida on Disclosure and Displacement ; Paul Marinescu, Marc-Antoine Vallée, Gadamer et Ricoeur. La conception herméneutiquedu langage ; Witold Płotka, Saulius Geniusas, Th e Origins of the Horizon in Husserl’s Phenomenology ; Delia Popa, Annabelle Dufourcq, La dimension imaginaire du réel dans la philosophie de Husserl ; (...) Maria GyemantDenis Seron, Ce que voir veut dire. Essai sur la perception ; Christian Ferencz-Flatz, Hans Friesen, Christian Lotz, Jakob Meier, Markus Wolf, Ding und Verdinglichung. Technik- und Sozialphilosophie nach Heidegger und der Kritischen Th eorie ; Bogdan MincăLarisa Cercel, John Stanley, Unterwegs zu einer hermeneutischen Übersetzungswissenschaft. Radegundis Stolze zu ihrem 60. Geburtstag ; Denisa Butnaru Johann Michel, Sociologie du soi. Essai d’herméneutique appliquée ; Ovidiu Stanciu, Jan Patočka, Aristote, ses devanciers, ses successeurs. Trad. fr. Erika Abrams ; Mădălina Diaconu, Emmanuel Alloa, Das durchscheinende Bild. Konturen einer medialen, Phänomenologie. (shrink)

Coder’s argument is very similar to Lewis’ one: he maintains that some human beings are not able to follow Gödel’s theorem, so Lucas’ argument cannot show that their minds are not machines. The answer of Lucas is that one proposed against Lewis’ criticism, that is that Mechanism makes a universal claim and so a single counter-example – a single mind producing a singe truth not recognizable by any machine – is a disproof for it.

David Lewis criticizes an argument I put forward against mechansim on the grounds that I fail to distinguish between OL, Lucas's ordinary potential arithmetic output, and OML, Lucas's arithmetical output when accused of being some particular machine M; and correspondingly, between OM the ordinary potential arithmetic output of the machine M, and ONM, the arithmetic output of the machine M when accused of being a particular machine N. For any given machine, M, N, O, P, Q, R,... etc., (...) I can in principle calculate a Godel sentence for that machine - indeed infinitely many, depending on the Godel numbering scheme adopted. The Godel sentence of a particular machine can, I claim, be seen to be true, if that machine is adequate for Elementary Peano Arithmetic. Hence, if I were accused of being M, I can on that supposition see that the Godel sentence of M is true, since I am capable of Elementary Peano Arithmetic and the machine M is said to be an adequate characterization of me. (shrink)

David Lewis criticizes an argument I put forward against mechansim on the grounds that I fail to distinguish between OL, Lucas's ordinary potential arithmetic output, and OML, Lucas's arithmetical output when accused of being some particular machine M; and correspondingly, between OM the ordinary potential arithmetic output of the machine M, and ONM, the arithmetic output of the machine M when accused of being a particular machine N. For any given machine, M, N, O, P, Q, R,... etc., (...) I can in principle calculate a Godel sentence for that machine - indeed infinitely many, depending on the Godel numbering scheme adopted. The Godel sentence of a particular machine can, I claim, be seen to be true, if that machine is adequate for Elementary Peano Arithmetic. Hence, if I were accused of being M, I can on that supposition see that the Godel sentence of M is true, since I am capable of Elementary Peano Arithmetic and the machine M is said to be an adequate characterization of me. (shrink)

This book uses mathematical models of language to explain why there are certain gaps in language: things that we might expect to be able to say but can't. For instance, why can we say I ran for five minutes but not *I ran to the store for five minutes? Why is five pounds of books acceptable, but *five pounds of book not acceptable? What prevents us from saying *sixty degrees of water to express the temperature of the water in a (...) swimming pool when sixty inches of water can express its depth? And why can we not say *all the ants in my kitchen are numerous? The constraints on these constructions involve concepts that are generally studied separately: aspect, plural and mass reference, measurement, and distributivity. In this book, Lucas Champollion provides a unified perspective on these domains, connects them formally within the framework of algebraic semantics and mereology, and uses this connection to transfer insights across unrelated bodies of literature and formulate a single constraint that explains each of the judgments above. (shrink)

Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and shortcomings, as well as introducing the fundamentals of the alternative set theories with which these conceptions are associated. He shows that the conceptual landscape includes not only the naïve and iterative conceptions but also the limitation of size conception, the definite conception, the stratified conception and the graph (...) conception. In addition, he presents a novel, minimalist account of the iterative conception which does not require the existence of a relation of metaphysical dependence between a set and its members. His book will be of interest to researchers and advanced students in logic and the philosophy of mathematics. (shrink)

In Posterior Analytics 71b9 12, we find Aristotle’s definition of scientific knowledge. The definiens is taken to have only two informative parts: scientific knowledge must be knowledge of the cause and its object must be necessary. However, there is also a contrast between the definiendum and a sophistic way of knowing, which is marked by the expression “kata sumbebekos”. Not much attention has been paid to this contrast. In this paper, I discuss Aristotle’s definition paying due attention to this contrast (...) and to the way it interacts with the two conditions presented in the definiens. I claim that the “necessity” condition ammounts to explanatory appropriateness of the cause. (shrink)

Equality in the present age has become an idol, in much the same way as property was in the age of Locke. Many people worship it, and think that it provides the key to the proper understanding of politics, and that on it alone can a genuinely just society be reconstructed. This is a mistake. Although, like property, it is a useful concept, and although, like property, there are occasions when we want to have it in practice, it is not (...) a fundamental concept any more than property is, nor can having it vouchsafe to us the good life. In an earlier paper I argued against equality by showing that the concept of equality was confused and that many of the arguments i egalitarians adduced were either invalid or else supported conclusions I which were not really egalitarian at all. Many egalitarians, however, have complained that my arguments were not fair, because I had failed to elucidate the concept adequately, or because the position I attacked was not one that any egalitarian really wished to maintain, or because I had overlooked other arguments which were effective in establishing egalitarian conclusions, or because the positive counter-arguments of my own I put forward more as a matter of taste than of serious political commitment. In this paper, therefore, I want to elucidate the concept more fully, concede what I should to my critics, point out that, even so, their conclusions do not follow, and give further reasons not only for supposing that egalitarian arguments are invalid but for discerning positive merits in some forms of inequality. (shrink)

This paper examines Aristotle’s notion of priority with the specific aim of capturing the sort of priority that characterizes the primacy of substances in his metaphysics. I reject the traditional interpretation, which understands the ontological priority of substances in terms of independent existence. But there are rather two sorts of priority: the ontological priority of substances should be understood in terms of completeness, whereas the ontological priority of “substances-of-something” (the essences) is a causal-explanatory priority. Furthermore, an important piece of Aristotle’s (...) argument against Platonism is that these two sorts of priority – namely, the completeness priority and the causal-explanatory priority – should be kept distinct. (shrink)

We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...) This demonstrates that an inferentialist approach to meaning can be successfully extended beyond the core logical constants. (shrink)

Norm theory (Kahneman & Miller, 1986) described a tendency for people to associate stronger regret with a negative outcome when it is a result of an exception (abnormal behavior) compared to when it is a result of routine (normal behavior). In two pre-registered studies, we conducted a replication and extension of three classic experiments on past behavior exception/routine contrasts (N = 684). We successfully replicated Kahneman and Miller’s (1986) experiments with the classic hitchhiker-scenario (Part 1) and car accident-scenario (Part 2). (...) In both cases, participants examined negative outcomes and tended to indicate a protagonist who deviated from own past behavior as more regretful than another who followed routine. Pre-registered extensions also showed effects for ratings of social norms, negative affect, and perceived luck. We did not find support for the Miller and McFarland (1986) experiment robbery scenario (Part 3) using a compensation measure, in that compensation to a victim of a robbery was not significantly different comparing exceptional and routine circumstances. However, a pre-registered extension showed that robbery under exceptional circumstances was regretted more than robbery under routine circumstances. We discuss implications for current and future research. (shrink)

The purpose of this paper is to explore the connection between change and the B-theory of time, sometimes also called the Scientific view of time, according to which reality is a four-dimensional spacetime manifold, where past, present and future things equally exist, and the present time and non-present times are metaphysically the same. I argue in favour of a novel response to the much-vexed question of whether there is change on the B-theory or not. In fact, B-theorists are often said (...) to hold a ‘static’ view of time. But this far from being innocent label: if the B-theory of time presents a model of temporal reality that is static, then there is no change on the B-theory. From this, one can reasonably think as follows: of course, there is change, so the B-theory must be false. What I plan to do in this paper is to argue that in some sense there is change on the B-theory, but in some other sense, there is no change on the B-theory. To do so, I present three instances of change: Existential Change, namely the view that things change with respect to their existence over time; Qualitative Change, the view that things change with respect to how they are over time; Propositional Change, namely the view that things (i.e. propositions) change with respect to truth value over time. I argue that while there is a reading of these three instances of change that is true on the B-theory, and so there is change on the B-theory in this sense, there is a B-theoretical reading of each of them that is not true on the B-theory, and therefore there is no change on the B-theory in this other sense. (shrink)

“Towards a Theory of Taxation” is a proper theme for an Englishman to take when giving a paper in America. After all it was from the absence of such a theory that the United States derived its existence. The Colonists felt strongly that there should be no taxation without representation, and George III was unable to explain to them convincingly why they should contribute to the cost of their defense. Since that time, understanding has not advanced much. In Britain we (...) still maintain the fiction that taxes are a voluntary gift to the Crown, and taxing statutes are given the Royal Assent with the special formula, “La Reine remercie ses bons sujets, accepte leur benevolence, et ainsi le veult” instead of the simple “La Reine le veult,” and in the United States taxes have regularly been levied on residents of the District of Columbia who until recently had no representation in Congress, and by the State of New York on those who worked but did not reside in the State, and so did not have a vote. Taxes are regularly levied, in America as elsewhere, on those who have no say on whether they should be levied or how they should be spent. I am taxed by the Federal Government on my American earnings and by state governments on my American spending, but I should be hard put to it to make out that it was unjust. Florida is wondering whether to follow California in taxing multinational corporations on their world-wide earnings. (shrink)

In this paper, I argue against the popular philosophical thesis---aka the ‘own action condition’---that an agent can only intend one’s own actions. I argue that the own action condition does not hold for any executive attitude, intentions included. The proper object of intentions is propositional rather than agential (‘I intend that so-and-so be the case’ rather than ‘I intend to do such-and-such’). I show that, although there are some essential de se components in intending, they do not restrict the content (...) of intentions to one’s own actions. I then discuss the special way in which one’s own actions can figure in the content of one’s intentions, which shows that the distinction between intending and acting is less stark than it appears at first. This is a conclusion that many defenders of the own action condition might find appealing but which, I argue, is better supported by rejecting the own action condition. (shrink)

The analytical notions of ‘thought style’, ‘paradigm’, ‘episteme’ and ‘style of reasoning’ are some of the most popular frameworks in the history and philosophy of science. Although their proponents, Ludwik Fleck, Thomas Kuhn, Michel Foucault, and Ian Hacking, are all part of the same philosophical tradition that closely connects history and philosophy, the extent to which they share similar assumptions and objectives is still under debate. In the first part of the paper, I shall argue that, despite the fact that (...) these four thinkers disagree on certain assumptions, their frameworks have the same explanatory goal – to understand how objectivity is possible. I shall present this goal as a necessary element of a common project -- that of historicising Kant's a priori. In the second part of the paper, I shall make an instrumental use of the insights of these four thinkers to form a new model for studying objectivity. I shall also propose a layered diagram that allows the differences between the frameworks to be mapped, while acknowledging their similarities. This diagram will show that the frameworks of style of reasoning and episteme illuminate conditions of possibility that lie at a deeper level than those considered by thought styles and paradigm. (shrink)

Plato was the first feminist. In the Republic he puts forward the view that women are just the same as men, only not quite so good. It is a view which has often been expressed in recent years, and generates strong passions. Some of these have deep biological origins, which a philosopher can only hope to recognize and not to assuage. But much of the heat engendered is due to unnecessary friction between views which are certainly compatible and probably correct. (...) And here a philosopher can help. If we can divide the issues neatly, at the joints, then we need not quarrel with one another for saying something, probably true, because what is being maintained is misconstrued and taken to mean something else, probably false. (shrink)

Prosper Lucas (1808–1885) is a unique figure in the history of psychiatric genetics. A physician-alienist, he authored one of the most important books on human genetics in the mid-19th century cited frequently by Darwin: the 1,500 page treatise—Philosophical and Physiological Treatise on Natural Heredity (1847–1850). This book contained a novel theory of the nature of inheritance and a detailed review of the heredity of a range of human traits and disorders, including various forms of insanity. Lucas postulated four (...) forms of heredity (direct, crossed, indirect, and atavistic), supported the importance of hereditary factors in insanity, accepted the inheritance of acquired characteristics, considered it important to examine both ancestors and collateral relatives, and recognized that heredity could influence both primary insanity and insanity secondary to other medical conditions. He reviewed the then available literature on most major forms of insanity including separate sections on hallucinations and suicidal monomania. The literature consisted of case reports of unusual families with high concentrations of illness. Lucas advocated for the homogeneity of transmission of forms of illness in families but recognized that—just as the form of illness could evolve within individuals over time—it could change forms when transmitted between relatives. (shrink)

The paper generalizes Van McGee's well-known result that there are many maximal consistent sets of instances of Tarski's schema to a number of non-classical theories of truth. It is shown that if a non-classical theory rejects some classically valid principle in order to avoid the truth-theoretic paradoxes, then there will be many maximal non-trivial sets of instances of that principle that the non-classical theorist could in principle endorse. On the basis of this it is argued that the idea of classical (...) recapture, which plays such an important role for non-classical logicians, can only be pushed so far. (shrink)

A 'self-refutation argument' is any argument which aims at showing that a certain thesis is self-refuting. This study was the first book-length treatment of ancient self-refutation and provides a unified account of what is distinctive in the ancient approach to the self-refutation argument, on the basis of close philological, logical and historical analysis of a variety of sources. It examines the logic, force and prospects of this original style of argumentation within the context of ancient philosophical debates, dispelling various misconceptions (...) concerning its nature and purpose and elucidating some important differences which exist both within the ancient approach to self-refutation and between that approach, as a whole, and some modern counterparts of it. In providing a comprehensive account of ancient self-refutation, the book advances our understanding of influential and debated texts and arguments from philosophers like Democritus, Plato, Aristotle, Epicurus, the Stoics, the Academic sceptics, the Pyrrhonists and Augustine. (shrink)

ABSTRACTLinguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give examples of inferences with weakly rejected sentences as premisses and conclusions. We then propose a logic of weak rejection which accounts for the relevant phenomena and is motivated by principles of coherence in dialogue. We give a semantics for which this logic is sound and (...) complete, show that it axiomatizes the modal logic KD45 and prove that it still derives classical logic on its asserted fragment. Finally, we defend previous logics of strong rejection as being about the linguistically preferred interpretations of weak rejections. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...) basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

Information and communication technology is changing many aspects ofhuman endeavour and existence. This is beyond dispute for most. Whatare contested are the social and ethical implications of thesechanges. Possible sources of these disputes are the multiple ways inwhich one can conceptualize and interpret the informationtechnology/society interrelationship. Each of these ways ofconceptualization and interpretation enables one to see theinformation technology/society relationship differently and thereforeconstrue its social and ethical implications in a different manner. Atthe center of this technology/society interrelationship we find manycomplex (...) questions about the nature of the human, the technical,agency, autonomy, freedom and much more. This is indeed a vastintellectual landscape, which can obviously not be explored here inits fullness. This entry is about just one particular perspective onthis landscape. It is primarily concerned with the phenomenologicalapproach to interpreting information technology and its social andethical implications. It should be noted from the start that there isnot a unified phenomenological tradition or approach to informationtechnology in particular, or other phenomena more generally. Thephenomenological tradition consists of many different approaches thatshare certain characteristics but not all. We may however suggest, with Don Ihde,that they all accept that “phenomenology investigates theconditions of what makes things appear as such [as that which we takethem to be].” Differently stated, phenomenology suggests thatthere is a co-constitutive relationship between us and the phenomenawe encounter in our engagement with the world. In this sensephenomenologists would suggest that to understand thetechnology/society relationship we need to reveal how theyco-constitute each other—i.e. draw on each other for theirongoing meaning and sense. We will elaborate more precisely what thismeans in section 2 below. However, in order to understand the distinctiveness of thephenomenological approach other possible ways of interpreting thistechnology/society relationship will also be outlined brieflybelow., It can be said that information technology has become in a very realsense ubiquitous. Most everyday technologies such as elevators,automobiles, microwaves, watches, and so forth depend onmicroprocessors for their ongoing operation. Most organizations andinstitutions have become reliant on their information technologyinfrastructure to a lesser or greater degree. Indeed informationtechnology is seen by many as a cost-efficient way to solve amultitude of problems facing our complex contemporary society. One canalmost say that information technology has become construed as thedefault technology for solving a whole raft of technical and socialproblems such as health provision, security, governance, etc. Onecould also argue that it has become synonymous with society’sview of modernization and progress. For most it seems obvious thatinformation technology has made it possible for humans to continue toconstruct increasingly complex systems of coordination and socialordering—systems without which contemporary society would not beable to exist in its present form. To say the least, we, ascontemporary human beings, have our manner of being made possiblethrough a rather comprehensive entanglement with information andcommunication technology. Indeed, the economic, organizational andsocial benefit of information technology is not widely disputed. Thedispute is more often about the way information technology is changingor transforming the social domain, and in particular, the ethicaldomain. This dispute is largely centered around different ways ofconceptualizing and interpreting the nature of our entanglement withinformation technology. This debate is not merely an academic debateabout different and competing theoretical ‘models.’Rather, these different ways of conceptualizing it is central to ourunderstanding of how we go about managing our increasingly entangledrelationship with information technology. (shrink)

Whatever good or ill it did to Guy Fawkes, his resuscitation at the hands of Bernard Williams has, by any utilitarian reckoning, been a Good Thing. A casual glance at the literature that has accumulated over the past thirty-five years leaves no doubt that the topic has been reduplicated many times over, to the great enjoyment of undergraduates, who have been able to write science fiction under the guise of essays in the Philosophy of Mind, and of dons, who in (...) an age of cvs and Assessments, have been able to notch up page after page of counter-replies to replies to rebuttals of previous papers, not to mention an often welcome tally of references in the citation index. But the actual arguments adduced by Williams can be turned to support a much more traditional view of the self, as a necessarily unique agent whose individuality is established by his capacity for autonomous action. (shrink)

One of the most fruitful applications of substructural logics stems from their capacity to deal with self-referential paradoxes, especially truth-theoretic paradoxes. Both the structural rules of contraction and the rule of cut play a crucial role in typical paradoxical arguments. In this paper I address a number of difficulties affecting noncontractive approaches to paradox that have been discussed in the recent literature. The situation was roughly this: if you decide to go substructural, the nontransitive approach to truth offers a lot (...) of benefits that are not available in the noncontractive account. I sketch a noncontractive theory of truth that has these benefits. In particular, it has both a proof- and a model-theoretic presentation, it can be extended to a first-order language, and it retains every classically valid inference. (shrink)

The analytical notion of ‘scientific style of reasoning’, introduced by Ian Hacking in the middle of the 1980s, has become widespread in the literature of the history and philosophy of science. However, scholars have rarely made explicit the philosophical assumptions and the research objectives underlying the notion of style: what are its philosophical roots? How does the notion of style fit into the area of research of historical epistemology? What does a comparison between Hacking’s project on styles of thinking and (...) other similar projects suggest? My aim in this paper is to answer these questions. Hacking has denied that his project of styles of thinking falls into the field of historical epistemology. I shall challenge his remark by tracing out the connections of the notion of style with historical epistemology and, more in general, with a tradition of thought born in France in the beginning of twentieth-century. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

Proclus, head of the Philosophy School at Athens for fifty years, was one of the leading philosophical figures in Late Antiquity. Lucas Siorvanes here introduces Proclus to English-language readers, discussing his metaphysics and theory of knowledge and focusing in particular on his Neo-Platonism. Proclus lived in the turbulent fifth century A.D., a time of struggles among Christians, Jews, and pagans, the invasion of Attila the Hun, the fall of the Western Roman Empire, and the rise of the Eastern Roman (...) Empire in Byzantium. While Late Antiquity has been regarded as a time of superstition and forbiddingly complex philosophies, recent scholarship has shown it to be full of cultural and intellectual vigor. During Proclus's tenure as head of the Philosophy School, he systematized Neo-Platonism as the summit of ancient Greek thought, brought it to its peak of influence, and became responsible for the form in which it was transmitted to the Byzantine, Western European, and Islamic civilizations. Siorvanes's extensive original research presents Proclus as much more than just a metaphysician. He surveys all of Proclus's philosophical interests—including religion, physics, astronomy, mathematics, and poetry—revealing the philosopher's central concern with the problems of being and knowledge and relating the ideas of Proclus to those of such other major thinkers as Plato, Aristotle, and Ptolemy. To help the newcomer, Siorvanes supplies more than 200 quotations from Proclus's works. He also traces the impact of Proclus's Neo-Platonism across cultures, religions, and centuries, in such diverse areas as Christian and Islamic theologies, Renaissance art, Kepler's astronomy, Romantic poetry, Emerson's thought, modern philosophy and science, and current popular phrases. (shrink)

The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Williamson and Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical strength in terms of interpretability strength and scientific strength as a special case of logical strength. We present applications of the resulting notions to comparisons between logics in the traditional sense and mathematical theories.

Genetic explanation of complex human behavior presents an excellent test case for pluralism. Although philosophers agree that successful scientific investigation of behavior is pluralistic, there remains disagreement regarding integration and elimination—is the plurality of approaches here to stay, or merely a waystation on the road to monism? In this paper we introduce an issue taken very seriously by scientists yet mostly ignored by philosophers—the missing heritability problem—and assess its implications for disagreement among pluralists. We argue that the missing heritability problem, (...) which isn’t going anywhere any time soon, implies that pluralism in behavior genetics is both practically ineliminative and theoretically non-integrative. (shrink)

The subject of Labelled Non-Classical Logics is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Logics are presented as labelled deduction systems, which are proved to be sound and complete with respect to the corresponding Kripke-style semantics. We investigate the proof theory of our systems, and show them to possess structural properties such as normalization and the subformula property, which we exploit not only to (...) establish advantages and limitations of our approach with respect to related ones, but also to give, by means of a substructural analysis, a new proof-theoretic method for investigating decidability and complexity of (some of) the logics we consider. All of our deduction systems have been implemented in the generic theorem prover Isabelle, thus providing a simple and natural environment for interactive proof development. Labelled Non-Classical Logics is essential reading for researchers and practitioners interested in the theory and applications of non-classical logics. (shrink)