Logical abductivism is the epistemic view about logic according to which logical theories are justified by abduction (or Inference to the Best Explanation), that is on how well they explain the relevant evidence, so that the correct logical theory turns out to be the one that explains it best. Arguably, this view should be equally applied to both deductive and non-deductive logics, abduction included. But while there seems to be nothing wrong in principle in using abduction (...) to determine the correct logical theories of deduction and induction, things might be more complicated regarding logical theories of abduction. We may wonder whether allowing for an abductive justification of a theory of abduction is an epistemically legitimate move, since here circularity casts its shadow and makes the situation darker. This is the issue to which this work is devoted. I will defend that, to be effective, an abductive justification for a theory of abduction calls for a justification of abduction in advance, which we do not yet have. (shrink)

I argue against abductivism about logic, which is the view that rational theory choice in logic happens by abduction. Abduction cannot serve as a neutral arbiter in many foundational disputes in logic because, in order to use abduction, one must first identify the relevant data. Which data one deems relevant depends on what I call one's conception of logic. One's conception of logic is, however, not independent of one's views regarding many of the foundational disputes that one may hope (...) to solve by abduction. (shrink)

The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Williamson and Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical strength in terms of interpretability strength and scientific strength as a special case of logical strength. We present applications of the resulting notions to comparisons between logics in the traditional sense and mathematical theories.

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest (...) in—and endorsement of—justification holism due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in (...) the empirical sciences, given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

Anti-exceptionalism about logic is the thesis that logic is not special. In this paper, I consider, and reject, a challenge to this thesis. According to this challenge, there are basic logical principles, and part of what makes such principles basic is that they are epistemically exceptional. Thus, according to this challenge, the existence of basic logical principles provides reason to reject anti-exceptionalism about logic. I argue that this challenge fails, and that the exceptionalist positions motivated by it are (...) thus unfounded. I make this case by disambiguating two senses of ‘basic’ and showing that, once this disambiguation is taken into account, the best reason we have for thinking that there are basic principles actually implies that those principles do not require a special epistemology. Consequently, the existence of basic logical principles provides reason to accept, rather than reject, anti-exceptionalism concerning the epistemology of logic. I conclude by explaining how an abductivist, anti-exceptionalist approach to the epistemology of logic can accommodate the notion of basic logical principles. (shrink)

Logical anti-exceptionalism is the view that logic is not special among the sciences. In particular, anti-exceptionalists claim that logical theory choice is effected on the same bases as any other theory choice procedure, i.e., by abduction, by weighting pros and cons of rival views, and by judging which theory scores best on a given set of parameters. In this paper, we first present the anti-exceptionalists favourite method for logical theory choice. After spotting on important features of the (...) method, we discuss how they lead to trouble when the subject matter of choice is logic itself. The major difficulty we find concerns the role of the logic employed to evaluate theory choice, or, more specifically, the role of the metalanguage employed to run the abductive method. When rival logical theories are being evaluated and compared, we argue, it is difficult not to beg some important questions; the metalanguage introduce biases difficult to avoid. These difficulties seem to be inherent to the method described. We suggest that they put some constraints on the scope of application of the method of abductive theory choice in logic and on the kind of disputes the anti-exceptionalist may plausibly expect to solve with it. We end the paper with some suggestions for how the anti-exceptionalist may address these issues on this front. (shrink)

Drawing on the epistemology of logic literature on anti-exceptionalism about logic, we set out to investigate the following metaphilosophical questions empirically: Is philosophy special? Are its methods (dis)continuous with science? More specifically, we test the following metaphilosophical hypotheses empirically: philosophical deductivism, philosophical inductivism, and philosophical abductivism. Using indicator words to classify arguments by type (namely, deductive, inductive, and abductive arguments), we searched through a large corpus of philosophical texts mined from the JSTOR database (N = 435,703) to find patterns (...) of argumentation. The results of our quantitative, corpus-based study suggest that deductive arguments are significantly more common than abductive arguments and inductive arguments in philosophical texts overall, but they are gradually and steadily giving way to non-deductive (i.e. inductive and abductive) arguments in academic philosophy. (shrink)

