Certain passages in Kaplan’s ‘Demonstratives’ are often taken to show that non-vacuous sentential operators associated with a certain parameter of sentential truth require a corresponding relativism concerning assertoric contents: namely, their truth values also must vary with that parameter. Thus, for example, the non-vacuity of a temporal sentential operator ‘always’ would require some of its operands to have contents that have different truth values at different times. While making no claims about Kaplan’s intentions, we provide several reconstructions of how (...) such an argument might go, focusing on the case of time and temporal operators as an illustration. What we regard as the most plausible reconstruction of the argument establishes a conclusion similar enough to that attributed to Kaplan. However, the argument overgenerates, leading to absurd consequences. We conclude that we must distinguish assertoric contents from compositional semantic values, and argue that once they are distinguished, the argument fails to establish any substantial conclusions. We also briefly discuss a related argument commonly attributed to Lewis, and a recent variant due to Weber. (shrink)

The Operator Argument against eternalism holds that having non-vacuous tense operators in the language is incompatible with the claim that every proposition has its truth-value eternally. Assuming that (1) there are non-vacuous tense operators, (2) tense operators operate on propositions and (3) tense operators which operate on eternal entities are vacuous, it may be argued that eternalism is false. In this paper, I examine the Operator Argument. The goal is threefold. First, I want to present some (...) aspects of the debate in a more elaborate way, especially those concerning formal matters. Secondly, I will argue that eternalism can escape the Operator Argument. There are two main strategies for handling the Operator Argument. The first one is based on replacing temporal operators with object-language quantifiers. The second rejects the identification of compositional semantic value with assertoric content. My third goal is to show that none of them is as good as the strategy that adopts Timestamp Semantics (Fritz in Philosl Stud 176:2933–2959, 2019). I am going to argue that the quantificational treatment of tenses is compatible with temporalism and that the arguments for rejecting the identification of compositional semantic value with assertoric content provide, in fact, a motivation for the temporalist position. At the end, I will develop Timestamp Semantics by providing a novel formalization of it, and defend it against three potential counter-arguments. (shrink)

This work considers the formalisation of the merging process of stratified belief bases, where beliefs are stored in different layers or strata. Their strata are ranked, following a total order, employing the value the agent using the belief base assigns to these beliefs. The agent uses an argumentation mechanism to reason from the belief base and obtain the final inferences. We present two ways of merging stratified belief bases: the first is defined by merging two strata without belief preservation, and (...) the second by merging two strata with belief preservation. For these operators, as layers merge, it is possible that some information has to be deleted from the stratum to maintain consistency. The latter merge operator will be defined as performing their actions so that information removed from the stratum is preserved after the merging by moving it to a stratum containing information perceived as having a lower value and where those beliefs may trigger a new revision, possibly starting a cascading effect. (shrink)

William Lane Craig has argued that there cannot be actual infinities because inverse operations are not well-defined for infinities. I point out that, in fact, there are mathematical systems in which inverse operations for infinities are well-defined. In particular, the theory introduced in John Conway's *On Numbers and Games* yields a well-defined field that includes all of Cantor's transfinite numbers.

Putnam's Model-Theoretic argument purports to show that, contrary to what the metaphysical realist is committed to, an epistemically ideal theory which satisfies all operational and theoretical constraints can be guaranteed to be true. He draws the additional antirealist conclusion that there can be no single privileged relation of reference. I argue that the very possibility of a so-called ideal theory satisfying all operational constraints presupposes a determinate relation of reference, and hence Putnam must assume precisely what he denies.

The main question of our article is: What is the logical form of statements containing expressions such as “… is true” and “it is true that …”? We claim that these expressions are generally not used in order to assign a certain property to sentences. We indicate that a predicative interpretation of these expressions was rejected by Frege and adherents to the prosentential conception of truth. We treat these expressions as operators. The main advantage of our operational reading is (...) the fact that it adequately represents how the words, “true” and “truth,” function in everyday speech. Our approach confirms the intuition that so-called T-equivalences are not contingent truths, and explains why they seem to be—in some sense—necessary sentences. Moreover, our operational readingof truth expressions dissolves problems arising from the belief that there is some specific property—truth. The fact that we reject that truth is a certain property does not mean that we deny that the concept of truth plays a very important role in our language, and hence in our life. We indicate that the concept of truth is inseparable from the concept of sentence and vice versa—it is impossible to explicate one of these concepts without appeal to the other. (shrink)

