Logical models of argument formalize commonsense reasoning while taking process and computation seriously. This survey discusses the main ideas which characterize di erent logical models of argument. It presents the formal features of a few main approaches to the modeling of argumentation. We trace the evolution of argumentationfrom the mid-80's, when argumentsystems emerged as an alternative to nonmonotonic formalisms based on classical logic, to the present, as argument is embedded in di erent complex systems for real-world applications, (...) and allows more formal work to be done in different areas, such as AI & Law, case-based reasoning and negotiation among intelligent agents. (shrink)

In this paper I investigate Putnam’s model-theoretic argument from a transcendent standpoint, in spite of Putnam’s well-known objections to such a standpoint. This transcendence, however, requires ascent to something more like a Tarskian meta-level than what Putnam regards as a “God’s eye view”. Still, it is methodologically quite powerful, leading to a significant increase in our investigative tools. The result is a shift from Putnam’s skeptical conclusion to a new understanding of realism, truth, correspondence, knowledge, and theories, or (...) certain aspects thereof, based on, among other things, a better understanding of what models are designed (and not designed) to do. (shrink)

We present a formal, mathematical model of argument structure and evaluation, taking seriously the procedural and dialogical aspects of argumentation. The model applies proof standards to determine the acceptability of statements on an issue-by-issue basis. The model uses different types of premises (ordinary premises, assumptions and exceptions) and information about the dialectical status of statements (stated, questioned, accepted or rejected) to allow the burden of proof to be allocated to the proponent or the respondent, as appropriate, (...) for each premise separately. Our approach allows the burden of proof for a premise to be assigned to a different party than the one who has the burden of proving the conclusion of the argument, and also to change the burden of proof or applicable proof standard as the dialogue progresses from stage to stage. Useful for modeling legal dialogues, the burden of production and burden of persuasion can be handled separately, with a different responsible party and applicable proof standard for each. Carneades enables critical questions of argumentation schemes to be modeled as additional premises, using premise types to capture the varying effect on the burden of proof of different kinds of questions. (shrink)

This chapter contains sections titled: Abstract The Model ‐ Theoretic Argument Difficulties and Differences Putnam's Progress Implications Objections and Replies References.

Putnam's model theoretic argument against metaphysical realism can be reconstructed as valid, with premises acceptable to the realist. There is no illegitimate assumption that the causal theory of reference is false.

Formal models of argumentation have been investigated in several areas, from multi-agent systems and artificial intelligence (AI) to decision making, philosophy and law. In artificial intelligence, logic-based models have been the standard for the representation of argumentative reasoning. More recently, the standard logic-based models have been shown equivalent to standard connectionist models. This has created a new line of research where (i) neural networks can be used as a parallel computational model for argumentation and (ii) neural networks can be (...) used to combine argumentation, quantitative reasoning and statistical learning. At the same time, non-standard logic models of argumentation started to emerge. In this paper, we propose a connectionist cognitive model of argumentation that accounts for both standard and non-standard forms of argumentation. The model is shown to be an adequate framework for dealing with standard and non-standard argumentation, including joint-attacks, argument support, ordered attacks, disjunctive attacks, meta-level attacks, self-defeating attacks, argument accrual and uncertainty. We show that the neural cognitive approach offers an adequate way of modelling all of these different aspects of argumentation. We have applied the framework to the modelling of a public prosecution charging decision as part of a real legal decision making case study containing many of the above aspects of argumentation. The results show that the model can be a useful tool in the analysis of legal decision making, including the analysis of what-if questions and the analysis of alternative conclusions. The approach opens up two new perspectives in the short-term: the use of neural networks for computing prevailing arguments efficiently through the propagation in parallel of neuronal activations, and the use of the same networks to evolve the structure of the argumentation network through learning (e.g. to learn the strength of arguments from data). (shrink)

