The appropriationist approach to history of philosophy is often accused of being antihistorical and thus unreliable. The appropriationists are only concerned with their own philosophical problems, and they make discriminating use of the historical data as far as it serves their needs. Its rival, the contextualist approach, claims to be an honest, dedicated and reliable treatment of history. The contextualists are willing to make use of the tedious methodology of Classical studies as long as it promises to uncover the true (...) historical data. In this paper I present a case where the contextualists have failed to surpass their rival appropriationists in their quest for veracity. The case is the debate about Aristotle’s De Interpretatione 9, which took place in 1950-1980s. In this debate the contextualists were unable to offer any other results except for those which have already been suggested by the appropriationists. In addition I demonstrate how the contextualists selectively used the arsenal of Classical methodology not to uncover the truth, but to justify their own preconceived interpretations. (shrink)

Modern logicians have complained that Aristotelian logic lacks a distinction between predication and assertion, and that predication, according to the Aristotelians, implies assertion. The present paper addresses the question of whether this criticism can be levelled against Aristotle’s logic. Based on a careful study of the De interpretatione, the paper shows that even if Aristotle defines what he calls simple assertion in terms of predication, he does not confound predication and assertion. That is because, first, he does not understand compound (...) assertion in terms of predication, and secondly, he acknowledges non-assertive predicative thoughts that are truth-evaluable. Therefore, the implications of Aristotle’s ‘predication theory of assertion’ are not as devastating as the critics believe. (shrink)

In his Outlines of Pyrrhonism 2.110–113, Sextus Empiricus presents four different accounts of the conditional, presumably all from the Hellenistic period, in increasing logical strength. While the interpretation and provenance of the first three accounts is relatively secure, the fourth account has perplexed and frustrated interpreters for decades or longer. Most interpreters have ultimately taken a dismissive attitude towards the fourth account and discounted it as being of both little historical and logical interest. We argue that this attitude is unwarranted (...) and demonstrate that the conditional expressed in the fourth account can profitably be understood as a precursor of analytic entailment, familiar from containment logics such as those developed by Parry and Angell. Exploiting recent work by Fine, we present a formal truthmaker semantics for this conditional and show how it sheds light on a number of longstanding issues in the interpretation of this passage. (shrink)

In logic, Aristotelian diagrams are almost always assumed to be closed under negation, and are thus highly symmetric in nature. In linguistics, by contrast, these diagrams are used to study lexicalization, which is notoriously not closed under negation, thus yielding more asymmetric diagrams. This paper studies the interplay between logical symmetry and linguistic asymmetry in Aristotelian diagrams. I discuss two major symmetric Aristotelian diagrams, viz. the square and the hexagon of opposition, and show how linguistic considerations yield various asymmetric versions (...) of these diagrams. I then discuss a pentagon of opposition, which occupies an uneasy position between the square and the hexagon. Although this pentagon belongs neither to the symmetric realm of logic nor to the asymmetric realm of linguistics, it occurs several times in the literature. The oldest known occurrence can be found in the cosmological work of the 14th-century author Nicole Oresme. (shrink)

It is often assumed that Aristotle, Boethius, Chrysippus, and other ancient logicians advocated a connexive conception of implication according to which no proposition entails, or is entailed by, its own negation. Thus Aristotle claimed that the proposition ‘if B is not great, B itself is great […] is impossible’. Similarly, Boethius maintained that two implications of the type ‘If p then r’ and ‘If p then not-r’ are incompatible. Furthermore, Chrysippus proclaimed a conditional to be ‘sound when the contradictory of (...) its consequent is incompatible with its antecedent’, a view which, in the opinion of S. McCall, entails the aforementioned theses of Aristotle and Boethius. Now a critical examination of the historical sources shows that the ancient logicians most likely meant their theses as applicable only to ‘normal’ conditionals with antecedents which are not self-contradictory. The corresponding restrictions of Aristotle’s and Boethius’ theses to such self-consistent antecedents, however, turn out to be theorems of ordinary modal logic and thus don’t give rise to any non-classical system of genuinely connexive logic,. (shrink)

