Preface This volume contains essays written during the period 1972-1980. They are arranged roughly in order of composition. Except for the Introduction, ...

A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the (...) rich will enroll. There are many different things one can say about this argument, but many agree that if we do not equivocate (if the terms mean the same thing in the premises and the conclusion) then the argument is valid, that is, the conclusion follows deductively from the premises. This does not mean that the conclusion is true. Perhaps the premises are not true. However, if the premises are true, then the conclusion is also true, as a matter of logic. This entry is about the relation between premises and conclusions in valid arguments. (shrink)

Fundamental Buddhist teachings -- Main features of some western ethical theories -- Teravāda ethics as rule-consequentialism -- Mahāyāna ethics before Śāntideva and after -- Transcending ethics -- Buddhist ethics and the demands of consequentialism -- Buddhism on moral responsibility -- Punishment -- Objections and replies -- A Buddhist response to Kant.

One of the great successes in the study of language has been the application of formal methods, including those of formal logic. Even so, this chapter argues against one way of accounting for this success, by arguing that the study of natural language semantics and of logical consequence relations are not the same. There is indeed a lot we can glean about logic from looking at our languages, and at our inferential practices, but the semantic properties of natural languages do (...) not determine genuine logical consequence relations. We can get from natural language semantics to logical consequence, but only by a significant process of identification of logical constants, abstraction, and idealization. The chapter also discusses different approaches to the nature of logical consequence, and examines which allow logic and natural language to come closer together. (shrink)

It is widely recognized that ‘global’ symmetries, such as the boost invariance of classical mechanics and special relativity, can give rise to direct empirical counterparts such as the Galileo-ship phenomenon. However, conventional wisdom holds that ‘local’ symmetries, such as the diffeomorphism invariance of general relativity and the gauge invariance of classical electromagnetism, have no such direct empirical counterparts. We argue against this conventional wisdom. We develop a framework for analysing the relationship between Galileo-ship empirical phenomena on the one hand, and (...) physical theories that model such phenomena on the other, that renders the relationship between theoretical and empirical symmetries transparent, and from which it follows that both global and local symmetries can give rise to Galileo-ship phenomena. In particular, we use this framework to exhibit an analogue of Galileo’s ship for the local gauge invariance of electromagnetism. 1 Introduction2 Analogues of Galileo’s Ship? Faraday’s Cage and t’Hooft’s Beam-Splitter2.1 Faraday’s cage2.2 t’Hooft’s beam-splitter3 A Framework for Symmetries I: Systems and Subsystems4 An Example: Coulombic Electrostatics5 A Framework for Symmetries II: The Relationship between Theoretical and Empirical Symmetries6 Newtonian Gravity7 Local Symmetries that Are Not Boundary-Preserving: Classical Electromagnetism and Faraday’s Cage8 Local Boundary-Preserving Symmetries: Klein-Gordon-Maxwell Gauge Theory and t’Hooft’s Beam-Splitter9 Summary10 Conclusions. (shrink)

In his classic 1936 essay "On the Concept of Logical Consequence", Alfred Tarski used the notion of satisfaction to give a semantic characterization of the logical properties. Tarski is generally credited with introducing the model-theoretic characterization of the logical properties familiar to us today. However, in his book, The Concept of Logical Consequence, Etchemendy argues that Tarski's account is inadequate for quite a number of reasons, and is actually incompatible with the standard model-theoretic account. Many of his criticisms are meant (...) to apply to the model-theoretic account as well. In this paper, I discuss the following four critical charges that Etchemendy makes against Tarski and his account of the logical properties: (1) (a) Tarski's account of logical consequence diverges from the standard model-theoretic account at points where the latter account gets it right. (b) Tarski's account cannot be brought into line with the model-theoretic account, because the two are fundamentally incompatible. (2) There are simple counterexamples (enumerated by Etchemendy) which show that Tarski's account is wrong. (3) Tarski committed a modal fallacy when arguing that his account captures our pre-theoretical concept of logical consequence, and so obscured an essential weakness of the account. (4) Tarski's account depends on there being a distinction between the "logical terms" and the "non-logical terms" of a language, but (according to Etchemendy) there are very simple (even first-order) languages for which no such distinction can be made. Etchemendy's critique raises historical and philosophical questions about important foundational work. However, Etchemendy is mistaken about each of these central criticisms. In the course of justifying that claim, I give a sustained explication and defense of Tarski's account. Moreover, since I will argue that Tarski's account and the model theoretic account really do come to the same thing, my subsequent defense of Tarski's account against Etchemendy's other attacks doubles as a defense against criticisms that would apply equally to the familiar model-theoretic account of the logical properties. (shrink)