Two of Hilary Putnam's model-theoretic arguments against metaphysical realism are examined in detail. One of them is developed as an extension of a model-theoretic argument against mathematical realism based on considerations concerning the so-called Skolem-Paradox in set theory. This argument against mathematical realism is also treated explicitly. The article concentrates on the fine structure of the arguments because most commentators have concentrated on the major premisses of Putnam's argument and especially on his treatment of metaphysical (...) realism. It is shown that the validity of Putnam's arguments is doubtful and that realists are by no means forced to accept the theses Putnam ascribes to them. It is concluded that Putnam fails to give convincing arguments for rejecting mathematical or metaphysical realism. Furthermore, Putnam's internal realism is discussed critically. (shrink)

In a recent article, James Van Cleve joins a growing throng who have argued that Hilary Putnam's model-theoretic argument (and his "just more theory" response) begs the question against those who hold externalist theories of reference. Van Cleve has misinterpreted Putnam's argument. Putnam does not demand that the statements which make up the causal theory of reference must, themselves, do the reference-fixing. That would be question-begging. Rather, Putnam's argument is a "reductio", which can only be blocked (...) with a theory of reference that is both substantive and plausible. Putnam argues that there is no interpretation of "causality" that meets both conditions. (shrink)

We present a computational model of dialectical argumentation that could serve as a basis for legal reasoning. The legal domain is an instance of a domain in which knowledge is incomplete, uncertain, and inconsistent. Argumentation is well suited for reasoning in such weak theory domains. We model argument both as information structure, i.e., argument units connecting claims with supporting data, and as dialectical process, i.e., an alternating series of moves by opposing sides. Our model includes (...) burden of proof as a key element, indicating what level of support must be achieved by one side to win the argument. Burden of proof acts as move filter, turntaking mechanism, and termination criterion, eventually determining the winner of an argument. Our model has been implemented in a computer program. We demonstrate the model by considering program output for two examples previously discussed in the artificial intelligence and legal reasoning literature. (shrink)

In "Realism and Reason" Hilary Putnam has offered an apparently strong argument that the position of metaphysical realism provides an incoherent model of the relation of a correct scientific theory to the world. However, although Putnam's attack upon the notion of the "intended" interpretation of a scientific theory is sound, it is shown here that realism may be formulated in such a way that the realist need make no appeal to any "intended" interpretation of such a theory. Consequently, (...) it can be shown that realism is immune to Putnam's criticism and that attempts at reformulating this criticism are not likely to meet with success. (shrink)

This article critically evaluates Itzhak Gilboa, Andrew Postlewaite, Larry Samuelson, and David Schmeidler’s account of economic models. First, it gives a selective overview of their argument, highlighting their emphasis on similarity and oversight of the role of idealizations in economics. Second, it proposes a sketch of an account of models as arguments and argumentative devices. This account not only sheds light on Gilboa et al.’s approach, including its shortcomings, but also identifies key challenges in model-based inference, suggesting a (...) fresh perspective on the uses of models in economics for diverse objectives. (shrink)

The paper describes a computational model that we have implemented in an experimental dialogue system. Communication in a natural language between two participants A and B is considered, where A has a communicative goal that his/her partner B will make a decision to perform an action D. A argues the usefulness, pleasantness, etc. of D, in order to guide B's reasoning in a desirable direction. A computational model of argumentation is developed, which includes reasoning. Our model is (...) based on the studies in the common-sense conception of how the human mind works in such situations. Theoretical considerations are followed by an analysis of Estonian spoken human–human dialogues. First, calls of clients to travel agencies are studied where a travel agent could use various arguments in order to persuade a client to book a trip. The analysis demonstrates that clients are primarily looking for information; argumentation occurs in a small number of dialogues. Secondly, calls of s... (shrink)