'Reason, Causation and Compatibility with the Phenomena' strives to give answers to the philosophical problem of the interplay between realism, explanation and experience. This book is a compilation of essays that recollect significant conceptions of rival terms such as determinism and freedom, reason and appearance, power and knowledge. This title discusses the progress made in epistemology and natural philosophy, especially the steps that led from the ancient theory of atomism to the modern quantum theory, and from mathematization to analytic philosophy. (...) Moreover, it provides possible gateways from modern deadlocks of theory either through approaches to consciousness or through historical critique of intellectual authorities. This work will be of interest to those either researching or studying in colleges and universities, especially in the departments of philosophy, history of science, philosophy of science, philosophy of physics and quantum mechanics, history of ideas and culture. Greek and Latin Literature students and instructors may also find this book to be both a fascinating and valuable point of reference. (shrink)

This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...) logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness. (shrink)

Although the theory of the assertoric syllogism was Aristotle's great invention, one which dominated logical theory for the succeeding two millenia, accounts of the syllogism evolved and changed over that time. Indeed, in the twentieth century, doctrines were attributed to Aristotle which lost sight of what Aristotle intended. One of these mistaken doctrines was the very form of the syllogism: that a syllogism consists of three propositions containing three terms arranged in four figures. Yet another was that a syllogism is (...) a conditional proposition deduced from a set of axioms. There is even unclarity about what the basis of syllogistic validity consists in. Returning to Aristotle's text, and reading it in the light of commentary from late antiquity and the middle ages, we find a coherent and precise theory which shows all these claims to be based on a misunderstanding and misreading. (shrink)

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...) a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)

This volume examines the entire logical and philosophical production of Nikolai A. Vasil’ev, studying his life and activities as a historian and man of letters. Readers will gain a comprehensive understanding of this influential Russian logician, philosopher, psychologist, and poet. The author frames Vasil’ev’s work within its historical and cultural context. He takes into consideration both the situation of logic in Russia and the state of logic in Western Europe, from the end of the 19th century to the beginning of (...) the 20th. Following this, the book considers the attempts to develop non-Aristotelian logics or ideas that present affinities with imaginary logic. It then looks at the contribution of traditional logic in elaborating non-classical ideas. This logic allows the author to deal with incomplete objects just as imaginary logic does with contradictory ones. Both logics are objects of interesting analysis by modern researchers. (shrink)

Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the development of worlds semantics for modal logic in the past century that catalyzed the rapid maturation of the field. Moreover, like modal logic, conditional logic has subsequently found a wide array of uses, from the traditional (e.g. counterfactuals) to the exotic (e.g. conditional (...) obligation). Despite the close connections between conditional and modal logic, both the technical development and philosophical exploitation of the latter has outstripped that of the former, with the result that noticeable lacunae exist in the literature on conditional logic. My dissertation addresses a number of these underdeveloped frontiers, producing new technical insights and philosophical applications. -/- I contribute to the solution of a problem posed by Priest of finding sound and complete labeled tableaux for systems of conditional logic from Lewis' V-family. To develop these tableaux, I draw on previous work on labeled tableaux for modal and conditional logic; errors and shortcomings in recent work on this problem are identified and corrected. While modal logic has by now been thoroughly studied in non-classical contexts, e.g. intuitionistic and relevant logic, the literature on conditional logic is still overwhelmingly classical. Another contribution of my dissertation is a thorough analysis of intuitionistic conditional logic, in which I utilize both algebraic and worlds semantics, and investigate how several novel embedding results might shed light on the philosophical interpretation of both intuitionistic logic and conditional logic extensions thereof. -/- My dissertation examines deontic and connexive conditional logic as well as the underappreciated history of connexive notions in the analysis of conditional obligation. The possibility of interpreting deontic modal logics in such systems (via embedding results) serves as an important theoretical guide. A philosophically motivated proscription on impossible obligations is shown to correspond to, and justify, certain (weak) connexive theses. Finally, I contribute to the intensifying debate over counterpossibles, counterfactuals with impossible antecedents, and take—in contrast to Lewis and Williamson—a non-vacuous line. Thus, in my view, a counterpossible like "If there had been a counterexample to the law of the excluded middle, Brouwer would not have been vindicated" is false, not (vacuously) true, although it has an impossible antecedent. I exploit impossible (non-normal) worlds—originally developed to model non-normal modal logics—to provide non-vacuous semantics for counterpossibles. I buttress the case for non-vacuous semantics by making recourse to both novel technical results and theoretical considerations. (shrink)

