This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

Author's response to: Raphael Sassower, 'Heidegger and the Sociologists: A Forced Marriage?,' Social Epistemology Review and Reply Collective 7, no. 5 (2018): 30-32. -- Part of a book-review symposium on: Jeff Kochan (2017), Science as Social Existence: Heidegger and the Sociology of Scientific Knowledge (Cambridge UK: Open Book Publishers).

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...) and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

Broadly speaking, the contemporary scientific realist is concerned to justify belief in what we might call theoretical truth, which includes truth based on ampliative inference and truth about unobservables. Many, if not most, contemporary realists say scientific realism should be treated as ‘an overarching scientific hypothesis’ (Putnam 1978, p. 18). In its most basic form, the realist hypothesis states that theories enjoying general predictive success are true. This hypothesis becomes a hypothesis to be tested. To justify our belief in the (...) realist hypothesis, realists commonly put forward an argument known as the ‘no-miracles argument’. With respect to the basic hypothesis this argument can be stated as follows: it would be a miracle were our theories as successful as they are, were they not true; the only possible explanation for the general predictive success of our scientific theories is that they are true. (shrink)

This paper briefly highlights a small part of the work being done by Indigenous groups in Canada to integrate science into their ways of knowing and living with nature. Special attention is given to a recent attempt by Mi'kmaw educators in Unama'ki (Cape Breton, Nova Scotia) to overcome suspicion of science among their youth by establishing an 'Integrative Science' (Toqwa'tu'kl Kjijitaqnn, or 'bringing our knowledges together') degree programme at Cape Breton University. The goal was to combine Indigenous and scientific knowledges (...) in a way that protects and empowers Mi'kmaw rights and lifeways. (shrink)

REVIEW (1): "Jeff Kochan’s book offers both an original reading of Martin Heidegger’s early writings on science and a powerful defense of the sociology of scientific knowledge (SSK) research program. Science as Social Existence weaves together a compelling argument for the thesis that SSK and Heidegger’s existential phenomenology should be thought of as mutually supporting research programs." (Julian Kiverstein, in Isis) ---- REVIEW (2): "I cannot in the space of this review do justice to the richness and range of (...) Kochan's discussion [...]. There is a great deal in this foundational portion of Kochan's discussion that I find tremendously interesting and engaging [...]." (David R. Cerbone, in Studies in History and Philosophy of Science) ---- REVIEW (3): "Science as Social Existence will be of interest not only to Heidegger scholars but to anyone engaged in science and technology studies. [...] This is an informative and original book. Kochan should be praised for his clear, pleasant-to-read prose." (Michael Butler, in CHOICE). (shrink)

This article endeavors to identify the strongest versions of the two primary arguments against epistemic scientific realism: the historical argument—generally dubbed “the pessimistic meta-induction”—and the argument from underdetermination. It is shown that, contrary to the literature, both can be understood as historically informed but logically validmodus tollensarguments. After specifying the question relevant to underdetermination and showing why empirical equivalence is unnecessary, two types of competitors to contemporary scientific theories are identified, both of which are informed by science itself. With the (...) content and structure of the two nonrealist arguments clarified, novel relations between them are uncovered, revealing the severity of their collective threat against epistemic realism and its “no-miracles” argument. The final section proposes, however, that the realist’s axiological tenet “science seeks truth” is not blocked. An attempt is made to indicate the promise for a nonepistemic, purely axiological scientific realism—here dubbed “Socratic scientific realism.”. (shrink)

We present a technique for the analysis of pattern formation by a class of models for the formation of ocular dominance stripes in the striate cortex of some mammals. The method, which employs the adiabatic approximation to derive a set of ordinary differential equations for patterning modes, has been successfully applied to reaction-diffusion models for striped patterns [1]. Models of ocular dominance stripes have been studied [2,3] by computation, or by linearization of the model equations. These techniques do not provide (...) a rationale for the origin of the stripes. We show here that stripe formation is a non-linear property of the models. Our analysis indicates that stripe selection is closely linked to a property in the dynamics of the models which arises from a symmetry between ipsilateral and contralateral synapses to the visual cortex of a given hemisphere. (shrink)

