A historical and critical analysis of the concept of the gene that attempts to provide new perspectives and metaphors for the transformation of biology and its philosophy.

We construct logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting. We formalize these changes by defining a notion of epistemic program. The languages are two-sorted sets that contain not only sentences but also actions or programs. This is as in dynamic logic, and indeed our languages are not significantly more complicated than dynamic logics. But the semantics is more complicated. In general, the semantics of (...) an epistemic program is what we call aprogram model. This is a Kripke model of ‘actions’,representing the agents' uncertainty about the current action in a similar way that Kripke models of ‘states’ are commonly used in epistemic logic to represent the agents' uncertainty about the current state of the system. Program models induce changes affecting agents' information, which we represent as changes of the state model, called epistemic updates. Formally, an update consists of two operations: the first is called the update map, and it takes every state model to another state model, called the updated model; the second gives, for each input state model, a transition relation between the states of that model and the states of the updated model. Each variety of epistemic actions, such as public announcements or completely private announcements to groups, gives what we call an action signature, and then each family of action signatures gives a logical language. The construction of these languages is the main topic of this paper. We also mention the systems that capture the valid sentences of our logics. But we defer to a separate paper the completeness proof. (shrink)

We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logic is in subset spaces , and we obtain complete axiomatizations for the sentences which hold in these interpretations. In addition, we axiomatize the validities of the smaller class of topological spaces in a system we call topologic . We also prove decidability for these two systems. Our results on topologic relate (...) early work of McKinsey on topological interpretations of S4 with recent work of Georgatos on topologic. Some of the results of this paper were presented at the 1992 conference on Theoretical Aspects of Reasoning about Knowledge. (shrink)

The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relational syllogistic. We identify several fragments based on (a) whether negation is permitted on all nouns, including those in the subject of a sentence; and (b) whether the subject noun phrase may contain a relative clause. The logics we present are extensions of the classical syllogistic, and we pay special attention to the question of whether reductio (...) ad absurdum is needed. Thus our main goal is to derive results on the existence (or nonexistence) of syllogistic proof systems for relational fragments. We also determine the computational complexity of all our fragments. (shrink)

The existence claim of a "genetic program" encoded in the DNA molecule which controls biological processes such as development has been examined. Sources of belief in such an entity are found in the rhetoric of Mendelian genetics, in the informationist speculations of Schrodinger and Delbruck, and in the instrumental efficacy found in the use of certain viral, and molecular genetic techniques. In examining specific research models, it is found that attempts at tracking the source of biological control always leads back (...) to the complex state of a cell as a whole, the organizational structure of which is not itself encoded in the DNA. It is argued that the "genetic program" is not an existing biological entity and its philosophical and heuristic status is challenged. (shrink)

In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small extension, called (...) SMPL +, which allows for a minimal predicate-binding operator. Perhaps surprisingly, the resulting system is shown to encode precisely the concepts expressible in first-order logic. However, unlike the latter class, the class of SMPL + expressions admits a simple procedural (context-free) characterization. Our contribution brings together research strands in logic—including natural logic, modal logic, description logic, and hybrid logic—with recent advances in semantics and philosophy of language. (shrink)

In dynamic epistemic logic and other fields, it is natural to consider relativization as an operator taking sentences to sentences. When using the ideas and methods of dynamic logic, one would like to iterate operators. This leads to iterated relativization. We are also concerned with the transitive closure operation, due to its connection to common knowledge. We show that for three fragments of the logic of iterated relativization and transitive closure, the satisfiability problems are fi1 11–complete. Two of these fragments (...) do not include transitive closure. We also show that the question of whether a sentence in these fragments has a finite (tree) model is fi0 01–complete. These results go via reduction to problems concerning domino systems. (shrink)

This paper obtains the weak completeness and decidability results for standard systems of modal logic using models built from formulas themselves. This line of work began with Fine (Notre Dame J. Form. Log. 16:229-237, 1975). There are two ways in which our work advances on that paper: First, the definition of our models is mainly based on the relation Kozen and Parikh used in their proof of the completeness of PDL, see (Theor. Comp. Sci. 113-118, 1981). The point is to (...) develop a general model-construction method based on this definition. We do this and thereby obtain the completeness of most of the standard modal systems, and in addition apply the method to some other systems of interest. None of the results use filtration, but in our final section we explore the connection. (shrink)

