The idea that correspondences relating grammatical relations and semantics (argument structure constructions) are needed to account for simple sentence types is reviewed, clarified, updated and compared with two lexicalist alternatives. Traditional lexical rules take one verb as ‘input’ and create (or relate) a different verb as ‘output’. More recently, invisible derivational verb templates have been proposed, which treat argument structure patterns as zero derivational affixes that combine with a root verb to yield a new verb. While the (...) derivational template perspective can address several problems that arise for traditional lexical rules, it still faces problems in accounting for idioms, which often contain specifications that are not appropriately assigned to individual verbs or derivational affixes (regarding adjuncts, modification, and inflection). At the same time, it is clear that verbs play a central role in determining their distribution. The balance between verbs and phrasal argument structure constructions is addressed via the Principles of Semantic Coherence and Correspondence together with a usage-based hierarchy of constructions that contains entries which can include particular verbs and other lexical material. (shrink)

The study hypothesizes that the environmental, social, and governance of the host country have a significant effect on clean development mechanism implementation. As CDM incorporates sustainable development as one of the objectives for the green transition, many countries endeavor to adopt and implement CDM as their cleaner production method. Based on the institutional theory, the study aims to investigate the mechanism by which the institutional process of each ESG pillar makes an opportunity for a host country and to see how (...) such country-specific factors influence the implementation of CDM projects. A county-year unbalanced sample drawn from World Bank and multinational CDM project data was analyzed using panel logistic and Poisson regression. Panel regression results show that high-energy intensity and low renewable electricity output as an environmental pillar positively affect CDM implementation. Unemployment and undernourishment as a social pillar positively affect CDM whereas low government effectiveness and the high rule of law positively affect CDM. In the results of zero-inflated Poisson regression, the direction of government effectiveness was upturned. The findings have broadened and deepened the ESG pillar based on the institutional theory and emphasized sustainable development rather than economic outputs. (shrink)

Motivation: Classical definitions of information, such as the Shannon information, are designed for open loop systems because they define information on a channel which has an input and an output. The main motivation of this paper is to present a closed loop information measure which is compatible with constructivist thinking. Design: Our information measure for a closed loop system reflects how additional sensor inputs are utilised to establish additional sensor-motor loops during learning. Our information measure is based on the (...) assumption that it is not optimal to stay reactive and that it is beneficial to become proactive through increased learning about the environment. Consequently our information measure gauges the utilisation of new sensor inputs to generate anticipatory actions. We call this information measure "predictive information" (PI). Findings: Our PI is zero if the organism uses only its reflex reactions. It grows when the organism is able to use other sensor inputs to preempt reflex reactions and is able to replace reflexes by anticipatory reactions. This has been demonstrated with a real robot that had to learn to avoid obstacles. Conclusion: PI is a new measure which is able to quantify anticipatory learning and, in contrast to the Shannon information, is calculated only at the inputs of an agent. This information measure has been successfully applied to a simple robot task but its application is neither limited to a certain task nor to a certain learning rule. (shrink)

The justification of Bayes' rule by cognitive rationality principles is undertaken by extending the propositional axiom systems usually proposed in two contexts of belief change: revising and updating. Probabilistic belief change axioms are introduced, either by direct transcription of the set-theoretic ones, or in a stronger way but nevertheless in the spirit of the underlying propositional principles. Weak revising axioms are shown to be satisfied by a General Conditioning rule, extending Bayes' rule but also compatible with others, and weak updating (...) axioms by a General Imaging rule, extending Lewis' rule. Strong axioms (equivalent to the Miller–Popper axiom system) are necessary to justify Bayes' rule in a revising context, and justify in fact an extended Bayes' rule which applies, even if the message has zero probability. (shrink)

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...) acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

Original and cumulative prospect theory differ in the composition rule used to combine the probability weighting function and the value function. We test the predictive power of these composition rules by performing a novel out-of-sample prediction test. We apply estimates of prospect theory’s weighting and value function obtained from two-outcome cash equivalents, a domain where original and cumulative prospect theory coincide, to three-outcome cash equivalents, a domain where the composition rules of the two theories differ. Although both forms (...) of prospect theory predict three-outcome cash equivalents very well, at the aggregate level, we find small but systematic under-prediction of cash equivalents for cumulative prospect theory and small but systematic over-prediction of cash equivalents for original prospect theory. We also observe substantial heterogeneity across subjects and types of gambles, some of which is accounted for by differences in the curvature and elevation of the weighting function across individuals. We also find differences in prediction related to whether the worst outcome is zero or non-zero. (shrink)

