Following Quine [] and others we take deductions to produce knowledge of implications: a person gains knowledge that a given premise-set implies a given conclusion by deducing—producing a deduction of—the conclusion from those premises. How does this happen? How does a person recognize their desire for that knowledge of a certain implication, or that they lack it? How do they produce a suitable deduction? And most importantly, how does their production of that deduction provide them with knowledge of the (...) implication. What experienceable sign reveals to the reasoner that they achieved the desired knowledge? If a deduction is an array of inscriptions constructed by following syntactical—mechanical, machine-performable—rules as suggested by Tarski, Carnap, Church, and others, the epistemic question becomes even more pressing and more challenging. Moreover, deduction, the ability to produce deductions and to recognize them when produced, is operational knowledge that presupposes other component operations such as recognizing characters, making assumptions, inferring conclusions from premises, chaining inferences [AL]. (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning (...) showing by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are (...) devoted. At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

I show that the Lottery Paradox is just a version of the Sorites, and argue that this should modify our way of looking at the Paradox itself. In particular, I focus on what I call “the Cut-off Point Problem” and contend that this problem, well known by Sorites scholars, ought to play a key role in the debate on Kyburg’s puzzle. Very briefly, I show that, in the Lottery Paradox, the premises “ticket n°1 will lose”, “ticket n°2 will lose”… “ticket (...) n°1000 will lose” are equivalent to soritical premises of the form “~(the winning ticket is in {…, (tn)}) ⊃ ~(the winning ticket is in {…, tn, (tn + 1)})” (where “⊃” is the material conditional, “~” is the negation symbol, “tn” and “tn + 1” are “ticket n°n” and “ticket n°n + 1” respectively, and “{}” identify the elements of the lottery tickets’ set. The brackets in “(tn)” and “(tn + 1)” are meant to point out that in the antecedent of the conditional we do not always have a “tn” (and, as a result, a “tn + 1” in the consequent): consider the conditional “~(the winning ticket is in {}) ⊃ ~(the winning ticket is in {t1})”). As a result, failing to believe, for some ticket, that it will lose comes down to introducing a cut-off point in a chain of soritical premises. In this paper I explore the consequences of the different ways of blocking the Lottery Paradox with respect to the Cut-off Point Problem. A heap variant of the Lottery Paradox is especially relevant for evaluating the different solutions. One important result is that the most popular way out of the puzzle, i.e., denying the Lockean Thesis, becomes less attractive. Moreover, I show that, along with the debate on whether rational belief is closed under classical logic, the debate on the validity of modus ponens should play an important role in discussions on the Lottery Paradox. -/- . (shrink)

The argument diagramming method developed by Monroe C. Beardsley in his (1950) book Practical Logic, which has since become the gold standard for diagramming arguments in informal logic, makes it possible to map the relation between premises and conclusions of a chain of reasoning in relatively complex ways. The method has since been adapted and developed in a number of directions by many contemporary informal logicians and argumentation theorists. It has proved useful in practical applications and especially pedagogically in (...) teaching basic logic and critical reasoning skills at all levels of scientific education. I propose in this essay to build on Beardsley diagramming techniques to refine and supplement their structural tools for visualizing logical relationships in a number of categories not originally accommodated by Beardsley diagramming, including circular reasoning, reductio ad absurdum arguments, and efforts to dispute and contradict arguments, with applications and analysis. (shrink)

This is a work in the philosophy of language and metasemantics. Its purpose is to help answer the question about how words acquire their meanings. The work is divided into two parts. The purpose of Part One is to defend the claim that, despite numerous attempts, the so-called Kripkenstein’s sceptical challenge, and especially the problem of finitude, has not been offered a successful straight solution. The purpose of Part Two is to critically examine Robert Brandom’s philosophy, which can be treated (...) as an answer to the sceptical challenge in my interpretation. My main claim is that although Brandom’s so-called normativist approach does provide a principled solution to the sceptical challenge, the proposal faces a host of other problems in the light of which I reject it. -/- What is Kripkenstein’s sceptical challenge? The name 'Kripkenstein' is an abbreviation used in the literature for Saul Kripke’s reading of Ludwig Wittgenstein’s later works, published in 1982. In the long essay, Kripke presents (that Wittgenstein presented) a sceptical challenge that demands an explanation of how any word can have a determinate meaning. The challenge is usually thought to consist of three interrelated problems: (1) the problem of finitude, (2) the problem of error, and (3) the problem of normativity. Following Martin Kusch, I view the problem of finitude as the most important one. According to the problem, briefly, since any actual subject is a finite being, i.e. capable of exhibiting only finite expressions of linguistic signs, it will always be possible to ask whether, in a given context, she is following a rule S1 or rule S2 that corresponds to the meaning of the sign. For example, supposing that the sign in question is '+', it can be asked whether the subject in a given context has followed the addition rule or an alternative quaddition rule, according to which any addition problem exceeding certain arbitrary cardinality results in five. According to the hypothesis, the actual use of '+' by any speaker is compatible with both rules. Since any speaker has only finite dispositions to the mathematical conduct, there will always be some limit after which there is no fact of the matter, according to the sceptic, which rule the subject will have turned out to have followed. Hence, it is indeterminate whether any actual subject has ever calculated according to the addition rule or the quaddition rule. -/- From my view, despite the work of Kripke and Kusch, the problem of finitude has not been taken as seriously as it ought to have been. This in turn has significant consequences for the metasemantic theory concerning the origin and nature of meaning. In particular, I claim that the way how the meaning of words is determined must be understood as temporal in nature. Moreover, I claim that Kripke’s causal-historical account of reference can work as a non-straight solution to the challenge that explains how at least the meanings of some words can be temporally determined. -/- One central aim of Brandom’s philosophy is to give a straight answer to the problem of finitude by providing an answer to the problem of normativity. However, I claim that Brandom’s version of the 'normativity of meaning' hypothesis cannot work as he intends. The key issues are difficult to summarise, but to put it succinctly, the crucial problem concerns Brandom’s ambition to give an answer to a version of Agrippa’s trilemma, or how a chain of justifications can end in anything else than (i) premises that have already been used, (ii) a primitive premise, or an (iii) infinitude of premises. My claim is that Brandom’s resolution to the trilemma is not sound. (shrink)

Sam Harris, in his book The Moral Landscape, argues that "science can determine human values." Against this view, I argue that while secular moral philosophy can certainly help us to determine our values, science must play a subservient role. To the extent that science can what we ought to do, it is only by providing us with empirical information, which can then be slotted into a chain of deductive reasoning. The premises of such reasoning, however, can in no way (...) be derived from the scientific method: they come, instead, from philosophy – and common sense. (shrink)

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the premises: (...) there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

It is commonly accepted that unconditional statements are clearer and less problematic than conditional ones. This article challenges this belief by proposing that all unconditional statements can be reduced to conditional ones since epistemic justification is inherently conditional in nature. The distinction between unconditional and conditional statements is similar to the distinction between assumptions and premises, which is an idealization that results from our attempts to limit epistemic complexity. This has perplexing consequences: (1) since any ordinary statement can be viewed (...) as a disguised conditional, this sets off a chain of epistemic regress that results in a larger conditional that encompasses our entire belief systems; (2) this monster conditional can’t never be justified since it always expands in the process of justification; (3) since there is no such thing as unconditional statements, conditionals themselves become meaningless, which implies that arguments and even entire belief systems become meaningless as well; (4) the only way to avoid these disastrous results is to admit that the meaning of conditionals and, ultimately, of our belief systems is a matter of convention. (shrink)

This paper proposes an extensionalist analysis of computer simulations (CSs). It puts the emphasis not on languages nor on models, but on symbols, on their extensions, and on their various ways of referring. It shows that chains of reference of symbols in CSs are multiple and of different kinds. As they are distinct and diverse, these chains enable different kinds of remoteness of reference and different kinds of validation for CSs. Although some methodological papers have already underlined the role of (...) these various relationships of reference in CSs and of cross-validations, this diversity is still overlooked in the epistemological literature on CSs. As a consequence, a particular outcome of this analytical view is an ability to classify existing epistemological theses on CSs according to what their authors choose to select and put at the forefront: either the extensions of symbols, or the symbol-types, or the symbol-tokens, or the internal denotational hierarchies of the CS or the reference of these hierarchies to external denotational hierarchies. Through the adoption of this extensionalist view, it also becomes possible to explain more precisely the reasons why some complete reduction of CSs to classical epistemic paradigms such as “experiment” or “theoretical argument” remains doubtful. On this last point, in particular, this paper is in agreement with what many epistemologists already have acknowledged. (shrink)

The new paradigm in the psychology of reasoning draws on Bayesian formal frameworks, and some advocates of the new paradigm think of these formal frameworks as providing a computational-level theory of rational human inference. I argue that Bayesian theories should not be seen as providing a computational-level theory of rational human inference, where by “Bayesian theories” I mean theories that claim that all rational credal states are probabilistically coherent and that rational adjustments of degrees of belief in the light of (...) new evidence must be in accordance with some sort of conditionalization. The problems with the view I am criticizing can best be seen when we look at chains of inferences, rather than single-step inferences. Chains of inferences have been neglected almost entirely within the new paradigm. (shrink)

It is tempting to think that multi premise closure creates a special class of paradoxes having to do with the accumulation of risks, and that these paradoxes could be escaped by rejecting the principle, while still retaining single premise closure. I argue that single premise deduction is also susceptible to risks. I show that what I take to be the strongest argument for rejecting multi premise closure is also an argument for rejecting single premise closure. (...) Because of the symmetry between the principles, they come as a package: either both will have to be rejected or both will have to be revised. (shrink)

Condorcet's famous jury theorem reaches an optimistic conclusion on the correctness of majority decisions, based on two controversial premises about voters: they are competent and vote independently, in a technical sense. I carefully analyse these premises and show that: whether a premise is justi…ed depends on the notion of probability considered; none of the notions renders both premises simultaneously justi…ed. Under the perhaps most interesting notions, the independence assumption should be weakened.

In this paper, I examine Wittgenstein’s conception of reason and rationality through the lens of his conception of reasons. Central in this context, I argue, is the image of the chain, which informs not only his methodology in the form of the chain-method, but also his conception of reasons as linking up immediately, like the links of a chain. I first provide a general sketch of what reasons are on Wittgenstein’s view, arguing that giving reasons consists in (...) making thought and action intelligible by delineating reasoning routes; that something is a reason not in virtue of some intrinsic property, but in virtue of its role; and that citing something as a reason characterises it in terms of the rational relations it stands in according to context-dependent norms. I then argue that on Wittgenstein’s view, we misconceive chains of reasons if we think of them on the model of chains of causes. Chains of reasons are necessarily finite, because they are anchored in and held in place by our reason-giving practices, and it is in virtue of their finitude that chains of reasons can guide, justify and explain. I argue that this liberates us from the expectation that one should be able to give reasons for everything, but that it limits the reach of reasons by tying them to particular reasoning-practices that they cannot themselves justify. I end by comparing and reconciling Wittgenstein’s dichotomy between chains of reasons and chains of causes with seemingly competing construals of the dichotomy, and I clarify its relation to the dichotomy between explanation and justification. (shrink)

Automated vehicles promise much in the way of both economic boons and increased personal safety. For better or worse, the effects of automating personal vehicles will not be felt for some time. In contrast, the effects of automated work vehicles, like semi-trucks, will be felt much sooner—within the next decade. The costs and benefits of automation will not be distributed evenly; while most of us will be positively affected by the lower prices overall, those losing their livelihoods to the automated (...) semi-trucks and other similar work vehicles will be much worse off. This sets up a classic distributive justice problem: how do we balance the harms and benefits of automation? In this paper, the authors recommend work alternatives: policies that the government would enact in order to ensure that each person could live a decent life even if one could not work, especially for reasons like having one’s job automated. After arguing for this position, we propose some policy guidelines. (shrink)

The problem of deviant causal chains is endemic to any theory of action that makes definitional or explanatory use of a causal connection between an agent’s beliefs and pro-attitudes and his bodily movements. Other causal theories of intentional phenomena are similarly plagued. The aim of this chapter is twofold. First, to defend Davidson’s defeatism. In his treatment of deviant causal chains, Davidson makes use of the clause “in the right way” to rule out causal waywardness, but he regards any attempt (...) at specifying ‘right’ sorts of causal histories as hopeless and even harmful. To my mind, Davidson’s defeatism contains a valuable insight, so I shall try to explain the reasons for it. Second, I shall try to answer a question that has often been ignored or passed over in the literature; namely the question of what it is that deviant causal chains deviate from. (shrink)

Causal theories of action, perception and knowledge are each beset by problems of so-called ‘deviant’ causal chains. For each such theory, counterexamples are formed using odd or co-incidental causal chains to establish that the theory is committed to unpalatable claims about some intentional action, about a case of veridical perception or about the acquisition of genuine knowledge. In this paper I will argue that three well-known examples of a deviant causal chain have something in common: they each violate Yablos (...) proportionality constraint on causation. I will argue that this constraint provides the key to saving causal theories from deviant chains. (shrink)

It’s often thought that the phenomenon of risk aggregation poses a problem for multi-premise closure but not for single-premise closure. But recently, Lasonen-Aarnio and Schechter have challenged this thought. Lasonen-Aarnio argues that, insofar as risk aggregation poses a problem for multi-premise closure, it poses a similar problem for single-premise closure. For she thinks that, there being such a thing as deductive risk, risk may aggregate over a single premise and the deduction itself. Schechter argues that (...) single-premise closure succumbs to risk aggregation outright. For he thinks that there could be a long sequence of competent single-premise deductions such that, even though we are justified in believing the initial premise of the sequence, intutively, we are not justified in believing the final conclusion. This intuition, Schechter thinks, vitiates single-premise closure. In this paper, I defend single-premise closure against the arguments offered by Lasonen-Aarnio and Schechter. (shrink)

In the paper, certain rational postulates for protocols describing real communicating are introduced.These rational postulates, on the one hand, allow assigning a certain typology of real systems of interactions, which is consistent with the reality of epistemic argumentation in systems of communicating, and on the other one – defining rules of using argumentation in real situations. Moreover, the presented postulates for protocols characterize information networks and administering knowledge in real interactivity systems. Due to the epistemic character of the considerations, the (...) problem undertaken in the paper concerns working out fundamental assumptions that refer to building of epistemic logics. They allow establishing the correctness of the discourse defined by rational postulates of protocols of real communication. In the context of the presented problem there are the following two research questions distinguished: 1) How do we determine the rule of building of real dynamic epistemic logics? and 2) How should we define semantics for these logics? Within the framework of considerations relating to the research questions asked, certain epistemic operators, relativized to types of communicating, are introduced. Basic logical relations between using these operators are established for these operators. The relations are presented by a diagram called the square of epis temic operators. On the basis of these logical relations some axioms for real dynamic epistemic logics are presented. The semantics of real dynamic epistem ic logics is extended by the methods of lower and upper approximation of formula evaluating. This allows defining ‘approximation Kripke models’. The results of conceptualization of knowledge on real premises of epistemic argum entation presented in this paper can be applied to rhetoric in real systems of interaction. (shrink)

