argumentation has been shown to be a powerful tool within many fields such as artificial intelligence, logic and legal reasoning. In this paper we enhance Dung’s well-known abstract argumentation framework with explanatory capabilities. We show that an explanatory argumentation framework (EAF) obtained in this way is a useful tool for the modeling of scientific debates. On the one hand, EAFs allow for the representation of explanatory and justificatory arguments constituting rivaling scientific views. On the other hand, (...) different procedures for selecting arguments, corresponding to different methodological and epistemic requirements of theory evaluation, can be formulated in view of our framework. (shrink)

In this paper, I explore a line of argument against one form of realism about fictional characters : abstract artifact theory, the view according to which fictional characters like Harry Potter are part of our reality, but, they are abstract objects created by humans, akin to the institution of marriage and the game of soccer. I will defend artifactualism against an objection that Mark Sainsbury considers decisive against it: the category-mistake objection. The objection has it that artifactualism (...) attributes to people who produce and process sentences and thoughts about Harry Potter massive error, indeed, a category mistake about what kind of thing Harry Potter is; for an abstract object isn’t the sort of thing that can wear glasses, ride a double-decker bus, attend school. Given problems with this objection, artifactualism, I shall conclude, remains a tenable contender. (shrink)

Probabilistic argumentation and neuro-argumentative systems offer new computational perspectives for the theory and applications of argumentation, but their principled construction involves two entangled problems. On the one hand, probabilistic argumentation aims at combining the quantitative uncertainty addressed by probability theory with the qualitative uncertainty of argumentation, but probabilistic dependences amongst arguments as well as learning are usually neglected. On the other hand, neuro-argumentative systems offer the opportunity to couple the computational advantages of learning and (...) massive parallel computation from neural networks with argumentative reasoning and explanatory abilities, but the relation of probabilistic argumentation frameworks with these systems has been ignored so far. Towards the construction of neuro-argumentative systems based on probabilistic argumentation, we associate a model of abstract argumentation and the graphical model of Boltzmann machines in order to (i... (shrink)

According to conciliatory views on the significance of disagreement, it’s rational for you to become less confident in your take on an issue in case your epistemic peer’s take on it is different. These views are intuitively appealing, but they also face a powerful objection: in scenarios that involve disagreements over their own correctness, conciliatory views appear to self-defeat and, thereby, issue inconsistent recommendations. This paper provides a response to this objection. Drawing on the work from defeasible logics paradigm and (...) abstract argumentation, it develops a formal model of conciliatory reasoning and explores its behavior in the troubling scenarios. The model suggests that the recommendations that conciliatory views issue in such scenarios are perfectly reasonable—even if outwardly they may look odd. (shrink)

We study instantiated abstract argumentation frames of the form, where is an abstract argumentation frame and where the arguments x of S are instantiated by I as well formed formulas of a well known logic, for example as Boolean formulas or as predicate logic formulas or as modal logic formulas. We use the method of conceptual analysis to derive the properties of our proposed system. We seek to define the notion of complete extensions for such systems (...) and provide algorithms for finding such extensions. We further develop a theory of instantiation in the abstract, using the framework of Boolean attack formations and of conjunctive and disjunctive attacks. We discuss applications and compare critically with the existing related literature. (shrink)

To illustrate the development of argumentation theory, the paper traces the journey of the pragma-dialectical theory as it widened its scope, step by step, from an abstract model of critical discussion to the complexities of actual argumentative discourse. It describes how, having contextualized, empiricalized and formalized their approach, pragma-dialecticians are now putting the theory’s analytical instruments to good use in identifying prototypical argumentative patterns in specific communicative activity types in the various communicative domains. This means (...) that they can now start answering the crucial question about the typical characteristics of their discourse asked by interested lawyers, politicians, academics and other practitioners of argumentation. (shrink)

To illustrate the development of argumentation theory, the paper traces the journey of the pragma-dialectical theory as it widened its scope, step by step, from an abstract model of critical discussion to the complexities of actual argumentative discourse. It describes how, having contextualized, empiricalized and formalized their approach, pragma-dialecticians are now putting the theory’s analytical instruments to good use in identifying prototypical argumentative patterns in specific communicative activity types in the various communicative domains. This means (...) that they can now start answering the crucial question about the typical characteristics of their discourse asked by interested lawyers, politicians, academics and other practitioners of argumentation. (shrink)

In this paper we interpret a characterization of the Gödel speed-up phenomenon as providing support for the ‘Nagel-Newman thesis’ that human theorem recognizers differ from mechanical theorem recognizers in that the former do not seem to be limited by Gödel's incompleteness theorems whereas the latter do seem to be thus limited.However, we also maintain that (currently non-existent) programs which are open systems in that they continuously interact with, and are thus inseparable from, their environment, are not covered by the above (...) (or probably any other recursion-theoretic) argument. (shrink)

In this paper we interpret a characterization of the Gödel speed-up phenomenon as providing support for the ‘Nagel-Newman thesis’ that human theorem recognizers differ from mechanical theorem recognizers in that the former do not seem to be limited by Gödel's incompleteness theorems whereas the latter do seem to be thus limited. However, we also maintain that (currently non-existent) programs which are open systems in that they continuously interact with, and are thus inseparable from, their environment, are not covered by the (...) above (or probably any other recursion-theoretic) argument. (shrink)

Short abstract (98 words). Reasoning is generally seen as a means to improve knowledge and make better decisions. However, much evidence shows that reasoning often leads to epistemic distortions and poor decisions. This suggests that the function of reasoning should be rethought. Our hypothesis is that the function of reasoning is argumentative. It is to devise and evaluate arguments intended to persuade. Reasoning so conceived is adaptive given humans’ exceptional dependence on communication and vulnerability to misinformation. A wide range (...) of evidence in the psychology of reasoning and decision making can be reinterpreted and better explained in the light of this hypothesis. (shrink)

: For philosophers of science interested in elucidating the social character of science, an important question concerns the manner in which and degree to which the objectivity of scientific knowledge is socially constituted. We address this broad question by focusing specifically on philosophical theories of evidence. To get at the social character of evidence, we take an interdisciplinary approach informed by categories from argumentation studies. We then test these categories by exploring their applicability to a case study from high-energy (...) physics. Our central claim is that normative philosophy of science must move beyond abstract theories of justification, confirmation, or evidence conceived impersonally and incorporate a theoretical perspective that includes dialogical elements, either as adjuncts to impersonal theories of evidence or as intrinsic to the cogency of scientific argumentation. (shrink)

The first edition of this now classical work appeared in 1953, the second heavily revised edition in 1961; this most recent edition is a revision in detail only of the previous one. The book is divided into three parts, the first two dealing with finite and infinite sets, infinite cardinals and their arithmetic, and related remarks on non-standard mathematics and the equivalence of various definitions of finitude. The third part considers ordered sets and isomorphism types, the special case of linearly (...) ordered sets, well-ordered sets in general, the relations of ordinals and cardinals. There is a very large bibliography and also a further list of literature pertaining to the companion volume. Fraenkel intended the book for philosophers as well as for mathematicians, and has kept to studying the most general and interesting problems of set theory; metamathematical results are kept in the background and the author works in an informal system of Zermelo-Fraenkel set theory. There is relatively little symbolism and Fraenkel's arguments are therefore more intuitive than rigorous, but clearly everything can be formalized in a proper language. There are many exercises in the book; these help to elaborate points only lightly touched upon in the main text and provide practice necessary for the growth of one's set-theoretical intuition. There are many alternative proofs of important theorems and alternative definitions for essential concepts; this lack of conceptual rigidity should especially please those who reject the now fairly widely held notion that Z-F set theory is the "true" one, the others proposed being ad hoc. Anyone who works his way through this delightfully written text will come away thoroughly prepared to attack more advanced work in the subject.—P. J. M. (shrink)

Dung’s argumentation frameworks are formalisms widely used to model interaction among arguments. Although their study has been profusely developed in the field of Artificial Intelligence, it is not common to see its treatment among those less connected to computer science within the logical-philosophical community. In this paper we propose to bring to that audience a proof-theory for argument justification based on tableaux, very similar to those the Logic students are familiar with. The tableaux enable to calculate whether an (...) argument or subset of arguments are accepted or rejected in accordance to Dung’s preferred and grounded extension-based semantics. Soundness and completeness results regarding those semantics are provided. (shrink)

The Craig Interpolation Theorem is intimately connected with the emergence of abstract logic and continues to be the driving force of the field. I will argue in this paper that the interpolation property is an important litmus test in abstract model theory for identifying “natural,” robust extensions of first order logic. My argument is supported by the observation that logics which satisfy the interpolation property usually also satisfy a Lindström type maximality theorem. Admittedly, the range of such (...) logics is small. (shrink)

In Philosophy of Education we frequently argue for or against different educational theories. Yet, as I illustrate in this analysis of two articles, in order to maintain the abstract theoretical distinctions, we are liable to ignore the concrete details of practice, caricature the theories we reject and make false distinctions. The two articles that I analyse, one from Golding and one from Boghossian, grapple with the pedagogical theories of transmission teaching, constructivism, pragmatism and Socratic pedagogy, in the context of (...) dialogical philosophy teaching. As a result of my analysis, I first present three examples where the authors have rejected abstract theories based on arguments that I show to be strawmen: These theories would not or could not be adopted in practice. Then, I present two examples where the authors attempt to make distinctions between educational theories which seem sound in the abstract, but which turn out to be false distinctions if we consider the details of concrete practice. My conclusion is that, in these two articles, abstract educational theory is prone to problems when it ignores concrete practice. Although I am presenting a case study, and do not argue that my conclusion is generalisable, I do suggest some reasons why this conclusion might apply more widely to Philosophy of Education. My recommendation is that we be more discerning in our treatment of educational theories and more mindful of the educational practices that they entail. We should acknowledge the practical similarities between different abstract theories rather than forcing caricatured distinctions. (shrink)

The Quantified argument calculus (Quarc) has received a lot of attention recently as an interesting system of quantified logic which eschews the use of variables and unrestricted quantification, but nonetheless achieves results similar to the Predicate calculus (PC) by employing quantifiers applied directly to predicates instead. Despite this noted similarity, the issue of the relationship between Quarc and PC has so far not been definitively resolved. We address this question in the present paper, and then expand upon that result. Utilizing (...) recent developments in structural proof theory, we develop a G3-style sequent calculus for Quarc and briefly demonstrate its structural properties. We put these properties to use immediately to construct direct proofs of the meta-theoretical properties of the system. We then incorporate an abstract (and, as we shall see, logical) predicate into the system in a way that preserves all the structural properties. This allows us to identify a system of Quarc which is deductively equivalent to PC, and also yields a constructive method of demonstrating the Craig interpolation theorem (which speaks in favor of the aforementioned predicate being logical). We further generalize this extension to develop a bivalent system of Quarc with defining clauses that still maintains all the desirable properties of a good proof system. (shrink)

RESUMEN: Giving Reasons pretende ofrecer una aproximación no solo precisa, sino comprensiva, a una teoría sistemática de la argumentación. A la luz de una distinción de Vaz Ferreira entre «pensar por sistemas» y «pensar por ideas a tener en cuenta», me gustaría hacer unas observaciones para complementar y, digamos, “abrir” la incipiente clausura teórica del sistema lingüístico-pragmático de Giving Reasons. Voy a considerar dos casos en particular: el tratamiento del concepto mismo de argumentación y la conversión del principio de cooperación (...) y las máximas de Grice en una especie de marco sistemático donde cabe encajar y acomodar el estudio de las falacias.ABSTRACT: Giving Reasons aims to provide an approach not only accurate, but comprehensive, to a systematic theory of argumentation. In the light of a distinction made by Vaz Ferreira between «thinking through systems» and «thinking through ideas to be taken into account», I would like to make some comments in order to provide a certain balance and somehow “open” the inchoative theoretical closure of the linguistic-pragmatic system offered in Giving Reasons. I am going to consider two cases in particular: the treatment of the very concept of argumentation and the transformation of Grice’s Cooperative principle and Maxims into a sort of systematic framework to be applied to the study of fallacies. (shrink)

Trope theory is a leading metaphysical theory in analytic ontology. One of its classic statements is found in the work of Donald C. Williams who argued that tropes qua abstract particulars are the very alphabet of being. The concept of an abstract particular has been repeatedly attacked in the literature. Opponents and proponents of trope theory alike have levelled their criticisms at the abstractness of tropes and the associated act of abstraction. In this paper I (...) defend the concept of a trope qua abstract particular by rejecting arguments that purport to show that tropes should not be understood as abstract and by arguing that the abstractness of tropes plays an indispensable role in one of our more promising trope-theoretic analyses of universals and of concrete objects. (shrink)

RESUMEN: Giving Reasons pretende ofrecer una aproximación no solo precisa, sino comprensiva, a una teoría sistemática de la argumentación. A la luz de una distinción de Vaz Ferreira entre «pensar por sistemas» y «pensar por ideas a tener en cuenta», me gustaría hacer unas observaciones para complementar y, digamos, “abrir” la incipiente clausura teórica del sistema lingüístico-pragmático de Giving Reasons. Voy a considerar dos casos en particular: el tratamiento del concepto mismo de argumentación y la conversión del principio de cooperación (...) y las máximas de Grice en una especie de marco sistemático donde cabe encajar y acomodar el estudio de las falacias.ABSTRACT: Giving Reasons aims to provide an approach not only accurate, but comprehensive, to a systematic theory of argumentation. In the light of a distinction made by Vaz Ferreira between «thinking through systems» and «thinking through ideas to be taken into account», I would like to make some comments in order to provide a certain balance and somehow “open” the inchoative theoretical closure of the linguistic-pragmatic system offered in Giving Reasons. I am going to consider two cases in particular: the treatment of the very concept of argumentation and the transformation of Grice’s Cooperative principle and Maxims into a sort of systematic framework to be applied to the study of fallacies. (shrink)

Everyday media consumption leaves no doubt that the perception of moving images from various media is characterized by experience and understanding. Corresponding research in this field has shown that the stimulus patterns flooding in on us are not only processed mentally, but also bodily. Building on this, the following study argues that incoming stimuli are processed not only visually, but multimodally, with all senses, and moreover affectively. The classical binding of a sensory organ to a medium, on whose delimitation the (...) common understanding of multimodality is based, is thus abolished. Can arguments for this assumption be found? Building on the research of cultural anthropologist Ernst Cassirer and his successors, the two American philosophers Susanne K. Langer and John M. Krois, and supported by research from the life sciences in which, in parallel, the arts also play an important role in understanding image formation, as in the work of Heinz Werner and, following on from this, in the more recent research of the child psychologist Daniel N. Stern in collaboration with mirror neuron research by the group of neuroscientists around Giacomo Rizzolatti in Parma, justifications for this will be provided. What the multimodal processing of film images is concretely based on will finally be made clear by means of an exemplary analysis of a video film by the Swiss artist Pipilotti Rist. It aims to prove, that the prerequisites for the thesis can only lie in the fact, that both the modes of perception (visual, tactile, auditory, olfactory, gustatory) as well as the medially conditioned modes of image formation are based on non-discursive, formal-abstract structures that are also processed affectively. At the same time, the analysis thus shows how the selection and composition of the vital experienced forms can provide information about the socio-culturally shaped self-image of the producer and the viewer. (shrink)

ABSTRACT: It is not uncommon, in argumentation and in various professions, to diagnose a gap between theory and practice; and in the next step argue that they should be brought into line with each other. But what does this mean? I shall argue that some version of a gap is sound, as it leaves theory with a critical, independent role in relation to practice – something that an equilibrium view does not.

In this paper, I argue that all expressions for abstract objects are meaningless. My argument closely follows David Lewis’ argument against the intelligibility of certain theories of possible worlds, but modifies it in order to yield a general conclusion about language pertaining to abstract objects. If my Lewisian argument is sound, not only can we not know that abstract objects exist, we cannot even refer to or think about them. However, while the Lewisian argument strongly motivates nominalism, (...) it also undermines certain nominalist theories. (shrink)

He further argues that it is necessary to rethink traditional conceptions of argument, and to find a position that avoids the limitations of both the highly abstract approach of formal logic and the highly contextualized approaches of rhetoric and communication theory.".

Many theorists have addressed a central concern of current political theory by contending that the dithering intellectualism of left politics prevents genuine political action. Arguments and Fists confronts this concern by refuting these arguments, and reconciling philosophical debates with the realities of current activism. By looking at theorists such as Montesquieu, Kant, Rousseau, the book contradicts current academic debates and also goes against contemporary theory's image of the liberal political agent as a narrowly rational abstraction. Mika LaVaque-Manty also (...) argues that progressive political philosophy and political action go hand in hand. He then ventures past Kant and Rousseau to talk about specific environmental activism, finding middle ground between the two while asserting that the liberal urge for political reform stems from sound philosophical considerations about the nature of politics and isn't the "cowardly" afterthoughts some theorists have called it. Arguments and Fists then puts these theoretical insights to use, examining environmental justice movements and varieties of environmental radicalism, showing how liberal theory illuminates concrete contemporary political practices. (shrink)

Two of the most important concepts in contemporary philosophy of mind are computation and consciousness. This paper explores whether there is a strong relationship between these concepts in the following sense: is a computational theory of consciousness possible? That is, is the right kind of computation sufficient for the instantiation of consciousness. In this paper, I argue that the abstract nature of computational processes precludes computations from instantiating the concrete properties constitutive of consciousness. If this is correct, then (...) not only is there no viable computational theory of consciousness, the Human Mental State Multiple Realizability in Silicon Thesis is almost certainly false. (shrink)

Anthropic reasoning has lately been strongly associated with the string theory landscape and some theories of particle cosmology, such as cosmological inflation. The association is not, contrary to multiple statements by physicists and philosophers alike, necessary. On the contrary, there are clear reasons and instances in which the anthropic reasoning is useful in a diverse range of fields such as planetary sciences, geophysics, future studies, risk analysis, origin of life studies, evolutionary theory, astrobiology and SETI studies, ecology, or (...) even strategic studies and global policy. The association of anthropic reasoning with string theory and particle cosmology has not only become the standard wisdom, but has been often construed in a negative way, in order to demonstrate or insinuate that such reasoning is too abstract or even belongs to “fringe science”, remote from run-of-the-mill research practices in any other more “mundane” and less theoretical scientific discipline. The purpose of this paper is to analyse some of the counter-examples to the standard wisdom, suggest that the anthropic reasoning is more flexible, more general, and less fashion-driven than the detractors state. In addition, we consider some historical and/or extrascientific motivation for this persistent prejudice. (shrink)

Anthropic reasoning has lately been strongly associated with the string theory landscape and some theories of particle cosmology, such as cosmological inflation. The association is not, contrary to multiple statements by physicists and philosophers alike, necessary. On the contrary, there are clear reasons and instances in which the anthropic reasoning is useful in a diverse range of fields such as planetary sciences, geophysics, future studies, risk analysis, origin of life studies, evolutionary theory, astrobiology and SETI studies, ecology, or (...) even strategic studies and global policy. The association of anthropic reasoning with string theory and particle cosmology has not only become the standard wisdom, but has been often construed in a negative way, in order to demonstrate or insinuate that such reasoning is too abstract or even belongs to 'fringe science', remote from run-of-the-mill research practices in any other more 'mundane' and less theoretical scientific discipline. The purpose of this paper is to (i) analyse some of the counter-examples to the standard wisdom, (ii) suggest that the anthropic reasoning is more flexible, more general, and less fashion-driven than the detractors state. In addition, we consider some historical and/or extrascientific motivation for this persistent prejudice. (shrink)

We investigate two different broad traditions in the abstract valuational model theory for nontransitive and nonreflexive logics. The first of these traditions makes heavy use of the natural Galois connection between sets of valuations and sets of arguments. The other, originating with work by Grzegorz Malinowski on nonreflexive logics, and best systematized in Blasio et al. : 233–262, 2017), lets sets of arguments determine a more restricted set of valuations. After giving a systematic discussion of these two different (...) traditions in the valuational model theory for substructural logics, we turn to looking at the ways in which we might try to compare two sets of valuations determining the same set of arguments. (shrink)