In “Models and Reality”, H. Putnam formulated his model-theoretic argument against “metaphysical realism”. The article proposes a meta-reconstruction of Putnam’s model-theoretic argument in the light of two mutually compatible interpretations of it–elaborated by Manuel Garcia-Carpintero and Igor van Douven. A critical reflection on these interpretations and their adequacy for Putnam’s argument allows us to expose new theses coherent with Putnam’s reasoning and indicate new paths to improve this argument for our reconstruction task. In particular, (...) we show that Putnam’s position may be coherent with van Douven’s versions of Global Descriptivism under some conditions, but Putnam cannot reject realism as quickly as Carpintero suggests. We show that Suszko’s canonic axiomatic system and Sneed’s concept of theory may provide valuable support for Putnam’s argument. Finally, we critically evaluate Carpintero’s theses about the genesis of unintended interpretations of our languages, adopting the machinery of the Upward Skolem–Loewenheim Theorem and Knight’s Theorem. (shrink)

The first section of the paper gives a very condensed history of the evolution of the author’s views on realism and anti-realism. It emphasizes that his previously accepted form of anti-realism was abandoned not because of the alleged fallacies in the model-theoretic argument against metaphysical realism, but due to his rejection of some of the assumptions on which it rests - assumptions which have been almost universal in philosophy after Descartes. The second section discusses and defends the part (...) of the model-theoretic argument that many critics have almost universally found fallacious, namely the „just more theory” move. In the appendix to the paper the author elaborates what does his return to common sense realism mean. He points out that his position involves a negative element, the rejection of the idea that truth cannot outrun verifiability, and two positive elements: returning (as close as possible) to „naive realism” with respect to perception, and a disquotational account of truth similar to one endorsed by Wittgenstein. (shrink)

Abstract: Hilary Putnam has reformulated his model-theoretic argument as an argument against indirect realism in the philosophy of perception. This new argument is reviewed and defended. Putnam’s new focus on philosophical theories of perception (instead of metaphysical realism) makes better sense of his previous responses to the objection from the causal theory of reference. It is argued that the model-theoretic argument can also be construed as an argument that holders of a causal theory (...) of reference should adopt direct realism in the philosophy of perception. (shrink)

Argument invention is a method that can be used to help an arguer find arguments that could be used to prove a claim he needs to defend. The aim of this paper is to show how argumentation systems recently developed in artificial intelligence can be applied to the task of argument invention. One such system called Carneades is featured. Carneades can be used to analyze arguments, evaluate arguments, to make an argument diagram, and to construct arguments from (...) a database. Using some simple examples, the paper explains how Carneades works as a system of argument invention. (shrink)

This paper discusses the epistemological and methodological bases of a scientific theory of meaning and proposes a detailed version of a formal theory of argumentation based on Anscombre and Ducrot's conception. Argumentation is shown to be a concept which is not exclusively pragmatic, as it is usually believed, but has an important semantic body. The bridge between the semantic and pragmatic aspects of argumentation consists in a set of gradual inference rules, called topoi, on which the argumentative movement is based. (...) The content of each topos is determined at the pragmatic level, while the constraints on the forms of the topoi attached to a sentence are determined at the semantic level. Applications and possible applications toartificial intelligence and to cognitive sciences are discussed. In particular, the gradual models used to account for argumentation are shown to be extremely promising for Knowledge management, a discipline which includes knowledge acquisition, knowledge representation, transmission of knowledge (communication, interfaces, etc.), knowledge production (decision help, reasoning, etc.). A first formal model is presented and discussed: it is shown in details how it accounts for most of the argumentative features of sentences containing but, little and a little, and how it can be extended to describe sentences containing other argumentative connectives. However, this model is shown to be too simple and to violate the compositionality principle, which is shown, in the first section, to bean important methodological principle for any scientific theory. After a detailed analysis of the possible reasons for this violation, an improved model is proposed and its adequacy is discussed. (shrink)