This paper contains a detailed account of the notion of admissibility in the setting of consequence relations. It is proved that the two notions of admissibility used in the literature coincide, and it provides an extension to multi–conclusion consequence relations that is more general than the one usually encountered in the literature on admissibility. The notion of a rule scheme is introduced to capture rules with side conditions, and it is shown that what is generally understood under the extension of (...) a consequence relation by a rule can be extended naturally to rule schemes, and that such extensions capture the intuitive idea of extending a logic by a rule. (shrink)

"Composition as identity" is the radical claim that the whole is identical to the parts - radical because it implies that a single object can be identical to many objects. Composition as identity, together with auxiliary assumptions, implies the principle of "collapse": an object is one of some things if and only it is part of the fusion of those things. Collapse has important implications: the comprehension principle of plural logic must be restricted, plural definite descriptions such as "the Cheerios (...) in the bowl" are empty, Composition as identity does not preclude emergent properties (contrary to what McDaniel has argued), and drastic simplifications of mereological and logical ideology are extensionally available. (shrink)

Recent work in philosophical logic has taken interesting and unexpected turns. It has seen not only a proliferation of logical systems, but new applications of a wide range of different formal theories to philosophical questions. As a result, philosophers have been forced to revisit the nature and foundation of core logical concepts, chief amongst which is the concept of logical consequence. This essay sets the contributions of the volume in context and identifies how they advance important debates within the philosophy (...) of logic. (shrink)

In this paper I ask what logical consequence is, and give an answer that is somewhat different from the usual ones. It isn’t clear why anyone would need a new approach to logical consequence, so I begin by explaining the work that I need the answer to do and why the standard conceptions aren’t adequate. Then I articulate a replacement view which is.

Since at least the 1960s, deontic logicians and ethicists have worried about whether there can be normative systems that allow conflicting obligations. Surprisingly, however, little direct attention has been paid to questions about how we may reason with conflicting obligations. In this paper, I present a problem for making sense of reasoning with conflicting obligations and argue that no deontic logic can solve this problem. I then develop an account of reasoning based on the popular idea in ethics that reasons (...) explain obligations and show that it solves this problem. (shrink)

The standard semantic definition of consequence with respect to a selected set X of symbols, in terms of truth preservation under replacement (Bolzano) or reinterpretation (Tarski) of symbols outside X, yields a function mapping X to a consequence relation ⇒x. We investigate a function going in the other direction, thus extracting the constants of a given consequence relation, and we show that this function (a) retrieves the usual logical constants from the usual logical consequence relations, and (b) is an inverse (...) to—more precisely, forms a Galois connection with—the Bolzano-Tarski function. (shrink)

All other things being equal the parser favors attaching an ambiguous modifier to the most recent possible site. A plausible explanation is that locality preferences such as this arise in the service of minimizing memory costs—more distant sentential material is more difficult to reactivate than more recent material. Note that processing any sentence requires linking each new lexical item with material in the current parse. This often involves the construction of long‐distance dependencies. Under a resource‐limited view of language processing, lengthy (...) integrations should induce difficulty even in unambiguous sentences. To date there has been little direct quantitative evidence in support of this perspective. This article presents 2 self‐paced reading studies, which explore the hypothesis that dependency distance is a fundamental determinant of reading complexity in unambiguous constructions in English. The evidence suggests that the difficulty associated with integrating a new input item is heavily determined by the amount of lexical material intervening between the input item and the site of its target dependents. The patterns observed here are not straightforwardly accounted for within purely experience‐based models of complexity. Instead, this work supports the role of a memory bottleneck in language comprehension. This constraint arises because hierarchical linguistic relations must be recovered from a linear input stream. (shrink)

