In bilateral logic formulas are signed by + and –, indicating the speech acts assertion and denial. I argue that making an assumption is also speech act. Speech acts cannot be embedded within other speech acts. Hence we cannot make sense of the notion of making an assumption in bilateral logic. Attempts to solve this problem are considered and rejected.

Some things that we take to be the case in a fictional work are never made explicit by the work itself. For instance, we assume that Sherlock Holmes does not have a third nostril, that he wears underpants and that he has never solved a case with a purple gnome, even though neither of these things is ever mentioned in the narration. This article argues that examples like these can be accounted for through the same content-enriching reasoning that we employ (...) when confronted with non-fictional discourse, with the important difference that fictional discourse essentially involves pretence. Fictional discourse works in much the same way as non-fictional discourse, and what is conveyed without being stated can accordingly be explained through familiar pragmatic mechanisms. It is argued that this account carries some distinct advantages over competing views. (shrink)

The outcomes of sports and competitive games excite intense emotions in many people, even when those same people acknowledge that those outcomes are of trifling importance. I call this incongruity between the judged importance of the outcome and the intense reactions it provokes the Puzzle of Sport. The puzzle can be usefully compared to another puzzle in aesthetics: the Paradox of Fiction, which asks how it is we become emotionally caught up with events and characters we know to be unreal. (...) In this article, I examine the prospects of understanding our engagement with competitive games on the model of our engagement with works of fiction, thus enabling analogous explanations for both puzzles. I show that there are significant problems with such an approach and offer an alternative, mobilizing ideas from David Velleman and Thomas Nagel, that appeals to the volatility of our motivational attitudes. (shrink)

The human genome project's lasting legacies are the emerging insights into human physiology and disease, and the ascendance of biology as the dominant science of the 21st century. Sequencing revealed that >90% of the human genome is not coding for proteins, as originally thought, but rather is overwhelmingly transcribed into non‐protein coding, or non‐coding, RNAs (ncRNAs). This discovery initially led to the hypothesis that most genomic DNA is “junk”, a term still championed by some geneticists and evolutionary biologists. In contrast, (...) molecular biologists and biochemists studying the vast number of transcripts produced from most of this genome “junk” often surmise that these ncRNAs have biological significance. What gives? This essay contrasts the two opposing, extant viewpoints, aiming to explain their bases, which arise from distinct reference frames of the underlying scientific disciplines. Finally, it aims to reconcile these divergent mindsets in hopes of stimulating synergy between scientific fields. (shrink)

Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk, for which, unlike for tonk, there are reduction steps for the removal of maximal formulas arising from introducing and eliminating formulas with those connectives as main operators. Adding either of them to bilateral classical logic results in an incoherent system. One way around this problem is (...) to count formulas as maximal that are the conclusion of reductio and major premise of an elimination rule and to require their removability from deductions. The main part of the paper consists in a proof of a normalisation theorem for bilateral logic. The closing sections address philosophical concerns whether the proof provides a satisfactory solution to the problem at hand and confronts bilateralists with the dilemma that a bilateral notion of stability sits uneasily with the core bilateral thesis. (shrink)

Within contemporary metaethics, it is widely held that there is a “presumption of realism” in moral thought and discourse. Anti-realist views, like error theory and expressivism, may have certain theoretical considerations speaking in their favor, but our pretheoretical stance with respect to morality clearly favors objectivist metaethical views. This article argues against this widely held view. It does so by drawing from recent discussions about so-called “subjective attitude verbs” in linguistics and philosophy of language. Unlike pretheoretically objective predicates (e.g., “is (...) made of wood”, “is 185 cm tall”), moral predicates embed felicitously under subjective attitude verbs like the English “find”. Moreover, it is argued that the widespread notion that moral discourse bears all the marks of fact-stating discourse is rooted in a blinkered focus on examples from English. Cross-linguistic considerations suggest that subjective attitude verbs are actually the default terms by which we ascribe moral views to people. Impressions to the contrary in English have to do with some unfortunate quirks of the term “think”. (shrink)