To what extent are cognitive capacities, especially perceptual capacities, informationally encapsulated and to what extent are they cognitively penetrable? And why does this matter? Two reasons we care about encapsulation/penetrability are: (a) encapsulation is sometimes held to be definitional of modularity, and (b) penetrability has epistemological implications independent of modularity. I argue that modularity does not require encapsulation; that modularity may have epistemological implications independently of encapsulation; and that the epistemological implications of the cognitive penetrability of perception are messier than (...) is sometimes thought. (shrink)

According to Roderick Chisholm, one distinctive characteristic of mental phenomena is that they relate to their objects "under an aspect'": Lois Lane admires the one object that is both Superman and Clark Kent as "Superman" but not as "Clark Kent". This paper argues that visual attention exhibits no such characteristic. This suggests that attention is an exceptional mental phenomenon, and understanding it may provide insight into mind-body or mind- world relations.

Presented at Philosophy Across Disciplines Conference 2021, Newcastle University. -/- As noted by philosopher Robert Pasnau, “our standard view of sound is incoherent” at best. A quick perusal of how we discuss and represent sound in our day-to-day language readily highlights a number of inconsistencies. Sound might be described roughly as emanating from the location of its material source (the ‘crack of the snare drum over there’ distal theory), as a disruption somewhere in the space in-between the sounding object and (...) the listener (the ‘longitudinal compression waves in the air’ medial theory), located with the hearer (the ‘inner sensations’ proximal theory), or perhaps as devoid of spatial characteristics at all (aspatial theory). Beyond these topographic ruminations on the location of sounds, even deeper disagreements arise around just what sorts of things sounds are. A broad array of theories treat sounds as events, as object-like particulars that travel through space, as properties of their sounding objects, etc.—with many subtle ontological variations springing up along the way. The philosophical plot further thickens as we expand from defining the ontology and spatial position of simple primary sounds through to the phenomenon of echoes, with certain theories arguably faring better than others. We’ll focus here on Casey O’Callaghan’s formulation of sounds as disturbance events which bind primary sounds and their echoes together as one. In short, the claim that echoes are identical to their associated primary sound and are not distinct sounds in their own right. Described as the ‘Primary Sound Account of Echoes’ (‘PSAE’) in Gregory Fowler’s “Against the Primary Sound Account of Echoes,” the intricacies of this particular aspect of O’Callaghan’s theory of a primary sound’s connection to its echo bears greatly upon the workability of distal theories of sound in general. What I seek to achieve in this presentation is to illustrate how O’Callaghan’s PSAE fails when subjected to increased scrutiny across a broader range of echo scenarios, which in turn presents a significant issue for proponents of distal theories of sound. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

If you’re looking for a fresh take on solving our planet's environmental issues, “Better Economics for the Earth” by Vuong and Nguyen is a must-read. This book is not just another dense economic text; it’s a riveting exploration into how quantum physics and information theory can totally transform our approach to economics, making it more suited to tackle today’s ecological crises.

If you’re looking for a fresh take on solving our planet's environmental issues, “Better Economics for the Earth” by Vuong and Nguyen is a must-read. This book is not just another dense economic text; it’s a riveting exploration into how quantum physics and information theory can totally transform our approach to economics, making it more suited to tackle today’s ecological crises.

Historians have claimed that the two closely related concepts of animism and natural teleology were both decisively rejected in the Scientific Revolution. They tout Robert Boyle as an early modern warden against pre-modern animism. Discussing Avicenna, Aquinas, and Buridan, as well as Renaissance psychology, I instead suggest that teleology went through a slow and uneven process of rationalization. As Neoplatonic theology gained influence over Aristotelian natural philosophy, the meaning of animism likewise grew obscure. Boyle, as some historians have shown, exemplifies (...) this uneven process. There is an unresolved tension between his religious convictions and the implicit animism of his empirical practice. (shrink)

Two art exhibitions, “Training Humans” and “Making Faces,” and the accompanying essay “Excavating AI: The politics of images in machine learning training sets” by Kate Crawford and Trevor Paglen, are making substantial impact on discourse taking place in the social and mass media networks, and some scholarly circles. Critical scrutiny reveals, however, a self-contradictory stance regarding informed consent for the use of facial images, as well as serious flaws in their critique of ML training sets. Our analysis underlines the non-negotiability (...) of informed consent when using human data in artistic and other contexts, and clarifies issues relating to the description of ML training sets. (shrink)