Many recent studies of dynamics in formal argumentation within AI focus on the well-known formalism of Dung’s argumentation frameworks (AFs). Despite the usefulness of AFs in many areas of argumentation, their abstract notion of arguments creates a barrier for operators that modify a given AF, e.g., in the case that dependencies between arguments have been abstracted away that are important for subsequent modifications. In this paper we aim to support development of dynamic operators on formal models in abstract (...) argumentation by providing constraints imposed on the modification of the structure that can be used to incorporate information that has been abstracted away. Towards a broad reach, we base our results on the general formalism of abstract dialectical frameworks (ADFs) in abstract argumentation. To show applicability, we present two cases studies that adapt an existing extension enforcement operator that modifies AFs: in the first case study, we show how to utilize constraints in order to obtain an enforcement operator on ADFs that is allowed to only add support relations between arguments, and in the second case study we show how an enforcement operator on AFs can be defined that respects dependencies between arguments. We show feasibility of our approach by studying the complexity of the proposed structural constraints and the operators arising from the case studies, and by an experimental evaluation of an answer set programming (ASP) implementation of the enforcement operator based on supports. (shrink)

Various arguments have been provided for drawing non-humans such as animals and artificial agents into the sphere of moral consideration. In this paper, I argue for a shift from an ontological to a social-philosophical approach: instead of asking what an entity is, we should try to conceptually grasp the quasi-social dimension of relations between non-humans and humans. This allows me to reconsider the problem of justice, in particular distributive justice . Engaging with the work of Rawls, I show that an (...) expansion of the contractarian framework to non-humans causes an important problem for liberalism, but can be justified by a contractarian argument. Responding to Bell’s and Nussbaum’s comments on Rawls, I argue that we can justify drawing non-humans into the sphere of distributive justice by relying on the notion of a co-operative scheme. I discuss what co-operation between humans and non-humans can mean and the extent to which it depends on properties. I conclude that we need to imagine principles of ecological and technological distributive justice. (shrink)

So-called ‘reified temporal logics’ were introduced by researchers in Artificial Intelligence (AI) in the early 1980s, and gave rise to a long-running series of debates concerning the proper way to represent states, events, causation, action, and other notions identified as crucial to the knowledge representation needs of AI. These debates never resulted in a definitive resolution of the issues under discussion, and indeed continue to produce aftershocks to the present day; none the less, we are now sufficiently far removed in (...) time from their heyday for it to be a worthwhile exercise to stand back and review them as a connected piece of history. (shrink)

It is a widely held view in philosophy that propositions perform a plethora of different theoretical roles. Amongst other things, they are believed to be the semantic values of sentences in contexts, the objects of attitudes, the contents of illocutionary acts, and the referents of that-clauses. This assumption is often combined with the claim that propositions have their truth-values eternally. In this paper I aim to show that these two assumptions are incompatible: propositions cannot both fulfill the mentioned roles and (...) be eternally true or false. Following Kaplan and Lewis’s Operator Argument, I argue that compositional semantic values of sentences in contexts do not correspond to eternal propositions. Thus, either we regard the non-eternal entities that in fact realize the semantic role of propositions as also fulfilling the remaining propositional roles, or we abandon the assumption that there is a unique realizer of all the roles. The Operator Argument has recently come under attack, mainly for its tense-logical assumptions. However, rejecting these assumptions is not a sufficient defense of the compatibility of the two claims, since the extensional alternative to the tense-logical framework does not allow us to universally retain eternal propositions as compositional semantic values of sentences either. (shrink)

In the debate between relativism and contextualism about various expressions, the Operator Argument, initially proposed by Kaplan , has been taken to support relativism. However, one widespread reaction against the argument has taken the form of arguing against one assumption made by Kaplan: namely, that certain natural language expressions are best treated as sentential operators. Focusing on the only extant version of the Operator Argument proposed in connection to predicates of personal taste such as “tasty” and experiencer phrases such (...) as “for Anna” ), in this paper I investigate whetherthe reasons offered by Cappelen and Hawthorne against various assumptions of the argument failing in the case of modal, temporal, locationaland precisional expressions transfer to the case of experiencer phrases to undercut support for relativism about predicates of personal taste. My aim is to show that they don’t. Thus, I first show that their considerations against experiencer phrases such as “for Anna” being sentential operators are not decisive. Second, I show that even if granting that such experiencer phrases are not sentential operators, a suitably modified version of the Operator Argument can be defended from the objections they raise. (shrink)