Moral reductionist believes that the reality of moral qualities are the same qualities which can be expressed with immoral words. Such an ontological view has an epistemological aspect which states our understanding of moral facts is either our understanding of immoral facts or our deductions of immoral understanding. From moral reductionists and especially the naturalists’ point of view, the ability to explain moral knowledge without resorting to some theories such as moral intuition is considered to be an important advantage and (...) even a strong reason for their view. Therefore, the present paper is going to study the reductionistic explanations about moral knowledge and justifications of moral believes. We have come to the conclusion that among the explanations presented by the naturalists, analytic knowledge has the same problems which have discredited the theory of analytic reductionism. Also, deducing value from non-value is either facing the logical gap of is-must; or if there is a meaningful descriptive-valuable link, we can’t finally come to unconditional moral results. (shrink)

En este artículo recuperamos la lógica diagramática lineal de Leibniz para la silogística y descubrimos sus propiedades lógicas y computacionales a través de una aproximación formal en términos metalógicos, lo cual es algo que, hasta donde sabemos, aún falta por hacerse. Así, en esta contribución buscamos, respectivamente, dos metas, una histórica y una lógica: i) prestar más atención a los aspectos algorítmicos del sistema diagramático lineal de Leibniz para la silogística, de los cuales creemos que han sido desdeñados por un (...) prejuicio general en contra del razonamiento diagramático; y ii) probar propiedades metalógicas del sistema para argumentar que es un sistema lógico bona fide. (shrink)

Además de los indemostrables, la lógica estoica incluye varias reglas de reducción. En este trabajo, analizo la primera de ellas con el fin de comprobar si fue derivada formalmente a partir de los indemostrables o los estoicos pudieron plantearla a partir del uso de sus capacidades naturales de razonamiento. De esta manera, trato de mostrar que tenemos razones para apoyar ambas posibilidades y, basándome en un enfoque semántico como el de la teoría de los modelos mentales, de ofrecer argumentos al (...) respecto. (shrink)

In this paper, we will explore two initiatives that focus on the importance of employing logical theories in educating people how to think and reason properly, one in Poland: The Lvov-Warsaw School; the other in North America: The Informal Logic Initiative. These two movements differ in the logical means and skills that they focus on. However, we believe that they share a common purpose: to educate students in logic and reasoning (logical education conceived as a process) so that they may (...) be able to apply their skills to analyze the issues in their society (logical culture as a result of logical education). The aim of the paper is to justify this claim by exploring research objectives and products that are common to both movements. (shrink)

De acuerdo con los principales enfoques al respecto la lógica de los estoicos es principalmente un sistema deductivo, lo que, en términos actuales, ha sido visto como un sistema de lógica proposicional. La obra de Crísipo acerca de los cinco argumentos indemostrables constituye la principal base de dicho sistema. En este artículo se examina la naturaleza de dichos cinco indemostrables así como el llamando teorema de Antipatro y los esquemas básicos de inferencia, o zemas. Por otra parte y en particular, (...) sostengo que dichos argumentos indemostrables tienen otro importante rol para la filosofía y la historia de la lógica, cual es el de constituirse en una justificación de la deducción, un problema central en el presente. Se analiza, primero, la justificación por los indemostrables y por el principio de condicionalización y, segundo, la justificación cognitiva de la lógica implícita en un sistema estoico. (shrink)

The status of the laws of nature in Hobbes’s Leviathan has been a continual point of disagreement among scholars. Many agree that since Hobbes claims that civil philosophy is a science, the answer lies in an understanding of the nature of Hobbesian science more generally. In this paper, I argue that Hobbes’s view of the construction of geometrical figures sheds light upon the status of the laws of nature. In short, I claim that the laws play the same role as (...) the component parts – what Hobbes calls the “cause” – of geometrical figures. To make this argument, I show that in both geometry and civil philosophy, Hobbes proceeds by a method of synthetic demonstration as follows: 1) offering a thought experiment by privation; 2) providing definitions by explication of “simple conceptions” within the thought experiment; and 3) formulating generative definitions by making use of those definitions by explication. In just the same way that Hobbes says that the geometer should “put together” the parts of a square to learn its cause, I argue that the laws of nature are the cause of peace. (shrink)