Proof-theoretic semantics is an inferentialist theory of meaning originally developed in a unilateral framework. Its extension to bilateral systems opens both opportunities and problems. The problems are caused especially by Coordination Principles (a kind of rule that is not present in unilateral systems) and mismatches between rules for assertion and rules for rejection. In this paper, a solution is proposed for two major issues: the availability of a reduction procedure for tonk and the existence of harmonious rules (...) for the paradoxical zero-ary connective \(\bullet\). The solution is based on a reinterpretation of bilateral rules as complex rules, that is, rules that introduce or eliminate connectives in a subordinate position. Looking at bilateral rules from this perspective, the problems faced by bilateralism can be seen as special cases of general problems of complex systems, which have been already analyzed in the literature. In the end, a comparison with other proposed solutions underlines the need for further investigation in order to complete the picture of bilateral proof-theoretic semantics. (shrink)

In this paper we study AGM contraction and revision of rules using input/output logical theories. We replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas, representing the rule based character of theories, and we replace the classical consequence operator Cn by an input/output logic. The results in this paper suggest that, in general, results from belief base dynamics can be transferred to rule base dynamics, but that a similar transfer of AGM (...) theory change to rule change is much more problematic. First, we generalise belief base contraction to rule base contraction, and show that two representation results of Hansson still hold for rule base contraction. Second, we show that the six so-called basic postulates of AGM contraction are consistent only for some input/output logics, but not for others. In particular, we show that the notorious recovery postulate can be satisfied only by basic output, but not by simple-minded output. Third, we show how AGM rule revision can be defined in terms of AGM rule contraction using the Levi identity. We highlight various topics for further research. (shrink)

In a range of contexts, one comes across processes resembling inference, but where input propositions are not in general included among outputs, and the operation is not in any way reversible. Examples arise in contexts of conditional obligations, goals, ideals, preferences, actions, and beliefs. Our purpose is to develop a theory of such input/output operations. Four are singled out: simple-minded, basic (making intelligent use of disjunctive inputs), simple-minded reusable (in which outputs may be recycled as inputs), and basic reusable. (...) They are defined semantically and characterised by derivation rules, as well as in terms of relabeling procedures and modal operators. Their behaviour is studied on both semantic and syntactic levels. (shrink)

This article discusses the classical problem of zero probability of universal generalizations in Rudolf Carnap’s inductive logic. A correction rule for updating the inductive method on the basis of evidence will be presented. It will be shown that this rule has the effect that infinite streams of uniform evidence assume a non-zero limit probability. Since Carnap’s inductive logic is based on finite domains of individuals, the probability of the corresponding universal quantification changes accordingly. This implies that universal generalizations (...) can receive positive prior and posterior probabilities, even for (countably) infinite domains. (shrink)

A thorough analysis of the Golden Rule (GR) is given including formal investigations of its logical structure and essential implications. Starting with the general distinction of positive and negative forms of GR a set of sixteen formal implications, one for each variant of the rule, is presented. The moral acceptability of the output of the different versions of GR is assessed in various problem contexts and in discussing several objections to GR with the conclusion that GR is hopelessly inadequate (...) as a general criterion of moral choice. (shrink)

A truth-preservation fallacy is using the concept of truth-preservation where some other concept is needed. For example, in certain contexts saying that consequences can be deduced from premises using truth-preserving deduction rules is a fallacy if it suggests that all truth-preserving rules are consequence-preserving. The arithmetic additive-associativity rule that yields 6 = (3 + (2 + 1)) from 6 = ((3 + 2) + 1) is truth-preserving but not consequence-preserving. As noted in James Gasser’s dissertation, Leibniz has been (...) criticized for using that rule in attempting to show that arithmetic equations are consequences of definitions. -/- A system of deductions is truth-preserving if each of its deductions having true premises has a true conclusion—and consequence-preserving if, for any given set of sentences, each deduction having premises that are consequences of that set has a conclusion that is a consequence of that set. Consequence-preserving amounts to: in each of its deductions the conclusion is a consequence of the premises. The same definitions apply to deduction rules considered as systems of deductions. Every consequence-preserving system is truth-preserving. It is not as well-known that the converse fails: not every truth-preserving system is consequence-preserving. Likewise for rules: not every truth-preserving rule is consequence-preserving. There are many famous examples. In ordinary first-order Peano-Arithmetic, the induction rule yields the conclusion ‘every number x is such that: x is zero or x is a successor’—which is not a consequence of the null set—from two tautological premises, which are consequences of the null set, of course. The arithmetic induction rule is truth-preserving but not consequence-preserving. Truth-preserving rules that are not consequence-preserving are non-logical or extra-logical rules. Such rules are unacceptable to persons espousing traditional truth-and-consequence conceptions of demonstration: a demonstration shows its conclusion is true by showing that its conclusion is a consequence of premises already known to be true. The 1965 Preface in Benson Mates (1972, vii) contains the first occurrence of truth-preservation fallacies in the book. (shrink)