Large language model (LLM) agents are increasingly deployed in sequential decision-making pipelines where each action irrevocably modifies the environment. Existing agentic architectures commit to action sequences generated by the LLM without systematically evaluating the downstream consequences of those sequences prior to execution - a fundamental gap that amplifies risk and limits accountability. We introduce Consequence-Aware Agentic AI (CA2I), a formal framework that augments the standard generate-then-execute paradigm with a dedicated Consequence Assessment Module (CAM). CAM evaluates every candidate action sequence (...) against a historical consequence model and selects the sequence whose predicted outcome optimally balances return and risk before any irreversible action is taken. We formalise the framework as a constrained sequential decision problem and prove that, under mild stationarity assumptions, Sharpe-ratio-based selection dominates random selection in expectation. To validate the framework empirically, we instantiate CA2I in the domain of LLM-driven financial trading strategy selection, using GPT-5.4 to generate five candidate strategies per asset and a backtesting engine as the consequence model. Experiments on ten diversified US equities over a strictly held-out three-month out-of-sample window (August--October~2025) demonstrate that CA2I achieves a mean test-period Sharpe ratio of 0.51 - a 4.25 times improvement over random strategy selection (Sharpe = 0.12, p = 0.041) - while reducing mean maximum drawdown relative to buy-and-hold by 18%. Sensitivity analysis confirms selection stability: Sharpe-ratio and Calmar-ratio selection agree on 100% of strategy choices across all ten assets. We further demonstrate that CA2I provides a concrete, computationally tractable pathway toward Responsible AI in agentic systems: by making consequence evaluation an explicit, auditable, and mathematically grounded architectural step, the framework operationalises transparency, accountability, and harm avoidance as mandated by the EU AI Act, NIST AI Risk Management Framework, and IEEE Ethically Aligned Design standards. (shrink)

We generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the use criterion, according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each be used in some way to obtain the conclusion(s). This relevance intuition turns out to require not just a failure of monotonicity, but also a move to considering consequence relations as obtaining between multisets. We motivate and state (...) basic definitions of relevant consequence relations, both in single conclusion (asymmetric) and multiple conclusion (symmetric) settings, as well as derivations and theories, guided by the use intuitions, and prove a number of results indicating that the definitions capture the desired results (at least in many cases). (shrink)

This chapter scrutinizes the Consequence Argument for the incompatibility of free will and determinism within an interventionist causal-modelling framework. Traditional discussions of the argument presuppose that causal reasoning concerns the temporal evolution of total states of the universe. By contrast, interventionism focuses on how local, small-scale systems evolve according to causal generalizations that fall short of being laws. It also assigns an important role to interventions: external influences on a system that disrupt the causal generalizations which apply to it. When (...) the Consequence Argument is recast in interventionist terms, the argument can be seen to rely on a false premise. In particular, interventionism supports at most a qualified variant of determinism, which is insufficient for the Consequence Argument to go through. Finally, the chapter compares the present response to the argument with David Lewis’s local miracle compatibilism. (shrink)

Three experiments investigated the hypothesis that internally generated images and thoughts were driven by meaning complexes, a construct which reflects a synthesis of semantic meaning and personal salience . Experiments 1 and 2 contrasted the mutual inhibition between encoding words and non-words on: the frequency that thoughts and images unrelated to the task were experienced and on the intensity of images generated from long-term memory and maintained under dual task conditions, which whilst familiar were not of particular personal salience . (...) Experiment 3 examined the physiological arousal associated with the experience of TUT in a semantic encoding task. Evidence suggested that, in general, internally generated images and thoughts, irrespective of the personal salience, were suppressed by the co-ordination of information in working memory. In addition, only the experience of spontaneous images and thoughts of personal salience interfered reliably with the encoding/retrieval of semantic information from memory. Finally, in Experiment 3, physiological arousal, as indexed by mean heart rate, was associated with a high frequency of TUT. The results of all three experiments support the notion that the maintenance of spontaneously occurring images and thoughts is simultaneously influenced by both the semantic content and the personal salience of the information held in working memory. (shrink)

We characterize all finitary consequence relations over S4.3, both syntactically, by exhibiting so-called passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic L extending S4 has projective unification if and only if L contains S4.3. In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known (...) results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relations over S4.3 is countable and distributive and it forms a Heyting algebra. (shrink)