Da bi ocenil Fregejev prispevek k utemeljitvi moderne logike se je avtor v svojem prispevku vrnil v preteklost, do Leibnizove lingua characteristica. Vzporednic ni težko najti: odprava dvoumja v govorici in zgradba enoznačnega jezika na tej osnovi, možnost razrešitve spoznavne moči s kalkulom, kar ločuje leibnizoviko tradicijo od kartezijanske. Srž obeh teorij je en in isti boj znanstvenega govora z govorico, razlika pa je v načinu, kako prehod k zapisu udejani ideal calculus ratiocinator. Različni načini, kako so elementi tega boja (...) med seboj povezani, lahko nudijo tudi osnove za premero specifike družbene razsežnosti obeh pristopov. (shrink)

In the analysis of syllogistic reasoning, a type of inference patternbased on the chaining of terms through quantified statements, two interpretationsabout them can be found in the literature. One is the so-called set-based interpretation,which assumes that quantified statements and syllogisms talk aboutquantity-relationships between sets. The other one, the so-called conditionalinterpretation, assumes that they talk about conditional propositions and howstrong are the links between the antecedent and the consequent. In this paper,we expose both models and formulate three relevant questions to be (...) taken intoaccount for a further development of this type of reasoning. (shrink)

In epoca medievale si è molto discusso su alcuni concetti chiave come prova o giustificazione. La teoria della prova contenuta nei trattati di logica medievale prende il nome tecnico di consequentia, che è un tipo di ragionamento fondato sul passaggio dalla concessione (o negazione) di uno o più enunciati denominati antecedenti alla concessione (o negazione) di uno o più enunciati denominati conseguenti. Questo tipo di teoria ha avuto un correlato a livello dei singoli termini che compongono l’enunciato all'interno della teoria (...) nota come suppositio terminorum. Prende, infatti, il nome di descensus, la regola che permette la verifica del passaggio da un termine maggiore (un termine comune) ad un termine minore (che denota individui). La stessa definizione di alcune ramificazioni della teoria della suppositio è col-legata alla possibilità di ammettere o meno il descensus cioè questa "discesa" da un termine comune ad una congiunzione o disgiunzione di termini singolari. Il presente lavoro intende descrivere la teoria del descensus come un tipo particolare di consequentia mostrandone le connessioni con le moderne tecniche logiche. I trattati che si affronteranno appartengono al XIV e al XV secolo, cioè ad un periodo caratterizzato da una sistemazione della materia che li rende confrontabili con un quadro teorico unitario. (shrink)

Psychological research on people’s understanding of natural language connectives has traditionally used truth table tasks, in which participants evaluate the truth or falsity of a compound sentence given the truth or falsity of its components in the framework of propositional logic. One perplexing result concerned the indicative conditional if A then C which was often evaluated as true when A and C are true, false when A is true and C is false but irrelevant“ (devoid of value) when A is (...) false (whatever the value of C). This was called the “psychological defective table of the conditional.” Here we show that far from being anomalous the “defective” table pattern reveals a coherent semantics for the basic connectives of natural language in a trivalent framework. This was done by establishing participants’ truth tables for negation, conjunction, disjunction, conditional, and biconditional, when they were presented with statements that could be certainly true, certainly false, or neither. We review systems of three-valued tables from logic, linguistics, foundations of quantum mechanics, philosophical logic, and artificial intelligence, to see whether one of these systems adequately describes people’s interpretations of natural language connectives. We find that de Finetti’s (1936/1995) three-valued system is the best approximation to participants’ truth tables. (shrink)