Methods have been a controversial element in theories of knowledge for the last 40 years. Recent developments in theories of justification, concerning the identification and individuation of belief-forming processes, can shed new light on methods, solving some longstanding problems in the theory of knowledge. We needn’t and shouldn’t shy away from methods; rather, methods, construed as psychological processes of belief-formation, need to play a central role in any credible theory of knowledge.

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated (...) labelled calculus. (shrink)

This chapter is devoted to criticisms of the views of propositions defended by my co-authors, Jeff King and Scott Soames. The focus is on criticism of their attempts to explain the representational properties of propositions. The criticisms are varied, but one theme is a tension between their view that our actions can explain the representational properties of propositions and their commitment to the idea that propositions have their representational properties essentially.

I discuss and defend two arguments against semantic theories which wish to avoid commitment to propositions. The first holds that on the most plausible semantics of a class of natural language sentences, the truth of sentences in that class requires the existence of propositions; and some sentences in that class are true. The second holds that, on the best understanding of the form of a semantic theory, the truth of a semantic theory itself entails the existence of propositions. Much of (...) the discussion engages Davidsonian alternatives to a propositionalist semantic theory. (shrink)

We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.

We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call "role relational axioms." All sequent systems are sound, complete, and possess favorable properties such as height-preserving admissibility of common structural rules and height-preserving invertibility of rules.

Final instalment of a book-review symposium on: Jeff Kochan (2017), Science as Social Existence: Heidegger and the Sociology of Scientific Knowledge (Cambridge UK: Open Book Publishers). -- Author's response to: Paolo Palladino (2018), 'Heidegger Today: On Jeff Kochan’s Science and Social Existence,' Social Epistemology Review and Reply Collective 7(8): 41-46; and Adam Riggio (2018), 'The Very Being of a Conceptual Scheme: Disciplinary and Conceptual Critiques,' Social Epistemology Review and Reply Collective 7(11): 53-59.

Author's response to: Pablo Schyfter, 'Inaccurate Ambitions and Missing Methodologies: Thoughts on Jeff Kochan and the Sociology of Scientific Knowledge,' Social Epistemology Review and Reply Collective 7, no. 8 (2018): 8-14. -- Part of a book-review symposium on: Jeff Kochan (2017), Science as Social Existence: Heidegger and the Sociology of Scientific Knowledge (Cambridge UK: Open Book Publishers).

Experimental philosophy (x-phi) is all the rage. But shouldn't all philosophy be experimental? Jeff Hawley looks at the views of three philosophers on the role and value of x-phi. This month’s PhilosophyNews 'WHiP: The Philosophers' focuses on a chapter from The Compact Compendium of Experimental Philosophy edited by A. Bauer and S. Kornmesser (forthcoming). 'All in the Family: The History and Philosophy of Experimental Philosophy' by Justin Sytsma, Joseph Ulatowski, and Chad Gonnerman digs into the history of various philosophers (...) who have argued for the need to go beyond the tradition methods of the ‘armchair’ philosopher and include empirical research into the mix. (shrink)

We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three (...) categories and evaluate their validity vis-à-vis notions of deliberative acting. On a technical note, the logic will be shown decidable via the finite model property. (shrink)

In our paper, we argue for three necessary conditions for morally permissible animal research: (1) an assertion (or expectation) of sufficient net benefit, (2) a worthwhile-life condition, and (3) a no-unnecessary-harm/qualified-basic-needs condition. We argue that these conditions are necessary, without taking a position on whether they are jointly sufficient. In their excellent commentary on our paper, Matthias Eggel, Carolyn Neuhaus, and Herwig Grimm (hereafter, the authors) argue for a friendly amendment to one of our three conditions. In particular, they argue (...) for replacing the first condition—expectation of sufficient net benefit (ESNB)—with an expectation of knowledge production (EKP). In this reply, we will explain why we are open to this proposed amendment, but not yet convinced. (shrink)