This article enlarges classical syllogistic logic with assertions having to do with comparisons between the sizes of sets. So it concerns a logical system whose sentences are of the following forms: Allxareyand Somexarey, There are at least as manyxasy, and There are morexthany. Herexandyrange over subsets (not elements) of a giveninfiniteset. Moreover,xandymay appear complemented (i.e., as$\bar{x}$and$\bar{y}$), with the natural meaning. We formulate a logic for our language that is based on the classical syllogistic. The main result is a soundness/completeness theorem. (...) There are efficient algorithms for proof search and model construction. (shrink)

The categories and contours of a normative social theory are prefigured by its ‘anthropological’ presuppositions. The discourse/communicative-theoretic basis of Habermasian theory was prefigured by a strong anthropological demarcation between an instrumentally structured realm of science, technology and labor versus a normatively structured realm of social interaction. An alternative anthropology, bolstered by current work in the empirical sciences, finds fundamental normative needs for orientation and ‘compensation’ also to be embedded in embodied material practices. An emerging anthropologically informed concept of skill that (...) goes beyond old manual versus intellectual dichotomies and brings forth internal criteria of autonomy and authenticity can serve as a new bridge between categories of social justice, such as Sen and Nussbaum’s basic human ‘capabilities’, and new cutting-edge work in the empirical human sciences and thereby provide Critical Theory with a renewed point of departure that is both normatively and descriptively rich, for advancing its dialectical, historical mission. (shrink)

There are many in the social sciences and social philosophy who would aspire to overcome the ‘nature/culture binary’, including some who, with at least an implicit nod toward a putatively ‘anti-essentialist’ process ontology, have set out with an orientation toward a paradigm of ‘biosocial becoming’ (Ingold and Palsson, 2013). Such contemporary work, however, in areas such as social and cultural anthropology and sciences studies has often failed to clarify, let alone justify, the warrants of their most basic assumptions and assertions. (...) In what follows, adumbrations will be offered for a comprehensive metaphysics of ‘biosocial becoming’ that can stand accountable both to empirical/descriptive and to normative claims. (shrink)

Radically new or unexpected findings in a science demand an openness to new concepts and styles of explanation. The time is more than ripe for asking ourselves what we have learned from the research program of comparative genomics. Where not long ago the human genome was expected to reveal a close association of complexity with the quantitative expansion of the roster of unique genes, more recent findings, especially in relation to comparisons between human and chimp, have raised the bracing possibility (...) that when it comes to complexity, it may be that `less is more'. But `less is more' is not the only observation or inference that follows from the data. The idea of `progressive detachment' will be introduced and set forth as the most perspicuous conceptual resource for unifying and interpreting the overall findings from comparative genomics to date. (shrink)

This thesis is intended t0 help develop the theory 0f coalgebras by, Hrst, taking classic theorems in the theory 0f universal algebras amd dualizing them and, second, developing an interna] 10gic for categories 0f coalgebras. We begin with an introduction t0 the categorical approach t0 algebras and the dual 110tion 0f coalgebras. Following this, we discuss (c0)a,lg€bra.s for 2. (c0)monad and develop 2. theory 0f regular subcoalgebras which will be used in the interna] logic. We also prove that categories 0f (...) coalgebras are completc, under reasonably weak conditions, and simultaneously prove the wellknown dual result for categories 0f algebras. We dose the second chapter with 2. discussion 0f bisimulations in which we introduce a weaker 110tion 0f bisimulaticn than is current in the literature, but which is w€H—b€ha.v€d and reduces t0 the standard defmition under the assumption 0f choice. (shrink)

Much of the philosophical attention directed to Kant’s intervention into biology has been directed toward Kant’s idea of a transcendental limit upon what can be understood constitutively. Kant’s own wider philosophical practice, however, was principally oriented toward solving problems and the scientific benefits of his methodology of teleology have been largely underappreciated, at least in the English language literature. This paper suggests that all basic biology has had, and continues to have, a need for some form of heuristic “bracketing” and (...) that a renewal of some form of, albeit flexible, teleological methodological bracketing can better complement the productive assimilation into developmental biology of continuing advances in our understanding of the mesoscale physics and chemistry of soft, excitable condensed matter, than what has been the prevailing and de facto use of a form of bracketing shaped by the neoDarwinian Modern Synthesis. Further we offer a concept of biogeneric processes and a framework of physico-genetic “dynamical patterning modules”, that can begin to account for the appearance of new Kantian “stocks of Keime und Anlagen”, capable of potentiating some range of possible organismal forms, and provide grounds for moving up the teleological “goalposts”, i.e., expanding the range of what can be accounted for on a constitutive basis. (shrink)