The article is centered on the question of how best to understand the logical pluralism/logical monism debate. A number of suggestions are brought up and rejected on the ground that they re...

This paper looks at three ways of addressing probabilism’s implausible requirement of logical omniscience. The first and most common strategy says it’s okay to require an ideally rational person to be logically omniscient. I argue that this view is indefensible on any interpretation of ‘ideally rational’. The second strategy says probabilism should be formulated not in terms of logically possible worlds but in terms of doxastically possible worlds, ways you think the world might be. I argue that, on the (...) interpretation of this approach that lifts the requirement of certainty in all logical truths, the view becomes vacuous, issuing no requirements on rational believers at all. Finally, I develop and endorse a new solution to the problem. This view proposes dynamic norms for reasoning with credences. The solution is based on an old proposal of Ian Hacking’s that says you’re required to be sensitive to logical facts only when you know they are logical facts. (shrink)

The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or another, (...) violate the laws of logic. In this paper, we argue that existing impossible-worlds models of belief fail to describe agents who are both logically non-omniscient and logically competent. To model such agents, we argue, we need to ‘dynamize’ the impossible-worlds framework in a way that allows us to capture not only what agents believe, but also what they are able to infer from what they believe. In light of this diagnosis, we go on to develop the formal details of a dynamic impossible-worlds framework, and show that it successfully models agents who are both logically non-omniscient and logically competent. (shrink)

This paper examines the evolution of Husserl’s philosophy of nonintuitive intentions. The analysis has two stages. First, I expose a mistake in Husserl’s account of non-intuitive acts from his 1901 Logical Investigations. I demonstrate that Husserl employs the term “signitive” too broadly, as he concludes that all non-intuitive acts are signitive. He states that not only meaning acts, but also the contiguity intentions of perception are signitive acts. Second, I show how Husserl, in his 1913/14 Revisions to the Sixth (...) Logical Investigation, amends his 1901 theory of non-intuitive acts, which he now calls “empty” intentions. He there accurately distinguishes empty meaning acts from the empty intentions of perception. In the conclusion, I reveal how Husserl’s alterations to his theory of non-intuitive intentions can inform our understanding of a larger shift in his philosophy. (shrink)

In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic (...) where logical terms no longer play a distinctive role. This account employs a new notion of semantic. (shrink)

Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On (...) the basis of this extension we analyse the standard logical opposition relations for assertions and hypotheses. We formulate a pragmatic square of oppositions for assertions and a hexagon of oppositions for hypotheses. Finally, we give a mixed hexagon of oppositions to point out the opposition relations for assertions and hypotheses. (shrink)

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...) embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

An arithmetic theory of oppositions is devised by comparing expressions, Boolean bitstrings, and integers. This leads to a set of correspondences between three domains of investigation, namely: logic, geometry, and arithmetic. The structural properties of each area are investigated in turn, before justifying the procedure as a whole. Io finish, I show how this helps to improve the logical calculus of oppositions, through the consideration of corresponding operations between integers.

Traditionally, pronouns are treated as ambiguous between bound and demonstrative uses. Bound uses are non-referential and function as bound variables, and demonstrative uses are referential and take as a semantic value their referent, an object picked out jointly by linguistic meaning and a further cue—an accompanying demonstration, an appropriate and adequately transparent speaker’s intention, or both. In this paper, we challenge tradition and argue that both demonstrative and bound pronouns are dependent on, and co-vary with, antecedent expressions. Moreover, the semantic (...) value of a pronoun is never determined, even partly, by extra-linguistic cues; it is fixed, invariably and unambiguously, by features of its context of use governed entirely by linguistic rules. We exploit the mechanisms of Centering and Coherence theories to develop a precise and general meta-semantics for pronouns, according to which the semantic value of a pronoun is determined by what is at the center of attention in a coherent discourse. Since the notions of attention and coherence are, we argue, governed by linguistic rules, we can give a uniform analysis of pronoun resolution that covers bound, demonstrative, and even discourse bound readings. Just as the semantic value of the first-person pronoun ‘I’ is conventionally set by a particular feature of its context of use—namely, the speaker—so too, we will argue, the semantic values of other pronouns, including ‘he’, are conventionally set by particular features of the context of use. (shrink)