Bipolar argument graphs represent the structure of complex pro and contra arguments for one or more standpoints. In this article, ampliative and exclusionary principles of evaluating argument strength in bipolar acyclic argumentation graphs are laid out and compared to each other. Argument chains, linked arguments, link attackers and supporters, and convergent arguments are discussed. The strength of conductive arguments is also addressed but it is argued that more work on this type of argument is needed to (...) properly distinguish argument strength from more general value-based components of such arguments. The overall conclusion of the article is that there is no justifiably unique solution to the problem of argument strength outside of a particular epistemological framework. (shrink)

There are many benefits of using argumentation-based techniques in multi-agent systems, as clearly shown in the literature. Such benefits come not only from the expressiveness that argumentation-based techniques bring to agent communication but also from the reasoning and decision-making capabilities under conditions of conflicting and uncertain information that argumentation enables for autonomous agents. When developing multi-agent applications in which argumentation will be used to improve agent communication and reasoning, argumentation schemes (reasoning patterns for argumentation) are useful in addressing the requirements (...) of the application domain in regards to argumentation (e.g., defining the scope in which argumentation will be used by agents in that particular application). In this work, we propose an argumentation framework that takes into account the particular structure of argumentation schemes at its core. This paper formally defines such a framework and experimentally evaluates its implementation for both argumentation-based reasoning and dialogues. (shrink)

There are many benefits of using argumentation-based techniques in multi-agent systems, as clearly shown in the literature. Such benefits come not only from the expressiveness that argumentation-based techniques bring to agent communication but also from the reasoning and decision-making capabilities under conditions of conflicting and uncertain information that argumentation enables for autonomous agents. When developing multi-agent applications in which argumentation will be used to improve agent communication and reasoning, argumentation schemes are useful in addressing the requirements of the application domain (...) in regards to argumentation. In this work, we propose an argumentation framework that takes into account the particular structure of argumentation schemes at its core. This paper formally defines such a framework and experimentally evaluates its implementation for both argumentation-based reasoning and dialogues. (shrink)

This chapter sets out the relevant core of Putnam’s case. Section 3.1 extracts three arguments from Putnam’s writings: the Arguments from Cardinality, Completeness, and Permutation. Of these, section 3.2 argues that only the second is of direct relevance. Section 3.3 examines attempts to frame constraints based on causal and psycho-behavioural reductions of reference. Section 3.4 investigates the Translational Reference Constraint, a constraint on reference which does not rely on a reduction of reference but makes essential use of translation to sort (...) out the models which get reference right. The claims made in this section, however, require foundation in a theory of translation, sufficient to sustain the assumptions it makes about that controversial and opaque notion. This foundation is supplied in section 3.5, whose general tenor is Davidsonian, its key notion being that of a ‘hermeneutic theory’, i.e., a Davidsonian theory of interpretation cast into model-theoretic terms. With Translational Truth Constraint now identified as the most fundamental constraint on intendedness, it remains to see if it will suffice to rule out as unintended all the models of ideal theory whose existence the Completeness Theorem guarantees. The issue is examined in section 3.6. (shrink)

The paper's thesis is that dialogue is not an adequate model for all types of argument. The position of Walton is taken as the contrary view. The paper provides a set of descriptions of dialogues in which arguments feature in the order of the increasing complexity of the argument presentation at each turn of the dialogue, and argues that when arguments of great complexity are traded, the exchanges between arguers are turns of a dialogue only in an (...) extended or metaphorical sense. It argues that many of the properties of engaged back-and-forth exchanges of paradigmatic argument dialogues are not found in ‘solo’ arguments, and that at least some of the norms appropriate to the former type of argument, such as some of the pragma-dialectical rules of van Eemeren and Grootendorst's model, do not apply to the latter. (shrink)

