The domain relativity of evolutionary contingency

Inspired by an interesting quotation from the literature, we propose four modalities, called ‘sane belief’, ‘insane belief’, ‘reliable belief’ and ‘unreliable belief’, and introduce logics with each operator as the modal primitive. We show that the four modalities constitute a square of opposition, which indicates some interesting relationships among them. We compare the relative expressivity of these logics and other related logics, including a logic of false beliefs from the literature. The four main logics are all less expressive than the standard modal logic over various model classes, and the logics of sane and insane beliefs are, respectively, equally expressive as the logics of unreliable and reliable beliefs on any class of models. The logics of reliable and unreliable beliefs are then combined into a bimodal logic, which turns out to be equally expressive as the standard modal logic. Despite this, we cannot obtain a complete axiomatization of the minimal bimodal logic, by simply translating the axioms and rules of the minimal modal logic $\textbf{K}$ into the bimodal language. We then introduce a schematic modality which unifies reliable and unreliable beliefs and axiomatize it over the class of all frames and also the class of serial frames. This line of research is finally extended to unify sane and insane beliefs and some axiomatizations are given.

There has been a significant interest in modal logics with intersection, prominent examples including epistemic and doxastic logics with distributed knowledge, propositional dynamic logic with intersection, and description logics with concept intersection. Completeness proofs for such logics tend to be complicated, in particular on model classes such as S5 used, e.g., in standard epistemic logic, mainly due to the undefinability of intersection of modalities in standard modal logic. A standard proof method for the S5 case uses an “unraveling-folding” technique to achieve a treelike model to deal with the problem of undefinability. This method, however, is not easily adapted to other logics, due to its reliance on S5 in a number of steps. In this paper we demonstrate a simpler and more general proof technique by building a treelike canonical model directly, which avoids the complications in the processes of unraveling and folding. We illustrate the technique by showing completeness of the normal modal logics K, D, T, B, S4 and S5 extended with intersection modalities. Furthermore, these treelike canonical models are compatible with Fischer-Ladner-style closures, and we combine the methods to show the completeness of the mentioned logics further extended with transitive closure of union modalities known from PDL or epistemic logic. Some of these completeness results are new.

Stephen Jay Gould argued that replaying the 'tape of life' would result in radically different evolutionary outcomes. Recently, biologists and philosophers of science have paid increasing attention to the theoretical importance of convergent evolution-the independent origination of similar biological forms and functions-which many interpret as evidence against Gould's thesis. In this paper, we examine the evidentiary relevance of convergent evolution for the radical contingency debate. We show that under the right conditions, episodes of convergent evolution can constitute valid natural experiments that support inferences regarding the deep counterfactual stability of macroevolutionary outcomes. However, we argue that proponents of convergence have problematically lumped causally heterogeneous phenomena into a single evidentiary basket, in effect treating all convergent events as if they are of equivalent theoretical import. As a result, the 'critique from convergent evolution' fails to engage with key claims of the radical contingency thesis. To remedy this, we develop ways to break down the heterogeneous set of convergent events based on the nature of the generalizations they support. Adopting this more nuanced approach to convergent evolution allows us to differentiate iterated evolutionary outcomes that are probably common among alternative evolutionary histories and subject to law-like generalizations, from those that do little to undermine and may even support, the Gouldian view of life.

Reasoning about preferences is a fundamental component of rationality, and therefore central in AI and computational social choice. Most logic-based frameworks for representing and reasoning about preferences assume that preferences are arbitrarily given, typically as a ranking of a set of alternatives or using utilities, with little concern about how preferences are formed or where they come from. Recent work in rational choice theory, however, has devoted attention to giving more internal structure to the notion of rationality, focusing more on the faculties of individual agents, such as their mood, mindset, and motivating reasons. In this paper we develop a modal logic for reasoning about preferences that depend on a set of motivationally salient properties, based on recent work on reasons behind preferences by Dietrich and List. The main result is that we show how the problem of reasoning in this logic can be translated to reasoning in a standard modal logic (KT with universal modality), and consequently that reasoning systems and algorithms developed for modal logic (with universal modality) can be employed for reasoning about reason-based preferences.