This paper accomplishes three goals. First, the essay demonstrates that Edmund Husserl’s theory of meaning consciousness from his 1901 Logical Investigations is internally inconsistent and falls apart upon closer inspection. I show that Husserl, in 1901, describes non-intuitive meaning consciousness as a direct parallel or as a ‘mirror’ of intuitive consciousness. He claims that non-intuitive meaning acts, like intuitions, have substance and represent their objects. I reveal that, by defining meaning acts in this way, Husserl cannot account for our (...) experiences of countersensical, absurd, or impossible meanings. Second, I examine how Husserl came to recognize this 1901 mistake in his 1913/14 Revisions to the Sixth Logical Investigation. I discuss how he accordingly reformulates his understanding of non-intuitive meaning acts from the ground up in those Revisions, where this also allows for him to properly account for the experience of impossible meanings. Instead of describing them as mirrors of intuitions, Husserl takes non-intuitive meaning acts to be modifications of intuitions, where they have no substance and do not represent their objects. Finally, in the conclusion to this essay, I demonstrate how this fundamental change to his understanding of meaning consciousness forced Husserl to revise other central tenets of his philosophy, such that the trajectory of his thought can only be properly understood in light of these revisions to his theory of non-intuitive meaning consciousness. (shrink)

Let T be any logical truth. Does the subject know that T (any random subject)? It is not rational for any subject to believe that they don’t, whoever they are. Similarly, it is not rational for them to believe that their evidence doesn’t support T, and it is not even rational for them to believe that they don’t believe that T. It is not rational for anyone anywhere at any time to believe that they don’t know that T. Such (...) are the conclusions arrived at in this paper. (shrink)

This paper discusses critically what simulation models of the evolution ofcooperation can possibly prove by examining Axelrod’s “Evolution of Cooperation” and the modeling tradition it has inspired. Hardly any of the many simulation models of the evolution of cooperation in this tradition have been applicable empirically. Axelrod’s role model suggested a research design that seemingly allowed to draw general conclusions from simulation models even if the mechanisms that drive the simulation could not be identified empirically. But this research design was (...) fundamentally flawed, because it is not possible to draw general empirical conclusions from theoretical simulations. At best such simulations can claim to prove logical possibilities, i.e. they prove that certain phenomena are possible as the consequence of the modeling assumptions built into the simulation, but not that they are possible or can be expected to occur in reality I suggest several requirements under which proofs of logical possibilities can nevertheless be considered useful. Sadly, most Axelrod-style simulations do not meet these requirements. I contrast this with Schelling’s neighborhood segregation model, thecore mechanism of which can be retraced empirically. (shrink)

This paper presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. There have been extensive formal debates about the merits of the principle of backward induction among game theorists and logicians. Experimental economists and psychologists have shown that human subjects, perhaps due to their bounded resources, do not always follow the backward induction strategy, leading to unexpected outcomes. Recently, based on an eye-tracking study, it has turned out that even human subjects (...) who produce the outwardly correct ‘backward induction answer’ use a different internal reasoning strategy to achieve it. The paper presents a formal language to represent different strategies on a finer-grained level than was possible before. The language and its semantics help to precisely distinguish different cognitive reasoning strategies, that can then be tested on the basis of computational cognitive models and experiments with human subjects. The syntactic framework of the formal system provides a generic way of constructing computational cognitive models of the participants of the Marble Drop game. (shrink)