If a work of literary fiction prescribes us to imagine that the Devil made a bet with God and transformed into a poodle, then that claim is true in the fiction and we imagine accordingly. Generally, we cooperate imaginatively with literary fictions, however bizarre, and the things authors write into their stories become true in the fiction. But for some claims, such as moral falsehoods, this seems not to be straightforwardly the case, which raises the question: Why not? The puzzles (...) such cases raise are sometimes grouped under the heading “imaginative resistance”. In this paper, I argue against what I take to be the best attempts to dismiss the puzzles and solve them. I also tease out subtleties not sufficiently addressed in the existing literature and end by defending a unified solution of my own. According to this solution, the puzzling phenomena occur when literary works offer inadequate and exhaustive grounds for claims. The solution’s novelty lies in its giving a normative rather than psychological or alethic explanation for the puzzling phenomena, the relevant norms being those of proper artistic appreciation. (shrink)

Rumfitt has given two arguments that in unilateralist verificationist theories of meaning, truth collapses into correct assertibility. In the present paper I give similar arguments that show that in unilateral falsificationist theories of meaning, falsehood collapses into correct deniability. According to bilateralism, meanings are determined by assertion and denial conditions, so the question arises whether it succumbs to similar arguments. I show that this is not the case. The final section considers the question whether a principle central to Rumfitt's first (...) argument, ‘It is assertible that if and only if it is assertible that it is assertible that ’, is one that bilateralists can reject, and concludes that they cannot. It follows that the logic of assertibility and deniability, according to a result by Williamson, is the little known modal logic K4 studied by Sobociński. The paper ends with a plaidoyer for bilateralists to adopt this logic. (shrink)

Bilateralists, who accept that there are two primitive speech acts, assertion and denial, can offer an attractive definition of consequence: Y follows from X if and only if it is incoherent to assert all formulas X and to deny all formulas Y. The present paper argues that this definition has consequences many will find problematic, amongst them that truth coincides with assertibility. Philosophers who reject these consequences should therefore reject this definition of consequence.

According to what I call the Merit Principle, roughly, works of art that attempt to elicit unmerited responses fail on their own terms and are thereby aesthetically flawed. A horror film, for instance, that attempts to elicit fear towards something that is not scary is to that extent aesthetically flawed. The Merit Principle is not only intuitive, it is also endorsed in some form by Aristotle, David Hume, and numerous contemporary figures. In this paper, I show how the principle leads (...) to a novel paradox when applied to an undertheorized class of artworks I call ‘seductive works’. These artworks necessarily invite an unmerited response in order to invite a (merited) repudiation of that response. Thus, according to the Merit Principle, they are necessarily aesthetically flawed, which is counter-intuitive. I consider a number of unsuccessful solutions to the paradox that aim to preserve the Merit Principle, before rejecting that principle as it stands. I discuss what is challenging about seductive artworks, before briefly defending a new principle that appeals to a general way that a work’s aesthetic value is conditioned by the constraints under which it operates. This principle not only resolves the paradox, but explains the competing intuitions that give rise to it. (shrink)

Mobile health devices pose novel questions at the intersection of philosophy and technology. Many such applications not only collect sensitive data, but also aim at persuading users to change their lifestyle for the better. A major concern is that persuasion is paternalistic as it intentionally aims at changing the agent’s actions, chipping away at their autonomy. This worry roots in the philosophical conviction that perhaps the most salient feature of living autonomous lives is displayed via agency as opposed to patiency—our (...) lives go well in virtue of what we do, rather than what happens to us. Being persuaded by a device telling us how to conduct our lives seemingly renders the agent passive, an inert recipient of technological commands. This agential bias, however, has led to a marginalization of patiential characteristics that are just as much part of our lives as are agential characteristics. To appreciate the inherent interlocking of acting and being acted upon, it is vital to acknowledge that agency and patiency are correlates, not mutually exclusive opposites. Furthermore, it is unclear whether an action can only count as agential so long as its causes are internal. Drawing on the extended mind and extended will framework, I argue that mHealth applications merely serve as volitional aids to the agent’s internal cognition. Autonomously set goals can be achieved more effectively via technology. To be persuaded by an mHealth device does not mainly—let alone exclusively—emphasize patiency; on the contrary, it can be an effective tool for technologically enhancing agency. (shrink)