This chapter contains sections titled: Introduction Natural Selection Operates within Genomes without Regard for Phenotypic Effect Selective Forces, Heritable Variation, and the Definition of Function Natural Selection Can, and Does, Act on the Products of Individual Genes Natural Selection Can Act Directly on Genes Themselves What Are the Limitations on the Unit of Selection Being “the Gene”? The “Complexity” Argument: Do Complex Phenotypes Require Complex Explanations? Do “Epigenes/Epialleles” Provide a “Non‐genetic” Source of Heritable Variation Upon Which Natural Selection May Act? (...) Summary Points: The Usual Unit of Selection Is the Gene Postscript: Counterpoint Note References. (shrink)

The present paper reports a set of experimental studies concerning the comprehension of French argumentative operators and connectives.The first part is a presentation of the theoretical framework, the methodological problems and some of the most general results. Experiments were carried out in the perspective of the linguistic theory of argumentation developed by Anscombre and Ducrot. According to this theory, a number of devices in language are mainly defined by their argumentation function, i.e. by the types of discursive sequences (...) and conclusions they involve. Three categories of such devices were examined: (1) operators like “presque” (almost), “à peine” (hardly), “au moins” (at least), etc. which give an argumentative orientation to the statement; (2) co-orientation connectives, like “même” (even), which relate two statements oriented towards the same conclusion; (3) counter-orientation connectives, like the concessive ones (“mais” (but), “quand même” (even so), etc.), which relate two statements oriented towards opposite conclusions. The data shed light on issues such as: What is the nature of the relationship between the informative and argumentative functions of different operators? Is there a hierarchical relation between the argumentative processes of “co-orientation” and “counter-orientation”? What is the role of negation in the processing of argumentative sequences?The second part of the paper focuses specifically on the study of how 8 and 10 year-old children process “counter-oriented” statements. Five concessive connectives were studied: “mais”, “pourtant”, “quand même”, “même si”, “bien que”. The test was composed of two successive completion tasks: in one task the children had to choose the relevant context of complex sentences involving concessive connectives; in the other task they had to choose their relevant conclusion. Main results show a clear evolution in the performance of children between 8 and 10, suggesting that concessive strategies are not completely mastered at the age of 8. Differences among the concessive connectives studied were brought out: the item “quand même” obtained much better results than the other items with 8-year-old subjects; statements with “mais” seemed to be better processed in the conclusion task than in the context task, especially by 10-year-old subjects. These results are compared with other data obtained in some of the numerous studies on the production and comprehension of concessive connectives in various languages, and discussed from the point of view of argumentative theory. (shrink)

When 16- and 17-year-old students are required to write a framed argumentative text which first supports position A and then supports an opposing position B, the familiarity of the debated topic seems to determine the “argumentative quality” of the texts produced. Indeed, the possibility of getting personally involved in the discourse leads to more effective writing strategies and to the use of typical marks of argumentation.

The philosophy of Confucius has often been accused of lacking classical definitions of its core concepts. However, as I shall argue, Confucius systematically used nonclassical definitions—to be precise, operational ones. The notion of operational definition comes from Percy Bridgman’s The Logic of Modern Physics and means that the definiendum is defined by a set of operations that results in determining the meaning of the term in question. In the case of Confucian argumentation, operational definitions are mostly nominal and, in contrast (...) to unambiguous methods of measurement, also context-dependent. This results in there being various yet not mutually inconsistent definitions of one term, and in “paradigmatic examples” playing a crucial role. As I show, this mode of defining things had major implications for the content of Confucius’ thought. In fact, many of its forms could be traced back to other Chinese philosophers, including those of non-Confucian provenance. (shrink)