This chapter concentrates on the version of Putnam's argument set forth in his Reason, Truth and History. It explains how, in general terms, that argument is best conceived as working. Cursory inspection of Putnam's overall dialectic reveals it to incorporate three sub‐arguments, collectively designed to show that the metaphysical realist confronts an insuperable problem over explaining how our words may possess determinate reference. The chapter considers Putnam's version of the Permutation Argument, aimed at showing that reference cannot (...) be determined by fixing the truth‐conditions of whole sentences. It then reviews Putnam's 'just more theory' argument, designed to show that the metaphysical realist cannot rescue the situation by appeal to causal or other natural connections between our words and the world. The chapter considers how the considerations adduced by Hilary Putnam might be seen as an argument telling selectively against metaphysical realism. (shrink)

The International Competition on Computational Models of Argumentation (ICCMA) focuses on reasoning tasks in abstract argumentation frameworks. Submitted solvers are tested on a selected collection of benchmark instances, including artificially generated argumentation frameworks and some frameworks formalizing real-world problems. This paper presents the novelties introduced in the organization of the Third (2019) and Fourth (2021) editions of the competition. In particular, we proposed new tracks to competitors, one dedicated to dynamic solvers (i.e., solvers that incrementally compute solutions of frameworks obtained (...) by incrementally modifying original ones) in ICCMA’19 and one dedicated to approximate algorithms in ICCMA’21. From the analysis of the results, we noticed that i) dynamic recomputation of solutions leads to significant performance improvements, ii) approximation provides much faster results with satisfactory accuracy, and iii) classical solvers improved with respect to previous editions, thus revealing advancement in state of the art. (shrink)

Putnam’s model-theoretic arguments for the indeterminacy of reference have been taken to pose a special problem for mathematical languages. In this paper, I argue that if one accepts that there are theory-external constraints on the reference of at least some expressions of ordinary language, then Putnam’s model-theoretic arguments for mathematical languages don’t go through. In particular, I argue for a kind of descriptivism about mathematical expressions according to which their reference is “anchored” in the reference of expressions of (...) ordinary language. These anchors add enough to the content of mathematical expressions to forestall the radical kind of indeterminacy that model-theoretic arguments are purported to show, while still leaving room for a plausible, moderate kind of indeterminacy. (shrink)

Putnam famously attempted to use model theory to draw metaphysical conclusions. His Skolemisation argument sought to show metaphysical realists that their favourite theories have countable models. His permutation argument sought to show that they have permuted models. His constructivisation argument sought to show that any empirical evidence is compatible with the Axiom of Constructibility. Here, I examine the metamathematics of all three model-theoretic arguments, and I argue against Bays (2001, 2007) that Putnam is largely immune (...) to metamathematical challenges. (shrink)

The paper addresses the manner in which the theory of Coalescent Argumentation [CA] has been received by the Argumentation Theory community. I begin (section 2) by providing a theoretical overview of the Coalescent model of argumentation as developed by Michael A. Gilbert (1997). I next engage the several objections that have been raised against CA (section 3). I contend that objectors to the Coalescent model are not properly sensitive to the theoretical consequences of the genuinely situated nature of (...) argument. I conclude (section 4) by suggesting that the resolution to the dispute between Gilbert and his objectors hinges on the outcome of several foundational theoretical questions identified over the course of the paper. (shrink)

The estrangement between genetic scientists and theologians originating in the 1960s is reflected in novel combinations of human thought (subject) and genes (investigational object), paralleling each other through the universal process known in chaos theory as self-similarity. The clash and recombination of genes and knowledge captures what Philip Hefner refers to as irony, one of four voices he suggests transmit the knowledge and arguments of the religion-and-science debate. When viewed along a tangent connecting irony to leadership, journal dissemination, and the (...) activities of the "public intellectual" and the public at large, the sequence of voices is shown to resemble the passage of genetic information from DNA to mRNA, tRNA, and protein, and from cell nucleus to surrounding environment. In this light, Hefner's inquiry into the voices of Zygon is bound up with the very subject matter Zygon covers. (shrink)

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 model-theoretic argument, which Putnam employs to argue againstmetaphysical realism, has faced serious objections of many realist opponents.Igor Douven in his recent paper offers a new interpretation of the model-theoreticargument, which avoids the previous objections. The purpose of this paper is toshow that Douven's reconstruction of Putnam's argument is not successful, andhence that the realist objections still stand.