Many philosophers have been attracted to the view that reasons are premises of good reasoning – that reasons to φ are premises of good reasoning towards φ-ing. However, while this reasoning view is indeed attractive, it faces a problem accommodating outweighed reasons. In this article, I argue that the standard solution to this problem is unsuccessful and propose an alternative, which draws on the idea that good patterns of reasoning can be defeasible. I conclude by drawing out implications for the (...) debate over pragmatic reasons for belief and other attitudes and for one influential form of reductionism about the normative. (shrink)

In ‘Against vaccine nationalism’, Nicole Hassoun misrepresents our argument, distorts our position and ignores crucial distinctions we present in our article, ‘Love thy neighbor? Allocating vaccines in a world of competing obligations’. She has created a strawman that does not resemble our position. In this reply, we address two features of ‘Against vaccine nationalism’. First, we address a phantom premise. Hassoun misattributes to us a thesis, according to which citizen-directed duties are stronger than noncitizen-directed duties. This thesis is a (...) figment of her imagination, not a fragment of our argument. Second, we address a shape-shifting ism. Ambiguity attaches to ‘vaccine nationalism,’ ambiguity that Hassoun exploits despite our distinguishing various meanings of the phrase. As a result, the type of vaccine nationalism she argues against is not the type we defend. (shrink)