The present paper unravels ontological and normative conditions of personhood for the purpose of critiquing ‘Cognitivist Views’. Such views have attracted much attention and affirmation by presenting the ontology of personhood in terms of higher-order cognition on the basis of which normative practices are explained and justified. However, these normative conditions are invoked to establish the alleged ontology in the first place. When we want to know what kind of entity has full moral status, it is tempting to establish an (...) ontology that fits our moral intuitions about who should qualify for such unique normative standing. But this approach conflates personhood’s ontology and normativity insofar as it stresses the primacy of the former while implicitly presupposing the latter; it thereby suffers from a ‘Normative Fallacy’ by inferring from ‘ought’ to ‘is’. Following my critique of Cognitivism, I sketch an alternative conception, contending that, whereas the Cognitivist ontology of personhood presupposes the normative, a social ontology is constituted by it. In due consideration of evidence from developmental psychology, the social embeddedness of persons—manifested in the ability of taking a ‘second-person stance’—is identified as a key feature of personhood that precedes higher-order cognition, and is directly linked to basic normative concerns. (shrink)

This paper draws attention to a proof of the necessity of identity given by Arthur Prior. In its simplicity, it is comparable to a proof of Quine's, popularised by Kripke, but it is slightly different. Prior's Polish notation is transcribed into a more familiar idiom. Prior's proof is followed by a proof of the necessity of difference, possibly the first such proof in the literature, which is also repeated here and transcribed. The paper concludes with a brief discussion of Prior's (...) views on identity and difference over time. (shrink)

In our lives, we aim to achieve welfare for ourselves, that is, to live good lives. But we also have another, more impartial perspective, where we aim to balance our concern for our own welfare against a concern for the welfare of others. This is a perspective of justice. Nils Holtug examines these two perspectives and the relations between them.

Ethicism is the most comprehensively defended answer to the question regarding whether ethical properties determine aesthetic properties in artworks. According to ethicism, aesthetically relevant ethical flaws in artworks count as aesthetic flaws and aesthetically relevant ethical merits count as aesthetic merits. In this paper, I argue that ethicism’s most significant argument, the Merited Response Argument suffers from an ambiguity that makes it either unsound or uninteresting. Specifically, the notion of an artwork’s ‘prescribing’ a response, central to MRA, is ambiguous between (...) merely attempting to elicit a response from appreciators as appropriate to a work, and endorsing a response as appropriate to relevant parts of the actual world. While the first sense of ‘prescribe’ does the aesthetic work, the second does the ethical. (shrink)

Need-based justice is an important ingredient for a pluralistic theory of justice. But how can need-based justice be measured? I will argue that need-based justice cannot be measured by measuring need-satisfaction. This is because need-based justice does not only depend on need-satisfaction, but also on opportunities to avoid or at least mitigate undersupply. Depending on these opportunities, one and the same degree of undersupply can be unjust to different degrees. In this article, I establish a number of desiderata that a (...) measure of need-based justice has to comply with. Resulting measures treat avoidable undersupply as the main source of injustice. (shrink)

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...) modal operators in terms of rules of inference. (shrink)

A handful of scholars have connected objectification (treating people like objects) to personification (treating objects like people). The recurring idea is that personification may entail objectification and therefore share in the latter's ethical difficulties. This idea is defended by various feminist philosophers. They focus on how the connection manifests in the male, heterosexual consumption of pornography, grounding a constitutive ethical criticism of this pornography. In this paper, I schematize the only two arguments for this connection, showing why each fails. I (...) revise one of the arguments to overcome my objection before showing, most significantly, that any argument with the same form must fail. I conclude by suggesting that thinking about the ethics of the imagination offers a promising alternative approach that preserves the spirit of these failed arguments. (shrink)

Early modern medicine was much more dependent on the senses than its contemporary counterpart. Although a comprehensive medical theory existed that assigned great value to taste and odor of medicaments, historical descriptions of taste and odor appears imprecise and inconsistent to modern eyes. How did historical actors move from subjective experience of taste and odor to culturally stable agreements that facilitated communication about the sensory properties of medicaments? This paper addresses this question, not by investigating texts, but by going straight (...) to the sensory impression, which certain substances convey. The aim is not to overwrite or rectify historical descriptions but to investigate whether modern methodologies for sensory assessment can be enlisted to understand the past. We draw on history of science for framing and research questions, pharmaceutical science for knowledge of pharmaceuticals and preparations, and food and meal science for assaying procedures and protocols. We show that sensory evaluation can yield precise descriptions that would not have been alien to early modern medicine makers. However, there are problems with translating descriptions of taste between different historical contexts. By comparing contemporary descriptions of sensations with eighteenth‐century ones, the article discusses how sensory descriptions are highly dependent on context, and subject to historical change. (shrink)