Epistemic defeat is standardly understood in either evidentialist or responsibilist terms. The seminal treatment of defeat is an evidentialist one, due to John Pollock, who famously distinguishes between undercutting and rebutting defeaters. More recently, an orthogonal distinction due to Jennifer Lackey has become widely endorsed, between so-called doxastic (or psychological) and normative defeaters. We think that neither doxastic nor normative defeaters, as Lackey understands them, exist. Both of Lackey’s categories of defeat derive from implausible assumptions about epistemic responsibility. Although Pollock’s (...) evidentialist view is superior, the evidentialism per se can be purged from it, leaving a general structure of defeat that can be incorporated in a reliabilist theory that is neither evidentialist nor responsibilist in any way. (shrink)

I reply to criticisms from King and Soames and critically examine two aspects of current orthodoxy about propositions: that they are representational and that they are structured. I argue that (especially once one gives up on intrinsically representational propositions) there is no good reason to think that propositions have representational properties, and distinguish a few different senses in which propositions might be structured, expressing some skepticism about the more ambitious ones.

Reaction-diffusion systems which have reaction term satisfying f(-q) = -f(q) tend strongly to form striped patterns. Haken’s slaving principle is used to derive differential equations for unstable mode amplitudes close to the Turing instability. This connects a dynamical symmetry to pattern selection, with possible relevance to biological and chemical pattern-forming phenomena.

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.

This paper exposes a common mistake concerning the division of linguistic labor. I characterize the mistake as an overgeneralization from natural kind terms; this misleads philosophers about which terms are subject to the division of linguistic labor, what linguistic labor is, how linguistic labor is divided, and how the extensions of non-natural kind terms subject to the division of linguistic labor are determined. I illustrate these points by considering Sally Haslanger’s account of the division of linguistic labor for social kind (...) terms and raising an objection to it. Then, I draw on Tyler Burge’s work to characterize a conception of the division of linguistic labor that avoids the mistaken overgeneralization and grounds 1–4 above in social norms and practices. (shrink)

Reflections on free choice and determinism constitute a recurring, if rarified, sphere of legal reasoning. Controversy, of course, swirls around the perennially vexing question of the propriety of punishing human persons for conduct that they are unable to avoid. Drawing upon conditions similar, if not identical, to those traditionally associated with attribution of moral fault, persons subject to such necessitating causal constraints generally are not considered responsible in the requisite sense for their conduct; and, thus, they are not held culpable (...) for its consequences. The standard argument against free choice asserts that free choice cannot exist because determinism, as a property of laws governing the cosmos, excludes such a possibility. This contingent factual claim, however, has always proven problematic. Contemporary discussions - no doubt aware of this disputed factual premise - draw upon a more novel, and arguably more devastating critique: free will must be rejected because its very conception is incoherent. Rather than assuming the existence of determinism and attempting to show its incompatibility with free will, this argument begins with consideration of the idea of free choice and concludes that, if it is to have any sense at all, it must be compatible with determinism. Obviously, no single treatment of the free will problem could address all its nuances. This Article more modestly offers one possible approach to the question. Part I elaborates in more detail the view that the traditional conception of free choice is incoherent and, thus, inevitably undermines the very responsibility it is asserted to constitute; Part II considers the resulting effort to develop a model of human freedom compatible with determinism; and Part III, drawing upon the prior discussions, describes - in terms of classical action theory - a conception of free choice justifying personal moral and legal responsibility that avoids both the incoherence of "uncaused freedom" as well as the shortcomings of determinism. (shrink)

Bruno Latour claims to have shown that a Kantian model of knowledge, which he describes as seeking to unite a disembodied transcendental subject with an inaccessible thing-in-itself, is dramatically falsified by empirical studies of science in action. Instead, Latour puts central emphasis on scientific practice, and replaces this Kantian model with a model of “circulating reference.” Unfortunately, Latour's alternative schematic leaves out the scientific subject. I repair this oversight through a simple mechanical procedure. By putting a slight spin on Latour's (...) diagrammatic representation of his theory, I discover a new space for a post-Kantian scientific subject, a subject brilliantly described by Ludwik Fleck. The neglected subjectivities and ceaseless practices of science are thus re-united. (shrink)