The contemporary theory of epistemic democracy often draws on the Condorcet Jury Theorem to formally justify the ‘wisdom of crowds’. But this theorem is inapplicable in its current form, since one of its premises – voter independence – is notoriously violated. This premise carries responsibility for the theorem's misleading conclusion that ‘large crowds are infallible’. We prove a more useful jury theorem: under defensible premises, ‘large crowds are fallible but better than small groups’. This theorem rehabilitates the importance of (...) deliberation and education, which appear inessential in the classical jury framework. Our theorem is related to Ladha's (1993) seminal jury theorem for interchangeable (‘indistinguishable’) voters based on de Finetti's Theorem. We also prove a more general and simpler such jury theorem. (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary (...) to Graham, Knuth and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (shrink)

Anca Gheaus considers the reasons we owe our children a sustainable world.

Donald Davidson’s causal theory of actions states that actions must be rationalized and caused by a belief-desire-pair. One problem of such a causal theory are cases of deviant causal chains. In these cases, the rationalized action is not caused in the right way but via a deviant causal chain. It therefore intuitively seems to be no action while all conditions of the causal theory are met. I argue that the problem of deviant causal chains can be solved by adding (...) a teleofunctionalist condition. This condition requires that the belief-desire pair that rationalizes an action must cause that action in a selection-historically normal way. I try to show that this additional condition drops counterintuitive cases of deviant causal chains out of the class of actions while being flexible enough to classify such cases as actions in which causal detours are intuitively permissible. (shrink)