Some of our beliefs are institutional; that is, beliefs whose content is to a large extent shaped by institutions, such as beliefs about intellectual property, trade policy, or traffic rules. In this chapter, we propose a novel account of institutional beliefs, as we call them. In particular, we argue that institutional beliefs are primarily attributable to social entities, such as groups or collectives, and only secondarily to individual agents. This is because institutional beliefs respond to specific problems that, in principle, (...) only collectives face. However, existing methodology in behavioural science primarily relies on eliciting beliefs through individual choice data, which presents challenges for empirically modelling our proposed concept of institutional beliefs. To address this challenge, we propose to speak of institutional beliefs attributable to individual agents as ‘qua beliefs’. That is, institutional beliefs attributable to individual agents acting qua members of certain institutionally shaped groups. Within this framework, individuals’ qua actions occur in a shared realm of problems that can only be addressed through collective efforts. The relationship between individuals and their groups can be rendered tractable under formalised conditions. Under these conditions, choice data collected from individuals need not obstruct the elicitation of institutional beliefs for empirical study at both the collective and the individual level. We refer to these conditions as “IS conditions”, which are developed based on the synthesis between an interpretationist understanding of mental states and standard models of revealed preference theory as used in experimental economics. For an illustration of how this approach can be operationalised experimentally, we direct our readers to chapter 10 of this volume, where an experimental study applied our account of institutional beliefs. (shrink)

Related Works: Part II: C. T. Chong, Yue Yang. $\Sigma_2$ Induction and Infinite Injury Priority Argument, Part II: Tame $\Sigma_2$ Coding and the Jump Operator. Ann. Pure Appl. Logic, vol. 87, no. 2, 103--116. Mathematical Reviews : MR1490049 Part III: C. T. Chong, Lei Qian, Theodore A. Slaman, Yue Yang. $\Sigma_2$ Induction and Infinite Injury Priority Argument, Part III: Prompt Sets, Minimal Paries and Shoenfield's Conjecture. Mathematical Reviews : MR1818378.

It is argued that Hellman's arguments purporting to demonstrate that constructive mathematics cannot cope with unbounded operators on a Hilbert space are seriously flawed, and that there is no evidence that his thesis is correct.

According to operator theories, "if" denotes a two-place operator. According to restrictor theories, "if" doesn't contribute an operator of its own but instead merely restricts the domain of some co-occurring quantifier. The standard arguments (Lewis 1975, Kratzer 1986) for restrictor theories have it that operator theories (but not restrictor theories) struggle to predict the truth conditions of quantified conditionals like -/- (1) a. If John didn't work at home, he usually worked in his office. b. If John didn't work at (...) home, he must have worked in his office. -/- Gillies (2010) offers a context-shifty conditional operator theory that predicts the right truth conditions for epistemically modalized conditionals like (1b), thus undercutting one standard argument for restrictor theories. I explore how we might generalize Gillies' theory to adverbially quantified conditionals like (1a) and deontic conditionals, and argue that a natural generalization of Gillies' theory -- following his strategy for handling epistemically modalized conditionals -- won't work for these other conditionals because a crucial assumption that epistemic modal bases are closed (used to neutralize the epistemic quantification contributed by "if") doesn't have plausible analogs in these other domains. (shrink)

I shall be dealing, throughout this book, with a set of related problems: the relationship between morality and reasoning in general, the way in which moral reasoning is properly to be carried on, and why morality is not arbitrary. The solutions to these problems come out of the same train of argument. Morality is not arbitrary, I shall argue, because the acceptance of certain qualities of character as virtues and the rejection of others as vices is forced on us by (...) the co-operative basis of human life. The co-operation in human life is unavoidable; the alternative is a literal Hobbesian state of nature, and that is impossible. It is not that co-operation between people is a good thing or even a very good thing; it is simply unavoidable in human life, and it is impossible unless the qualities of character counted as virtues are encouraged and are at least fairly common. The possibility of human life presupposes a theory of human nature, and working out that theory of human nature is the main job of moral philosophy. These virtues or qualities of character or attitudes lead us towards a theory of reasons. A person with a sense of justice is a person inclined to accept certain sorts of facts as reasons for acting, and if the virtues are presupposed by human life then the acceptance of those sorts of facts as reasons for acting is presupposed by human life. A condition of the life of reasoning beings (a more accurate term here than 'human beings') is that moral reasons are reasons for acting and are at the very basis of reasoning. And from this it follows that properly conducted moral reasoning is ultimately guided by the virtues rather than ultimately guided by a set of rules. (shrink)