It has been argued recently that classical theism and Lewisian modal realism are incompatible theses. The most substantial argument to this effect takes the form of a trilemma. It argues that no sense can be made of God’s being a necessary being in the modal realistic picture, on pain of, among other things, modal collapse. The question of this essay is: Is that so? My goal here is to detail the reasons that have been offered in support of this contention (...) and then defend the coherence of theistic modal realism from the trilemma. I call my reply to the argument an “Anselmian-Thomistic” defense, since it appeals to resources from classical medieval philosophy, especially from Anselm and Aquinas. (shrink)

In this paper, I consider the role of perspective in Hegel’s metaphysics, and in particular the role that multiple perspectives play within the ultimate structure in Hegel’s metaphysics, which Hegel calls ‘the idea [die Idee].’ My (somewhat anachronistic) way into this topic will be to inquire about Hegel’s stance on what Adrian Moore has called ‘absolute representations.’ I argue for the claim that perspective is maintained, even in the absolute idea, which generates the task of understanding the nature of that (...) perspective and its compatibility with absoluteness. I attempt to accomplish this task by asking what a logical perspective could be, and how it might be related to visual perspective. Then I inquire into the relation that perspectives have to each other, i.e., to the system of perspectives. I construe those relations in reciprocal and dynamic terms, so that absoluteness takes the form of a structured round of perspectives rather than a relation to reality “once and for all”. (shrink)

The aim of this paper is to discuss the “Austro-American” logical empiricism proposed by physicist and philosopher Philipp Frank, particularly his interpretation of Carnap’s Aufbau, which he considered the charter of logical empiricism as a scientific world conception. According to Frank, the Aufbau was to be read as an integration of the ideas of Mach and Poincaré, leading eventually to a pragmatism quite similar to that of the American pragmatist William James. Relying on this peculiar interpretation, Frank intended (...) to bring about a rapprochement between the logical empiricism of the Vienna Circle in exile and American pragmatism. In the course of this project, in the last years of his career, Frank outlined a comprehensive, socially engaged philosophy of science that could serve as a “link between science and philosophy”. (shrink)

Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theory has developed from the discursive dilemma, rather than the doctrinal paradox, and the final objective of the paper is to give the (...) latter its own theoretical development along the line of recent work by Dietrich and Mongin. However, the paper also aims at reviewing logical aggregation theory as such, and it covers impossibility theorems by Dietrich, Dietrich and List, Dokow and Holzman, List and Pettit, Mongin, Nehring and Puppe, Pauly and van Hees, providing a uniform logical framework in which they can be compared with each other. The review goes through three historical stages: the initial paradox and dilemma, the scattered early results on the independence axiom, and the so-called canonical theorem, a collective achievement that provided the theory with its specific method of analysis. The paper goes some way towards philosophical logic, first by briefly connecting the aggregative framework of judgment with the modern philosophy of judgment, and second by thoroughly discussing and axiomatizing the ‘general logic’ built in this framework. (shrink)

In appearance, Husserl’s writings seem not to have had any influence on linguistic research, nor does what the German philosopher wrote about language seem to be worth a place in the history of linguistics. The purpose of the paper is exactly to contrast this view, by reassessing both the position and the role of Husserl’s early masterpiece — the Logical Investigations — within the history of linguistics. To this end, I will focus mainly on the third (On the theory (...) of wholes and parts) and fourth (The distinction between independent and non-independent meanings) Investigations, paying special attention to Husserl’s mereology and to the idea of a general pure grammar. The paper tries to situate the third and fourth Logical Investigation within the general context of late nineteenth-century and early twentieth-century linguistics and furthermore attempts to show the historical and theoretical importance of the Logical Investigations for the birth and the development of one of the most important linguistic “schools” of the twentieth century, namely structural linguistics. (shrink)

According to a theorem recently proved in the theory of logical aggregation, any nonconstant social judgment function that satisfies independence of irrelevant alternatives (IIA) is dictatorial. We show that the strong and not very plausible IIA condition can be replaced with a minimal independence assumption plus a Pareto-like condition. This new version of the impossibility theorem likens it to Arrow’s and arguably enhances its paradoxical value.