This article synthesizes the current theoretical attempts to understand human-machine interactions and introduces seven premises to understand our emerging dynamics with increasingly competent, pervasive, and instantly accessible algorithms. The hope that these seven premises can build toward a social theory of human-AI cocreation. The focus on human-AI cocreation is intended to emphasize two factors. First, is the fact that our machine learning systems are socialized. Second, is the coevolving nature of human mind and AI systems as smart devices form an (...) indispensable part of our cognitive scaffolds, thus, shaping how we perceive the world and ourselves. The seven premises include: primacy of social structures; human’s desire for freedom and autonomy; AI systems will form inseparable parts of our cognitive/affective scaffolds and can change our self-understanding; philosophy and humanistic foundations on human flourishing as a guide to human-AI interaction; mindsponge information-filtering process; acculturative process of how values change and emerge from human-AI interaction; overlapping Venn diagram of the human-human, human-nature, and human-machine interactions. This article concludes with a discussion on human agency in our entanglements with socialized machines and the illusoriness of the Cartesian agent view of the mind. (shrink)

Recent shifts by the World Bank and the World Food Programme emphasize long-term, sustainable solutions that leverage local resources, capacity, and community participation. Effective supply chain management, crucial to program delivery, is vital for developing a sustainable approach to school feeding. This study aims to examine national and international capacities in supply chain management by analyzing the food items delivered through the school meals program.