We extend BDDs for plain propositional logic to the fragment of first order logic, consisting of quantifier free logic with zero, successor and equality. We allow equations with zero and successor in the nodes of a BDD, and call such objects -BDDs. We extend the notion of Ordered BDDs in the presence of zero, successor and equality. -BDDs can be transformed to equivalent Ordered -BDDs by applying a number of rewrite rules until a normal form is (...) reached. All paths in these ordered -BDDs represent satisfiable conjunctions. The major advantage of transforming a formula to an equivalent Ordered -BDD is that on the latter it can be observed in constant time whether the formula is a tautology, a contradiction, or just satisfiable. (shrink)

In a globalizing world, governments are not always able or willing to regulate the social and environmental externalities of global business activities. Multi-stakeholder initiatives (MSI), defined as global institutions involving mainly corporations and civil society organizations, are one type of regulatory mechanism that tries to fill this gap by issuing soft law regulation. This conceptual paper examines the conditions of a legitimate transfer of regulatory power from traditional democratic nation-state processes to private regulatory schemes, such as MSIs. Democratic legitimacy is (...) typically concerned with input legitimacy (rule credibility, or the extent to which the regulations are perceived as justified) and output legitimacy (rule effectiveness, or the extent to which the rules effectively solve the issues). In this study, we identify MSI input legitimacy criteria (inclusion, procedural fairness, consensual orientation, and transparency) and those of MSI output legitimacy (rule coverage, efficacy, and enforcement), and discuss their implications for MSI democratic legitimacy. (shrink)

Legal scholars are increasingly asked to respect research ethics rules, in particular those concerning conflicts of interest, following a trend begun in social sciences after its crises of replication. However, whereas empirical science needs trust, because it rests on potentially falsifiable data, doctrinal legal scholarship consists of arguments which cannot be faked. It is all on the page. The quality of legal scholarship is served by encouraging readers to engage with what is written as robustly as possible, rather than (...) to consider the integrity of the person who wrote it. The ad hominem path moreover leads to incoherent distinctions between people committed to a view for financial or career reasons, and those committed for ideological ones. Both can narrow the mind of the writer and reduce the quality of their output (although the claim that a good argument cannot be made for payment is a surprising one to hear from lawyers). However, the better response is not to try and get inside the author’s motivations, but to read their words and challenge them. Rules on scholarly conflicts of interests are a distraction from the necessary sceptical and robust engagement with texts. (shrink)

Due to the inevitable delay phenomenon in the process of signal conversion and transmission, time delay is bound to occur between neurons. Therefore, it is necessary to introduce the concept of time delay into the membrane computing models. Spiking neural P systems, as an attractive type of neural-like P systems in membrane computing, are widely followed. Inspired by the phenomenon of time delay, in our work, a new variant of spiking neural P systems called delayed spiking neural P systems is (...) proposed. Compared with normal spiking neural P systems, the proposed systems achieve time control by setting the schedule on spiking rules and forgetting rules, and the schedule is also used to realize the system delay. A schedule indicates the time difference between receiving and outputting spikes, and it also makes the system work in a certain time, which means that a rule can only be used within a specified time range. We specify that each rule is performed only in the continuous schedule, during which the neuron is locked and cannot send or receive spikes. If the neuron is not available at a given time, it will not receive or send spikes due to the lack of a schedule for this period of time. Moreover, the universality of DSN P systems in both generating and accepting modes is proved. And a universal DSN P system having 81 neurons for computing functions is also proved. (shrink)

In this paper we study AGM contraction and revision of rules using input/output logical theories. We replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas, representing the rule based character of theories, and we replace the classical consequence operator Cn by an input/output logic. The results in this paper suggest that, in general, results from belief base dynamics can be transferred to rule base dynamics, but that a similar transfer of AGM (...) theory change to rule change is much more problematic. First, we generalise belief base contraction to rule base contraction, and show that two representation results of Hansson still hold for rule base contraction. Second, we show that the six so-called basic postulates of AGM contraction are consistent only for some input/output logics, but not for others. In particular, we show that the notorious recovery postulate can be satisfied only by basic output, but not by simple-minded output. Third, we show how AGM rule revision can be defined in terms of AGM rule contraction using the Levi identity. We highlight various topics for further research. (shrink)