In this paper I give conditions under which a matrix characterisation of validity is correct for first order logics where quantifications are restricted by statements from a theory. Unfortunately the usual definition of path closure in a matrix is unsuitable and a less pleasant definition must be used. I derive the matrix theorem from syntactic analysis of a suitable tableau system, but by choosing a tableau system for restricted quantification I generalise Wallen's earlier work on modal logics. The tableau system is only correct if a new condition I call “alphabetical monotonicity” holds. I sketch how the result can be applied to a wide range of logics such as first order variants of many standard modal logics, including non-serial modal logics.

14 Hybrid logics

Quantified modal inferences interest logicians, linguists, and computer scientists, but no previous psychological study of them appears to be in the literature. Here is an example of one: All those artists are businessmen. Paulo is possibly one of the artists. What follows? People tend to conclude: Paulo is possibly a businessman (Experiment 1). It seems plausible, and it follows from an intuitive mental model in which Paulo is one of a set of artists who are businessmen. Further deliberation can yield a model of an alternative possibility in which Paulo is not one of the artists, which confirms that the conclusion is only a possibility. The snag is that standard modal logics, which deal with possibilities, cannot yield a particular conclusion to any premises: Infinitely many follow validly (from any premises) but they do not include the present conclusion. Yet, further experiments corroborated a new mental model theory's predictions for various inferences (Experiment 2), for the occurrence of factual conclusions drawn from premises about possibilities (Experiment 3) and for inferences from premises of modal syllogisms (Experiment 4). The theory is therefore plausible, but we explore the feasibility of a cognitive theory based on modifications to modal logic.

In standard modal logic, □ ≡ ∼◊ ∼ and ◊ ≡ ∼□∼. I will, first, examine why in tense-logic, Arthur Prior thinks that ∼ ◊ ∼ is weaker than □ and ∼ □ ∼ is weaker than ◊. I will, then, examine whether there are similar motivations in modal logic to take ∼ ◊ ∼ to be weaker than □ and ∼ □ ∼ to be weaker than ◊. The upshot will be that, just as certain metaphysical views within the philosophy of time (e.g., Presentism) motivate one to deny the standard tense equivalences, certain metaphysical views within the metaphysics of modality (e.g., Contingentism, nonmodalism) motivate one to deny the standard modal equivalences.

Convergent evolution, the evolution of similar phenotypes among distantly related lineages, is often attributed to adaptation in response to similar selective pressures. Here, we assess the prevalence and degree of convergence in functional traits of stream fishes at the microhabitat scale in five zoogeographical regions across the world. We categorized species by microhabitat, water velocity and preference for substrate complexity and calculated the prevalence of convergence, degree of convergence and functional diversity for each category. Among species occupying similar microhabitats of small, low-gradient streams, 34% had combinations of convergent traits. Convergence occurred at higher rates than expected by chance alone, implying that adaptation to similar environmental conditions often resulted in similar evolutionary patterns along multiple niche dimensions. Two of the microhabitat groupings had significantly convergent species represented in all zoogeographical regions. Fishes occupying microhabitats with high water velocity and low structural complexity generally occupied a restricted morphospace and exhibited greater prevalence and higher degrees of convergence. This suggests that water velocity and habitat structural complexity interact, selecting a restricted distribution of trait distributions and higher degrees of convergence in stream fish assemblages. Furthermore, these results suggest that microhabitat features in streams select for fish trait distributions in a fairly predictable and deterministic manner worldwide.

The study of evolutionary patterns of cognitive convergence would be greatly helped by a clear demarcation of cognition. Cognition is often used as an equivalent of mind, making it difficult to pin down empirically or to apply it confidently beyond the human condition. Recent developments in embodied cognition and philosophy of biology now suggest an interpretation that dissociates cognition from this mental context. Instead, it anchors cognition in a broad range of biological cases of intelligence, provisionally marked by a basic cognitive toolkit. This conception of cognition as an empirically based phenomenon provides a suitable and greatly expanded domain for studies of evolutionary convergence. This paper first introduces this wide, biologically embodied interpretation of cognition. Second, it discusses examples drawn from studies on bacteria, plants and fungi that all provide cases fulfilling the criteria for this wide interpretation. Third, the field of early nervous system evolution is used to illustrate how biologically embodied cognition raises new fundamental questions for research on animal cognition. Finally, an outline is given of the implications for the evolutionary convergence of cognition.