Around 1970, both Keith Donnellan and Saul Kripke produced powerful arguments against description theories of proper names. They also offered sketches of positive accounts of proper name reference, highlighting the crucial role played by historical facts that might be unknown to the speaker. Building on these sketches, in the following years Michael Devitt elaborated his well-known causal theory of proper names. As I have argued elsewhere, however, contrary to what is commonly assumed, Donnellan’s and Kripke’s sketches point in two rather (...) different directions, by appealing to historical or causal facts of different sorts. In this paper, I shall discuss and criticize Devitt’s causal theory, which confuses things, I shall argue, by mixing, so to speak, Donnellan’s and Kripke’s sketches. (shrink)

Purpose: The research explored empirical evidence to assess the impact of cyber security and supply chain risk on digital operations in the UAE pharmaceutical industry. Methodology/Design/Approach: Based on responses from 243 personnel working at 14 pharmaceutical manufacturing companies in Dubai, data were examined for normality, instrument validity and regression analysis. Cyber security and SC risk on digital operations were explored by applying convenient sampling and descriptive and analytical research design. Findings: The findings validated the significant positive association between cyber (...) security and supply chain risk with digital operations. Research implications and Limitations: The research model was developed with three variables evaluated only on the pharmaceutical industry in Dubai. Future research should focus on multiple manufacturing industries by covering a larger geographic area. Practical implications: When suppliers are highly concentrated, customer-focused organisations with uncertain levels of digital transformation could improve their ability to manage supply chain risk by diversifying their clients. Pharmaceutical firms may require a greater focus on technology-based manufacturing firms to build and maintain customer trust. Originality Value: To illustrate how the pharmaceutical industry has explored the relationship between cyber security, supply chain risk and digital operations, the research highlights the significant and convoluted consequences of the relationship model that have not been previously considered. (shrink)

