In this paper, I consider Sterba’s recent criticism of skeptical theism in context of his argument from evil. I show that Sterba’s criticism of skeptical theism shares an undesirable trait with all past criticisms of skeptical theism: it fails. This is largely due to his focus on causal connections and his neglect of logical connections. Because of this, his argument remains vulnerable to skeptical theism.

The reasoning process of analogy is characterized by a strict interdependence between a process of abstraction of a common feature and the transfer of an attribute of the Analogue to the Primary Subject. The first reasoning step is regarded as an abstraction of a generic characteristic that is relevant for the attribution of the predicate. The abstracted feature can be considered from a logic-semantic perspective as a functional genus, in the sense that it is contextually essential for the attribution of (...) the predicate, i.e. that is pragmatically fundamental (i.e. relevant) for the predica-tion, or rather the achievement of the communicative intention. While the transfer of the predicate from the Analogue to the analogical genus and from the genus to the Primary Subject is guaranteed by the maxims (or rules of inference) governing the genus-species relation, the connection between the genus and the predicate can be complex, characterized by various types of reasoning patterns. The relevance relation can hide implicit arguments, such as an implicit argument from classification , an evaluation based on values, consequences or rules, a causal relation, or an argument from practical reasoning. (shrink)

Complex human reasoning involves minimal abilities to extract conclusions implied in the available information. These abilities are considered “deductive” because they exemplify certain abstract relations among propositions or probabilities called deductive arguments. However, the electrophysiological dynamics which supports such complex cognitive pro- cesses has not been addressed yet. In this work we consider typically deductive logico- probabilistically valid inferences and aim to verify or refute their electrophysiological functional connectivity differences from invalid inferences with the same content (same relational variables, same (...) stimuli, same relevant and salient features). We recorded the brain electrophysiological activity of 20 participants (age 1⁄4 20.35 ± 3.23) by means of an MEG system during two consecutive reasoning tasks: a search task (invalid condition) without any specific deductive rules to follow, and a logically valid deductive task (valid condition) with explicit deductive rules as instructions. We calculated the functional connectivity (FC) for each condition and conducted a seed-based analysis in a set of cortical regions of interest. Finally, we used a cluster-based permutation test to compare the dif- ferences between logically valid and invalid conditions in terms of FC. As a first novel result we found higher FC for valid condition in beta band between regions of interest and left prefrontal, temporal, parietal, and cingulate structures. FC analysis allows a second novel result which is the definition of a propositional network with operculo-cingular, parietal and medial nodes, specifically including disputed medial deductive “core” areas. The experiment discloses measurable cortical processes which do not depend on content but on truth-functional propositional operators. These experimental novelties may contribute to understand the cortical bases of deductive processes. (shrink)

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary (...) logic of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

I argue for the thesis (UL) that there are certain logical abilities that any rational creature must have. Opposition to UL comes from naturalized epistemologists who hold that it is a purely empirical question which logical abilities a rational creature has. I provide arguments that any creatures meeting certain conditions—plausible necessary conditions on rationality—must have certain specific logical concepts and be able to use them in certain specific ways. For example, I argue that any creature able to (...) grasp theories must have a concept of conjunction subject to the usual introduction and elimination rules. I also deal with disjunction, conditionality and negation. Finally, I put UL to work in showing how it could be used to define a notion of logical obviousness that would be well suited to certain contexts—e.g. radical translation and epistemic logic—in which a concept of obviousness is often invoked. (shrink)

This inquiry is addressed to two questions: (1) what if any logical relations might exist between the concepts of desire and action (as they and the distinctions to which they commit us are ensconced in ordinary parlance), and (2) what if any causal or significant non-causal (i.e., material) relations might ever exist between instances of desire and action? -/- It is held that any credible move to deal with such questions must initially, and at some length, specify the employment (...) conditions for the terms 'want' and 'desire'. This is accomplished in the first two chapters wherein a set of premises is generated for the argument of the inquiry which is presented in full and concluded in the third and final chapter. Premises generated devolve from treatment of the following major topics: (a) the grammar of 'want' and 'desire', (b) the ontological status of wants, (c) first-person and third-person want ascriptions, (d) the sorts of things which may be desired (desiderabilia), (e) wants and lacks, (f) wants and wishes, (g) the 'conflicts' of desires and reason and desire, (h) four major candidates for logical relations between wants and acts, (i) the issue of causation, and (j) the placement of Desire in an adequate ontology of persons. -/- It is argued that every major candidate for a logical relation between wants and acts (or our warrant for believing that such a connection exists) breaks down upon analysis; that little warrant exists for construing wants as causes of acts; that wants and acts are related in significant non-logical and non-causal (i.e., material) respects; and that any fully adequate theory of human action must undertake ontology, placing the category of Desire squarely in the foreground. This project represents neither a general theory of desire nor a general theory of human action. It is rather conceived as a propaedeutic to any such inquiry. It is essentially revisionist in intent, setting out on the one hand to challenge existing claims about wants and acts and, on the other hand, proposing a more satisfactory approach to the issue. In no sense is it suggested that recent Anglo-American contributions are without merit. It is rather argued that they are often inadequate contributions vis-a-vis the larger requirements for an adequate theory of human action. (shrink)