This paper offers a more comprehensive and accurate picture of Edmund Husserl’s semiotics. I not only clarify, as many have already done, Husserl’s theory of signs from the 1901 Logical Investigations, but also examine how he transforms that element of his philosophy in the 1913/14 Revisions to the Sixth Logical Investigation. Specifically, the paper examines the evolution of two central tenets of Husserl’s semiotics. I first look at how he modifies his classification of signs. I disclose why he (...) revised his 1901 distinction between indicators and expressions, instead claiming in 1913/14 that the divisions should be drawn between indicators, signals, and categorial signs. Second, I elucidate why Husserl overturned his conclusion from the Investigations, that signs execute their signitive operations in three steps, because he recognizes that categorial signs and their meant object are experienced all at once. By exploring the transformation of these two tenets of Husserl’s semiotics, we will see that he conceived of the First Investigation only as a starting or jumping off point for future analyses of signitive experience, rather than as his final account. This analysis will further reveal novel insights about Husserl’s understanding of intersubjectivity, passivity, and temporality. (shrink)

In this essay I focus on the idea of the univocity of being, championed by Duns Scotus and given prominence more recently by Deleuze. Although I am interested in how this idea can be established, my primary concern is with something more basic: how the idea can even be properly thought. In the course of exploring this issue, which I do partly by borrowing some ideas about logical syntax from Wittgenstein's Tractatus, I try to show how there can be (...) dialogue between analytic philosophers and those of other traditions. (shrink)

According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, (...) upon discussing the proper logical analysis of definite descriptions, merely contrast converse informal validity assessments rendered explicit by nonequivalent logical for-malizations. (shrink)

Recent work on Austrian philosophy has revealed, hitherto, unsuspected links between Vienna circle positivism on the one hand, and the thought of Franz Brentano and his circle on the other. the paper explores these links, casting light also on the Polish analytic movement, on the development of gestalt psychology, and on the work of Schlick and Neurath.

How "red", "green" were defined? Through analyzing how two children with congenitally inverted color sensations corresponding to red flags and green grass accept their grand mothers’ teaching about colors, the paper get opposite conclusions against logical empiricism. The “red” and “green” and other names of properties of objects were defined by objective physical properties (or together with behavior, such as in defining “beauty”), instead our sensations. So language directly points to things in themselves passing through sensations and presentative world. (...) It is not that things in themselves are unknowable, but that sensations and presentative world cannot be exactly described by daily language. (shrink)

According to the truth-functional analysis of conditions, to be ‘necessary for’ and ‘sufficient for’ are converse relations. From this, it follows that to be ‘necessary and sufficient for’ is a symmetric relation, that is, that if P is a necessary and sufficient condition for Q, then Q is a necessary and sufficient condition for P. This view is contrary to common sense. In this paper, I point out that it is also contrary to a widely accepted ontological view of conditions, (...) according to which if P is a necessary and sufficient condition for Q, then Q is in no sense a condition for P; it is a mere consequence of P. (shrink)

The paper argues against a commitment to metaphysical necessity, semantic modalities are enough. The best approaches to elucidate the semantic modalities are (still) versions of lingustic ersatzism and fictionalism, even if only developed in parts. Within these necessary properties and the difference between natural and semantic laws can be accounted for. The proper background theory for this is an updated version of Logical Empiricism, which is congenial to recent trends in Structural Realism. The anti-metaphysical attitude of Logical Empiricism (...) deserves revitalization. Another target besides metaphysical necessity are substantial forms of iterated modalities, as used, for instance, in the philosophy of religion. (shrink)