According to impersonal moralities, welfare is good, period. Therefore, it is good that welfare is realised, whether by the benefiting of individuals who already exist or by the bringing of new...

Inference to the best explanation (IBE) is the principle of inference according to which, when faced with a set of competing hypotheses, where each hypothesis is empirically adequate for explaining the phenomena, we should infer the truth of the hypothesis that best explains the phenomena. When our theories correctly display this principle, we call them our ‘best’. In this paper, I examine the explanatory role of mathematics in our best scientific theories. In particular, I will elucidate the enormous utility of (...) mathematical structures. I argue from a reformed indispensability argument that mathematical structures are explanatorily indispensable to our best scientific theories. Therefore, IBE scientific realism entails mathematical realism. I develop a naturalistic, neo-Quinean ontology, which grounds physical and mathematical entities in structures. Mathematical structures are the truthmakers for the entities of our quantificational discourse. I also develop an ‘ontic conception’ of explanation, according to which explanations exist in the world, whether or not we discover and model them. I apply the ontic account to mathematical structures, arguing that these structures are the explanations for particles, forces, and even the conservation laws of physics. As such, mathematical structures provide the fundamental grounding for ontological commitment. I conclude by reviewing the evidence from modern physics for the existence of mathematical structures. (shrink)

Name der Zeitschrift: Der Islam Jahrgang: 91 Heft: 1 Seiten: 115-134.

This book is a synthesis of more than three decades of research into the concept of time and its semiotic nature. If traditional philosophy – and philosophy of time should be no exception – in the shadow of advancing biology can be said to have reached an impasse, one important reason for this, in harmony with Wittgenstein’s vision, appears to have been its lack of appropriate tools for explicating language. The present theory of time proceeds, accordingly, from the exploration of (...) temporal expressions in language as an evolutionary fact. It derives in a hypothetical, coherent feedback process of hierarchically ordered distinctions the semantics of time from its biologically dictated perceptual and cognitive-pragmatic origins. The corresponding abductive-regulative model is anchored in the assumption of biological rhythmization as the very foundation of perception and mental/physical action. Understood to originate in space and spatial perspective, time reveals itself as an instrument for temporal perspective on motion (events and situations) in a process of analysis, i.e., discontinuation of chaos made divisible and continuous by the rhythmical screen. Whereas traditional philosophy of time paid attention almost exclusively to the temporal category of tense, the biopragmatic model sees strong evidence in the perspectival nature of time for ascribing the decisive, and probably universal, role in temporal analysis to the linguistic category of aspect. Aspect may, according to the present findings, be assumed to partake already of change-of-state and cause-effect analysis without which man’s adaptation to new situations – and precondition for survival – would be inconceivable. The proposed model of space/time cognition, inspired by Hegelian dialectics, Heidegger-Gadamer’s hermeneutic circle and Peircean logic, makes Kantian a priori superfluous and liberates time from its enigmatic appearance. For the first time in temporal studies it thus appears possible to derive hypothetically linguistic expressions of time all the way from pretemporal, homogeneous continuity effected by biological rhythmization, via pretemporal metonymic (Gestalt), chunk-wise partitioning – as a general precondition for the perception and, based on primary metaphorization, the cognition of things, space and motion – to temporal analysis/discontinuation proper, primarily by aspectual perspective, and the subsequent synthesized, heterogeneous continuity of temporally ordered events. The conception of time, so disastrous for modern temporal logic, i.e., as moving object assigned extension, divisible continuity (‛linearity’) and direction, can be shown to have emerged as a result of secondary metaphorization. (shrink)

ABSTRACTEvaluative aesthetic discourse communicates that the speaker has had first-hand experience of what is talked about. If you call a book bewitching, it will be assumed that you have read the book. If you say that a building is beautiful, it will be assumed that you have had some visual experience with it. According to an influential view, this is because knowledge is a norm for assertion, and aesthetic knowledge requires first-hand experience. This paper criticizes this view and argues for (...) an alternative view, according to which aesthetic discourse expresses affective states of mind, analogously to how assertions express beliefs. It is because these affective states require first-hand experience that aesthetic discourse communicates that such acquaintance is at hand. The paper furthermore argues that the lack of an experience requirement for aesthetic belief ascriptions constitutes a problem for the kind of expressivist who claims that evaluative belief states are covert non-cognitive states. (shrink)