Has the renewal of interest in the ostensible agency of living beings signaled an advance from a merely heuristic Kantian sense of purposiveness to an unequivocally, empirically grounded research program or are there as yet hidden tensions or contradictions in, for example, the organizational autonomy approach to natural agency? Can normativity be found to be immanent in nature but only beginning with the living cell or must a thoroughgoing naturalism find the seeds of normativity immanent throughout abiotic as well as (...) biotic nature? Beginning with a brief exposition of Kant´s influential treatment and recommendation for how to methodologically combine what he took to be the inevitable epistemological limit to explaining the origins of ostensible biotic purposefulness with the legitimate intentions of scientific research and explanation, this essay will critically engage with three recent essays that attempt to grapple with the preceding questions. Having putatively raised questions about the consistency and adequacy of each of the individual positions, the essay will attempt to move synthetically, drawing upon aspects of all three contributions, in the direction of a “cooperativity theoretic” approach to incipient natural normativity and agency. (shrink)

From a subjective point of view, we take the existence of integrated entities, i.e., ourselves as the most unproblematic given, and blithely project such integrity onto untold many “entities” far and wide. However, from a naturalistic perspective, accounting for anything more integral than the attachments and attractions that are explicable in terms of the four fundamental forces of physics has been anything but straightforward. If we take it that the universe begins as an integral unity and explodes into progressive stages (...) of internal detachment, then we can also fathom the idea that eddies of relative detachment becoming increasingly integral. Helmuth Plessner made a powerful case for the onset of “positionality” constituting one of the major transitions in nature. Surely, the emergence of “entities” that position themselves in relation to their surround marks a decisive transition in relative levels of detachment and some would say “autonomy.” It would follow, with no less force, that where and when entities can be seen to be normatively integrated, and indeed to be the agents of their own normativity, that another threshold of detachment has been crossed. The paper introduces and explores the idea that normativity, embedded in a wide-ranging theory of natural detachment, can be considered an emergent force of nature that is requisite to accounting for levels of integration beyond that which is explicable in terms of the four fundamental forces of physics. Following this line of enquiry, we argue that the first expression of a fully, normatively-integrated life-form is neither a spoken language user nor for that matter an individual but rather the neoteny-based, Homo erectus Group. In so doing we claim to have made an inroad into embedding the force of normativity into a wide-ranging naturalist framework, to have provided philosophical anthropology with a new point of departure, and at least playfully, to have given some naturalistic grist to Hegel’s proclamation that spirit is the truth of nature. (shrink)

This paper provides a foundation for the polarity marking technique introduced by David Dowty [3] in connection with monotonicity reasoning in natural language and in linguistic analyses of negative polarity items based on categorial grammar. Dowty's work is an alternative to the better-known algorithmic approach first proposed by Johan van Benthem [11], and elaborated by Víctor Sánchez Valencia [10]. Dowty's system internalized the monotonicity/polarity markings by generating strings using a categorial grammar whose categories already contain the markings that the earlier (...) system would obtain by separate steps working on an already-derived string. Despite the linguistic advantages of the internalized system, no soundness proof has yet been given for it. This paper offers an account. The leading mathematical idea is to interpret categorial types as preorders (in order to talk about monotonicity in the first place), and then to add a primitive operation to the type hierarchy of taking the opposite of a preorder (in order to capture monotone decreasing functions). At the same time, the use of internalized categories also raises issues. Although these will not be addressed in full, the paper points out possible approaches to them. (shrink)

This paper considers the correspondence theory from modal logic and obtains correspondence results for models as opposed to frames. The key ideas are to consider infinitary modal logic, to phrase correspondence results in terms of substitution instances of a given modal formula, and to identify bisimilar model-world pairs.

John R. Searle’s 1995 publication The Construction of Social Reality is the foundation of this collection of scholarly papers examining Searle's philosophical theories. Searle’s book sets out to reconstruct the ontology of the social sciences through an analysis of linguistic practices in the context of his celebrated work on intentionality. His book provided a stimulating account of institutional facts such as money and marriage and how they are created and replicated in everyday social life. The authors in this collection provide (...) a critical appraisal of these and other ideas presented in Searle’s original publication. The editors' introduction clearly outlines the main issues in the debate and provides a useful introduction to Searle's contributions to social science. (shrink)

This paper adds comparative adjectives to two systems of syllogistic logic. The comparatives are interpreted by transitive and irreflexive relations on the underlying domain. The main point is to obtain sound and complete axiomatizations of the valid formulas in the logics.

We consider the use ofevolving algebra methods of specifying grammars for natural languages. We are especially interested in distributed evolving algebras. We provide the motivation for doing this, and we give a reconstruction of some classic grammar formalisms in directly dynamic terms. Finally, we consider some technical questions arising from the use of direct dynamism in grammar formalisms.