As a moral foundation for vegetarianism and other consumer choices, act consequentialism can be appealing. When we justify our consumer and dietary choices this way, however, we face the problem that our individual actions rarely actually precipitate more just agricultural and economic practices. This threshold or individual impotence problem engaged by consequentialist vegetarians and their critics extends to morally motivated consumer decision-making more generally, anywhere a lag persists between individual moral actions taken and systemic moral progress made. Regan and others (...) press just this point against Singer's utilitarian basis for vegetarianism; recently Chartier criticizes act-consequentialist vegetarianism by identifying many factors weakening the connection between individual meat purchases and changes in animal production. While such factors are relevant to act-consequentialist moral reasoning, I argue, they need not defeat the act-consequentialist case for vegetarianism and consumer ethics. This is shown by offering a probabilistic account of the threshold issue and discussing the positive and negative role-modelling effects of our morally motivated dietary and consumer choices. (shrink)

In this paper, we consider certain cardinals in ZF (set theory without AC, the axiom of choice). In ZFC (set theory with AC), given any cardinals C and D, either C ≤ D or D ≤ C. However, in ZF this is no longer so. For a given infinite set A consider $\operatorname{seq}^{1 - 1}(A)$ , the set of all sequences of A without repetition. We compare $|\operatorname{seq}^{1 - 1}(A)|$ , the cardinality of this set, to |P(A)|, the cardinality of (...) the power set of A. What is provable about these two cardinals in ZF? The main result of this paper is that $ZF \vdash \forall A(|\operatorname{seq}^{1 - 1}(A)| \neq|\mathscr{P}(\mathscr{A})|)$ , and we show that this is the best possible result. Furthermore, it is provable in ZF that if B is an infinite set, then $|\operatorname{fin}(B)| <|\mathscr{P}(B)|$ even though the existence for some infinite set B* of a function f from $\operatorname{fin}(B^\ast)$ onto P(B*) is consistent with ZF. (shrink)

Consequence rleations over sets of "judgments" are defined by using "overdetermined" as well as "underdetermined" valuations. Some of these relations are shown to be categorical. And generalized soundness and completeness results are given for both multiple and single conclusion consequence relations.

Peter van Inwagen’s original formulation of the Consequence Argument employed an inference rule that was shown to be invalid given van Inwagen’s interpretation of the modal operators in the Consequence Argument. In response, van Inwagen recently suggested a revised interpretation of his modal operators. Following up on a debate between Blum and Schnieder, I analyze van Inwagen’s revised interpretation in terms of explanatory notions and I argue that van Inwagen faces a dilemma: he either has to admit that beta entails (...) fatalism, or he has to admit that a new counterexample invalidates beta. Either way, it seems reasonable to reject beta and to conclude that the Consequence Argument fails. Further, I argue that Widerker’s well-known substitute for rule beta is faced with a similar dilemma and, therefore, is bound to fail as well. I conclude that, if the modal operators are interpreted in terms of explanatory notions, neither van Inwagen’s nor Widerker’s rule of inference turns out to be valid. (shrink)

The Consequence Argument has elicited various responses, ranging from acceptance as obviously right to rejection as obviously problematic in one way or another. Here we wish to focus on one specific response, according to which the Consequence Argument begs the question. This is a serious accusation that has not yet been adequately rebutted, and we aim to remedy that in what follows. We begin by giving a formulation of the Consequence Argument. We also offer some tentative proposals about the nature (...) of begging the question. Although the charge of begging the question is frequently made in philosophy, it is surprisingly difficult to pin down the precise nature of this dialectical infelicity (or family of such infelicities). Thus we offer some new proposals about the nature of begging the question with an eye to understanding what is going on in central cases in which the charge is legitimately made. We then defend the Consequence Argument against the charge that it begs the question, so construed. We contend that, whatever the other liabilities of the argument may be, it does not beg the question against the compatibilist. (shrink)

Celebrates the 50th anniversary of the publication of one of the most important philosophical works in the 20th century with essays by most of the leading figures in contemporary hermeneutic theory.

_ Source: _Volume 56, Issue 3-4, pp 292 - 319 With William of Ockham and John Buridan, Walter Burley is often listed as one of the most significant logicians of the medieval period. Nevertheless, Burley’s contributions to medieval logic have received notably less attention than those of either Ockham or Buridan. To help rectify this situation, the author here provides a comprehensive examination of Burley’s account of consequences, first recounting Burley’s enumeration, organization, and division of consequences, with particular (...) attention to the shift from natural and accidental to formal and material consequence, and then locating Burley’s contribution to the theory of consequences in the context of fourteenth-century work on the subject, detailing its relation to the earliest treatises on consequences, then to Ockham and Buridan. (shrink)