First published in 1962, this is a book about Marx and Freud - the two intellectual giants of the 20th century.

The implicit dimension of enthymemes is investigated from a pragmatic perspective to show why a premise can be left unexpressed, and how it can be used strategically. The relationship between the implicit act of taking for granted and the pattern of presumptive reasoning is shown to be the cornerstone of kairos and the fallacy of straw man. By taking a proposition for granted, the speaker shifts the burden of proving its un-acceptability onto the hearer. The resemblance of the tacit (...) premise with what is commonly acceptable or has been actually stated can be used as a rhetorical strategy. (shrink)

In this perspective paper, I tried to explain that what will be the possible prospect of multiple functions in one and another through the chain rule of differentiation? The chain rule is a formula to compute the derivative of the functional composition of two or more functions. The chain rule provides us a technique for finding the derivative of composite functions, with the number of functions that make up the composition determining how many differentiation steps are necessary. (...) The chain rule in that what changes I noted, how it can be modified to reduce the differentiation process of multiple functions in one and another and implementing that process in the inverse of multiple functions in one and another, further proceedings them through the chain rule of differentiation with all prospects. Here I claim that the differentiation’s chain rule is not changed but the sequences of finding the derivative of multiple functions are changed. (shrink)

Like all causal theories in philosophy, the causal theory of action is plagued by the problem of deviant causal chains. I have proposed a solution on the basis of the assumption that mental states and events are causally efficacious in virtue of their contents. This solution has been questioned by Torbjörn Tännsjö (2009). First, I will reply to the objection, and then I will discuss Tännsjö’s alternative.

The hypergrowth and hyperconnectivity of networks of artificial intelligence (AI) systems and algorithms increasingly cause our interactions with the world, socially and environmentally, more technologically mediated. AI systems start interfering with our choices or making decisions on our behalf: what we see, what we buy, which contents or foods we consume, where we travel to, who we hire, etc. It is imperative to understand the dynamics of human-computer interaction in the age of progressively more competent AI. This essay presents five (...) premises to serve as starting points for building our understanding of the “interactions’ in human-computer interactions. (shrink)

Abstract: Harnessing natural gas resources for sustainable development requires undertaking fundamental decision chains. The role of the government in championing strategic decisions in the management of these resources to spur social and economic growth is of critical importance. Without proper decision chains, natural gas resources paradoxically may undermine development. The study found that the findings from both closed ended and open-ended results have the implication for adequate decisions the government may take in managing the natural gas resources for long-term social (...) and economic development. The study suggests that in order to accelerate social and economic development of Tanzania, natural gas revenues should be accounted for and wisely use to finance long-term development projects and for an accelerated transition out of poverty. (shrink)

My contention is to adumbrate three general premises leading to religious tolerance. The first is that emphasis should be laid much more on ethics than on metaphysics. Religions greatly differ in supernatural beliefs but all advocate justice, love, truthfulness, self-control and other virtues. Second, the beliefs about God are not true in their exact meaning, but rather as remote analogies to scientific truth. Religion is more resemblant of poetry than science. Third, real tolerance consists in the readiness to assimilate some (...) of the values of other religions, since no one has expressed the transcendent in an exhausting and perfect way. Key Words: tolerance, ethics, objective knowledge, world religions, openness for the Other. (shrink)

Factor Affecting Customer Service in Supply Chain Management of Small and Medium Enterprises: An Empirical Study of Jammu Region -/- Author / Authors : Sanjeev Lalhotra and Prof. B.C Sharma Page no.149-165 Discipline : Applied Economics/ Management/ Commerce Script/language : Roman/English Category : Research paper Keywords: Customer services, Supply Chain Management, Small and Medium Enterprises.