In lieu of an abstract, here is a brief excerpt of the content:Proudly Jewish—and Averse to CircumcisionLisa Braver MossI've always had a strong sense of my Jewish identity—and I've always had grave misgivings about circumcision. It used to seem that these [End Page 86] statements were at odds with one another. Now I'm on a mission to integrate the two.I'm married to a man who's also Jewish. In the late 1980s, we had two sons, whose circumcisions I agreed to. Brit (...) milah (the covenant of circumcision) is intended as a spiritually meaningful act symbolizing the agreement between God and the Jewish people. But for me, the experience was so upsetting that I didn't feel God's presence. In spite of all the arguments in favor—the weight of tradition, wanting my boys to be accepted in the Jewish world, and so on—I came to regret my acquiescence.I began to explore reasons to question circumcision from a Jewish point of view, publishing articles in Jewish magazines and speaking at conferences. Rather than focusing on the medical pros and cons, I wrote about Jewish law and ethics, and spoke with many rabbis. I was hoping to deepen Jewish dialogue on this topic, which was oddly off-limits in a culture that values intellectual inquiry.Besides helping me understand more about Judaism, my research and writing was a way of living with my guilt. I had succumbed to—and put my boys through—a tradition that went completely against my maternal instincts. This schism had made me doubt myself as a new mother. What kind of parent was I if I couldn't be a fierce protector of my newborn baby? It was not a positive or welcoming way for me to enter into motherhood.I blamed myself. I hadn't done medical research before my boys were born, trusting instead in the longevity of the tradition and the claim that circumcision is more hygienic. I bought into the medical justifications for circumcision—all of which, I later learned, fail to acknowledge the erogenous nature of foreskin tissue and its physiological function. If I'd known more; if I'd thought more deeply about infant trauma; if I'd taken my own spirituality more seriously—I would have fought for a different outcome, despite the pressure I felt as a Jewish person.Years went by. I wrote a novel about Jewish circumcision, then co-wrote a book of alternative bris ceremonies for families opting out of circumcision. Slowly, I came to understand that blaming myself for agreeing to circumcise my sons was not only a waste of time, but also missed the larger point. I'm not alone in my objections to this ancient tradition. Indeed, many Jewish parents get through the event with white knuckles, emotional detachment, alcohol, or sedatives rather than with genuine religious feeling. Shouldn't their spiritual authenticity matter? Shouldn't mine have mattered?In Judaism, every commandment (of which circumcision is one) should be approached with kavanah, or spiritual intent. Thus, my non-spiritual feelings about the circumcision tradition are problematic from a Jewish point of view. I should have been able to tell the rabbi I didn't really believe circumcision was what God wanted me to do. I wish I'd been guided in coming to a decision that reflected my actual spirituality. Instead, all that seemed to matter to anyone was getting the deed done.Going against my instincts and spirituality was not just my failing—it also represented an institutional failing. Jewish leaders and rabbis aren't trained to respond compassionately to those averse to circumcision. Even parents merely questioning the practice may be subjected to judgment, lectures, and condescension. Parents deciding not to circumcise may face all that and more: in some synagogues in the U.S., boys that have not been circumcised are currently being denied bar mitzvah.________In the Jewish world, we tend to look upon circumcision as the one monolithic tradition: we assume that every Jewish male is circumcised and that no one talks about or questions this. The truth is that throughout our history, there have been males who, for various reasons, did not undergo the ritual... (shrink)

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and (...) natural language and reasoning. (shrink)

We study logical systems for reasoning about equations involving recursive definitions. In particular, we are interested in "propositional" fragments of the functional language of recursion FLR [18, 17], i.e., without the value passing or abstraction allowed in FLR. The "pure," propositional fragment FLR 0 turns out to coincide with the iteration theories of [1]. Our main focus here concerns the sharp contrast between the simple class of valid identities and the very complex consequence relation over several natural classes of models.

We study logical systems for reasoning about equations involving recursive definitions. In particular, we are interested in "propositional" fragments of the functional language of recursion FLR [18, 17], i.e., without the value passing or abstraction allowed in FLR. The "pure," propositional fragment FLR$_0$ turns out to coincide with the iteration theories of [1]. Our main focus here concerns the sharp contrast between the simple class of valid identities and the very complex consequence relation over several natural classes of models.

This paper explores relational syllogistic logics, a family of logical systems related to reasoning about relations in extensions of the classical syllogistic. These are all decidable logical systems. We prove completeness theorems and complexity results for a natural subfamily of relational syllogistic logics, parametrized by constructors for terms and for sentences.