Background: Discrimination in nursing has led to the formation of some taboos that often impact the individual’s professional development. Nurses use strategies to overcome discrimination that can lead to consequences. Research objective: This study assessed nurses’ experiences to explore the consequences of Iranian nurses’ strategies to overcome intra-professional discrimination. Research design: This qualitative content analysis study employed purposive sampling to reach 25 nurses working at educational hospitals in Tehran, Tabriz, and Ilam, Iran. The data were collected using deep (...) and unstructured interviews along with notes in a period of time between April 2016 and May 2017. Interviews were simultaneously analyzed using inductive and conventional content analysis method after being transcribed. Ethical consideration: This study was approved by the Regional Committee of Medical Research Ethics. Also, voluntary participation, anonymity, and confidentiality were considered. Findings: Two themes emerged from our analysis due to consequences of nurses’ efforts to overcome intra-professional discrimination: “seeking justice” and “passivity.” Discussion: Nurses’ efforts to overcome professional discrimination have led to outcomes. These outcomes can be affect on their individual effort to achieve organizational goals, provide better care or feel disabling or nurses turnover. Conclusion: Strategies adopted by nurses to overcome intra-professional discrimination have led to consequences which vary from negative to positive and impact their performance. (shrink)

There are positive views towards use of science and technology in all Asian countries, and positive views towards use of enhancement in China, India and Thailand. After considering of the widespread use of cosmetic surgery and other body enhancements in Asian countries, and the generally positive views towards letting individuals make choices about improvement of themselves, the paper concludes that we can expect other enhancements to also be adopted rapidly in Asia. There will be future ethical dilemmas emerging from this (...) with concepts of preservation of nature, flow with nature, and definitions of human-ness, along with concepts of harmony and social justice. Japan is less willing to engage in genetic enhancement compared to China, India and Thailand, despite widespread cosmetic surgery across Asia. (shrink)

From the beginning, the implications of quantum theory for our most general understanding of the world have been a matter of intense debate. Einstein argues that the theory had to be regarded as fundamentally incomplete. Its inability, for example, to predict the exact time of decay of a single radioactive atom had to be due to a failure of the theory and not due to a permanent inability on our part or a fundamental indeterminism in nature itself. In 1964, John (...) Bell derived a theorem which showed that any deterministic theory which preserved locality would have certain consequences for measurements performed at a distance from one another. An experimental check seems to show that these consequences are not, in fact, realized. The correlation between the sets of events is much stronger than any local deterministic theory could allow. What is more, this stronger correlation is precisely that which is predicted by quantum theory. The astonishing result is that local deterministic theories of the classical sort seem to be permanently excluded. Not only can the individual decay not be predicted, but no future theory can ever predict it. The contributors in this volume wrestle with this conclusion. Some welcome it; others leave open a return to at lease some kind of deterministic world, one which must however allow something like action-at-a distance. How much lit it? And how can one avoid violating relativity theory, which excludes action-at-a-distance? How can a clash between the two fundamental theories of modern physics, relativity and quantum theory, be avoided? What are the consequences for the traditional philosophic issue of causality explanation and objectivity? One thing is certain; we can never return to the comfortable Newtonian world where everything that happened was, in principle, predictable and where what happened at one measurement site could not affect another set of measurements being performed light-years away, at a distance that a light-signal could not bridge. Contributors: James T. Cushing, Abner Shimony, N. David Mermin, Jon P. Jarrett, Linda Wessels, Bas C. van Fraassen, Jeremy Butterfield, Michael L. G. Redhead, Henry P. Stapp, Arthur Fine, R. I. G. Hughes, Paul Teller, Don Howard, Henry J. Folse, and Ernan McMullin. (shrink)

The consequence argument is among the most influential arguments for the conclusion that free will and determinism are incompatible. Recently, however, it has become increasingly clear that the argument fails to establish that particular incompatibilist conclusion. Even so, a version of the argument can be formulated that supports a different incompatibilist conclusion, according to which free will is incompatible with our behavior being predetermined by factors beyond our control. This conclusion, though not equivalent to the traditional incompatibilist thesis that determinism (...) strictly precludes free will, is something many incompatibilists have had in mind all along and, indeed, is arguably the more central incompatibilist position. The consequence argument thus remains philosophically important, even if, as several of its critics have argued, it can't be used to establish the strict incompatibility of free will and determinism. (shrink)