This essay presents a heterodox reading of the issue of solipsism in Wittgenstein’s Tractatus Logico-Philosophicus, out of which the whole of the TLP can be re-read. Inspired by, though not dependent on, the themes of virtuality and singularity found in Deleuze’s ‘transcendental empiricism’, Wittgenstein’s concept of ‘logical space’ is here complexly related to the paradoxes of the ‘metaphysical subject’ and ‘solipsism,’ within which the strictures of sense are defined, and through which the logico-pictorial scaffolding of the TLP precipitates its (...) own systematic dissolution. It shows how nonsense envelopes not only not idle chatter, and metaphysical confusion, but sense itself. (shrink)

We proceed to describe a model for the formation and maintenance of polythematic delusions encountered in schizophrenia, which is in adequacy with Brendan Maher's account of delusions. Polythematic delusions are considered here as the conclusions of arguments triggered by apophenia that include some very common errors of reasoning such as post hoc fallacy and confirmation bias. We describe first the structure of reasoning which leads to delusions of reference, of telepathy and of influence, by distinguishing between the primary, secondary, tertiary (...) and quaternary types of delusional arguments. These four levels of arguments correspond to a stage the nature of which is respectively instantial, inductive, interpretative at a monothematic level and interpretative at a polythematic level. We also proceed to identify accurately the fallacious steps in the corresponding reasoning. We expose then the role of apophenia in the elaboration of delusional ideas. Lastly, we describe the role played by the hallucinations in the present model. (shrink)

In the last decade Human-Computer Interaction (HCI) has started to focus attention on forms of persuasive interaction where computer technologies have the goal of changing users behavior and attitudes according to a predefined direction. In this work, we hypothesize a strong connection between logical fallacies (forms of reasoning which are logically invalid but cognitively effective) and some common persuasion strategies adopted within web technologies. With the aim of empirically evaluating our hypothesis, we carried out a pilot study on a (...) sample of 150 e-commerce websites. (shrink)

In To be is to be the object of a possible act of choice the authors defended Boolos’ thesis that plural quantification is part of logic. To this purpose, plural quantification was explained in terms of plural reference, and a semantics of plural acts of choice, performed by an ideal team of agents, was introduced. In this paper, following that approach, we develop a theory of concepts that—in a sense to be explained—can be labeled as a theory of logical (...) concepts. Within this theory, we propose a new logicist approach to natural numbers. Then, we compare our logicism with Frege’s traditional logicism. (shrink)

The beauty of Anselm’s ontological argument is, I believe, that no matter how one approaches it, one cannot refute it without making a significant metaphysical assumption, one that is likely to be contentious in its own right. Peter Millican disagrees. He introduces an objection according to which one can refute the argument merely by analysing its shallow logical details, without making any significant metaphysical assumption. He maintains, moreover, that his objection does not depend on a specific reading of the (...) relevant Anselmian text; in fact, Millican claims that his objection is applicable to every version of the ontological argument. In this paper, I argue that millican’s objection does not succeed, because, contrary to what he says, in order to justify his objection he does have to make a deep metaphysical assumption and rely on a specific reading of Anselm’s text. (shrink)

This paper replies to Himmelreich's ‘The Paraphrase Argument Against Collective Actions’ [2017], which presents three putative counterexamples to the multiple agents analysis of plural action sentences. The paper shows that the argument from the first example, the discursive dilemma, fails because it relies crucially on a simplification of the target analysis, and that the others don't bear on the question because they turn out on examination to be about individual rather than group action sentences.

This article provides the foundation for a new predictive theory of animal learning that is based upon a simple logical model. The knowledge of experimental subjects at a given time is described using logical equations. These logical equations are then used to predict a subject’s response when presented with a known or a previously unknown situation. This new theory suc- cessfully anticipates phenomena that existing theories predict, as well as phenomena that they cannot. It provides a theoretical (...) account for phenomena that are beyond the domain of existing models, such as extinction and the detection of novelty, from which “external inhibition” can be explained. Examples of the methods applied to make predictions are given using previously published results. The present theory proposes a new way to envision the minimal functions of the nervous system, and provides possible new insights into the way that brains ultimately create and use knowledge about the world. (shrink)