Should we fear a future in which the already tricky world of academic publishing is increasingly crowded out by super-intelligent artificial general intelligence (AGI) systems writing papers on phenomenology and ethics? What are the chances that AGI advances to a stage where a human philosophy instructor is similarly removed from the equation? If Jobst Landgrebe and Barry Smith are correct, we have nothing to fear.

La recherche empirique et philosophique récente remet en question l’idée selon laquelle raison et émotion sont nécessairement en conflit l’une avec l’autre. Pourtant, les philosophes des sciences ont été lents à réagir à cette recherche. Je soutiens qu’ils continuent à exclure l’émotion de leurs modèles du raisonnement scientifique, parce qu’ils considèrent qu’elle appartient typiquement au contexte de découverte plutôt qu’au contexte de justification. Je suggère toutefois, en prenant pour exemple le fiabilisme, que des travaux récents en épistémologie remettent en cause (...) l’autorité généralement accordée à la distinction entre ces contextes. On peut considérer que l’émotion joue un rôle fiable dans la formation des croyances scientifiques, ce qui pour le fiabiliste signifie également leur justification. (shrink)

Joseph Rouse has drawn from Heidegger’s early philosophy to develop what he calls a “practical hermeneutics of science.” With this, he has not only become an important player in the recent trend towards practice-based conceptualisations of science, he has also emerged as the predominant expositor of Heidegger’s philosophy of science. Yet, there are serious shortcomings in both Rouse’s theory of science and his interpretation of Heidegger. In the first instance, Rouse’s practical hermeneutics appears confused on the topic of realism. In (...) the second instance, Rouse suppresses Heidegger’s distinction between existence and essence, and hence fails to grasp the latter’s corollary distinction between scientic research and everyday practice. I argue that, by accepting a correction in his interpretation of Heidegger, Rouse would find the means to resolve the debilitating tensions in his stance towards realism. (shrink)

Hermeneutic studies of science locate a circle at the heart of scientific practice: scientists only gain knowledge of what they, in some sense, already know. This may seem to threaten the rational validity of science, but one can argue that this circle is a virtuous rather than a vicious one. A virtuous circle is one in which research conclusions are already present in the premises, but only in an indeterminate and underdeveloped way. In order to defend the validity of science, (...) the hermeneuticist must describe a method by which a vague and confused initial knowledge of nature gets transformed into a clear and determinate knowledge of nature. I consider three such methods. The first is regressus demonstrativa, favoured by the physicians of Padua during the fifteenth and sixteenth centuries. The second is mathēsis, introduced by Martin Heidegger in his discussion of seventeenth-century science. The third is Denkstil, a key concept in Ludwik Fleck’s history of syphilology. I conclude by listing three desiderata for a hermeneutic science studies: that it be anti-metaphysical, historical, and sociological. --- Reprinted in: Erich Otto Graf, Martin Schmid & Johannes Fehr (eds.), Fleck and the Hermeneutics of Science (Collegium Helveticum Heft 14) (Zürich, 2016), pp. 85-93. (shrink)

Tim Ingold draws a sharp line between animism and hylomorphism, that is, between his relational ontology and a rival genealogical ontology. He argues that genealogical hylomorphism collapses under a fallacy of circularity, while his relationism does not. Yet Ingold fails to distinguish between vicious or fallacious circles, on the one hand, and virtuous or hermeneutic circles, on the other. I demonstrate that hylomorphism and Ingold’s relational animism are both virtuously circular. Hence, there is no difference between them on this count. (...) A path thus opens for what I call hylomorphic animism. While Ingold’s relational animism leads into obscurity, hylomorphic animism is able to explain the differences in power between material things. (shrink)

We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.