Bas van Fraassen has recently argued for a "dissolution" of Hilary Putnam's well-known model-theoretic argument. In this paper I argue that, as it stands, van Fraassen's reply to Putnam is unsuccessful. Nonetheless, it suggests the form a successful response might take.

In the academic community, predatory publishers are exploiting academic integrity and the open access publishing model. Academicians receive numerous spam e-mail messages inviting article submissions each day which deceive authors by promising fast review and publication. The content of these emails present arguments in a way to appear as legitimate and valid to grab the attention of authors. Therefore, the aim of this paper is to advance insights into the arguments deployed by fake journals in their attempt to convey (...) specific indexicalities of identity and truthfulness. As a result of thematic analysis of 50 email messages from such journals, this research drew on two main themes-explicit and implicit arguments and their most frequent subcategories which were formal lexicon/grammar and fast peer- reviewed process. These arguments were, further, mapped on to Toulmin’s Model of Argumentation to find out more about the strength of the information used to support their claim. Utilizing Toulmin’s model, the findings highlighted the fact that there were instances of discursive deviations or “hidden rebuttals” that revealed the predatory journals’ ingenuity. (shrink)

The article undertakes the problem of a Wittgensteinian background of Toulmin’s model of argument. While appreciating the original character of the investigations set out by Toulmin in The Uses of Argument, Wittgenstein’s ideas taken to be forerunners of both Toulmin’s philosophical method and the particular elements of the model of substantial argument are traced backward, to Toulmin’s earlier books: The Philosophy of Science (Toulmin, The philosophy of science. An introduction, Hutchinson University Library, London, 1953) and (...) An Examination of the Place of Reason in Ethics (Toulmin, An examination of the place of reason in ethics, Cambridge University Press, Cambridge, 1950). The technique of pinpointing the constituents of that model in the books preceding The Uses of Argument is superposing the layout of Toulmin’s model on the crucial arguments concerning the earlier books: the scientific one based on Newtonian optics and the moral one concerning keeping promises. Such a procedure allows identifying backing for warrants and argument fields with the methods of representation in The Philosophy of Science and with modes of reasoning in An Examination of the Place of Reason in Ethics. The former is traced to passages 6.3 ff of Wittgenstein’s Tractatus, while the latter—to the concept of word-games (the later Wittgenstein’s language games). The claim regarding Wittgenstein’s background is that in Toulmin’s view of Wittgenstein, some parts of Tractatus concerning representing are in line with Wittgenstein’s later reflections on language games; as well as that the overall method of The Uses of Argument goes along with Wittgenstein’s therapeutic approach to philosophical problems that have to be placed in the context of their ordinary use. (shrink)

I find (as others have found) that question-begging is formally valid but rationally unpersuasive. More precisely, it ought to be unpersuasive, although it can often persuade. Despite its formal validity, question-begging fails to establish its conclusion; in this sense it fails under a classical or foundationalist model of argument. But it does link its conclusion to its premises by means of acceptable rules of inference; in this sense it succeeds under a non-classical, non-foundationalist model of argument (...) which is spelled out in the essay. However, even for the latter model question-begging fails to link the conclusion to premises that the unconvinced would find more acceptable than the conclusion. The essay includes reflections on the conditions under which the circularity of mutually supporting claims can avoid question-begging and legitimately be persuasive. (shrink)