Context: The question of how to understand the epistemology of set theory has been a longstanding problem in the foundations of mathematics since Cantor formulated the theory in the 19th century, and particularly since Bertrand Russell articulated his paradox in the early twentieth century. The theory of types pioneered by Russell and Whitehead was simplified by mathematicians to a single distinction between sets and classes. The question of the meaning of this distinction and its necessity still remains open. Problem: I (...) am concerned with the meaning of the set/class distinction and I wish to show that it arises naturally due to the nature of the sort of distinctions that sets create. Method: The method of the paper is to discuss first the Russell paradox and the arguments of Cantor that preceded it. Then we point out that the Russell set of all sets that are not members of themselves can be replaced by the Russell operator R, which is applied to a set S to form R(S), the set of all sets in S that are not members of themselves. Results: The key point about R(S) is that it is well-defined in terms of S, and R(S) cannot be a member of S. Thus any set, even the simplest one, is incomplete. This provides the solution to the problem that I have posed. It shows that the distinction between sets and classes is natural and necessary. Implications: While we have shown that the distinction between sets and classes is natural and necessary, this can only be the beginning from the point of view of epistemology. It is we who will create further distinctions. And it is up to us to maintain these distinctions, or to allow them to coalesce. Constructivist content: I argue in favor of a constructivist perspective for set theory, mathematics, and the way these structures fit into our natural language and constructed speech and worlds. That is the point of this paper. It is only in the reach for absolutes, ignoring the fact that we are the authors of these structures, that the paradoxes arise. (shrink)

Debunking arguments are arguments that seek to undermine a belief or doctrine by exposing its causal origins. Two prominent proponents of such arguments are the utilitarians Joshua Greene and Peter Singer. They draw on evidence from moral psychology, neuroscience, and evolutionary theory in an effort to show that there is something wrong with how deontological judgments are typically formed and with where our deontological intuitions come from. They offer debunking explanations of our emotion-driven deontological intuitions and dismiss complex deontological theories (...) as products of confabulatory post hoc rationalization. Through my discussion of Greene and Singer’s empirically informed debunking of deontology, I introduce the distinction between two different types of debunking arguments. The first type of debunking argument operates through regular undercutting defeat, whereas the second type relies on higher-order evidence. I argue that the latter type of debunking argument, of which the argument from confabulation is an example, is objectionably sloppy and therefore inadmissible in academic discussion. (shrink)

Despite the undeniable epistemic progress of developmental biology from the second half of the twentieth century to the present day, there still is widespread disagreement on defining the biological term of ‘development’. This scientific field epistemologically is neither unsuccessful nor immature, thus the persistent lack of agreement on its most central concept raises some important questions: is there any need for an explicit definition of biological development, and if so, what content should the definition have? My central thesis is twofold. (...) First, that current definitions of biological development are conceptually or empirically inadequate. Second, that an explicit definition of biological development is very much needed (a) for the practical purposes of science textbooks, but more importantly is needed (b) epistemically for exposing or overcoming problematic assumptions and for partially guiding scientific research by coding the appropriate assumptions. To support this thesis, initially I will show the deficiencies of the dominant definitions of biological development; and subsequently I will provide two arguments: an Argument from Practical Purposes and an Argument from Epistemic Purposes. Finally, for accommodating practical and epistemic purposes and as a response to the inadequacy of the available definitions of development, I will propose and defend an operational definition of biological development which is aimed to be broader than the received ones, while being more precise and fruitful to conduct empirical research. (shrink)

This article examines two essays by undergraduate students in the first year of study in History at a university in the UK. It also draws on documentary evidence from the department in question and interviews with the students themselves to paint a picture of the way argumentation operates at this level. While no firm conclusions can be drawn, the evidence suggests a department with a high degree of awareness of the importance of argument and argumentation in studying History; and students (...) who are aware and articulate about the problem facing them in constructing essays in the discipline. Suggestions are made about induction into the epistemological and argumentative demands of undergraduate study. (shrink)

With the current pandemic, many scholars have contended that clinical criteria offer the best way to implement triage. Further, they dismiss the criteria of social value as a good one for triage. In this paper, I respond to refute this perspective. In particular, I present two sets of arguments. Firstly, I argue that the objections to the social value criteria they present apply to the clinical criteria they favor. Secondly, they exaggerate the negative aspects of the social value criteria, while (...) I suggest it is reasonable to use this. I end the article by recommending how operative public values can be a good way to make triaging decisions. (shrink)