The recent publication of André Bazin's Écrits complets (2018), an enormous two-volume edition of 3000 pages which increases ten-fold Bazin's available corpus, provides opportunities for renewed reflection on, and possibly for substantial revisions of, this key figure in film theory. On the basis of several essays, I propose a drastic rereading of Bazin's most explicitly philosophical notion of “ontology.” This all too familiar notion, long settled into a rather dust-laden couple (“Bazin and ontology”) nonetheless retains its fascination. Rather than attempting (...) to provide a systematic reworking of this couple along well established lines, particularly those defined by realism and indexicality, this article proposes to shift the notion of ontology in Bazin from its determination as actual existence toward a more radical concept of ontology based on the notion of mimesis, particularly as articulated, in a Heideggerian mode, by Philippe Lacoue-Labarthe. This more properly ontological concept, also paradoxically and radically improper, is shown to be at work already in Bazin's texts, and it allows us to see that far from simplistically naturalizing photographic technology, Bazin does the contrary: he technicizes nature. If Bazin says that the photograph is a flower or a snowflake, he also implies that, like photographs, these are likewise a kind of technical artifact, an auto-mimetic reproduction of nature. Bazin likewise refers to film as a kind of skin falling away from the body of History, an accumulating pellicule in which nature and history disturbingly merge. This shifted perspective on Bazin's thinking is extended further in reference to Georges Didi-Huberman on the highly mimetic creatures known as phasmids, insects that mimic their environement. I extend this into the dynamic notion of eternal return, an implicit dimension of Bazin's thinking, clarified here in reference to Giorgio Agamben and the “immemorial image” which, like Bazin's “Death Every Afternoon,” presents an eminently repeatable deathly image, an animated corpse-world that can be likened to hell. (shrink)

This article is a study of the interpretive resources developed by Rush Limbaugh on his radio show. Interpretive resources – also called ‘hermeneutical resources’ – are concepts, narratives, conceptual frameworks, etc. that enable subjects to make sense of themselves and their world. Much recent scholarship has explored how a community's interpretive resources influence social interactions or character traits in the community. In Limbaugh's transcripts, we found a pattern of what we call ‘concept doubling’, wherein terms are characterised in a way (...) suggesting that liberals and conservatives express different concepts by their utterances of the same word form. We propose that this promotes an interpretive resource that encourages in those who use it what we call ‘false double consciousness’. We contrast the effects of false double consciousness with those of double consciousness, and we consider the interpretive resources available within false double consciousness. (shrink)

Consequentialism is thought to be in significant conflict with animal rights theory because it does not regard activities such as confinement, killing, and exploitation as in principle morally wrong. Proponents of the “Logic of the Larder” argue that consequentialism results in an implausibly pro-exploitation stance, permitting us to eat farmed animals with positive well- being to ensure future such animals exist. Proponents of the “Logic of the Logger” argue that consequentialism results in an implausibly anti-conservationist stance, permitting us to exterminate (...) wild animals with negative well-being to ensure future such animals do not exist. We argue that this conflict is overstated. Once we have properly accounted for indirect effects, such as the role that our policies play in shaping moral attitudes and behavior and the importance of accepting policies that are robust against deviation, we can see that consequentialism may converge with animal rights theory significantly, even if not entirely. (shrink)

We present an investigation into the relation between design princi- ples in Japanese gardens, and their associated perceptual effects. This leads to the realization that a set of design principles described in a Japanese gardening text by Shingen (1466), shows many parallels to the visual effects of perceptual grouping, studied by the Gestalt school of psychology. Guidelines for composition of rock clusters closely relate to perception of visual figure. Garden design elements are arranged into patterns that simplify figure-ground segmentation, while (...) seemingly balancing the visual salience of subparts and the global arrangement. Visual ‘ground’ is analyzed via medial axis transformation (MAT), often associated with shape perception in humans. MAT analysis reveals implicit structure in the visual ground of a quintessential rock garden design. The MAT structure enables formal com- parison of structure of figure and ground. They share some aesthetic qualities, with interesting differences. Both contain naturalistic asymmetric, self-similar, branching structures. While the branching pattern of the ground converges towards the viewer, that of the figure converges in the opposite direction. (shrink)

An interview with Dr. Alaa Algargoosh, a research fellow at MIT Media Lab.

This paper argues that many philosophical theories of meaning idealize our actual language communities and thereby contribute to perpetuating group-based oppression. I focus on externalist theories of language that posit a division of linguistic labor (DoLL), and I argue that the DoLLs they imagine are free of oppression and untouched by its effects. This distorts both basic theoretical assumptions and our ideas about which meanings are to be found in some language community. By thus obscuring oppression and its effects, we (...) prevent ourselves from adequately addressing oppression's effects on the meanings we use to understand and communicate about the world. (shrink)