When discussing dialogue, argumentation researchers rarely draw the distinction between the story world and interactional world. While mediators often help to shape the interactions among agonists in the emerging flow of spoken discourse, writers of postulated dialogues narrate them, constructing a story world that depicts the agonists, depicts their utterances and their circumstances. In this paper, I ask where the agonists of the dialogue model of argument interact, and I show that they often interact in the story world (...) of postulated dialogues. Postulated dialogues are story problem conversations. Common in textbooks, exams, and standardized tests, story problems create hypothetical situations to illustrate formal relationships among variables, and are designed to be read in a theoretical attitude that treats the characters, objects, and circumstances that they depict as given. When argumentation researchers examine postulated dialogues, they tend to adopt a theoretical attitude, limiting their analysis to the conversation between the agonists depicted in the story world. Reading this way makes it easier to overlook the interactional world where the writing and reading of the texts takes place, obscuring the fact that they are narrated dialogues, often written by researchers. Reading this way also makes it easier to confirm the traditional participation framework of the dialogue model of argument. (shrink)

Igor Douven has offered an original reconstruction and defence of Putnam's model-theoretic argument against metaphysical realism. Douven's construal has notable exegetical virtues, since it makes sense of some assumptions in Putnam's argument which his opponents have considered question-begging or puzzling. In this article I provide an indirect defence of metaphysical realism, by showing why this new version of the anti-realist argument should also be rejected. The main problems in the Douven-Putnam argument come from ascribing to (...) the realist a distorted view of correspondence truth. The view entails that when no feature selects just one of all the possible interpretations of language the existence of an interpretation suffices to make true a theory. The sensible realist is not committed to this extreme conception of correspondence truth. /// Igor Douven ha presentado y defendido una reconstructión del argumento teórico-modelista de Putnam contra el realismo metafísico. Esta versión tiene ciertas virtudes exegéticas, pues hace inteligible algunos presu- puestos putnamianos que sus críticos han considerado injustificados o sorprendentes. En este artículo proporciono una defensa indirecta del realismo metafisico, mostrando por qué debe también rechazarse el argumento antirrealista bajo esta nueva forma. Los problemas principales del argumento Douven-Putnam proceden de atribuir al realista una concepción distorsionada de la idea de verdad como correspondencia. Conforme a esa concepción, la ausencia de factores que seleccionen una única interpretación del lenguaje de entre las muchas posibles conlleva que la existencia de alguna interpretación ya es suficiente para hacer verdadera a una teoría que sea consistente. El realista sensato no está obligado a aceptar esa tesis. (shrink)

I distinguish two versions of kin selection theory—a purely genetic version and a version that also appeals to cultural forms of cooperation —and present an argument in favor of using the former when it comes to accounting for the evolution of cooperation in non-human organisms. Specifically, I first show that both GKST and WKST are equally mathematically coherent—they can both be derived from the Price equation—but not necessarily equally empirically plausible, as they are based on different assumptions about the (...) inheritance system underlying the cooperative phenotype. Given this, I then, second, present a model selection theoretic argument in favor of GKST over WKST. This argument is based on the fact that, in non-human cases, the former theory is likely to be as empirically successful as WKST, while containing fewer degrees of freedom. I end by defending both the intrinsic importance of this argument and its relevance to the discussion surrounding the “gene’s eye view of evolution.”. (shrink)

Since 1976 Hilary Putnam has on many occasions proposed an argument, founded on some model-theoretic results, to the effect that any philosophical programme whose purpose is to naturalize semantics would fail to account for an important feature of every natural language, the determinacy of reference. Here, after having presented the argument, I will suggest that it does not work, because it simply assumes what it should prove, that is that we cannot extend the metatheory: Putnam appears to (...) think that all we may determinately say about the relations between words and entities in the world is what the model theory tells us, but he has never offered justifications for that. At the end of the article, I will discuss the apparently reliable intuition that seems to me to be at the root of the argument, that is that, given a formal theory, there is an infinite number of ways of connecting it to, or of projecting it onto, the world. I will suggest that we should resist this intuition, because it rests on a very doubtful notion of world, which assumes that for any class of objects there is a corresponding property. (shrink)