Ned Markosian has recently defended a new theory of composition, which he calls regionalism : some material objects xx compose something if and only if there is a material object located at the fusion of the locations of xx. Markosian argues that regionalism follows from what he calls the subregion theory of parthood. Korman and Carmichael agree. We provide countermodels to show that regionalism does not follow from, even together with fourteen potentially implicit background principles. We then show that regionalism (...) does follow from five of those background principles together with and two additional principles connecting parthood and location, which we call and. While the additional principles are not uncontroversial, our conjecture is that many will find them attractive. We conclude by mentioning that fills a previously unnoticed gap in the formal theory of location presented in Parsons. (shrink)

In this paper, I offer a novel analysis of logical arguments from evil. I claim that logical arguments from evil have three parts: (1) characterisation (attribution of specified attributes to God); (2) datum (a claim about evil); and (3) link (connection between attributes and evil). I argue that, while familiar logical arguments from evil are known to be unsuccessful, it remains an open question whether there are successful logical arguments from evil.

Arguments have always played a central role within logic and philosophy. But little attention has been paid to arguments as a distinctive kind of discourse, with its own semantics and pragmatics. The goal of this essay is to study the mechanisms by means of which we make arguments in discourse, starting from the semantics of argument connectives such as `therefore'. While some proposals have been made in the literature, they fail to account for the distinctive anaphoric behavior of `therefore', (...) as well as uses of argument connectives in complex arguments, suppositional arguments, arguments with non-declarative conclusions, as well as arguments with parenthetical remarks. A comprehensive account of arguments requires imposing a distinctive tree-like structure on contexts. We show how to extend our account to accommodate modal subordination and and di fferent flavors of `therefore'. (shrink)

The famous Cartesian Nicolas Malebranche (1638-1715) espoused the occasionalist doctrine that ‘there is only one true cause because there is only one true God; that the nature or power of each thing is nothing but the will of God; that all natural causes are not true causes but only occasional causes’ (LO, 448, original italics). One of Malebranche’s well-known arguments for occasionalism, known as, the ‘no necessary connection’ argument (or, NNC ) stems from the principle that ‘a true cause… (...) is one such that the mind perceives a necessary connection between it and its effect’ (LO, 450). The outline of this paper is as follows. I explicitly layout NNC and articulate some of its prima facie strengths (§1). I then critically discuss, what I take to be, the two main arguments against NNC of the Lee-Pyle interpretation (§2). The main conclusion from (§2) is that Malebranche did not abandon NNC in his later works given textual evidence from the Dialogues, contrary to the Lee-Pyle interpretation. In (§3) I discuss in what ways Suárez, Leibniz, Régis and Spinoza all accepted the main premise of NNC. Then, I rebut Steven Nadler’s influential and unchallenged criticism that Malebranche conflated causal and logical necessity, and provide a more accurate interpretation of Malebranche that only commits him to a partial reduction of causal to logical necessity (§4). (shrink)

Logic is useful as a neutral formalism for expressing the contents of mental representations. It can be used to extract crisp conclusions regarding the higher-order theory of phenomenal consciousness developed in (McDermott 2001, 20007). A key aspect of conscious perceptions is their connection to the distinction between appearance and reality. Perceptions must often be corrected. To do so requires that the logic of perception be able to represent the logical structure of judgment events, that is, to include the formulas (...) of the logic as objects to be reasoned about. However, there is a limit to how finely humans can examine their own representations. Terms representing primary and secondary qualities seemed to be _locked,_ so that the numbers (or levels of neural activation) that are their essence are not directly accessible. Humans feel a need to invoke ``intrinsic,'' ``nonrelational'' properties of many secondary qualities --- their _qualia_ --- to ``explicate'' how we compare and discriminate among them, although this is not actually how the comparisons are accomplished. This model of qualia explains several things: It accounts for the difference between ``normal'' and ``introspective'' access to a perceptual module in terms of quotation. It dissolves Jackson's knowledge argument by explaining what Mary learns as a fictional but undoubtable belief structure. It makes spectrum inversion logically impossible by providing a degree of freedom between the physical structure of the brain and the representations it contains that redescribes putative cases of spectrum inversion as alternative but equivalent ways of mapping physical states to representational states. (shrink)

Argumentation theory underwent a significant development in the Fifties and Sixties: its revival is usually connected to Perelman's criticism of formal logic and the development of informal logic. Interestingly enough it was during this period that Artificial Intelligence was developed, which defended the following thesis (from now on referred to as the AI-thesis): human reasoning can be emulated by machines. The paper suggests a reconstruction of the opposition between formal and informal logic as a move against a premise of an (...) argument for the AI-thesis, and suggests making a distinction between a broad and a narrow notion of algorithm that might be used to reformulate the question as a foundational problem for argumentation theory. (shrink)