The causal premise of the evolutionary debunking argument contends that human moral beliefs are explained by the process of natural selection. While it is universally acknowledged that such a premise is fundamental to the debunker’s case, the vast majority of philosophers focus instead on the epistemic premise that natural selection does not track moral truth and the resulting skeptical conclusion. Recently, however, some have begun to concentrate on the causal premise. So far, the upshot of this (...) small but growing literature has been that the causal premise is likely false due to the seemingly persuasive evidence that our moral beliefs are in fact not the result of natural selection. In this paper, I argue that this view is mistaken. Specifically, I advocate the Innate Biases Model, which contends that there is not only compelling evidence for an evolved cognitive capacity for acquiring norms but also for the existence of an evolutionarily instilled set of cognitive biases that make it either more or less likely that we adopt certain moral beliefs. (shrink)

The word pro-tasis is etymologically a near equivalent of pre-mise, pro-position, and ante-cedent—all having positional, relational connotations now totally absent in contemporary use of proposition. Taking protasis for premise, Aristotle’s statement (24a16) -/- A protasis is a sentence affirming or denying something of something…. -/- is not a definition of premise—intensionally: the relational feature is absent. Likewise, it is not a general definition of proposition—extensionally: it is too narrow. This paper explores recent literature on these issues.

Th is paper's purpose was to identify the key sources when formulating competitive advantages of hotel chains. Th e research assessed the fi nancial activities performance included in annual hospitality industry reports and on their offi cial websites; questioning of loyal and potential customers; the fi ve-point Likert scale and the Pearson correlation coeffi cient were applied to understand the possible consumer reaction to a certain competitive advantage or its absence. Th e paper confi rms the eff ectiveness of key (...) sources used by management to win and retain competitive advantages: despite strong dependence on the economic cycle phase etc., after the devastating crisis of 2007, 2008, but also to achieve sustainable growth. All the networks examined over the last decade have expanded their presence in international markets, diversifi ed the portfolio of brands, increased the number of jobs and profi ts. It was also proved that the opinion of the fi nal consumer is still not suffi ciently taken into account in the assessment of the Pearson correlation coeffi cient (the latter allowed the authors to propose their own defi nition of the competitive advantage in the industry). Th e paper attempts for the fi rst time to consider the competitive advantages of hotel chains from the point of view not only of theorists and business practitioners, but also with the view of the opinion of the services consumer; there were identifi ed the discrepancies, which consideration would allow to increase the level of guest satisfaction and, accordingly, the effi ciency of the hotel business. In future papers, the authors plan to verify the existence of a correlation between the degree of guest loyalty to a particular hotel network and the main fi nancial results of its activities. (shrink)

This paper is a critique of a paper by Alex Pruss. I argue that Pruss's attempt to motivate acceptance of the key possiblity premise in modal ontological arguments fails.

In this research, an agent-based model was developed to study the propagation of physical climate shocks through supply chain networks. By combining supply chain and financial models, the study examines the effects of climate shocks on firms’ production capacities and their subsequent impacts on firm default risk. A comprehensive mathematical framework is presented for the simulation of physical risks, their subsequent up- and downstream impacts along the supply chain, and the translation of physical impacts into an increased (...) level of default risk. The results highlight the importance of supply chains as a transmission channel for physical climate risks and emphasize the effectiveness of implementing adaptation measures. Practical examples demonstrate the model’s behavior under different hypothetical climate scenarios and identify the sectors most vulnerable to increases in the frequency and intensity of climate events. Overall, this study provides insights into the transmission dynamics of climate shocks and emphasizes the need for resilience against climate events in supply chain networks. (shrink)

Background: The school meals program has multiple objectives of education, nutrition, and value transfer. To ensure achieving the goal, total quality management (TQM) is implemented in the school meals program. Supply chain issues pose significant challenges to TQM implementation in the program execution. Aim: This study aims to examine national and international capacities in supply chain management by analyzing the variety of food items delivered through the school meals program. Methods: The Bayesian Mindsponge Framework, combining the reasoning strengths (...) of Mindsponge Theory and inference advantages of Bayesian analysis, was employed on a dataset of 126 government representatives who manage large-scale school meal programs in 126 different countries. Results: Findings showed that the method of obtaining supplies, whether through in-kind donations from local, regional, national sources, or national food reserves and purchasing from neighboring or distant countries, had a significant positive association with the variety of food items included in school meals or snacks. Conversely, obtaining supplies in-kind from neighboring or distant countries had a significant negative association with the food variety. Additionally, purchasing supplies from local, regional, or national food reserves had an unclear association with the food variety. Conclusions: Findings underscore the importance of supporting the World Bank and World Food Programme’s recommendation to rely more on local resources and capacities. Enhancing supply chain management at the national level is crucial for developing a long-term and sustainable school meals program. (shrink)