Contemporary discussions of expressivism in metaethics tend to run together two quite different antidescriptivist views, and only one of them is subject to the objection about compositional semantics pressed most recently by Schroeder (following Dreier, Unwinn, Hale, Geach and others). Here I distinguish the two versions of expressivism and then go on to suggest that those sympathetic to the second sort of expressivism might improve their account of normative vocabulary and the way it figures in reasoning by making what may (...) seem like a somewhat surprising comparison between normative vocabulary and logical vocabulary. I argue that this comparison brings into view the initial steps towards a third antidescriptivist view in metaethics, which we may see as a pragmatist improvement on the second version of expressivism. (shrink)

This paper illustrates what a philosophical and a logical investigation of colors amounts to in contrast to other kinds of color analysis such as physical, physiological, chemical, psychological or cultural analysis of colors. Neither a philosophical nor a logical analysis of colors is concerned with specific aspects of colors. Rather, these kinds of color analysis are concerned with what one might call “logical foundations of color theory”. I will illustrate this first by considering philosophical and then (...) class='Hi'>logical analysis of colors. (shrink)

I argue for a kind of logical pluralism on the basis of a difficulty with defining the meaning of negation in the framework of Dummett's and Prawitz' proof-theoretic semantics.

This paper accomplishes two goals. First, I elucidate Edmund Husserl’s theory of inauthentic judgments from his 1890 “On the Logic of Signs.” It will be shown how inauthentic judgments are distinct from other signitive experiences, in such a manner that when Husserl seeks to account for them, he is forced to revise the general structure of his philosophy of meaning and in doing so, is also able to realize novel insights concerning the nature of signification. Second, these conclusions are revealed (...) to be the foundation of Husserl’s pure logical grammar, found in the 1901 “Fourth Logical Investigation.” In his analysis of inauthentic judgments, Husserl already recognized, albeit in a problematic way and for entirely different reasons, many of the central tenets of the 1901 work concerning categoremata and syncategoremata, matter and form, and the isomorphism between them. (shrink)

There are two ways of thinking about instants of time: "spatial" accounts emphasize the similarities between instants and places; "modal" accounts focus on the parallels between times and possible worlds. My aim in this paper is to draw attention to one respect in which times are more similar to possible worlds than they are to places.

Many epistemologists hold that an agent can come to justifiably believe that p is true by seeing that it appears that p is true, without having any antecedent reason to believe that visual impressions are generally reliable. Certain reliabilists think this, at least if the agent’s vision is generally reliable. And it is a central tenet of dogmatism (as described by James Pryor) that this is possible. Against these positions it has been argued (e.g. by Stewart Cohen and Roger White) (...) that this violates some principles from probabilistic learning theory. To see the problem, let’s note what the dogmatist thinks we can learn by paying attention to how things appear. (The reliabilist says the same things, but we’ll focus on the dogmatist.). (shrink)

This paper considers non-standard analysis and a recently introduced computational methodology based on the notion of ①. The latter approach was developed with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework and in all the situations requiring these notions. Non-standard analysis is a classical purely symbolic technique that works with ultrafilters, external and internal sets, standard and non-standard numbers, etc. In its turn, the ①-based methodology does not use any of these (...) notions and proposes a more physical treatment of mathematical objects separating the objects from tools used to study them. It both offers a possibility to create new numerical methods using infinities and infinitesimals in floating-point computations and allows one to study certain mathematical objects dealing with infinity more accurately than it is done traditionally. In these notes, we explain that even though both methodologies deal with infinities and infinitesimals, they are independent and represent two different philosophies of Mathematics that are not in a conflict. It is proved that texts :539–555, 2017; Gutman and Kutateladze in Sib Math J 49:835–841, 2008; Kutateladze in J Appl Ind Math 5:73–75, 2011) asserting that the ①-based methodology is a part of non-standard analysis unfortunately contain several logical fallacies. Their attempt to show that the ①-based methodology can be formalized within non-standard analysis is similar to trying to show that constructivism can be reduced to the traditional Mathematics. (shrink)