The logic of academic writing is the argumentative strategy on which our papers, our sections, and our paragraphs are based. It is a strategy, as it is a plan that connects different steps and has a specific goal, namely convincing the audience of an original and important idea. And it is argumentative, for two reasons. First, we can defend our idea and we can convince our audience only through arguments, which only in very few disciplines are formal deductions. In most (...) cases, the arguments that we use are based on premises accepted by a community and the conclusions are drawn from principles that in the ancient dialectics were called “maxims,” principles shared by everyone. Second, a paper is a dialogue between the author and his or her readers. An idea can be considered as interesting and worth reading only when it addresses a topic that is perceived as important by the readers and tackles a problem that is open and needs to be solved. Our arguments are acceptable when they start from the premises of our community of readers, avoiding repeating what is obvious for them or taking for granted what is obscure or unknown to them. In this book, we present the argumentative approach to academic writing that we used in classroom. What characterizes it and makes it unique is the perspective that is adopted. We do not start from preexisting ideas that only need to be presented in a way that is suitable to an academic public. We intend to show that writing academically is a consequence of thinking academically, or rather “strategically.” We want to explain how the linguistic and presentational devices are the result of a much deeper plan underlying them, and how mastering the logic of a paper leads to understanding and even developing academic styles. The logic of academic writing is not aimed at teaching how to use language and write texts academically, but at enabling readers to create their own style based on their own argumentative strategies. (shrink)

This thesis is about the metaphysics of logic. I argue against a view I refer to as ‘logical realism’. This is the view that the logical constants represent a particular kind of metaphysical structure, which I dub ‘logico-metaphysical structure’. I argue instead for a more metaphysically lightweight view of logic which I dub ‘logical expressivism’. -/- In the first part of this thesis (Chapters I and II) I argue against a number of arguments that Theodore Sider has (...) given for logical realism. In Chapter I, I present an argument of his to the effect that logico-metaphysical structure provides the only good explanation of the semantic determinacy of the logical constants. I argue that other explanations are possible. In Chapter II, I present another argument of his to the effect that logico-metaphysical structure is something that comes along with ontological realism: the view that there is a non-language-relative fact of the matter about what exists. I argue that the connection between logical and ontological realism is not as close as Sider makes it out to be. -/- In the second part of this thesis (Chapters III – V) I set out a positive view of the logical constants that can explain both why their meanings are semantically determinate, and why they form part of our vocabulary. On that view, the primary bearers of logical structure are propositional attitudes, and the logical constants are in our language as vehicles for the expression of logically complex propositional attitudes. In Chapter III, I set out an expressivist theory of propositional logic. In Chapter IV, I use this theory to explain how the logical connectives end up having determinate meanings. In Chapter V, I extend the expressivist theory to predicate logic. (shrink)

This book shows how research in linguistic pragmatics, philosophy of language, and rhetoric can be connected through argumentation to analyze a recognizably common strategy used in political and everyday conversation, namely the distortion of another’s words in an argumentative exchange. Straw man argumentation refers to the modification of a position by misquoting, misreporting or wrenching the original speaker’s statements from their context in order to attack them more easily or more effectively. Through 63 examples taken from different contexts (including political (...) and forensic discourses and dialogs) and 20 legal cases, the book analyzes the explicit and implicit types of straw man, shows how to assess the correctness of a quote or a report, and illustrates the arguments that can be used for supporting an interpretation and defending against a distortion. The tools of argumentation theory, a discipline aimed at investigating the uses of arguments by combining insights from pragmatics, logic, and communication, are applied to provide an original account of interpretation and reporting, and to describe and illustrate tactics and procedures that can be used and implemented for practical purposes.. This book will appeal to scholars in the fields of political communication, communication in general, argumentation theory, rhetoric and pragmatics, as well as to people working in public speech, speech writing, and discourse analysis. (shrink)

In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be called “logic,” namely in Hellenistic philosophy, the field includes (among other things) epistemology, normative epistemology, philosophy of language, the theory of truth, and what we call logic today. This entry aims to examine ancient theorizing that makes contact with the contemporary conception. Thus, we will here emphasize the theories of the “syllogism” (...) in the Aristotelian and Stoic traditions. However, because the context in which these theories were developed and discussed were deeply epistemological in nature, we will also include references to the areas of epistemological theorizing that bear directly on theories of the syllogism, particularly concerning “demonstration.” Similarly, we will include literature that discusses the principles governing logic and the components that make up arguments, which are topics that might now fall under the headings of philosophy of logic or non-classical logic. This includes discussions of problems and paradoxes that connect to contemporary logic and which historically spurred developments of logical method. For example, there is great interest among ancient philosophers in the question of whether all statements have truth-values. Relevant themes here include future contingents, paradoxes of vagueness, and semantic paradoxes like the liar. We also include discussion of the paradoxes of the infinite for similar reasons, since solutions have introduced sophisticated tools of logical analysis and there are a range of related, modern philosophical concerns about the application of some logical principles in infinite domains. Our criterion excludes, however, many of the themes that Hellenistic philosophers consider part of logic, in particular, it excludes epistemology and metaphysical questions about truth. Ancient philosophers do not write treatises “On Logic,” where the topic would be what today counts as logic. Instead, arguments and theories that count as “logic” by our criterion are found in a wide range of texts. For the most part, our entry follows chronology, tracing ancient logic from its beginnings to Late Antiquity. However, some themes are discussed in several eras of ancient logic; ancient logicians engage closely with each other’s views. Accordingly, relevant publications address several authors and periods in conjunction. These contributions are listed in three thematic sections at the end of our entry. (shrink)