Many contemporary moral theories accept and rely upon a singular (often unstated) premise. Contractualisms, traditionally construed rights theories and Millian utilitarianisms all accept a uniquely indefensible claim about the nature of the moral value of rationality. As a result, these moral theories are, despite their differences, equally and seriously marked for reliance on what I will call "the rationality premise". In this work I explain how it is that said reliance guarantees that a theory is impervious to demonstration (...) of soundness. My conclusion deals a serious blow to any theory which relies on the aforementioned premise. (I elsewhere defend an "alternative rights theory" which does not turn on the unique value of rationality, or reason. The work at hand provides the groundwork necessary to a move away from longstanding insistence on human superiority in the carving out of moral theory. (shrink)

In this brief paper, we argue about the conceptual relationship between the role of observer in quantum mechanics and the von Neumann Chain. -/- .

Actions that are intended to produce harmful consequences can fail to achieve their desired effects in numerous ways. We refer to action sequences in which harmful intentions are thwarted as deviant causal chains. The culpable control model of blame (CCM)is a useful tool for predicting and explaining the attributions that observers make of the actors whose harmful intentions go awry. In this paper, we describe six types of deviant causal chains; those in which: an actor’s attempt is obviated by the (...) intervention of another person or the environment; the intended effects could not have been produced regardless of the actor’s behavior; other causes diminish the actor’s causal role; the actor brings about foreseen but undesired consequences as a result of pursuing his or her focal goal; the focal action produces a chain of increasingly remote causal events; and the actor derives unforeseen benefits from his or her nefarious actions. A basic assumption of the CCM in these cases is that attributions for the participants’ actions will depend on positive and negative evaluations of their intentions and behaviors. We describe empirical findings that are consistent with this assumption, and predict other findings for causal deviance phenomena that have not yet been investigated empirically. (shrink)

The aim of this paper is to propose a new approach in the form of multimodality as a semiotic method that can be used by marketers and semioticians to induce online flow, a psychological state, on a brand website. First, we refer to multimodality as a semiotic analysis that can be used for a better optimization of semiotic resource sets in meaning-making, and we distinguish it from another similar concept: multimedia. Second, after a critical literature review, we address the flow (...) construct - a state of mind sometimes experienced by people who are deeply involved and immersed in some event, object or activity. Previous quantitative studies show a correlation between online flow experience and other variables such as design, content, sound and layout that are suggested to be its antecedents. In our study, these flow antecedents are viewed as sets of signs or modes that can be orchestrated in order to create different levels of perceived challenge for brand website users. We consider that multimodality can be used for a better optimization of these various meanings as expressed by modes that are "essentially different in nature" (Bateman, 2008, p.54). Also, we refer to the online marketing outcomes of the online flow experience, in order to outline its importance and its implications in the online environment. The main conclusion of our paper is that multimodality can be used by scholars and practitioners as a premise to induce online flow on a brand website, by optimizing the sets of signs or modes. Originality – our contribution consists of an interdisciplinary approach. We use concepts from semiotics, positive psychology, and online marketing for a better understanding of how marketers and semioticians can positively influence online customer behaviour. (shrink)

The aim of this paper is to show that for Kant, a combination of epigenesis and monogenesis is the condition of possibility of anthropology as he conceives of it and that moreover, this has crucial implications for the biological dimension of his account of human nature. More precisely, I begin by arguing that Kant’s conception of mankind as a natural species is based on two premises: firstly the biological unity of the human species (monogenesis of the human races); and secondly (...) the existence of ‘seeds’ which may or may not develop depending on the environment (epigenesis of human natural predispositions). I then turn to Kant’s account of man’s natural predispositions and show that far from being limited to the issue of races, it encompasses unexpected human features such as gender, temperaments and nations. These predispositions, I argue, are means to the realisation of Nature’s overall purpose for the human species. This allows me to conclude that man’s biological determinism leads to the species’ preservation, cultivation and civilisation. (shrink)