This chapter examines autonomism. Autonomism is roughly the view that an artwork’s ethical properties do not bear on its aesthetic or artistic value. The author sketches some of the view’s history before describing various versions of it defended over the last quarter-century. These are divided into ‘radical’, ‘robust’, and ‘moderate’ forms of autonomism. The author considers the strengths and weaknesses of each. The author also devotes some space to the ‘interactionist’ views against which contemporary autonomism is typically opposed. In doing (...) so, he considers the so-called ‘qua problem’ at some length, as well its bearing on these various autonomist positions. (shrink)

It is widely held within contemporary metaethics that there is a lack of linguistic support for evaluative expressivism. On the contrary, it seems that the predictions that expressivists make about evaluative discourse are not borne out. An instance of this is the so-called problem of missing Moorean infelicity. Expressivists maintain that evaluative statements express non-cognitive states of mind in a similar manner to how ordinary descriptive language expresses beliefs. Conjoining an ordinary assertion that p with the denial of being in (...) the corresponding belief state famously gives rise to Moorean infelicity:?? It’s raining but I don’t believe that it’s raining. If expressivists are right, then conjoining evaluative statements with the denial of being in the relevant non-cognitive state of mind should give rise to similar infelicity. However, as several theorists have pointed out, this does not seem to be the case. Statements like the following are not infelicitous: Murder is wrong but I don’t disapprove of it. In this paper, I argue that evaluative statements express the kind of states that are attributed by ‘find’-constructions in English and that these states are non-cognitive in nature. This addresses the problem of missing Moorean infelicity and, more generally, goes to show that there are linguistic facts which support expressivism about evaluative discourse. (shrink)

Persons are widely believed to be rational, planning agents that are both author and main character of their life stories. A major goal is to keep these narratives coherent as they unfold, and part of a fulfilled life allegedly stems from this coherence. My aim is to challenge these convictions by considering two related claims about persons and their lives. Contrary to the widespread theoretical conviction in philosophy of mind and action, persons are fundamentally emotional and affective rather than rational (...) and deliberative beings. And so, on a practical level, persons need not constantly aspire to integrate their past, present, and future into a coherent whole in order to live fulfilled lives. Needless to say, I cannot hope to defend these claims and their relation in great detail with a few brief strokes. In addition to theoretical reflections, I discuss some practical implications and potential benefits that come with discarding the daunting task of continuously keeping track of one's life story. Drawing on insights from a contemplative Buddhist tale, I venture that the practice of letting go can break the spell, and give rise to an alleviating source of liberation from life's troubles.Export citation. (shrink)

This article is the text of a commentary on a talk delivered by Mark Textor entitled 'Brentano's Positing Theory of Existence' at King's College London in December 2015. It contains ideas on implementing Textor's Neo-Brentanian theory of existence in a natural deduction proof system for negative free logic.

In philosophy, the criteria for personhood (PH) at a specific point in time (synchronic), and the necessary and sufficient conditions of personal identity (PI) over time (diachronic) are traditionally separated. Hence, the transition between both timescales of a person's life remains largely unclear. Personal habits reflect a decision-making (DM) process that binds together synchronic and diachronic timescales. Despite the fact that the actualization of habits takes place synchronically, they presuppose, for the possibility of their generation, time in a diachronic sense. (...) The acquisition of habits therefore rests upon PI over time; that is, the temporal extension of personal decisions is the necessary condition for the possible development of habits. Conceptually, habits can thus be seen as a bridge between synchronic and diachronic timescales of a person's life. In order to investigate the empirical mediation of this temporal linkage, we draw upon the neuronal mechanisms underlying DM; in particular on the distinction between internally and externally guided DM. Externally guided DM relies on external criteria at a specific point in time (synchronic); on a neural level, this has been associated with lateral frontal and parietal brain regions. In contrast, internally guided DM is based on the person's own preferences that involve a more longitudinal and thus diachronic timescale, which has been associated with the brain's intrinsic activity. Habits can be considered to reflect a balance between internally and externally guided DM, which implicates a particular temporal balance between diachronic and synchronic elements, thus linking two different timescales. Based on such evidence, we suggest a habit-based neurophilosophical approach of PH and PI by focusing on the empirically-based linkage between the synchronic and diachronic elements of habits. By doing so, we propose to link together what philosophically has been described and analyzed separately as PH and PI. (shrink)