Feminists note an association of arguing with aggression and masculinity and question the necessity of this connection. Arguing also seems to some to identify a central method of philosophical reasoning, and gendered assumptions and standards would pose problems for the discipline. Can feminine modes of reasoning provide an alternative or supplement? Can overarching epistemological standards account for the benefits of different approaches to arguing? These are some of the prospects for argumentation inside and outside of philosophy that feminists consider. -/- (...) The further concern is that the academic study of argumentation – in philosophy and other disciplines – has failed to account for the type of reasoning needed for social justice movements. What resources for addressing these concerns can be found in informal logic and interdisciplinary argumentation theory? Since part of the perceived problem derives from assuming that arguing is a contest, are more collaborative epistemological frameworks better? Can regular politeness or civility hedge against undesirable tendencies of argumentation? Can “critical thinking” pedagogy involving argument educations answer the needs of social justice? (shrink)

We are able to participate in countless different sorts of social practice. This indefinite set of capacities must be explainable in terms of a finite stock of capacities. This paper compares and contrasts two different explanations. A standard decomposition of the capacity to participate in social practices goes something like this: the interpreter arrives on the scene with a stock of generic practice-types. He looks at the current scene to fill-in the current tokens of these types. He looks at the (...) current state of these practice tokens to see what actions are available to him. He uses his current desires to choose between these various possible actions. I argue that this standard explanation is defective, drawing on arguments by Searle and Wittgenstein and Garfinkel. I propose an alternative explanation, in which the participants must continually show each other the state of the scene in order to maintain the scene’s intelligibility. I provide a simple formal language in which to describe this alternative approach, in which we can state quite precisely what someone is doing when they participate in a practice. This language is related to both deontic and epistemic logics, but it is much simpler – it does not include the classic propositional connectives, and it is driven by a very different set of assumptions. The inspirations for this formal language are Searle’s analysis of directions of fit, Wittgenstein’s remarks on rule-following and Garfinkel’s ethnomethodology. (shrink)

This paper investigates a set of issues connected with the so-called conservativeness argument against deflationism. Although I do not defend that argument, I think the discussion of it has raised some interesting questions about whether what I call “compositional principles,” such as “a conjunction is true iff its conjuncts are true,” have substantial content or are in some sense logically trivial. The paper presents a series of results that purport to show that the compositional principles for a first-order (...) language, taken together, have substantial logical strength, amounting to a kind of abstract consistency statement. (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)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

This paper deals with the question whether some morally normative content is grounded in the dialogical practice that both Apel and Habermas call argumentative discourse, and if so how to demonstrate that it is so grounded. Apel (unlike Habermas) claims that discourse has rationally necessary conceptual presuppositions; that morally normative content is part of such presuppositions; and that this can be ascertained in transcendendal reflection, i.e. by a kind of transcendental argument. I argue that these claims can be charitably (...) interpreted but require clarifications of their key concepts, i.e. “discourse”, “validity claims”, “performative self-contradiction”, and “community of communication”. I argue that discourse as a practice of reason-sensitive agents who are communicatively connected via argumentation can be explained by its normatively constitutive aim, namely fixing the true values of our reasons; that the primary level of validity claims are claims concerning good reasons; that performative self-contradictions are pragmatic-cum-logical inconsistencies that we can know apriori to be incompatible with discourse’s constitutive aim; and finally, that competent discourse participants can know apriori that they would be performatively inconsistent if they flouted a moral kernel that is intrinsic in discourse. (shrink)

I make three points about Searle’s philosophical work on consciousness and intentionality. First, I comment on Searle’s presentation and paper “The Problems of Consciousness.” I show that one of Searle’s philosophical claims about the relation between consciousness and intentionality appears to conflict with a demand he makes on acceptable empirical theories of the brain. Second, I argue that closer attention to the difference between conceptual connections and empirical connections corrects and improves Searle’s response to the so-called “Logical (...) Connections” argument, the argument that claims that mental states cannot be causes, since they are conceptually connected with actions. Third, I give a formulation of his Chinese Room argument that avoids some tempting responses. (shrink)

What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, (...) I argue, requires that thinkers have general abilities to respond to support and tension among their thoughts. And these abilities are constituted by following logical rules. So thinkers have to follow logical rules. But there isn’t just one correct logic for thinking. I show that my view is consistent with logical pluralism: there are a range of correct logics, any one of which a thinker might follow. A logic for thinking does, however, have to contain certain minimal principles: Modus Ponens and Non-Contradiction, and perhaps others. We follow logical rules by exercising logical capacities, which display a distinctive first-person/third-person asymmetry: a subject can find the instances of a rule compelling without seeing them as instances of a rule. As a result, there are two limits on illogical thinking. First, thinkers have to tend to find instances of logical rules compelling. Second, thinkers can’t think in obviously illogical ways. So thinking has to be logical – but not perfectly so. When we try to think, but fail, we produce nonsense. But our failures to think are often subjectively indistinguishable from thinking. To explain how this occurs, I offer an account of nonsense. To be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. Our use of nonsense within the pretence relies on the role of logical form in understanding. Finally, while the normativity of logic doesn’t fall directly out of logical constitutivism, it’s possible to build an attractive account of logical normativity which has logical constitutivism as an integral part. I argue that thinking is necessary for human flourishing, and that this is the source of logical normativity. (shrink)