In this article, I discuss Robert Kilwardby’s theory of judgement and consider its implications for his view of truth and falsity. I start by considering Kilwardby’s claim that truth and falsity are primarily found in composite thought, i.e. judgement. I then examine his distinction between two different kinds of being, namely real and conceptual, arguing that different kinds of true judgement, according to Kilwardby, have different kinds of existential import, either real or merely conceptual. Since Kilwardby develops his position by (...) commenting on Aristotle’s logical treatises, an important aim of the article is that of showing how he addresses exegetical issues in those sources and offers solutions that go beyond Aristotle’s alleged intentions. The focus of the paper is on negative judgement because that is where Kilwardby diverges from Aristotle most conspicuously. (shrink)

There are quite a few studies on late Bolzano’s notion of a collection (Inbegriff). We try to broaden the perspective by introducing the forerunner of collections in Bolzano’s early writings, namely the entities referred to by expressions with the technical term ‘et’. Special emphasis is laid on the question whether these entities are set-theoretical or mereological plenties. Moreover, similarities and differences to Bolzano’s mature conception are pointed out.

Essays on Aristotle's Sea-Battle, Lazy Argument, Argument Reaper, Diodorus' Master Argument -/- The book is devoted to the ancient logical theories, reconstruction of their semantic proprieties and possibilities of their interpretation by modern logical tools. The Ancient arguments are frequently misunderstood in modern interpretations since authors usually have tendency to ignore their historical proprieties and theoretical background what usually leads to a quite inappropriate picture of the argument’s original form and mission. Author’s primary intention was to draw attention to the (...) complexity of some historical arguments and to the theoretical context in which arguments were created, circulated, developed, and finally tuned. Four well-known ancient arguments – with a common central subject related to the future contingencies problem – are reconstructed from available historical sources: “The Sea Battle”, which is drawn from Aristotle’s treatise De Interpretatione; two arguments, usually ascribed to the Stoics, “The Lazy Argument” and “The Reaper”; “The Master Argument” of the Megarian philosopher Diodorus. Arguments are linguistically and semantically detaily analyzed, formally presented by reflecting some relevant corresponding hypotheses based on physical or logical theories of their ancient authors, and finally covered by appropriate logical tools familiar to a modern reader. Two appendices are added at the closing part of the book. One covering some assumptions relevant for understanding of rival streams in ancient theories of meaning related to the nature of names and naming; the other is devoted to the ancient understanding of logical proposition and attempts to find an adequate Latin translation of the Greek delicate philosophical term “ἀξίωμα”. (shrink)

Ajdukiewicz’s account of mathematical theories is presented and analyzed. Theories consist of primary and secondary theorems. Theories go through three phases or stages: preaxiomatic and intuitive, axiomatic but intuitive, axiomatic and abstract, whereas the final stage takes two forms: definitional and formal. Each stage is analyzed. The role of the concepts of truth, evidence, consequence, and existence is examined. It is claimed that the second stage is apparent or transitory, whereas the initial and final stages are vital and constitute two (...) salient attitudes to mathematics, focused on truth or consequence respectively. It is also claimed they are attitudes rather than stages, and the crucial difference between them concerns effectiveness. The chief question of philosophy of mathematics turns out to be to determine whether mathematical theories are assertive or hypothetical. (shrink)

What is early modern philosophy? Two interpretative trends have predominated in the related literature. One, with roots in the work of Hegel and Heidegger, sees early modern thinking either as the outcome of a process of gradual rationalization (leading to the principle of sufficient reason, and to "ontology" as distinct from metaphysics), or as a reflection of an inherent subjectivity or representational semantics. The other sees it as reformulations of medieval versions of substance and cause, suggested by, or leading to, (...) early modern scientific developments. -/- This book proposes a rather different kind of explanation. It suggests that the concept of relation, specifically that of dyadic, anti-symmetrical relations, can throw light on a wide variety of developments in early modern thought, such as those concerning causality, sense perception, temporality, and the mereological approach to substance. The book argues that these relations are grounded in an interpretation of causal influence, and not in semantic theories or subjectivity. -/- Furthermore, if it is correct that the problem of unity was, for most of classical antiquity, what the problems of motion, causality and perception were for early modern thinkers, then early modern thought is much closer to the thought of Aristotle than is commonly supposed. The genesis of early modern thought might instead be taken to have occurred in opposition to one aspect of the thought of Duns Scotus (an aspect that lives on in contemporary Neo-Aristotelianism), and that can be explained once the relational perspective examined here is taken into account. (shrink)