In "Rethinking Sadomasochism," Patrick Hopkins challenges the "radical" feminist claim that sadomasochism is incompatible with feminism. He does so by appeal to the notion of "simulation." I argue that Hopkins's conclusions are generally right, but they cannot be inferred from his "simulation" argument. I replace Hopkins's "simulation" with Kendall Walton's more sophisticated theory of "make-believe." I use this theory to better argue that privately conducted sadomasochism is compatible with feminism.

In this paper, we consider a few actual cases of mnemonic strategies among older subjects (older than 65). The cases are taken from an ethnographic study, examining how elderly adults cope with cognitive decline. We believe that these cases illustrate that the process of remembering in many cases involve a complex distributed web of processes involving both internal or intracranial and external sources. Our cases illustrate that the nature of distributed remembering is shaped by and subordinated to the dynamic characteristics (...) of the on-going activity and to our minds suggest that research on memory and distributed cognition should focus on the process of remembering through detailed descriptions and analysis of naturally occurring situations. (shrink)

We all know that Ramsey argued that the best way to understand how the theoretical entities of a theory function is to picture them as existentially bound variables. If the entities of our theory are a, ß, and y, the best way to write our theory, he tells us, is: 3 a,ß,γ. The theory’s ‘Ramsey sentence’, the existentially bound variables are the carriers of ontological commitment. If the Ramsey sentence is true, they tell us what there is.

This note corrects an error in my paper 'Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule' (Archive for Mathematical Logic 61 (2022): 105-129, DOI 10.1007/s00153-021-00775-6): Theorem 2 is mistaken, and so is a corollary drawn from it as well as a corollary that was concluded by the same mistake. Luckily this does not affect the main result of the paper.

The Ethical Question asks whether ethical values in artworks determine their aesthetic value and, if so, how. I argue that the question is ambiguous between a direct and an indirect reading. I show how the indirect reading is philosophically uninteresting because it has an obvious answer: a view called ‘immoralism’. I also show how most of the significant figures in the relevant literature address the indirect form of the question anyway—needlessly, if I am right. Finally, I consider whether some version (...) of the indirect question is more philosophically interesting, connecting it to the so-called ‘qua problem’. I attempt to give clarity to the discussion by applying work on the virtues and vices of explanations. (shrink)

The contributors to the volume are: Richard Arneson, Linda Barclay, Thomas Christiano, Nils Holtug, Susan Hurley, Kasper Lippert-Rasmussen, Dennis McKerlie, ...

A well-known theory about under which circumstances a statement is true in a fiction is The Reality Principle, which originate in the work of David Lewis: (RP) Where p1... pn are the primary fictional truths of a fiction F , it is true in F that q iff the following holds: were p1 ... pn the case, q would have been the case (Walton 1990: 44). RP has been subjected to a number of counterexamples, up to a point where, in (...) the words of Stacie Friend “it is widely recognized that the Reality Principle […] cannot be a universal inference rule for implied story-truths” (Friend 2017: 33). This chapter argues that the strength of these counterexamples is widely overestimated, and that they do not, on closer scrutiny, constitute reasons for rejecting RP. (shrink)

Ian Rumfitt has proposed systems of bilateral logic for primitive speech acts of assertion and denial, with the purpose of ‘exploring the possibility of specifying the classically intended senses for the connectives in terms of their deductive use’ : 810f). Rumfitt formalises two systems of bilateral logic and gives two arguments for their classical nature. I assess both arguments and conclude that only one system satisfies the meaning-theoretical requirements Rumfitt imposes in his arguments. I then formalise an intuitionist system of (...) bilateral logic which also meets those requirements. Thus Rumfitt cannot claim that only classical bilateral rules of inference succeed in imparting a coherent sense onto the connectives. My system can be extended to classical logic by adding the intuitionistically unacceptable half of a structural rule Rumfitt uses to codify the relation between assertion and denial. Thus there is a clear sense in which, in the bilateral framework, the difference between classicism and intuitionism is not one of the rules of inference governing negation, but rather one of the relation between assertion and denial. (shrink)

Berichte zur Wissenschaftsgeschichte, EarlyView.

Emergence is a universal phenomenon that can be defined mathematically in a very general way. This is useful for the study of scientifically legitimate explanations of complex systems, here defined as hyperstructures. A requirement is that the observation mechanisms are considered within the general framework. Two notions of emergence are defined, and specific examples of these are discussed.