In their paper "How Fundamental Physics represents Causality", Andreas Bartels and Daniel Wohlfarth maintain that there is place for causality in General Relativity. Their argument contains two steps: First they show that there are time-asymmetric models in General Relativity, then they claim to derive that two events are causally connected if and only if there is a time-asymmetric energy flow from one event to the other. In our comment we first give a short summary of their paper followed by (...) a section introducing and pondering different conceptions of causation since Bartels and Wohlfarth don’t explicitly declare which notion of causation they build on in the paper. In order to analyze their argument in detail we formalize their crucial step in logical terms. This helps to pose the question whether their proposed derivation is not just a definition in a more precise way. (shrink)

An argument map visually represents the structure of an argument, outlining its informal logical connections and informing judgments as to its worthiness. Argument mapping can be augmented with dedicated software that aids the mapping process. Empirical evidence suggests that semester‐length subjects using argument mapping along with dedicated software can produce remarkable increases in students’ critical thinking abilities. Introducing such specialised subjects, however, is often practically and politically difficult. This study ascertains student perceptions of the (...) use of argument mapping in two large, regular, semester‐length classes in a Business and Economics Faculty at the University of Melbourne. Unlike the semester‐length expert‐led trials in prior research, in our study only one expert‐led session was conducted at the beginning of the semester and followed by class practice. Survey results conducted at the end of the semester, show that, with reservations, even this minimalist, ‘one‐shot inoculation’ of argument mapping is effective in terms of students’ perceptions of improvements in their critical thinking skills. (shrink)

It is argued that the distinction between the mental and the nonmental is at bottom logical. The paper begins by sketching and defending a theory of intensional logic in which the notion of logically and metaphysically basic relations (called connections) can be defined. This notion is then employed in an analysis of intentionality: a connection is intentional iff it can contingently connect some individual to some proposition or concept independently of whether it connects the individual to some necessarily (...) equivalent proposition or concept. After potential counterexamples have been explained away, the paper then extends the analysis to a general analysis of mentality. Finally, a "transcendental" argument is given for the thesis that at least some mental relations must be logically and metaphysically basic. (shrink)

It is my intention in this article to present some consequences of Quine’s thesis on the dependence of ontology on ideology (Quine, 1980), seeking an argument for my own thesis on the dependence (theoretical) existence of entities on identity type or ontology dependence on logic and language.If Quine's thesis is correct, then we can expand the resolution of this conclusion and say that ontology depends on the identity or on identification of the "identity criteria for conceptual schemes" (Davidson, 2001) (...) which is constructed in the theory. Consequently I will speak about types of identity which adapts choice of ontology and of which depends ontology of a theory. Here I want to connect the different types of use of the term identity in Aristotle's writings and the different types of predications that are based on them with the concept of identity as the equivalence of symbols in modern logic. I want to reinterpret Quine's statement: "There is no entity without identity " in the form of imlication "What (kind of) identity such (kind of ) entity." . (shrink)

If an argument is valid, it is impossible for its premises to be true, and its conclusion false. But how should we understand these notions of truth and impossibility? Here, I present the answers given by John Buridan (ca. 1300-60), showing (i) how he understands truth in his anti-realist metaphysics, and (ii) how he understands modality in connection with causal powers. In short: if an argument exists and is valid, there does not exist a power capable of making (...) the premises true and, at the same time, making the conclusion false. (shrink)

In this paper, I argue that the temporal connective prima (‘before’) is a comparative adverb. The argument is based on a number of grammatical facts from Italian, showing that there is an asymmetry between prima and dopo (‘after’). On the ground of their divergent behaviour, I suggest that dopo has a different grammatical status from prima. I propose a semantic treatment for prima that is based on an independently motivated analysis of comparatives which can be traced back to Seuren (...) (in: Kiefer and Ruwet (eds.) Generative grammar in Europe, 1973). Dopo is analyzed instead as an atomic two-place predicate which contributes a binary relation over events to the sentence meaning. The different semantic treatments of the two connectives provide an explanation for the grammatical asymmetries considered at the outset; interestingly, they also shed some light on other asymmetries between prima and dopo, which are known to hold for the English temporal connectives before and after as well: these asymmetries are related to the veridicality properties, the distribution of NPIs, and the logical properties of these connectives first described in Anscombe (Philos Rev 73:3–24, 1964). (shrink)