This article utilises Luhmann's functional analysis to investigate the role played by legal argumentation within the legal system. Luhmann's sociological observations on this subject suggest an alternative to jurisprudential approaches that understand legal arguments and consequent decisions in terms of the relative strengths of the justifications offered in their support. His account examines the role played by legal argumentation in allowing the legal system to evolve in response to society's increasing complexity. The concepts he employs to analyse this evolutionary capacity (...) of law, developed from their origins in information theory, are redundancy and variety. Beginning with the work of Dworkin the article opens up Luhmann's analysis to consider how legal argumentation operates both as a grounded form of communication, capable of identifying weak or unsustainable interpretations of legal texts, and a mechanism for evolving law in the direction of increasing complexity. (shrink)

Dr Seuren's study deals with the problem of presenting an adequate model of grammatical description. The model he proposes conforms in its main outlines to the transformational generative grammar established by Chomsky, but differs in important respects. These mainly affect that part of Chomsky's syntactic component known as the 'base', which generates basic or 'deep' structures. In the model of the base proposed here two main constituents are distinguished for every deep structure representation of a sentence, vis-a-vis the operators (...) and the nucleus. The deep structure of a sentence is thus seen to be very similar to the logical structure of a proposition. The arguments given in support of this analysis are based on mainly on considerations of simplicity and semantic adequacy. (shrink)

The paper reconstructs Luhmann’s conception of legal argumentation and justice especially focussing on the aspects of contingency and self-referring operative closure. The aim of his conception is to describe/explain in a disenchanted way—from an external, of “second order” point of view—the work on adjudication, which, rather idealistically, lawyers and judges present as being a matter of reason. As a consequence of some surface similarities with Derrida’s deconstructive philosophy of justice, Teubner proposes integrating the supposed reductive image of formal justice described (...) by Luhmann with the ideal conception of justice presented by Derrida. Here this kind of attempt is rejected as epistemologically wrong. In addition, Luhmann’s theory is argued to have other shortcomings, namely: the failure to understand the pragmatic function of principles, and the incapacity to describe the current legal questions linked with cultures and legal pluralism, which characterise our society. (shrink)

Frege uses Greek letters in two different ways in his Begriffsschrift. One way is the familiar use of bound variables, in conjunction with variable-binding operators, to mark and close argument-places. The other, which is quite unfamiliar, employs letters to mark places for operators to reach into, without thereby closing these places. Frege thereby invents a powerful and compact notation for functional operations which can be recommended even today. His regrettable double use of Greek letters obscured his invention, and (...) this, together with the fact that in the Grundgesetze he no longer has need of function-valued functions, explains why the device was overlooked and has not passed into general use. (shrink)

It, is shown that Birkhoff –von Neumann quantum logic (i.e., an orthomodular lattice or poset) possessing an ordering set of probability measures S can be isomorphically represented as a family of fuzzy subsets of S or, equivalently, as a family of propositional functions with arguments ranging over S and belonging to the domain of infinite-valued Łukasiewicz logic. This representation endows BvN quantum logic with a new pair of partially defined binary operations, different from the order-theoretic ones: Łukasiewicz intersection and union (...) of fuzzy sets in the first case and Łukasiewicz conjunction and disjunction in the second. Relations between old and new operations are studied and it is shown that although they coincide whenever new operations are defined, they are not identical in general. The hypothesis that quantum-logical conjunction and disjunction should be represented by Łukasiewicz operations, not by order-theoretic join and meet is formulated and some of its possible consequences are considered. (shrink)

Natural selection is an important force that shapes the evolution of all living things by determining which individuals contribute the most descendents to future generations. The biological unit upon which selection acts has been the subject of serious debate, with reasonable arguments made on behalf of populations, individuals, individual phenotypic characters and, finally, individual genes themselves. In this essay, I argue that the usual unit of selection is the gene. There are powerful logical arguments in favor of this conclusion, as (...) well as many real-world examples. I also explore the possibility that epigenetic differences between individuals may be heritable between generations. Although few such examples exist, epigenetic differences provide an exciting source of potentially heritable variation that may allow rapid evolutionary change to occur, perhaps in response to environmental influences. (shrink)