AI systems, which receive vast amounts of information including privacy information, are emerging. Protecting the privacy of the general public is an important issue for democracies. In this study, “Public space watched by AI- connected cameras” is taken as an example of an AI-system that is expected to be used for public purposes and has a relatively high privacy violation risk. It is defined as a wide public area where every point is monitored by multiple AI-connected street cameras. The following (...) four socially acceptable applications of “Public space watched by AI- connected cameras” are discussed: (1) Human/vehicle tracking, (2) Watching over children, (3) Detection of abnormal situations, (4) Criminal and terrorist behavior pattern analysis. As for privacy protection measures for AI systems, in addition to reliable protection itself, reliable recording and auditing to deter misuse and abuse is considered a prerequisite to ensure that the general public can feel secure. In this paper, the concept of “Verifiable record of AI output”, which is a verifiable and tamper-proof record and disclosure of AI output is proposed. “Verifiable record of AI output” is based on the idea that it may be more realistic to apply a simple exit control only for AI output to confirm rule conformance, rather than anonymizing huge AI inputs such as Big Data or controlling internal AI processes that are black-boxed. A concrete example of implementing “Verifiable record of AI output” in “Public space watched by AI-connected cameras” is proposed. In the “Verifiable record of AI output”, the AI system is enclosed in an outbound firewall, and only AI outputs that are confirmed to be in line with “the purpose of use approved in advance through social discussion” are allowed to be transmitted. The process from application to permission of transmission is anonymized and disclosed in a verifiable and tamper-proof manner. This public record can be verified by the general public or an auditing organization to ensure that any misuse or abuse of the AI system will be exposed. The “Verifiable record of AI output” proposed in this paper is characterized by reliable measurement and recording of AI output, and its disclosure for auditing purposes. The possibility of using this as a template to apply to other AI systems that receive Big Data input, including the privacy of the general public, is considered. (shrink)

In 1937 Joan Robinson proposed that “when capitalism is rightly understood, the rate of interest will be set at zero and the major evils of capitalism will disappear”. A permanent zero rate would abolish capitalist profit except in limited cases, leaving nearly all output to be claimed by labour as wages. It would allow capital to be allocated on the basis of prospective social benefit rather than short-term profitability and a collateral basis that favours the wealthy. It (...) would remove some of the economic pressure to use resources unsustainably. So why not do this? I argue that the few available philosophical arguments for positive interest rates are unsatisfactory. Those who want a just and sustainable form of capitalism should target net zero for the interest rate. (shrink)

This paper studies the adaptive event-triggered finite-time tracking of output-constrained high-order nonlinear systems with time-varying powers. Due to the presence of multiple unknown powers and the consideration of event-triggered control, all the existing control methods of output-constrained nonlinear systems are inapplicable. By introducing nonlinear mappings, finite-time performance functions, and low-power and high-power terms into adding a power integrator technique and the relative threshold strategy, an adaptive state-feedback controller is designed to eliminate the effects caused by the output (...) constraint and time-varying powers. It is proved that all the closed-loop signals are bounded, the asymmetric time-varying output constraint is not violated, and the tracking error converges to a prescribed arbitrarily small region around zero in a preassigned finite time. Furthermore, the Zeno phenomenon can be avoided. Two simulation examples demonstrate the effectiveness of this control scheme. (shrink)

William Alston has identified what he calls a “Christian Mystical Practice” as one of the many doxastic practices in which humans engage. He defends CMP as being as rational as other doxastic practices, including the sense perceptual practice, having its own input and output rules, and its own background overrider system. I argue that there seems to be a serious problem with Alston’s characterization of the overrider system for CMP. The presence of this problem threatens to damage Alston’s (...) argument for the rationality of engaging in the Christian Mystical Practice. (shrink)

Cost-benefit analysis is commonly understood to be intimately connected with utilitarianism and incompatible with other moral theories, particularly those that focus on deontological concepts such as rights. We reject this claim and argue that cost-benefit analysis can take moral rights as well as other non-utilitarian moral considerations into account in a systematic manner. We discuss three ways of doing this, and claim that two of them (output filters and input filters) can account for a wide range of rights-based moral (...) theories, including the absolute notions of moral rights proposed by Hayek, Mayo, Nozick, and Shue. We also discuss whether the use of output filters and input filters can be generalized to cover other non-utilitarian theories, such as Kantian duty ethics and virtue ethics. (shrink)