Recently, some philosophers of science (e.g., Gürol Irzik, Michael Friedman) have challenged the ‘received view’ on the relationship between Rudolf Carnap and Thomas Kuhn, suggesting that there is a close affinity (rather than opposition) between their philosophical views. In support of this argument, these authors cite Carnap and Kuhn’s similar views on incommensurability, theory-choice, and scientific revolutions. Against this revisionist view, I argue that the philosophical relationship between Carnap and Kuhn should be regarded as opposed rather than complementary. In (...) particular, I argue that a consideration of the fundamentally disparate nature of the broader philosophical projects of Carnap (logic of science) and Kuhn (providing a theory of scientific revolutions)renders the alleged similarities between their views superficial in comparison to their fundamental differences. In defense of the received view, I suggest that Carnap and Kuhn are model representatives of two contrasting styles of doing philosophy of science, viz., logical analysis and historical analysis respectively. This analysis clarifies the role played by Kuhn’s Structure of Scientific Revolutions in the demise of logical empiricism in the second half of the twentieth-century. (shrink)

Many philosophers have recently been impressed by an argument to the effect that all grounding facts about “derivative entities”—e.g. the facts expressed by the (let us suppose) true sentences ‘the fact that Beijing is a concrete entity is grounded in the fact that its parts are concrete’ and ‘the fact that there are cities is grounded in the fact that p’, where ‘p’ is a suitable sentence couched in the language of particle physics—must themselves be grounded. This argument (...) relies on a principle,Purity, which states that facts about derivative entities are non-fundamental. Purity is questionable. In this paper, I introduce a new argument—the argument fromSettledness—for a similar conclusion but which does not rely on Purity. The conclusion of the new argument is that every “thick” grounding fact is grounded, where a grounding fact [F is grounded in G, H, …] is said to be thick when at least one of F, G, H, … is a fact—a condition that is automatically satisfied if grounding is factive. After introducing the argument, I compare it with the argument from Purity, and I assess its cogency relative to the relevant accounts of the connections between grounding and fundamentality that are available in the literature. (shrink)

In his recent book, Knowing and Checking, Guido Melchior argues that, when we attempt to check whether p, we tend to think that we do not know p. Melchior then uses this assumption to explain a number of puzzles about knowledge. One outstanding question for Melchior's account, however, is why this tendency exists. After all, Melchior himself argues that checking is not necessary for knowing, so why would we think that we fail to know that p when we are in (...) the midst of checking that p? I will explore one such suggestion for why this occurs, arguing that the connection between checking and inquiry can shed light on the impact that checking has on knowing. (shrink)

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive (...) class='Hi'>logical connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

The phrase _secundum quid et simpliciter_ is the Latin expression translating and labelling the sophism described by Aristotle as connected with the use of some particular expression “absolutely or in a certain respect and not in its proper sense.” This paper presents an overview of the analysis of this fallacy in the history of dialectics, reconstructing the different explanations provided in the Aristotelian texts, the Latin and medieval dialectical tradition, and the modern logical approaches. The _secundum quid_ emerges as (...) a strategy that is based on the pragmatic dimension of arguments, and in particular the complex passage from an utterance (what is said) to its logical form (a proposition in an argument). The medieval and modern logical theories attempted to explain from different philosophical perspectives how the pragmatically enriched semantic representation can be achieved, justified, and most importantly manipulated. The different analyses of this fallacy bring to light various dimensions of the pragmatics of arguments, and the complex interdependence between context, meaning, and inferences. (shrink)

We refer to the remarkable thought of Erwin Schrödinger expressed in his book “What is life?” regarding the connection between life and a decrease of entropy realized via feeding (eating). This thought is “transferred” into the field of human psychology, explaining hooligan behavior (e.g. the “days of violence”) as a natural human response to the improper (in its content or form) “informational feeding” that does not allow one to normally treat (‘’digest”) the received information, i.e. to make ones thoughts simpler (...) in their logical structure. Delivering information without pedagogical, psychological, and (when children are involved) neurological supervision or assistance is supposed to be the cause for the hooliganism that more and more often obtains a dangerous organized form. (shrink)

Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference largely parallel those of classical logic, there are important differences in connection with the identification of argument places and the significance of the identity relation.

Many theories of rational belief give a special place to logic. They say that an ideally rational agent would never be uncertain about logical facts. In short: they say that ideal rationality requires "logical omniscience." Here I argue against the view that ideal rationality requires logical omniscience on the grounds that the requirement of logical omniscience can come into conflict with the requirement to proportion one’s beliefs to the evidence. I proceed in two steps. First, I (...) rehearse an influential line of argument from the "higher-order evidence" debate, which purports to show that it would be dogmatic, even for a cognitively infallible agent, to refuse to revise her beliefs about logical matters in response to evidence indicating that those beliefs are irrational. Second, I defend this "anti-dogmatism" argument against two responses put forth by Declan Smithies and David Christensen. Against Smithies’ response, I argue that it leads to irrational self-ascriptions of epistemic luck, and that it obscures the distinction between propositional and doxastic justification. Against Christensen’s response, I argue that it clashes with one of two attractive deontic principles, and that it is extensionally inadequate. Taken together, these criticisms will suggest that the connection between logic and rationality cannot be what it is standardly taken to be—ideal rationality does not require logical omniscience. (shrink)

