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)

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 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)

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)

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)

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)

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)

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)

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)

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 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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Using optical add–drop multiplexer/remover multiplexer (OADM), it is possible to add or remove wavelengths and change or route them through the various nodes and networks. At this moment, key problems in add–drop multiplexer (ADM) are the bandwidth, modulation format, and reuse wavelength. In this article, the Optisystem software simulation is used as a platform to design, test, and verify the method applied to the current work; the OADM is proposed based on the metro network to get distribution between nodes over (...) a transmission link; OADM analysis was presented with four channels (193.1, 193.2, 193.3, and 193.4 THz) at total bandwidth of 1.6 Tb/s, none-return-to-zero (NRZ), and return to zero coding types. Experiment one shows that the average output power is −17.997 dBm, the average drop power is −17.997 dBm, and the average add power is −18.338 dBm, the average gain is −0.0429 dB, the average noise figure is 0 dB, the average power input signal is 10.679 dBm, the average of power output signal is 10.633 dBm, and the average output optical signal-to-noise ratio (OSNR) is 0 dB, However, the second experiment shows that the average output power is −24.238 dBm, the average drop power is −24.288 dBm, and the average add power is −24.753 dBm, the average gain is −0.0417 dB, the average noise figure is 0 dB, average power input signal is 7.691 dBm, average of power output signal is 7.677 dBm, and the average output OSNR 0 dB. The system supports four input channels, four add channels, four output channels, and four drop channels. The results are acceptable after three spans of Solitons fiber with 600 km length, 200 km for each span. Nonetheless, it is believed that it is well justified to adopt these schemes in the current optical network with a low cost for overall expenditure. (shrink)

An overlap between the general relativist and particle physicist views of Einstein gravity is uncovered. Noether's 1918 paper developed Hilbert's and Klein's reflections on the conservation laws. Energy-momentum is just a term proportional to the field equations and a "curl" term with identically zero divergence. Noether proved a \emph{converse} "Hilbertian assertion": such "improper" conservation laws imply a generally covariant action. Later and independently, particle physicists derived the nonlinear Einstein equations assuming the absence of negative-energy degrees of freedom for stability, (...) along with universal coupling: all energy-momentum including gravity's serves as a source for gravity. Those assumptions imply that the energy-momentum is only a term proportional to the field equations and a symmetric curl, which implies the coalescence of the flat background geometry and the gravitational potential into an effective curved geometry. The flat metric, though useful in Rosenfeld's stress-energy definition, disappears from the field equations. Thus the particle physics derivation uses a reinvented Noetherian converse Hilbertian assertion in Rosenfeld-tinged form. The Rosenfeld stress-energy is identically the canonical stress-energy plus a Belinfante curl and terms proportional to the field equations, so the flat metric is only a convenient mathematical trick without ontological commitment. Neither generalized relativity of motion, nor the identity of gravity and inertia, nor substantive general covariance is assumed. The more compelling criterion of lacking ghosts yields substantive general covariance as an output. Hence the particle physics derivation, though logically impressive, is neither as novel nor as ontologically laden as it has seemed. (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 book explores the idea that there is a certain performativity of thought connecting Kant’s Critique of Pure Reason and Wittgenstein’s Tractatus Logico-Philosophicus. On this view, we make judgments and use propositions because we presuppose that our thinking is about something, and that our propositions have sense. Kant’s requirement of an a priori connection between intuitions and concepts is akin to Wittgenstein’s idea of the general propositional form as sharing a form with the world. Aloisia Moser argues that Kant speaks (...) about acts of the mind, not about static categories. Furthermore, she elucidates the Tractatus’ logical form as a projection method that turns into a so-called ‘zero method’, whereby propositions are merely the scaffolding of the world. In so doing, Moser connects Kantian reflective judgment to Wittgensteinian rule-following. She thereby presents an account of performativity centering neither on theories nor methods, but on the application enacting them in the first place. (shrink)

In some jobs, the correlation between effort and output is almost zero. For instance, money managers are primarily paid for luck. Using a controlled lab experiment, we examined under which conditions workers are willing to put in effort even if the output is determined by pure luck. We varied whether the employer could observe the workers’ effort, as well as whether the employer knows that earnings were determined by luck. We find that, workers believed that the employer (...) will reward their effort even if their effort does not affect earnings. Consequently, workers work harder if the employer could observe their effort. Moreover, even when the employer only saw earnings and not effort, workers labored harder if the employer did not know that earnings were determined by luck. (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)

Traditional methods for deriving property-based representations of concepts from text have focused on either extracting only a subset of possible relation types, such as hyponymy/hypernymy (e.g., car is-a vehicle) or meronymy/metonymy (e.g., car has wheels), or unspecified relations (e.g., car—petrol). We propose a system for the challenging task of automatic, large-scale acquisition of unconstrained, human-like property norms from large text corpora, and discuss the theoretical implications of such a system. We employ syntactic, semantic, and encyclopedic information to guide our extraction, (...) yielding concept-relation-feature triples (e.g., car be fast, car require petrol, car cause pollution), which approximate property-based conceptual representations. Our novel method extracts candidate triples from parsed corpora (Wikipedia and the British National Corpus) using syntactically and grammatically motivated rules, then reweights triples with a linear combination of their frequency and four statistical metrics. We assess our system output in three ways: lexical comparison with norms derived from human-generated property norm data, direct evaluation by four human judges, and a semantic distance comparison with both WordNet similarity data and human-judged concept similarity ratings. Our system offers a viable and performant method of plausible triple extraction: Our lexical comparison shows comparable performance to the current state-of-the-art, while subsequent evaluations exhibit the human-like character of our generated properties. (shrink)