While claiming to refute locke's theory of abstract ideas, Berkeley himself accepts a form of abstractionism. Locke's account of abstraction is indeterminate between two doctrines: 1) abstract ideas are representations of paradigm instances of kinds, 2) abstract ideas are schematic representations of the defining features of kinds. Berkeley's arguments are directed exclusively against 2, And refute only a specific version of it, Which there is no reason to ascribe to locke; berkeley himself accepts abstract ideas (...) of the former type. Locke's theory suffers from circularity and redundancy, Berkeley's from conflation of thought with imagination. (shrink)

Recent work on mood choice considers fine-grained semantic differences among desire predicates (notably, ‘want’ and ‘hope’) and their consequences for the distribution of indicative and subjunctive complement clauses. In that vein, this paper takes a close look at ‘intend’. I show that cross-linguistically, ‘intend’ accepts nonfinite and subjunctive complements and rejects indicative complements. This fact poses difficulties for recent approaches to mood choice. Toward a solution, a broad aim of this paper is to argue that—while ‘intend’ is loosely in the (...) family of desire predicates—it differs from ‘want’ and ‘hope’ in that it has a causative component, and this is relevant to its mood choice behavior, given that causative predicates also systematically reject indicative complements. More concretely, my analysis has three ingredients: (i) following related proposals in philosophy, intention reports have causally self-referential content; (ii) encoding causal self-reference requires abstraction over the complement clause’s eventuality argument; and (iii) nonfinite and subjunctive clauses enable such abstraction but indicative clauses do not. Aside from causative predicates, independent support for the proposal comes from the syntax of belief-/intention-hybrid attitude predicates like ‘decide’ and ‘convince’, anankastic conditional antecedents, aspectual predicates, and memory and perception reports. Synthesizing this result with that of previous literature, the emergent generalization is that subjunctive mood occurs in attitude reports that involve either comparison or eventuality abstraction. Toward a unified theory of mood choice, I suggest that both comparison and eventuality abstraction represent departures from the clausal semantics of unembedded assertions and consequently that subjunctive mood signals such a departure. (shrink)