The research in Human Computer Interaction (HCI) has nowadays extended its attention to the study of persuasive technologies. Following this line of research, in this paper we focus on websites and mobile applications in the e-commerce domain. In particular, we take them as an evident example of persuasive technologies. Starting from the hypothesis that there is a strong connection between logical fallacies, i.e., forms of reasoning which are logically invalid but psychologically persuasive, and some common persuasion strategies adopted within (...) these technological artifacts, we carried out a survey on a sample of 175 websites and 101 mobile applications. This survey was aimed at empirically evaluating the significance of this connection by detecting the use of persuasion techniques, based on logical fallacies, in existing websites and mobile apps. In addition, with the goal of assessing the effectiveness of different fallacy-based persuasion techniques, we performed an empirical evaluation where participants interacted with a persuasive (fallacy-based) and with a non-persuasive version of an e-commerce website. Our results show that fallacy-based persuasion strategies are extensively used in existing digital artifacts, and that they are actually effective in influencing users’ behavior, with strategies based on visual salience manipulation (accent fallacy) being both the most popular and the most effective ones. (shrink)

Logical connectives (otherwise known as 'logical constants' or 'logical particles') have seemed challenging to philosophers of language. This article gives a concise account of logical connectives.

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach (...) to these truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

Defenders of intellectual property rights argue that these rights are justified because creators and inventors deserve compensation for their labour, because their ideas and expressions are their personal property and because the total amount of creative work and innovation increases when inventors and creators have a prospect of generating high income through the exploitation of their monopoly rights. This view is not only widely accepted by the general public, but also enforced through a very effective international legal framework. And it (...) is endorsed by most academic researchers and commentators in this field. In this essay, I will show that the classical arguments for the justification of private intellectual property rights can be contested, and that there are many good reasons to abolish intellectual property rights completely in favour of an intellectual commons where every person is allowed to use every cultural expression and invention in whatever way he wishes. I will first give a short overview of the classical arguments for the justification of intellectual property as they are usually stated. We will then discuss the question of whether the creator or inventor deserves his de jure monopoly, by using John Christman’s categories of income and control rights to analyse property rights. The aim here is to show that it does not make sense to create control rights for abstract objects, as they are not scarce, and that there is no logical connection between the surplus which may be generated through income rights and the labour which has been put into a cultural artefact or an invention, and therefore it is not justified to grant monopoly rights on the basis of Lockean natural rights arguments for self-ownership and the just appropriation of worldly resources. As it is possible to reject Christman’s property rights categories, I will then go on to show on the basis of Richard Dawkins’ postulation of the ‘meme’ and Ludwik Fleck’s theory of the ‘thought collective’ that creative processes should be interpreted as interpersonal or collective processes, and therefore it is not justified to grant intellectual property rights to individuals on the basis of the idea that the individual who has put labour into the creative work or the invention should be the one to whom the contents of the work belong exclusively. As it is still possible to postulate the utilitarian argument that intellectual property rights are just because they increase the amount of creative works and inventions, I will argue in the last chapter that, from a libertarian as well as from an egalitarian point of view, the justification of intellectual monopoly rights on utilitarian grounds cannot be maintained. Therefore it is time to abolish the current global intellectual property law regime in favour of an intellectual commons for the good of all human beings and societies. (shrink)

Rather than approaching the question of the constructive or therapeutic character of Hegel’s Logic through a global consideration of its argument and its relation to the rest of Hegel’s system, I want to come at the question by considering a specific thread that runs through the argument of the Logic, namely the question of the proper understanding of power or control. What I want to try to show is that there is a close connection between therapeutic and constructive (...) elements in Hegel’s treatment of power. To do so I will make use of two deep criticisms of Hegel’s treatment from Michael Theunissen. First comes Theunissen’s claim that in Hegel’s logical scheme, reality is necessarily dominated by the concept rather than truly reciprocally related to it. Then I will consider Theunissen’s structurally analogous claim that for Hegel, the power of the concept is the management of the suppression of the other. Both of these claims are essentially claims about the way in which elements of the logic of reflection are modified and yet continue to play a role in the logic of the concept. (shrink)

In ontological debates, realists typically argue for their view via one of two approaches. The _Quinean approach_ employs naturalistic arguments that say our scientific practices give us reason to affirm the existence of a kind of entity. The _Fregean approach_ employs linguistic arguments that say we should affirm the existence of a kind of entity because our discourse contains reference to those entities. These two approaches are often seen as distinct, with _indispensability arguments_ typically associated with the former, but not (...) the latter, approach. This paper argues for a connection between the two approaches on the grounds that the typical arguments of the Fregean approach can be reformulated as indispensability arguments. This connection is significant in at least two ways. First, it implies that indispensability arguments provide a common framework within which to compare the Quinean and Fregean approaches, which allows for a more precise delineation of the two approaches. Second, it implies the possibility of analogical relations that allow proponents and opponents of each approach to draw upon the ideas that have been developed regarding the other. (shrink)