In “Must ...stay ...strong!” (von Fintel and Gillies in Nat Lang Semant 18:351–383, 2010. https://doi.org/10.1007/s11050-010-9058-2), we set out to slay a dragon, or rather what we called The Mantra: that epistemic must has a modal force weaker than expected from standard modal logic, that it doesn’t entail its prejacent, and that the best explanation for the evidential feel of must is a pragmatic explanation. We argued that all three sub-mantras are wrong and offered an explanation according to which must is strong, entailing, and the felt indirectness is the product of an evidential presupposition carried by epistemic modals. Mantras being what they are, it is no surprise that each of the sub-mantras have been given new defenses. Here we offer them new problems and update our picture, concluding that must is (still) strong.

An interpolation theorem holds for many standard modal logics, but first order S5 is a prominent example of a logic for which it fails. In this paper it is shown that a first order S5 interpolation theorem can be proved provided the logic is extended to contain propositional quantifiers. A proper statement of the result involves some subtleties, but this is the essence of it.

There are two typical ways to formalize reasoning over time. The first is in a modal logic where time is characterized implicitly through tense operators. The second addresses time explicitly in a first-order theory, where the reasoning is itself essentially first order. In this paper we shall introduce an amalgamated temporal logic which combines the tense operators of the modal approach with the referential aspects of the first-order approach.The modal operators of the new logic, called IQ-C, include the familiar tense operators plus a few new ones; together they allow complex temporal propositions to be represented in a compact form. Unlike standard modal temporal logics, IQ-C contains terms which refer to times; this allows the logic to characterize certain temporal properties and operators which cannot be axiomatized or defined by conventional modal operators. IQ-C is expressively complete over any connected flow of time, and has several other interesting theoretical properties, some of which will be developed in this paper.Most interval logics take one of two approaches to temporal assertions; either they analyze assertions for intervals in terms of assertions at points, or they treat intervals as primitive, allowing assertions for intervals but not at points. IQ-C allows assertions both for intervals and at points, and treats them as independent; this yields a special degree of semantic discrimination and at the same time simplifies the representation of several temporal properties. In this paper we shall outline the IQ-C framework, specifying its special features and defining its semantics. We shall also extend a method of skolemization, which is designed to support a resolution based approach to the proof theory. This will be sketched in some detail, with a view to providing a preliminary account of the basic proof theory. A complete specification of the deductive theory, together with relevant proofs, will be developed elsewhere.KeywordsIntervalsPointsTemporal Representation and ExpressivenessHomogeneitySkolemizationand Modal Theorem Proving

We propose a notion of focusing for nested sequent calculi for modal logics which brings down the complexity of proof search to that of the corresponding sequent calculi. The resulting systems are amenable to specifications in linear logic. Examples include modal logic \(\mathsf {K}\), a simply dependent bimodal logic and the standard non-normal modal logics. As byproduct we obtain the first nested sequent calculi for the considered non-normal modal logics.KeywordsModal LogicInference RuleModal RuleLinear LogicSequent CalculusThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

In classical quantificational logic, every individual constant is assigned a value from the domain of discourse, thus ensuring that every instance of \(\exists x(x=\alpha )\) is valid and so a theorem of a complete logic. Standard tense and modal logics validate a rule of necessitation, according to which, crudely, every theorem is always and necessarily true. Combining these two generates the result that everything always and necessarily exists. In a number of works from the late 1950s through to his death in 1969, Prior worked to develop tense and modal logics that avoided these results. Prior’s key idea was to reject the rule of necessitation. In this essay, I present and criticize Prior’s account of the contingency of existence and offer a more satisfying account that shares many of the virtues of Prior’s account.