We report a Monte Carlo study examining the effects of two strategies for handling measurement non-invariance – modeling and ignoring non-invariant items – on structural regression coefficients between latent variables measured with item response theory models for categorical indicators. These strategies were examined across four levels and three types of non-invariance – non-invariant loadings, non-invariant thresholds, and combined non-invariance on loadings and thresholds – in simple, partial, mediated and moderated regression models where the non-invariant latent variable occupied predictor, mediator, and (...) criterion positions in the structural regression models. When non-invariance is ignored in the latent predictor, the focal group regression parameters are biased in the opposite direction to the difference in loadings and thresholds relative to the referent group (i.e., lower loadings and thresholds for the focal group lead to overestimated regression parameters). With criterion non-invariance, the focal group regression parameters are biased in the same direction as the difference in loadings and thresholds relative to the referent group. While unacceptable levels of parameter bias were confined to the focal group, bias occurred at considerably lower levels of ignored non-invariance than was previously recognized in referent and focal groups. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

This study investigates the negative influence of consumer’s perceptions of online retailer’s deceptive practices on consumer’s relational variables. Also, the moderating role of product type, consumer’s attitude toward the Internet, and consumer’s demographics in the deception-relational outcomes link is considered. Data from 398 online consumers revealed that satisfaction totally mediated the influence of deception on loyalty. Furthermore, the deception-satisfaction link was moderated by all the hypothesized variables. Interestingly, a direct effect of deception on loyalty was found among more educated consumers, (...) consumers who had a more positive attitude toward the Internet and consumers who had purchased a physical product. Implications for theory and management are discussed. (shrink)

Prior research has studied the antecedents of beliefs regarding ethics and social responsibility (ESR). However, few studies have examined how individual well-being may be related to such beliefs. In this exploratory study, we assessed the relationship between perceived importance of ESR – both individually and of one's company – and indicators of physical and psychological well-being. Results demonstrated that perceived importance of ESR was associated with three aspects of well-being: exuberance for life, sleep problems, and job stress. The results are (...) discussed in terms of future directions for research, and the need for a conceptual framework connecting individual and organizational perceptions of ESR and outcomes of well-being. (shrink)

Linguists intuitions about language change can be captured by adynamical systems model derived from the dynamics of language acquisition.Rather than having to posit a separate model for diachronic change, as hassometimes been done by drawing on assumptions from population biology (cf.Cavalli-Sforza and Feldman, 1973; 1981; Kroch, 1990), this new modeldispenses with these independent assumptions by showing how the behavior ofindividual language learners leads to emergent, global populationcharacteristics of linguistic communities over several generations. As thesimplest case, we formalize the example of (...) two grammars and show that eventhis situation leads directly to a nonlinear (quadratic) dynamical system.We study this one parameter model in a variety of situations for differentkinds of acquisition algorithms and maturational times, showing howdifferent learning theories can have very different evolutionaryconsequences. This allows us to formulate an evolutionary criterion for theadequacy of grammatical and learning theories. An application of thecomputational model to the historical loss of Verb Second from Old French toModern French is described showing how otherwise adequate grammaticaltheories might fail the evolutionary criterion. (shrink)

We group the existing variants of the familiar set-theoretical and truth-theoretical paradoxes into two classes: connective paradoxes, which can in principle be ascribed to the presence of a contracting connective of some sort, and structural paradoxes, where at most the faulty use of a structural inference rule can possibly be blamed. We impute the former to an equivocation over the meaning of logical constants, and the latter to an equivocation over the notion of consequence. Both equivocation sources are tightly related, (...) and can be cleared up by adopting a particular substructural logic in place of classical logic. We then argue that our perspective can be justified via an informational semantics of contraction-free substructural logics. (shrink)

When most people think of legal punishment, they envision a judge or jury convicting a person for a crime, and then sentencing that person in accordance with clearly prescribed penalties, as specified in the criminal law. The person serves the sentence, is released (perhaps a bit early for A good behavior"), and then welcomed back into society as a full-functioning member, adorned with all the rights and responsibilities of ordinary citizens.

_ Source: _Volume 56, Issue 3-4, pp 201 - 221 This paper summarizes medieval definitions and divisions of consequences and explains the import of the medieval development of the theory of consequence for logic today. It then introduces the various contributions to this special issue of _Vivarium_ on consequences in medieval logic.