This topic was first put on a proper scholarly footing by the late Werner Jaeger and by Charles H. Kahn; earlier scholars tended either to refrain from speculating on the relation to Anaximander of Aristotle's Physics arguments on the infinite, or to deduce the Milesian provenance of one of them simply from its inclusion of a mention of Anaximander's name. It way my original intention in this paper to execute a tidying-up operation after the two well-planned attacks on Anaximander's argument (...) by Jaeger and Kahn. I said some time ago in a footnote that I hoped to strengthen Professor Kahn's case for the unity of the argument concerning the infinite at Physics 203b4-15. If the following remarks achieve anything, it will be the half-fulfilment of that half-promise: instead of strengthening Kahn's reasoning for the unity of Aristotle's argument, what follows will tend to weaken it. But without the materials and the example of Jaeger and Kahn this present operation could never have been mounted, and disagreement with their strategy or tactics indicates no ingratitude and no narrowly polemical intention. (shrink)

Brian Medlin has excluded the possibility of something being self-explanatory in anything but a logical sense. Hence any non-logical necessity has always to be in terms of something other than the explicand. In this context, the principle of sufficient reason cannot escape contraction to a form so patently useless that no proponent of the contingency argument would want to employ it. Many of the objections in Section 4 have point, however, only against an argument which uses such an unacceptable form (...) of the principle.The objections in Section 5 are directed against an argument framed in the only other way allowable under Medlin’s dichotomy, but which is of no use to the theist, for the simple-reason that its conclusion is not existential in the required (present actuality) sense. Objections against such an argument would concern the theist only if their validity were so wide as to embrace a truly existential argument as well. As we have-seen it is in just that case that they break down.In neither Section 4 nor 5, therefore, does the article come to grips with the contingency argument. The objections leave it untouched, because neither of Medlin’s notions of contingency and necessity corresponds to that which is operative in the argument. (shrink)

A leading expert in informal logic, Douglas Walton turns his attention in this new book to how reasoning operates in trials and other legal contexts, with special emphasis on the law of evidence. The new model he develops, drawing on methods of argumentation theory that are gaining wide acceptance in computing fields like artificial intelligence, can be used to identify, analyze, and evaluate specific types of legal argument. In contrast with approaches that rely on deductive and inductive logic and rule (...) out many common types of argument as fallacious, Walton’s aim is to provide a more expansive view of what can be considered "reasonable" in legal argument when it is construed as a dynamic, rule-governed, and goal-directed conversation. This dialogical model gives new meaning to the key notions of relevance and probative weight, with the latter analyzed in terms of pragmatic criteria for what constitutes plausible evidence rather than truth. (shrink)

This chapter offers a review of standard views about the requirements for natural selection to shape evolution and for the sorts of ‘units’ on which selection might operate. It then summarizes traditional arguments for genic selectionism, i.e., the view that selection operates primarily on genes (e.g., those of G. C. Williams, Richard Dawkins, and David Hull) and traditional counterarguments (e.g., those of William Wimsatt, Richard Lewontin, and Elliott Sober, and a diffuse group based on life history strategies). It then offers (...) a series of responses to the arguments, based on more contemporary considerations from molecular genetics, offered by Carmen Sapienza. A key issue raised by Sapienza concerns the degree to which a small number of genes might be able to control much of the variation relevant to selection operating on such selectively critical organs as hearts. The response to these arguments suggests that selection acts on many levels at once and that sporadic selection, acting with strong effects, can act successively on different key traits (and genes) while maintaining a balance among many potentially conflicting demands faced by organisms within an evolving lineage. (shrink)

Summary The analysis of structures of argumentation in historical controversies is considered to be a basic contribution to the dynamics of theories. In this paper attention is drawn to the occurence of operational arguments in the history of physics. This is to be discussed especially in respect to the nineteenth-century debates on the consistency of Wilhelm Weber's electrodynamic law with the principle of conservation of energy.