Different researchers from psychology and neuroscience state that navigation involves the manipulation of cognitive maps and graphs. In this paper, I will argue that navigating – specifically, journey planning – can be conceived as a process of practical reasoning. First, I will argue that journey planning constitutes a case of means-end reasoning involving inferences with cartographic representations. Then, I will argue that the output of journey planning functions as an instrumental belief in means-end reasoning. More specifically, journey planning can (...) deliver an instrumental rule that plays a normative role in spatial cognition. This approach motivates a pluralist conception of practical reasoning, stating that inferences might run through different representational formats and processes. (shrink)

Cost-benefit analysis is commonly understood to be intimately connected with utilitarianism and incompatible with other moral theories, particularly those that focus on deontological concepts such as rights. We reject this claim and argue that cost-benefit analysis can take moral rights as well as other non-utilitarian moral considerations into account in a systematic manner. We discuss three ways of doing this, and claim that two of them (output filters and input filters) can account for a wide range of rights-based moral (...) theories, including the absolute notions of moral rights proposed by Hayek, Mayo, Nozick, and Shue. We also discuss whether the use of output filters and input filters can be generalized to cover other non-utilitarian theories, such as Kantian duty ethics and virtue ethics. (shrink)

In Ruling Majorities and Reasoning Pluralities, Professor Saul Levmore explores the “division of labor” between the various thresholds of agreement required for collective action—supermajority, simple majority, or plurality rule. His particular emphasis is on the choice between the last two options. To improve our understanding of this choice in various settings, Professor Levmore considers the relationship between two well-known contributions to the study of group decisionmaking, namely, the Condorcet Jury Theorem and the Condorcet Criterion, which have not generally been treated (...) together. This essay explores the relationship between these two insights in the context of judicial decisionmaking. Counterintuitively, the essay demonstrates that while the Condorcet Criterion continues to hold great promise as a tool of decision in en banc appellate courts, the Condorcet Jury Theorem is most appealing in judicial contexts that appear less collegial and thus less like a jury. In contexts in which jurists engage in deliberation and in which they anticipate that their outputs will have precedential effect, the Jury Theorem has little if any role to play. In contrast, the Theorem might prove more useful in evaluating low-level judicial outputs or decisions that otherwise are not expected to be treated as precedent. Thus, common law trial court decisions and civil law court decisions are more likely to be useful benchmarks in a Condorcet Jury Theorem analysis. It is because such courts do not anticipate that their decisions will have the force of precedent that they are more likely to be derived from governing legal texts, and thus more prone to characterizations of accuracy, than are judicial outputs that are driven by policy concerns and are generated with the understanding that they will be treated as precedent. (shrink)

Bayes Rule specifies how probabilities over parameters should be updated given any kind of information. But in some cases, the kind of information provided by both simulation and physical experiments is information on how certain output parameters may change when other input parameters are changed. There are three different approaches to this problem, one of which leads to the Garbage-In/garbage-out Paradox, the second of which violates the Borel Paradox, and the third of which is a supra-Bayesian heuristic. This paper (...) shows how to derive a fully Bayesian formula which avoids the Garbage-In/garbage-out and Borel Paradoxes. We also compare a Laplacian approximation of this formula with Bayesian synthesis and Bayesian melding and find that the Bayesian formula sometimes coincides with the Bayesian melding solution. (shrink)

Introduction : beyond the "degree zero" of law after modernity -- Autonomous law or redundant law? : the elusive nature of legal theory -- Law as system : the missing multidimensionality of law -- Reconfiguring the legal landscape : the sojourn of legal pluralism -- The injustice of law after modernity -- Law, justice and injustice -- Legal justice I : "maimed justice" and the rule of law -- Legal justice II : reclaiming the rule of law from its (...) "dark side" : critical legal justice -- The enigma of human rights -- Critical legal justice and beyond : cosmopolitanism -- Beyond cosmopolitanism : the murky world of governance and global "justice" -- Conclusion : law and justice after modernity. (shrink)