Providing equitable food security for a growing population while minimizing environmental impacts and enhancing resilience to climate shocks is an ongoing challenge. Here, we quantify the resource intensity, environmental impacts and nutritional output of a small (0.075 ha) low-input subsistence Mediterranean agroecological farm in a developed nation that is based on intercropping and annual crop rotation. The farm provides one individual, the proprietor, with nutritional self-sufficiency (adequate intake of an array of macro- and micro-nutrients) with limited labor, no synthetic (...) fertilizers or herbicides, and zero waste, effectively closing a full farm-table-farm cycle. We find that the agroecological farm outperforms conventional farming as practiced in the same country in terms of both lower environmental burdens, across all examined environmental metrics (63% lower on average) per kg produce, and higher nutritional score (66% higher on average). Per equal farmland, the environmental lopsidedness was even higher (79% lower than conventional farming on average), with nearly the same nutritional score (3% lower on average). Moreover, when considering total land area, which includes farmland and supporting non-agricultural lands, as well as postgate impacts and food losses, the advantage of the agroecological system over conventional farming is even more pronounced. Situated within a Mediterranean region that is undergoing rapid climate change, this food system is a unique case study of nutrition- and environment-oriented food production system. While its deployment potential is limited by lack of supportive policies, it nonetheless represents one of the most starkly bold alternatives to current food systems. (shrink)

This book presents a comprehensive overview of the sum rule approach to spectral analysis of orthogonal polynomials, which derives from Gábor Szego's classic 1915 theorem and its 1920 extension. Barry Simon emphasizes necessary and sufficient conditions, and provides mathematical background that until now has been available only in journals. Topics include background from the theory of meromorphic functions on hyperelliptic surfaces and the study of covering maps of the Riemann sphere with a finite number of slits removed. This allows for (...) the first book-length treatment of orthogonal polynomials for measures supported on a finite number of intervals on the real line. In addition to the Szego and Killip-Simon theorems for orthogonal polynomials on the unit circle and orthogonal polynomials on the real line, Simon covers Toda lattices, the moment problem, and Jacobi operators on the Bethe lattice. Recent work on applications of universality of the CD kernel to obtain detailed asymptotics on the fine structure of the zeros is also included. The book places special emphasis on OPRL, which makes it the essential companion volume to the author's earlier books on OPUC. (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)

This article investigates whether editorial board members of selected economic journals publish their research papers in their ‘own’ journal. Journals were selected from the Journal Citation Report® from the categories Business; Business, Finance; and Economics. Only research articles published between 2012 and 2015 were included in the analysis. We recorded ratios concerning the share of articles authored by editorial board members, the share of editorial board members publishing in their own journals and ratios representing their publication output. The average (...) share of articles authored by editorial board members ranges from 0.6 to 17.5%. The average share of editorial board members publishing in their own journals ranges from 5.6 to 24.4%. Considering only editorial board members publishing in their own journals, the share of their articles in their journals ranges from 8.2 to 71.4%. While the share of board members publishing only in their own journals, to the number of board members publishing in their own journals, the ratio in a quarter of journals is equal to zero, with a maximum reach of 85.7%. All observed ratios are significantly positively correlated with the gap between impact factor and impact factor without Journal Self Cites; and negatively correlated with the Article Influence Score. A cluster of journals in which a high proportion of editorial board members publish and simultaneously these members publish in their own journal at a high rate was identified. (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.

Writer, artist, filmmaker, provocateur, revolutionary, and impresario of the Situationist International, Guy Debord shunned the apparatus of publicity he dissected so brilliantly in his most influential work, _The Society of the Spectacle_. In this ambitious and innovative biography, Vincent Kaufmann places Debord's very hostility toward the inquisitive, biographical gaze at the center of an investigation into his subject's diverse output-from his earliest films to his landmark works of social theory and political provocation-and the poetic sensibility that informed both his (...) work and his life. Instead of providing a conventional day-to-day account of Debord's life, Kaufmann deftly locates his subject within the historical and intellectual context of the radical social, political, and artistic movements in which he participated. He traces Debord's development as an intellectual: his involvement with the lettrist movement in the early 1950s, his central role in the Situationist International from 1957 to 1971 and in the events of May 1968, and the productive and frequently misunderstood period between the dissolution of the situationists and his suicide, during which time Debord clarified the rules of his war against inauthenticity. As Kaufmann makes clear, for Debord political thought and action were inseparable from aesthetics and poetic expression. Whether envisioning the recovery of a lost, protocommunist age of authenticity and transparency in _The Society of the Spectacle_ or critically assessing the possibility of revolution against postmodern capitalism two decades later, Debord advocated and practiced an art of defiance, a concurrently martial and melancholic poetics. Avoiding the mythologies about Debord that both admirers and critics have cultivated, Kaufmann provides a groundbreaking and generous assessment of Debord and his uncompromising struggle against a corrupt civilization. (shrink)