ABSTRACT In several publications, François Recanati argues that time, world, location, and similar constituents are not arguments of the verb, although they do affect truth conditions. However, he points out that this fact does not decide the debate regarding whether these notions are represented as sentential operators variables bound by quantifiers, as both approaches can be made compatible with such non-arguments. He makes these points using philosophical arguments; in this paper I use linguistic evidence from a variety of languages. (...) Specifically, I demonstrate that time, world, location, and person behave syntactically and semantically the same across languages. Hence, either all are arguments, or neither are; and the evidence points to the latter position. The cross-linguistic data give rise to a generalization, which connects the availability of quantifying over times, worlds, locations, or persons with the availability of indexical expressions of the corresponding type. For example, a language that does not have temporal indexicals cannot have tense. I demonstrate that this generalization follows naturally from the quantifier approach, but would remain a mystery under the operator view. Therefore, the cross-linguistic evidence argues in the favor of the quantificational approach. (shrink)

Logic of proofs LP was introduced by S. Artemov in. It describes properties of the proof predicate “t is a proof of F” formalized by the formula ⟦t⟧ F. Proofs are represented by terms constructed by three elementary recursive operations on proofs. In this paper we extend the language of the logic of proofs by the additional storage predicate x ∋ F with the intended interpretation “x is a label for F”. The storage predicate can play the role of syntax (...) encoding, so it is useful for specification of operations on proofs, especially those that require formula arguments. We give a definition of a specification of an operation on proofs and introduce logics that describe such operations. For a large class of operations we prove the completeness of these logics with respect to the intended semantics. We also study the logic describing the operation of substitution. (shrink)

This chapter offers a review of standard views about the requirements for natural selection to shape evolution and for the sorts of ‘units’ on which selection might operate. It then summarizes traditional arguments for genic selectionism, i.e., the view that selection operates primarily on genes (e.g., those of G. C. Williams, Richard Dawkins, and David Hull) and traditional counterarguments (e.g., those of William Wimsatt, Richard Lewontin, and Elliott Sober, and a diffuse group based on life history strategies). It then offers (...) a series of responses to the arguments, based on more contemporary considerations from molecular genetics, offered by Carmen Sapienza. A key issue raised by Sapienza concerns the degree to which a small number of genes might be able to control much of the variation relevant to selection operating on such selectively critical organs as hearts. The response to these arguments suggests that selection acts on many levels at once and that sporadic selection, acting with strong effects, can act successively on different key traits (and genes) while maintaining a balance among many potentially conflicting demands faced by organisms within an evolving lineage. (shrink)

I illustrate with three classical examples the mistakes arising from using a modal operator admitting multiple interpretations in the same argument; the flaws arise especially easily if no attention is paid to the range of propositional variables. Premisses taken separately might seem convincing and a substitution for a propositional variable in a modal context might seem legitimate. But there is no single interpretation of the modal operators involved under which all the premisses are plausible and the substitution successful.

An abstract framework for structured arguments is presented, which instantiates Dung's ('On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming, and n- Person Games', Artificial Intelligence , 77, 321-357) abstract argumentation frameworks. Arguments are defined as inference trees formed by applying two kinds of inference rules: strict and defeasible rules. This naturally leads to three ways of attacking an argument: attacking a premise, attacking a conclusion and attacking an inference. To resolve such attacks, preferences may (...) be used, which leads to three corresponding kinds of defeat: undermining, rebutting and undercutting defeats. The nature of the inference rules, the structure of the logical language on which they operate and the origin of the preferences are, apart from some basic assumptions, left unspecified. The resulting framework integrates work of Pollock, Vreeswijk and others on the structure of arguments and the nature of defeat and extends it in several respects. Various rationality postulates are proved to be satisfied by the framework, and several existing approaches are proved to be a special case of the framework, including assumption-based argumentation and DefLog. (shrink)

Quantificational arguments can take scope outside of temporal adjunct clauses, in an apparent violation of locality restrictions: the sentence few secretaries cried after each executive resigned allows the quantificational NP each executive to take scope above few secretaries. I show how this scope relation is the result of local operations: the adjunct clause is a temporal generalized quantifier which takes scope over the main clause (Pratt and Francez, Linguistic and Philosophy 24(2), 187–222. [2001]), and within the adjunct clause, the quantificational (...) argument takes scope above the implicit determiner which forms the temporal generalized quantifier. The paper explores various relations among quantificational arguments across clause boundaries, including temporal clauses that are modified internally by a temporal adverbial and temporal clauses with embedded sentential complements. (shrink)