Abstract“Natural syllogisms” are arguments formally identifiable with categorical syllogisms that have an implicit universal affirmative premise retrieved from semantic memory rather than explicitly stated. Previous studies with adult participants (Politzer, 2011) have shown that the rate of success is remarkably high. Because their resolution requires only the use of a simple strategy (known as ecthesis in classic logic) and an operational use of the concept of inclusion (the recognition that an element that belongs to a subset must belong to the (...) set but not vice versa), it was hypothesized that these syllogisms would be within the grasp of non‐adult participants, provided they have acquired the notion of deductive validity. Here, 11‐year‐old children were presented with natural syllogisms embedded in short dialogs. The first experiment showed that their performance was equivalent to adults' highest level of performance in standard experiments on syllogisms. The second experiment, while confirming children's proficiency in solving natural syllogisms, showed that they outperformed children who solved non‐natural matched syllogisms in the same experimental setting. The results are also in agreement with the argumentation theory of reasoning. (shrink)

This article applies tools from argumentation theory to slippery slope arguments used in current ethical debates on genetic engineering. Among the tools used are argumentation schemes, value-based argumentation, critical questions, and burden of proof. It is argued that so-called drivers such as social acceptance and rapid technological development are also important factors that need to be taken into account alongside the argumentation scheme. It is shown that the slippery slope argument is basically a reasonable form of argument, but is often (...) flawed when used in ethical debates because of failures to meet the requirements of its scheme. (shrink)

This paper aims to show that truth is neutral with respect to metaphysics and epistemology. In other words, the paper states that in order to make an analysis about our daily use of truth discourse, it is not necessary to refer to neither the nature of the world nor the nature of our epistemic capacities. The text is composed by three sections. In the first one, it makes explicit the common-sense intuitions which seem to bring truth to either metaphysics or (...) epistemology. In the second one, the text analyzes the role of the predicate «is true» in our natural languages. In the third section, the intuitions aforementioned are considered with the purpose of examining its intuitive status and its alleged relationship with both metaphysics and epistemology. (shrink)

Neste artigo é defendida a tese de que a noção aristotélica de perfeição silogística não é completamente arbitrária e reflete características lógicas, apesar de alguns aspectos não lógicos. Em consonância com a sugestão de alguns intérpretes de que a validade dos silogismos em primeira figura se fundamenta no dictum de omni et nullo, será apontado como essa fundamentação se desdobra em procedimentos dedutivos encontrados nos textos de Aristóteles. Tomando definições ou explicitações das proposições categóricas como parâmetro, a perfeição ou imperfeição (...) de um silogismo, independentemente das relações de prova que se adote entre as figuras silogísticas, não se mostra arbitrária. (shrink)

Psychologism in logic is the doctrine that the semantic content of logical terms is in some way a feature of human psychology. We consider the historically influential version of the doctrine, Psychological Individualism, and the many counter-arguments to it. We then propose and assess various modifications to the doctrine that might allow it to avoid the classical objections. We call these Psychological Descriptivism, Teleological Cognitive Architecture, and Ideal Cognizers. These characterizations give some order to the wide range of modern views (...) that are seen as psychologistic because of one or another feature. Although these can avoid some of the classic objections to psychologism, some still hold. (shrink)

Whenever an adequate theory is found in science, we will still be left with two questions: why this theory rather than some other theory, and how should this theory be interpreted? I argue that these questions can be answered by a theory of system relations. The basic idea is that fundamental characteristics of systems, viz. those arising from the general systemic nature of those systems, cannot be comprehended with the aid of discipline-specific methods. The systems theory required should commence with (...) an analysis of the qualitatively different relations possible between systems, because it is precisely the nature of those relations that determines the basic structures of systems. That the theory of the fundamental system relations and their ontological and epistemological implications is indeed able to provide the answers sought is demonstrated in theoretical physics and Plessner's analysis of the basic structures of plant, animal and human being. (shrink)