"Explanation and Understanding" (1971) by Georg Henrik von Wright is a modern classic in analytic hermeneutics, and in the philosophy of the social sciences and humanities in general. In this work, von Wright argues against naturalism, or methodological monism, i.e. the idea that both the natural sciences and the social sciences follow broadly the same general scientific approach and aim to achieve causal explanations. Against this view, von Wright contends that the social sciences are qualitatively different from the natural sciences: (...) according to his view, the natural sciences aim at causal explanations, whereas the purpose of the social sciences is to understand their subjects. In support of this conviction, von Wright also puts forward a version of the so-called logical connection argument. -/- Von Wright views scientific explanation along the lines of the traditional covering law model. He suggests that the social sciences, in contrast, utilize what he calls “practical syllogism” in understanding human actions. In addition, von Wright presents in this work an original picture on causation: a version of the manipulability theory of causation. -/- In the four decades following von Wright’s classic work, the overall picture in in the philosophy of science has changed significantly, and much progress has been made in various fronts. The aim of the contribution is to revisit the central ideas of "Explanation and Understanding" and evaluate them from this perspective. The covering law model of explanation and the regularity theory of causation behind it have since then fallen into disfavor, and virtually no one believes that causal explanations even in the natural sciences comply with the covering law model. No wonder then that covering law explanations are not found in the social sciences either. Ironically, the most popular theory of causal explanation in the philosophy of science nowadays is the interventionist theory, which is a descendant of the manipulability theory of von Wright and others. However, this theory can be applied with no special difficulties in both the natural sciences and the social sciences. -/- Von Wright’s logical connection argument and his ideas concerning practical syllogisms are also critically assessed. It is argued that in closer scrutiny, they do not pose serious problems for the view that the social sciences too provide causal explanations. In sum, von Wright’s arguments against naturalism do not appear, in today’s perspective, particularly convincing. (shrink)

I argue that William Craig’s defence of the moral argument is internally inconsistent. In the course of defending the moral argument, Craig criticizes non-theistic moral realism on the grounds that it posits the existence of certain logically necessary connections but fails to provide an adequate account of why such connections hold. Another component of Craig’s defence of the moral argument is an endorsement of a particular version of the divine command theory. Craig’s version of DCT (...) posits certain logically necessary connections but Craig fails to provide an adequate account of why these connections hold. Thus, Craig’s critique of non-theistic moral realism is at odds with his DCT. Since the critique and DCT are both essential elements of his defence of the moral argument, that defence is internally inconsistent. (shrink)

The paper discusses the place and the status of fallacies in Arnauld and Nicole’s Port-Royal Logic, which seems to be the first book to introduce a radical change from the traditional Aristotelian account of fallacies. The most striking innovation is not in the definition of a fallacy but in the publication of a new list of fallacies, dropping some Aristotelian ones and adding more than ten new ones. The first part of the paper deals with the context of the book’s (...) publication. We then show the influence of Cartesian and Augustinian/Pascalian philosophy on the whole book, especially their common critical views about logic, dialectic and their traditional academic teaching. The third part of the paper discusses the two chapters on fallacies. It focuses on their place in the book and their relation with its general orientation, before turning to their content, closely connected with some major concerns of the time. (shrink)

Many prominent writers on the philosophy of logic, including Michael Dummett, Dag Prawitz, Neil Tennant, have held that the introduction and elimination rules of a logical connective must be ‘in harmony ’ if the connective is to possess a sense. This Harmony Thesis has been used to justify the choice of logic: in particular, supposed violations of it by the classical rules for negation have been the basis for arguments for switching from classical to intuitionistic logic. The Thesis has (...) also had an influence on the philosophy of language: some prominent writers in that area, notably Dummett and Robert Brandom, have taken it to be a special case of a more general requirement that the grounds for asserting a statement must cohere with its consequences. This essay considers various ways of making the Harmony Thesis precise and scrutinizes the most influential arguments for it. The verdict is negative: all the extant arguments for the Thesis are weak, and no version of it is remotely plausible. (shrink)

There is a profound, but frequently ignored relationship between logical consequence (formal implication) and material implication. The first repeats the patterns of the latter, but with a wider modal reach. It is argued that this kinship between formal and material implication simply means that they express the same kind of implication, but differ in scope. Formal implication is unrestricted material implication. This apparently innocuous observation has some significant corollaries: (1) conditionals are not connectives, but arguments; (2) the traditional examples (...) of valid argumentative forms are metalogical principles that express the properties of logical consequence; (3) formal logic is not a useful guide to detect valid arguments in the real world; (4) it is incoherent to propose alternatives to the material implication while accepting the classical properties of formal implication; (5) some of the counter-examples to classical argumentative forms and known conditional puzzles are unsound. (shrink)

In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, the logic 2Int is suitable, for which I introduce a sequent calculus system, displaying - just like the corresponding natural deduction system - a consequence relation for provability as well as one dual to provability. I will propose a modified characterization of uniqueness incorporating such a duality of (...) consequence relations, with which we can maintain uniqueness in a bilateralist setting. (shrink)