A dichotomous decision-making context in committees is considered where potential partisan members with predetermined votes can generate inefficient decisions and buy neutral votes. The optimal voting rule minimizing the expected costs of inefficient decisions for the case of a three-member committee is analyzed. It is shown that the optimal voting rule can be non-monotonic with respect to side-transfers: in the symmetric case, majority voting is optimal under either zero, mild or full side-transfer possibilities, whereas unanimity voting may be optimal (...) under an intermediate side-transfer possibility. The side-transfer possibilities depend on the power of partisans (their ability or willingness to pay for neutral votes) relative to the corruptibility of neutral members (personal cost of deliberately casting a `wrong' vote). (shrink)

Different researchers from psychology and neuroscience state that navigation involves the manipulation of cognitive maps and graphs. In this paper, I will argue that navigating – specifically, journey planning – can be conceived as a process of practical reasoning. First, I will argue that journey planning constitutes a case of means-end reasoning involving inferences with cartographic representations. Then, I will argue that the output of journey planning functions as an instrumental belief in means-end reasoning. More specifically, journey planning can (...) deliver an instrumental rule that plays a normative role in spatial cognition. This approach motivates a pluralist conception of practical reasoning, stating that inferences might run through different representational formats and processes. (shrink)

Jeffrey conditionalization is a rule for updating degrees of belief in light of uncertain evidence. It is usually assumed that the partitions involved in Jeffrey conditionalization are finite and only contain positive-credence elements. But there are interesting examples, involving continuous quantities, in which this is not the case. Q1 Can Jeffrey conditionalization be generalized to accommodate continuous cases? Meanwhile, several authors, such as Kenny Easwaran and Michael Rescorla, have been interested in Kolmogorov’s theory of regular conditional distributions as a possible (...) framework for conditional probability which handles probability-zero events. However the theory faces a major shortcoming: it seems messy and ad hoc. Q2 Is there some axiomatic theory which would justify and constrain the use of rcds, thus serving as a possible foundation for conditional probability? These two questions appear unrelated, but they are not, and this paper answers both. We show that when one appropriately generalizes Jeffrey conditionalization as in Q1, one obtains a framework which necessitates the use of rcds. It is then a short step to develop a general theory which addresses Q2, which we call the theory of extensions. The theory is a formal model of conditioning which recovers Bayesian conditionalization, Jeffrey conditionalization, and conditionalization via rcds as special cases. (shrink)

We modify the payment rule of the standard divide the dollar (DD) game by introducing a second stage and thereby resolve the multiplicity problem and implement equal division of the dollar in equilibrium. In the standard DD game, if the sum of players’ demands is less than or equal to a dollar, each player receives what he demanded; if the sum of demands is greater than a dollar, all players receive zero. We modify this second part, which involves a (...) harsh punishment. In the modified game $(D\!D^{\prime })$ , if the demands are incompatible, then players have one more chance. In particular, they play an ultimatum game to avoid the excess. In the two-player version of this game, there is a unique subgame perfect Nash equilibrium in which players demand (and receive) an equal share of the dollar. We also provide an $n$ -player extension of our mechanism. Finally, the mechanism we propose eliminates not only all pure strategy equilibria involving unequal divisions of the dollar, but also all equilibria where players mix over different demands in the first stage. (shrink)

This article is the second step in our research into the Symbol Grounding Problem (SGP). In a previous work, we defined the main condition that must be satisfied by any strategy in order to provide a valid solution to the SGP, namely the zero semantic commitment condition (Z condition). We then showed that all the main strategies proposed so far fail to satisfy the Z condition, although they provide several important lessons to be followed by any new proposal. Here, (...) we develop a new solution of the SGP. It is called praxical in order to stress the key role played by the interactions between the agents and their environment. It is based on a new theory of meaning—Action-based Semantics (AbS)—and on a new kind of artificial agents, called two-machine artificial agents (AM²). Thanks to their architecture, AM2s implement AbS, and this allows them to ground their symbols semantically and to develop some fairly advanced semantic abilities, including the development of semantically grounded communication and the elaboration of representations, while still respecting the Z condition. (shrink)

As a rule, there is nothing in the words themselves to mark off metaphors from literal language. If a boundary could somehow be drawn, it would be in constant need of re‐adjustment as metaphors become entrenched, idiomatic, and finally literal, and literal phrases are put to figurative or hyperbolic, and then metaphorical uses. Further, there is no algorithmic recovery of the intended meaning of a metaphor from the meanings of its components, no function that takes literal meanings as its arguments (...) and has metaphorical meaning as its output. That is, metaphors are syntactically invisible, pragmatically unstable, and semantically under‐determined. Their creation, use, and interpretation are almost impenetrable mysteries. As if to spite semantic theorists, they are also linguistic commonplaces, present in every kind of discourse. The discourse of philosophy is no exception to this rule, availing itself of the various stylistic, heuristic, and explanatory roles metaphors can play. Philosophy also produces metaphors of another sort, metaphors that differ in important ways from the metaphors of art and literature, as well as the metaphors of the natural and social sciences. These “grand“ metaphors are lasting monuments to the triumphs of philosophical discourse, even as they are also testimony to the failures of philosophical theorizing. This is because philosophy’s grand metaphors were never intended that way. They are better read as structural hypotheses that have become metaphors only after failing as literal truths. Ironically, it is precisely as metaphors that these images are integrated into our ways of thinking. In the end, thought itself is re‐structured, and these failures as descriptive truths succeed in becoming “constitutive truths” of a new reality. (shrink)

The Problem of Iterated Ground is to explain what grounds truths about ground: if Γ grounds φ, what grounds that Γ grounds φ? This paper develops a novel solution to this problem. The basic idea is to connect ground to explanatory arguments. By developing a rigorous account of explanatory arguments we can equip operators for factive and non-factive ground with natural introduction and elimination rules. A satisfactory account of iterated ground falls directly out of the resulting logic: non- factive (...) grounding claims, if true, are zero-grounded in the sense of Fine. (shrink)

Clahsen's claim that output forms of productive processes are never listed in the lexicon is a consequence of the rule/list fallacy, empirically incorrect, and not necessary for the hypothesis that the human language faculty has a dual structure, that is, a lexicon and a set of rules.

The paper studies a specific adaptive learning rule when each player faces a unidimensional strategy set. The rule states that a player keeps on incrementing her strategy in the same direction if her utility increased and reverses direction if it decreased. The paper concentrates on games on the square [0,1]×[0,1]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$[0,1]\times [0,1]$$\end{document} as mixed extensions of 2×2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$2\times 2$$\end{document} games. We study in general the (...) behavior of the system in the interior as well as on the borders of the strategy space. We then describe the system asymptotic behavior for symmetric, zero-sum, and twin games. Original patterns emerge. For instance, for the “prisoner’s dilemma” with symmetric initial conditions, the system goes directly to the symmetric Pareto optimum. For “matching pennies,” the system follows slowly expanding cycles around the mixed strategy equilibrium. (shrink)

In this article I will take advantage of the logical and cognitive studies I have illustrated in my recent book The Abductive Structure of Scientific Creativity. An Essay on the Ecology of Cognition, in which the process of building new hypotheses is clarified thanks to my eco-cognitive model of abduction. Also resorting to a new interpretation of Aristotle’s seminal work on abduction, I will emphasize the crucial role played in abductive cognition by the so-called “optimization of eco-cognitive openness and situatedness”. (...) Indeed, in the chapter B25 of Prior Analytics concerning, we can see some of the current well-known distinctive characters of abductive cognition already expressed, which are in tune with the EC-Model: Aristotle is still pointing to the fundamental inferential role in reasoning of those externalities that substantiate the process of “leading away” (). Hence, we can gain a new positive perspective about the “constitutive” eco-cognitive character of abduction, just thanks to Aristotle himself. Situatedness is related to eco-cognitive aspects: to favor the solution of the abductive problem input and output of the formula Λ1,…,Λi,?I⊩LXΥ1,…,.Υj\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} \Lambda _1,\ldots,\Lambda _i,?_I\Vdash _L^X\Upsilon _1,\ldots,.\Upsilon _j \end{aligned}$$\end{document}have to be thought as optimally positioned: indeed I also contend than a disregarded issue concerning abduction is related to the current lack of knowledge about what I call “discoverability” and “diagnosticability”. In the formula above ⊩LX\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Vdash _L^X$$\end{document} indicates that inputs and outputs do not stand each other in an expected relation and that the modification of the inputs?I\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$?_I$$\end{document} can provide the abductive solution. In general, in this characterization the direction is not from evidence/premises to abductive result but the forward fashion is adopted, where the inferential parameter ⊩\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Vdash $$\end{document} sets some appropriate logical relationship between an input which consists in both the abductive guess to be found and a background theory, and an output—for example an evidence, a novel phenomenon to be abductively “explained” through facts, rules, or even new theories. Further, in the case of scientific settings, this optimality is made possible by a maximization of changeability of both input and output: not only inputs have to be enriched with the possible solution but, to do that, other inputs have usually to be changed and/or modified. This changeability first of all refers to a wide epistemological openness. (shrink)

This paper offers an account of what it is for a physical system to be a computing mechanism—a system that performs computations. A computing mechanism is a mechanism whose function is to generate output strings from input strings and (possibly) internal states, in accordance with a general rule that applies to all relevant strings and depends on the input strings and (possibly) internal states for its application. This account is motivated by reasons endogenous to the philosophy of computing, namely, (...) doing justice to the practices of computer scientists and computability theorists. It is also an application of recent literature on mechanisms, because it assimilates computational explanation to mechanistic explanation. The account can be used to individuate computing mechanisms and the functions they compute and to taxonomize computing mechanisms based on their computing power. (shrink)

Businesses increasingly rely on algorithms that are data-trained sets of decision rules (i.e., the output of the processes often called “machine learning”) and implement decisions with little or no human intermediation. In this article, we provide a philosophical foundation for the claim that algorithmic decision-making gives rise to a “right to explanation.” It is often said that, in the digital era, informed consent is dead. This negative view originates from a rigid understanding that presumes informed consent is a (...) static and complete transaction. Such a view is insufficient, especially when data are used in a secondary, noncontextual, and unpredictable manner—which is the inescapable nature of advanced artificial intelligence systems. We submit that an alternative view of informed consent—as an assurance of trust for incomplete transactions—allows for an understanding of why the rationale of informed consent already entails a right to ex post explanation. (shrink)

We need to distinguish systematically what is culturally creative from the degenerative forces that now rule the world. Whitehead comes closest to defining the creative when he identifies it as freedom on the human side and peace on the divine. Buddhist meditation can go deeper to realize the zero-dimension of the communal life-as-such, which corresponds to Whiteheadean freedom-and-peace as the ultimate wellspring of cultural creativity.

Political and sociological research indicates that the use of consociational techniques has been a major means of ensuring peace and stability in a divided society like Belgium. This paper attempts to cast a first look at another component: what are the legal mechanisms of confiictmanagement in Belgium? This question is studied on the basis of the case of the school-confiict, which is one aspect of the ideological dividing line ; this was indeed the first to be institutionalised in Belgium. The (...) drafting of the 1831 Constitution was the first great exercise in consensus-seeking and the same approach prevailed over much of the 19th century. It was interrupted, however, during the first «School War» which was waged from 1879 to 1884. After the First World War a number of issues in the educational dispute were settled by way of package-deals, which were an attempt to replace zero-sum games by more-or-less choices. However a second School War erupted from 1950 to 1958. After the 1958 elections the balance of power was such that compromise showed necessary again : this situation led to the «School Pact» which tried to institutionalise consociational solution-seeking in this field. The Pact system was later applied in numerous other fields where mere majoritarian decision-making was discarded.White in the School issue these solutions were not as yet legalised, in later agreements they were.The paper argues that the main aim of these approaches is to avoid adjudication on these issues by third confiict-solvers, such as courts and tribunals. Instead allocation is arranged between the participants to the deal ; these partners are the political parties who claim to represent the whole range of public opinion. In this way «soft law» is created : this development represents a creeping undermining of the Rule of Law. (shrink)

Precise prediction of future vehicle information can improve the control efficiency of hybrid electric vehicles. Nowadays, most prediction models use previous information of vehicles to predict future driving velocity, which cannot reflect the impact of the driver and the environment. In this paper, a real-time energy management strategy based on driver-action-impact MPC is proposed for series hybrid electric vehicles. The proposed EMS consists of two modules: the velocity prediction module and the real-time MPC module. In the velocity prediction module, a (...) long short-term memory neural network model, which is trained by the traffic data derived from a VR-based driving simulator, is adopted to predict the future driving information by using driver action information and current vehicle’s velocity. The obtained future driving velocity is treated as the inputs of the real-time MPC module, which outputs the control variables to act on the underlying controllers of power components by solving a standard quadratic programming problem. Compared with the rule-based strategy, a 5.6% average reduction of fuel consumption is obtained. The effectiveness of real-time computation of the EMS is validated and verified through a hardware-in-the-loop test platform. (shrink)

This essay explores the place of coconstrual relations, such as antecedent-anaphor relations, in a theory of grammar informed by minimalist architecture. It has been argued that the logical space created by minimalist theorizing should favor an account of coconstrual derived from the tree-building operations of narrow syntax (Agree, feature theory, Merge and its subcase, Remerge), dispensing with rules or conditions that evaluate constructed trees. On such an account, it is argued, the explanatory power of narrow syntax is enhanced and (...) the role of the interpretive component can be circumscribed. However, if coconstrual cannot be reduced to the derivational relations of narrow syntax, then we must be prepared to reevaluate the role of syntax-sensitive interpretive rules, balancing the need for such rules against any complication of narrow syntax mechanisms just to account for coconstrual. It will be argued that dependent identity relations, the form of coconstrual that is sensitive to syntactic configurations, must be interpreted from the output of narrow syntax and are not expressed within narrow syntax at all. This result unburdens narrow syntax of a class of relations that bring theoretical and empirical complications, while providing a more elegant account of coconstrual in a broader conception of the interpretive interface. (shrink)