The aim of this investigation is to explore the role of argumentation schemes in enthymeme reconstruction. This aim is pursued by studying selected cases of incomplete arguments in natural language discourse to see what the requirements are for filling in the unstated premises and conclusions in some systematic and useful way. Some of these cases are best handled using deductive tools, while others respond best to an analysis based on defeasible argumentations schemes. The approach is also shown to work reasonably (...) well for weak arguments, a class of arguments that has always been difficult to analyze without the principle of charity producing a straw man. (shrink)

What characterizes indexical thinking is the fact that the modes of presentation through which one thinks of objects are context-bound and perspectival. Such modes of presentation, I claim, are mental files presupposing that we stand in certain relations to the reference : the role of the file is to store information one can gain in virtue of standing in that relation to the object. This raises the communication problem, first raised by Frege : if indexical thoughts are context-bound and relation-based, (...) how is it possible to communicate them to those who are not in the same context and do not stand in the right relations to the object? Following Frege, I argue that the solution comes from an important distinction between linguistic and psychological modes of presentation. Psychological modes of presentation are mental files. They are perspectival and context-bound. But linguistic modes of presentation are fixed by the conventions of the language and they are shared by the language users. They are public and serve to coordinate mental files in communication by constraining them to contain the piece of information they encode. In this way communication takes place even though the indexical thoughts entertained by the speaker are, in some sense, private and cannot be shared by the audience. (shrink)

Sweet Analytics, ‘tis thou hast ravish'd me,Bene disserere est finis logices.Is to dispute well logic's chiefest end?Affords this art no greater miracle?(Christopher Marlow, Doctor Faustus, Act 1,...

The book offers a proposal on how to define truth in all its complexity, without reductionism, showing at the same time which questions a theory of truth has to answer and which questions, although related to truth, do not belong within the scope of such a theory. Just like any other theory, a theory of truth has its structure and limits. The semantic core of the position is that truth-ascriptions are pro-forms, i.e. natural language propositional variables. The book also offers (...) an explanation of the syntactic behaviour of truth-terms, and the pragmatic roles of truth-acts. The theory of truth we present is a technical proposal, relatively uncontaminated by radical philosophical discussion. It makes indeed philosophical points, but it is intended to be a conceptual analysis, as neutral as possible, of the aspects that may serve as a point of departure for more philosophically-laden destinations. Like the Fregean account of quantifiers, which is prior to and, to a large extent, independent of the metaphysical debate about existence and its forms, or the Kaplanian view on demonstratives, that is neutral regarding the debate about individuals and the possibilities we have to actually “reach” them in a referring act, we intend our proposal about truth to be a sophisticated and explicative setting that helps to situate other debates about truth accurately, far from the distorted and sometimes strongly ideological discussions that have turned the topic into a paradigm of philosophical impasse. (shrink)

Although most scholars trace the Liar Paradox to Plato’s contemporary, Eubulides, the paper argues that Plato builds something very like the Liar Paradox into the very structure of his dialogues with significant consequences for understanding his views. After a preliminary exposition of the liar paradox it is argued that Plato builds this paradox into the formulation of many of his central doctrines, including the “Divided Line” and the “Allegory of the Cave” and the “Ladder of Love”. Thus, Plato may have (...) been the first to formulate the view that Graham Priest calls dialetheism, roughly, the view that some contradictions are, in an illuminating way, inescapable and true. The paper argues that Plato builds this Liar paradox into the formulation of his signature views because he holds that the attempt by finite human beings to theorize about transcendent realities results in the simultaneous necessity, and impossibility, of transgressing the limits of language—leading to the paradoxes. Finally, it is argued that the existence of these paradoxes in these Platonic doctrines is the direct result of an intrinsic hermeneutical circle in Plato’s aforementioned signature views. (shrink)

Is it possible for an argument to have either zero premises or an infinite number of premises? I shall argue that regardless of how you conceive of arguments you should accept that an argument could have an infinite number of premises. The zero case is more complicated since the matter seems to depend not only on the metaphysics of arguments, but also the nature and function of arguing. I shall argue that at least a plausible case can be made for (...) the possibility of zero premise arguments. (shrink)