This article reprints the text of a review of adam smith's "theory of moral sentiments", And presents arguments for ascribing it to david hume. Hume's subsequent criticism of what he called "the hinge" of adam smith's moral system ("viz." that "all kinds of sympathy are necessarily agreeable") is also examined, And it is argued that smith failed to appreciate the nature and extent of this criticism. It is concluded that "the hinge" of smith's novel theory is a false (...) assumption; yet without it smith cannot present a viable alternative to hume's explanation of the origin of our moral sentiments. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Islamic Disputation Theory: The Uses & Rules of Argument in Medieval Islam by Larry Benjamin MillerKhaled El-RouayhebLarry Benjamin Miller. Islamic Disputation Theory: The Uses & Rules of Argument in Medieval Islam. Logic, Argumentation and Reasoning 21. Cham: Springer 2020. Pp. xviii + 143. Hardback, €77.99.Very few unpublished PhD dissertations have had a formative influence on a field. One of the precious few is Larry (...) Miller's Princeton dissertation from 1984 on Islamic disputation theory. It proposed an original and compelling account of the development of the discipline, from the earliest extant Arabic works in the tenth century to the composition of classic madrasa handbooks in the late thirteenth century. It has been cited regularly in the past decades and has served as the starting point for all later studies of Arabic/Islamic dialectics in European languages. The fact that it has finally been published is a fitting tribute to a study that is even more admirable for having been written when many of the primary sources were still only available as manuscripts.Part of the explanation for why the dissertation was not published sooner may be that its author did not pursue an academic career. And as he states in a short preface, he has not kept abreast of all relevant studies and editions that have appeared since his dissertation. A thorough revision and update has therefore not been possible. Though some minor corrections and revisions have been made, the book is still by and large the influential 1984 dissertation, now made available with a short introduction by Walter Young, one of the leading younger scholars in the field, along with helpful indices of proper names and subjects.Miller's narrative begins with Arabic works on disputation (jadal) by a number of theologians from the late ninth and tenth centuries, such as Ibn al-Rāwandī (d. 911), [End Page 518] al-Ash'arī (d. 935), and the Karaite Jewish scholar al-Qirqisānī (d. ca. 960). The basic assumption was that a questioner (sā'il) would ask a claimant (mu'allil) (i) what his view is; (ii) what the ground or reason ('illa) for that view is; (iii) the appropriateness of the ground/reason for the view; and (iv) to verify the ground/reason by showing it to be commensurate with the view. The ground/reason for the theological dialecticians was standardly an entity or property, not a premise. The reasoning tended to be informal and analogical, as opposed to explicitly making syllogistic deductions from quantified premises.Parallel to this theological tradition of jadal, there was an Arabic Aristotelian tradition that took its point of departure from Aristotle's Topics, translated into Arabic more than once in the period from the late eighth to the early tenth centuries. Though also often referred to as jadal, this tradition, represented by the writings of al-Farabi (d. 950), Avicenna (d. 1037), and Averroes (d. 1198), retained distinct features. It tended to deny any epistemic value to dialectics, instead seeing it as useful only insofar as it provided logical training. For the Aristotelian/Neoplatonic philosophers, the pursuit of truth was the preserve of demonstrative syllogism (burhān). Whereas the theological dialecticians envisaged a claimant (mu'allil) and a questioner (sā'il), with the burden of proof on the former, the philosophical tradition had a questioner (sā'il) seek, in the manner of Socratic elenchus, to elicit from a respondent (mujῑb) a series of answers that would allow the construction of a syllogism whose conclusion contradicted the respondent's initial position.From the time of al-Ghazali (d. 1111), Islamic theologians tended to take over the syllogistic ideal of reasoning from the philosophers, perhaps explaining why theological writings on jadal trail off after the eleventh century. The informal, analogical jadal tradition continued, however, in the writings of Islamic jurists. From the eleventh century, scholars such as Abū Isḥāq al-Shīrāzī (d. 1083) and al-Juwaynī (d. 1085) wrote works on jadal in which the examples are disputes about questions of Islamic law and the disputants are partisans of the various legal schools. This tradition of what Miller calls "juristic dialectics" (74, 95) later adopted some... (shrink)

Abstract:This article sets out two central theses. Both theses primarily involve a fundamental criticism of current contractarian business ethics (CBE), but if these can be sustained, they also constitute two boundary conditions for any future contractarian theory of business ethics. The first, which I label the self-discipline thesis, claims that current CBE would gain considerably in focus if more attention were paid to the logic of the social contract argument. By this I mean the aims set by the (...) theorist and method of reasoning by which normative conclusions are drawn in the contract model. The second, to which I refer as the domain-specificity thesis, argues that current CBE needs to be better adapted to its field of application and the specific goals which it aims to establish. I will substantiate these two theses on the basis of a comparative analysis of CBE with two earlier families of social contract theories. (shrink)

I present a solution to the epistemological or characterisation problem of induction. In part I, Bayesian Confirmation Theory (BCT) is discussed as a good contender for such a solution but with a fundamental explanatory gap (along with other well discussed problems); useful assigned probabilities like priors require substantive degrees of belief about the world. I assert that one does not have such substantive information about the world. Consequently, an explanation is needed for how one can be licensed to act (...) as if one has substantive information about the world when one does not. I sketch the outlines of a solution in part I, showing how it differs from others, with full details to follow in subsequent parts. The solution is pragmatic in sentiment (though differs in specifics to arguments from, for example, William James); the conceptions we use to guide our actions are and should be at least partly determined by preferences. This is cashed out in a reformulation of decision theory motivated by a non-reductive formulation of hypotheses and logic. A distinction emerges between initial assumptions--that can be non-dogmatic--and effective assumptions that can simultaneously be substantive. An explanation is provided for the plausibility arguments used to explain assigned probabilities in BCT. -/- In subsequent parts, logic is constructed from principles independent of language and mind. In particular, propositions are defined to not have form. Probabilities are logical and uniquely determined by assumptions. The problems considered fatal to logical probabilities--Goodman's `grue' problem and the uniqueness of priors problem are dissolved due to the particular formulation of logic used. Other problems such as the zero-prior problem are also solved. -/- A universal theory of (non-linguistic) meaning is developed. Problems with counterfactual conditionals are solved by developing concepts of abstractions and corresponding pictures that make up hypotheses. Spaces of hypotheses and the version of Bayes' theorem that utilises them emerge from first principles. -/- Theoretical virtues for hypotheses emerge from the theory. Explanatory force is explicated. The significance of effective assumptions is partly determined by combinatoric factors relating to the structure of hypotheses. I conjecture that this is the origin of simplicity. (shrink)

ABSTRACT: When considering normative concepts, such as distributive justice, one must consider both the question how concepts can have normative force and which particular conceptions of these concepts have this normative force. In this article I consider the view that the human capacity for autonomy accounts for normativity, and argue that adopting this view commits one to a responsibility-sensitive theory of distributive justice. This conclusion puts me directly at odds with the work of John Rawls, who derives his (...) responsibility-insensitive difference principle from a similar account of autonomy. However, I argue that such an argument would be based on a mischaracterisation of what is significant about the human capacity for autonomy. RÉSUMÉ : Pour envisager des concepts normatifs, tels que la justice distributive, il faut à la fois considérer la question de savoir comment les concepts peuvent avoir une force normative et se demander aussi quelles conceptions de ces concepts en sont dotés. Cet article considère que la capacité propre à l’humain d’être autonome rend compte de la normativité nous engage à adopter une théorie de justice distributive qui est sensible à la responsabilité. Cette conclusion entre directement en conflit les théories de Rawls, qui tire d’une explication similaire sur l’autonomie son principe de responsabilité qui ne tient pas compte de la différence. Un tel argument se fonde sur une mauvaise caractérisation de ce qui est important dans la capacité propre à l’humain d’être autonome. (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)

There is a generic way to add any new feature to a system. It involves identifying the basic units which build up the system and introducing the new feature to each of these basic units. In the case where the system is argumentation and the feature is probabilistic we have the following. The basic units are: the nature of the arguments involved; the membership relation in the set S of arguments; the attack relation; and the choice of extensions. Generically (...) to add a new aspect to an argumentation network \ can be done by adding this feature to each component. This is a brute-force method and may yield a non-intuitive or meaningful result. A better way is to meaningfully translate the object system into another target system which does have the aspect required and then let the target system endow the aspect on the initial system. In our case we translate argumentation into classical propositional logic and get probabilistic argumentation from the translation. Of course what we get depends on how we translate. In fact, in this paper we introduce probabilistic semantics to abstract argumentation theory based on the equational approach to argumentation networks. We then compare our semantics with existing proposals in the literature including the approaches by M. Thimm and by A. Hunter. Our methodology in general is discussed in the conclusion. (shrink)

The thesis that follows proffers a solution to the mind-matter problem, the problem as to how mind and matter relate. The proposed solution herein is a variant of panpsychism – the theory that all (pan) has minds (psyche) – that we name pansentient monism. By defining the suffix 'psyche' of panpsychism, i.e. by analysing what 'mind' is (Chapter 1), we thereby initiate the effacement of the distinction between mind and matter, and thus advance a monism. We thereafter critically examine (...) the prevalent view, antithetical to a pansentient monism, that mind is not identical to matter but emergent therefrom (Chapter 2). This anti-emergentist critique acts also as a fortification of the Genetic Argument for panpsychism: if mind is not emergent (nor distinct) from matter, mind must always have existed with matter. But what is 'matter'? Chapter 3 investigates what we understand by 'matter', or 'the physical', and exposes it as a highly deficient concept and percept that in concreto points to its identity with that denoted by 'mind'. This also acts as a fortification of the Abstraction Argument for panpsychism, employing a new taxonomy of physicalism and a new taxonomy of the varieties of abstraction. Thus do we reach a monism that is a parsimonious psycho-physical identity theory. But here we face what can be called The Identity Problem for Panpsychism: if our panpsychism is a psycho-physical identity theory, how can it respond to the powerful objections that beset the identity theory of the twentieth century? In Chapter 4 it will be argued that, like emergentism, this psycho-neural identity theory presupposed a deficient concept of 'matter', down to which mind was reduced away, let alone identified. But to identify down phenomena to what is actually an abstraction is to commit failure of explanation. When the theory is amended accordingly, we move from a psycho-neural identity theory to a genuine psycho-physical identity theory that as such can overcome the aforementioned identity problem. Furthermore, as Chapter 5 clarifies, our pansentient monism has, in addition to parsimony, the explanatory power to resolve the problem of mental causation that afflicts both the reductive physicalism of psycho-neural identity theory and the non-reductive physicalism of emergentism, by genuinely identifying physical and mental causation. Jaegwon Kim considers the place of consciousness in a physical world and the nature of mental causation to be the two key components of the mind-matter problem. Through the critical analysis of our prosaic understanding of mind and matter in this thesis, which incorporates the thought of both classical and contemporary thinkers through a novel fusion, it is hoped that both components are addressed and redressed. That is to say that I present this pansentient monism as a plausible, parsimonious, explanatory, and thus, I think, powerful position towards this ever-perplexing mind-matter mystery. -/- [This thesis was passed in January 2019 with viva examination from Galen Strawson and Joel Krueger. (shrink)

The virtues and vices of argument are now an established part of argumentation theory. They have helped direct attention to hitherto neglected aspects of how we argue. However, it remains controversial whether a virtue theory can contribute to some of the central questions of argumentation theory. Notably, Harvey Siegel disputes whether what he calls ‘arguments in the abstract propositional sense’ can be evaluated meaningfully within a virtue theory. This paper explores the prospects for (...) grounding an account of argument evaluation in arguers’ virtues and vices by examination of a corresponding debate in virtue ethics: Can an ethics of virtue guide our actions? It is thereby argued that an affirmative answer is possible: virtues suffice for argument evaluation. (shrink)

In this paper, we introduce the methodology and techniques of meta-argumentation to model argumentation. The methodology of meta-argumentation instantiates Dung’s abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung’s basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung’s theory of abstract (...) class='Hi'>argumentation to itself, by instantiating Dung’s abstract arguments with meta-arguments using a technique called flattening. We characterize the domain of instantiation using a representation technique based on soundness and completeness. Finally, we distinguish among various instantiations using the technique of specification languages. (shrink)

In this paper, we introduce the methodology and techniques of metaargumentation to model argumentation. The methodology of meta-argumentation instantiates Dung's abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung's basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung's theory of abstract argumentation (...) to itself, by instantiating Dung's abstract arguments with meta-arguments using a technique called flattening. We characterize the domain of instantiation using a representation technique based on soundness and completeness. Finally, we distinguish among various instantiations using the technique of specification languages. (shrink)

In this paper, we introduce the methodology and techniques of meta-argumentation to model argumentation. The methodology of meta-argumentation instantiates Dung’s abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung’s basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung’s theory of abstract (...) class='Hi'>argumentation to itself, by instantiating Dung’s abstract arguments with meta-arguments using a technique called flattening. We characterize the domain of instantiation using a representation technique based on soundness and completeness. Finally, we distinguish among various instantiations using the technique of specification languages. (shrink)