As Kevin Mulligan, more than anyone else, has demonstrated, there is a distinction within the philosophy of the German-speaking world between two principal currents: of idealism / transcendentalism, characteristic of Northern Germany; and of realism / objectivism, characteristic of Austria and the South. We explore some of the implications of this distinction with reference to the influence of Austrian (and German) philosophy on philosophical developments in Hungary, focusing on the work of Ákos von Pauler, and especially on Pauler’s reading (...) of Wittgenstein’s Tractatus. (shrink)

Misrecognition from other individuals and social institutions is by its dynamic or ‘logic’ such that it can lead to distorted relations-to-self, such as self-hatred, and can truncate the development of the central capabilities of persons. Thus it is worth trying to shed light on how mis recognition differs from adequate recognition, and on how mis recognition might differ from other kinds of mistreatment and disregard. This paper suggests that mis recognition (including nonrecognition) is a matter of inadequate responsiveness to the (...) normatively relevant features of someone (their personhood, merits, needs etc.), and that if the kind of mistreatment in question obeys the general dynamic or ‘logic’ of mutual recognition and relations-to-self, then it may be called ‘misrecognition’. Further, this article considers the multiple connections between misrecognition and human fallibility. The capacity to get things wrong or make mistakes (that is, fallibility) is first of all a condition of misrecognition. Furthermore, there are two lessons that we can draw from fallibility. The first one points towards minimal objectivism: if something is to count as a mistake or incorrect response, there must accordingly exist a fact of the matter or a correct response. The other lesson points towards public equality: if our capacity to get things right on our own is limited, then public, shared norms will probably help. Such norms are easier to know and follow than objective normative truths, and they may contain collective cumulative wisdom; and of course the process of creating public norms embodies in itself an important form of mutual recognition between citizens. (shrink)

This implies that something cannot be both a rule of grammar and at the same time a description of reality. This approach leaves the religious language game forever defining its own rules. The question is then prompted that if religious language does not get beyond itself to explore reality, how did it get started at all. -/- The fundamental reason that I myself stick to the idea that there are right and wrong moral judgments and better and worse moral outlooks, (...) and also right and wrong evaluative judgments and better and worse normative outlooks in areas other than morality, is not a metaphysical one. The reason is simply that that is the way that we—and I include myself in this \"we\"—talk and think, and also the way that we are going to go on talking and thinking. -/- Hume confessed that he left his scepticism about the material world behind as soon as he left his study; and I observe that no matter how sceptical or how relativistic philosophers may be in their conversation, they leave their scepticism or their relativism behind the minute they engage in serious discussion about almost any subject other than philosophy. (shrink)

In this paper we suggest a clarification in relation to the notions of computational and intrinsic emergence, by showing how the latter is deeply connected to the new Logical Openness Theory, an original extension of Gödel theorems to the model theory. The epistemological scenario we are going to make use of is that of the theory of vision, a particularly instructive one. In order to reach our goal we introduce a dynamic theory of relationship between the observer and the (...) observed which takes into account the co-adaptive processes as well as the ecological nature of the mind/world relations. In order to fulfill the requirements of complexity sciences, this theory assumes that the scientific activity has to be able to comprehend the adaptive dynamics between system and environment as well as the model and the context where it is applied. This leads to an adaptive epistemology based on logical openness which overcomes the thigh corners of both naïve objectivist conception and radical relativism temptations by stressing that the knowledge building is a process of continuous shifting from the “frozen” syntactical dimensions to the plurality choices which make possible for mind and world to meet each other. (shrink)

This paper centers on the implicit metaphysics beyond the Theory of Relativity and the Principle of Indeterminacy – two revolutionary theories that have changed 20th Century Physics – using the perspective of Husserlian Transcedental Phenomenology. Albert Einstein (1879-1955) and Werner Heisenberg (1901-1976) abolished the theoretical framework of Classical (Galilean- Newtonian) physics that has been complemented, strengthened by Cartesian metaphysics. Rene Descartes (1596- 1850) introduced a separation between subject and object (as two different and self- enclosed substances) while Galileo and Newton (...) did the “mathematization” of the world. Newtonian physics, however, had an inexplicable postulate of absolute space and absolute time – a kind of geometrical framework, independent of all matter, for the explication of locality and acceleration. Thus, Cartesian modern metaphysics and Galilean- Newtonian physics go hand in hand, resulting to socio- ethical problems, materialism and environmental destruction. Einstein got rid of the Newtonian absolutes and was able to provide a new foundation for our notions of space and time: the four (4) dimensional space- time; simultaneity and the constancy of velocity of light, and the relativity of all systems of reference. Heisenberg, following the theory of quanta of Max Planck, told us of our inability to know sub- atomic phenomena and thus, blurring the line between the Cartesian separation of object and subject, hence, initiating the crisis of the foundations of Classical Physics. But the real crisis, according to Edmund Husserl (1859-1930) is that Modern (Classical) Science had “idealized” the world, severing nature from what he calls the Lebenswelt (life- world), the world that is simply there even before it has been reduced to mere mathematical- logical equations. Husserl thus, aims to establish a new science that returns to the “pre- scientific” and “non- mathematized” world of rich and complex phenomena: phenomena as they “appear to human consciousness”. To overcome the Cartesian equation of subject vs. object (man versus environment), Husserl brackets the external reality of Newtonian Science (epoché = to put in brackets, to suspend judgment) and emphasizes (1) the meaning of “world” different from the “world” of Classical Physics, (2) the intentionality of consciousness (L. in + tendere = to tend towards, to be essentially related to or connected to) which means that even before any scientific- logical description of the external reality, there is always a relation already between consciousness and an external reality. The world is the equiprimordial existence of consciousness and of external reality. My paper aims to look at this new science of the pre- idealized phenomena started by Husserl (a science of phenomena as they appear to conscious, human, lived experience, hence he calls it phenomenology), centering on the life- world and the intentionality of consciousness, as providing a new way of looking at ourselves and the world, in short, as providing a new metaphysics (as an antidote to Cartesian metaphysics) that grounds the revolutionary findings of Einstein and Heisenberg. The environmental destruction, technocracy, socio- ethical problems in the modern world are all rooted in this Galilean- Newtonian- Cartesian interpretation of the relationship between humans and the world after the crumbling of European Medieval Ages. Friedrich Nietzsche (1844-1900) comments that the modern world is going toward a nihilism (L. nihil = nothingness) at the turn of the century. Now, after two World Wars and the dropping of Atomic bomb, the capitalism and imperialism on the one hand, and on the other hand the poverty, hunger of the non- industrialized countries alongside destruction of nature (i.e., global warming), Nietzsche might be correct: unless humanity changes the way it looks at humanity and the kosmos. The works of Einstein, Heisenberg and Husserl seem to be pointing the way for us humans to escape nihilism by a “great existential transformation.” What these thinkers of post- modernity (after Cartesian/ Newtonian/ Galilean modernity) point to are: a) a new therapeutic way of looking at ourselves and our world (metaphysics) and b) a new and corrective notion of “rationality” (different from the objectivist, mathematico- logical way of thinking). This paper is divided into four parts: 1) A summary of Classical Physics and a short history of Quantum Theory 2) Einstein’s Special and General Relativity and Heisenberg’s Indeterminacy Principle 3) Husserl’s discussion of the Crisis of Europe, the life- world and intentionality of consciousness 4) A Metaphysics of Relativity and Indeterminacy and a Corrective notion of Rationality in Husserl’s Phenomenology . (shrink)

Critico la teoría hermenéutica de Landgrebe sobre el cartesianismo de Husserl mostrando la estructura argumentativa en la que se inserta, lo que pretende y lo que está forzada a pretender. Su núcleo duro radica en los conceptos de crítica inmanente y lógica interna y tiene como meta final promover una idea de trascendental no-entitativa voluntarista y correlacional opuesta a la de un yo absoluto. Para probar esto, analizo tres niveles del cartesianismo de Landgrebe: primero, la síntesis contradictoria entre apodicticidad y (...) experiencia; segundo, su interpretación de Filosofía Primera, y, tercero, el objetivismo de Husserl. Concluyo de la función que juega el cartesianismo en este esquema y del fracaso de documentar con ejemplos la idea que el concepto no describe una noción en la filosofía de Husserl, sino que es una herramienta hermenéutica para controlar el sentido de trascendental en esta filosofía.I criticize Landgrebe’s hermeneutical theory about Husserl’s Cartesianism describing the structure of the argument where this concept is rooted, what it claims and what it is forced to claim. The theory’s hard core is based on the concepts of immanent critique and internal logic and it’s final goal consists in advancing a non-entitative voluntaristic and correlational definition of transcendental opposite to that of an absolute I. To prove this, I analyze three levels inside Landgrebe’s concept of Cartesianism: first, the contradictory synthesis of experience and apodicticity; second, his interpretation of First Philosophy, and, third, Husserl’s objectivism. I conclude from the goal that Cartesianism plays in this argument and the failure in documenting this idea with examples that Landgrebe’s Cartesianism is rather an hermeneutical tool made to control the definition of transcendental in Husserl’s philosophy than a concept describing Husserl’s thought. (shrink)

Katarzyna de Lazari-Radek and Peter Singer have recently provided an evolutionary argument for utilitarianism. They argue that most of our deontological beliefs were shaped by evolution, from which they conclude that these beliefs are unjustified. By contrast, they maintain that the utilitarian belief that everyone’s well-being matters equally is immune to such debunking arguments because it wasn’t similarly influenced. However, Guy Kahane remarks that this belief lacks substantial content unless it is paired with an account of well-being, and he adds (...) that utilitarian beliefs about wellbeing—e.g. the belief that pleasure is good and pain is bad—were probably shaped by evolution. Logically, de Lazari-Radek and Singer should therefore reject these beliefs along with the deontological beliefs that evolved. The present paper is a defense of their argument. After considering a number of unsuccessful replies to Kahane’s objection, I put forward a more promising solution: de Lazari-Radek and Singer should combine their objectivist view in metaethics with a subjectivist account of well-being, such as the desire theory. Such a hybrid account would tackle Kahane’s challenge because subjective accounts of value are immune from evolutionary debunking arguments. And it would be compatible with utilitarianism, which doesn’t fit very well with metaethical subjectivism. Before concluding, I deal with two concerns that this solution might raise: I argue that the desire theory is actually subjective enough to escape Kahane’s objection, and I deny that retreating to the combination of ethical objectivism and prudential subjectivism is ad hoc. (shrink)

Statements containing epistemic modals (e.g., “by spring 2023 most European countries may have the Covid-19 pandemic under control”) are common expressions of epistemic uncertainty. In this paper, previous published findings (Knobe & Yalcin, 2014; Khoo & Phillips, 2018) on the opposition between Contextualism and Relativism for epistemic modals are re-examined. It is found that these findings contain a substantial degree of individual variation. To investigate whether participants differ in their interpretation of epistemic modals, an experiment with multiple phases and sessions (...) is used to classify participants according to the three semantic theories of Relativism, Contextualism, and Objectivism. Through this study, some of the first empirical evidence for the kind of truth-value shifts postulated by semantic Relativism is presented. It is furthermore found that participants’ disagreement judgments match their truth evaluations and that participants are capable of distinguishing between truth and justification. In a second experimental session, it is investigated whether participants thus classified follow the norm of retraction which Relativism uses to account for argumentation with epistemic modals. Here the results are less favorable for Relativism. In a second experiment, these results are replicated and the normative beliefs of participants concerning the norm of retraction are investigated following work on measuring norms by Bicchieri (2017). Again, it is found that on average participants show no strong preferences concerning the norm of retraction for epistemic modals. Yet, it was found that participants who had committed to Objectivism and had training in logics applied the norm of retraction to might-statements. These results present a substantial challenge to the account of argumentation with epistemic modals presented in MacFarlane (2014), as discussed. Keywords: Epistemic Modals, Relativism, Norm Conflicts, Retraction, Semantics, Truth Conditions, Argumentation. (shrink)

In this paper I will compare Hertz and Wittgenstein in order to bring forth a new interpretation of the Tractatus. I shall look at Wittgenstein’s ideas about simple objects and compare them with Hertz’s material particles. I shall then claim that if one understands Hertz’s material particles as logical entities that are more co-ordinate like than physical, one can reach an interpretation of the Tractatus that is deliberately silent about the nature of reality, therefore escaping both objectivist and subjectivist (...) interpretations of the book. This, I think, is just one of the great results of re-thinking Wittgenstein’s ideas through Hertz’s. (shrink)

C.D. Broad’s Reflections stands out as one of the few serious examinations of Moral Sense Theory in twentieth century analytic philosophy. It also constitutes an excellent discussion of the interconnections that allegedly exist between questions concerning what Broad calls the ‘logical analysis’ of moral judgments and questions about their epistemology. In this paper I make three points concerning the interconnectedness of the analytical and epistemological elements of versions of Moral Sense Theory. First, I make a general point about Broad’s (...) association between the Naïve Realist Moral Sense Theory (an epistemological view) and Objectivist Moral Sense Theory (a ‘logical analysis’). Second, I raise doubts about one of Broad’s arguments that Trans-Subjectivist Moral Sense Theory (logical analysis) can account for the apparent synthetic necessity of general moral propositions (epistemological). Third, I briefly discuss a view about logical analysis that should be of interest to contemporary Moral Sense Theorists – Neo-Sentimentalism – and respond to an argument whose conclusion is that this analysis is incompatible with a particular kind of epistemological view. (shrink)

Cognitive neuroscience is an interdisciplinary enterprise aimed at explaining cognition and behavior. It appears to be succeeding. What accounts for this apparent explanatory success? According to one prominent philosophical thesis, cognitive neuroscience explains by discovering and describing mechanisms. This "mechanist thesis" is open to at least two interpretations: a strong metaphysical thesis that Carl Craver and David Kaplan defend, and a weaker methodological thesis that William Bechtel defends. I argue that the metaphysical thesis is false and that the methodological thesis (...) is too weak to account for the explanatory promise of cognitive neuroscience. My argument draws support from a representative example of research in this field, namely, the neuroscience of decision-making. The example shows that cognitive neuroscience explains in a variety of ways and that the discovery of mechanisms functions primarily as a way of marshaling evidence in support of the models of cognition that are its principle unit of explanatory significance. -/- The inadequacy of the mechanist program is symptomatic of an implausible but prominent view of scientific understanding. On this view, scientific understanding consists in an accurate and complete description of certain "objective" explanatory relations, that is, relations that hold independently of facts about human psychology. I trace this view to Carl Hempel's logical empiricist reconceptualization of scientific understanding, which then gets extended in Wesley Salmon's causal-mechanistic approach. I argue that the twin objectivist ideals of accuracy and completeness are neither ends we actually value nor ends we ought to value where scientific understanding is concerned. -/- The case against objectivism motivates psychologism about understanding, the view that understanding depends on human psychology. I propose and defend a normative psychologistic framework for investigating the nature of understanding in the mind sciences along three empirically-informed dimensions: 1) What are the ends of understanding? 2) What is the nature of the cognitive strategy that we deploy to achieve those ends; and 3) Under what conditions is our deployment of this strategy effective toward achieving those ends? To articulate and defend this view, I build on the work of Elliot Sober to develop a taxonomy of psychologisms about understanding. Epistemological psychologism, a species of naturalism, is the view that justifying claims about understanding requires appealing to what scientists actually do when they seek understanding. Metaphysical psychologism is the view that the truth-makers for claims about understanding include facts about human psychology. I defend both views against objections. (shrink)

I claim that ‘cause and effect’ only appears to involve distinct existences insofar as we can’t adequately understand the relationship, or insofar as we are determined to look at the matters of fact involved from a logically deductive point of view. Since ‘cause and effect’ often represents the first stab at understanding what happens in a situation, this means it will often appear to involve distinct existences, and since logical deduction is the acme of what it is to perform (...) adequate reasoning, for philosophers, this re-enforces this appearance, to philosophers. In contrast I claim we can try to avoid drawing conclusions beyond objects or factors in a situation, by comparing them as we attempt to trace them about. In so far as we succeed, since we have not had to go beyond the continued existence of those factors, they themselves must appear sufficient to produce that part of the situations they continue into and so construct. I also claim if somethings appear themselves sufficient to bring something about this is inconsistent with the claim it depends on something else e.g. human understanding, or language. Two cases; 1) If we assume this object has, or continues to have some properties e.g. weight, then on this basis we can validly deduce such & such consequences. 2) The continued existence of this object with weight would (or is) itself be sufficient to bring about…. The first makes what we are up to depend on our mode of reasoning, or what we recognize as ‘our way and principles of reasoning’. The second discovers the situation to be autonomous. (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the (...) logic of knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

To reconcile the standard possible worlds model of knowledge with the intuition that ordinary agents fall far short of logical omniscience, a Stalnakerian strategy appeals to two components. The first is the idea that mathematical and logical knowledge is at bottom metalinguistic knowledge. The second is the idea that non-ideal minds are often fragmented. In this paper, we investigate this Stalnakerian reconciliation strategy and argue, ultimately, that it fails. We are not the first to complain about the Stalnakerian (...) strategy. But in contrast to existing complaints, we want to cause trouble for the strategy directly on its home turf. That is, we will advance our objection while granting both the plausibility of the fragmentation component—save for an extreme version of it—and that of the metalinguistic component. Once our central objection to the Stalnakerian strategy is in place, we will show how it negatively affects Adam Elga and Augustín Rayo’s recent attempt to apply the Stalnakerian strategy in the context of Bayesian decision theory. (shrink)

This paper outlines an account of concessive conditionals that rests on two main ideas. One is that the logical form of a sentence as used in a given context is determined by the content expressed by the sentence in that context. The other is that a coherent distinction can be drawn between a reading of ‘if’ according to which a conditional is true when its consequent holds on the supposition that its antecedent holds, and a stronger reading according to (...) which a conditional is true when its antecedent supports its consequent. As we will suggest, the logical form of concessive conditionals can be elucidated by relying on this distinction. (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)

In the literature on supervaluationism, a central source of concern has been the acceptability, or otherwise, of its alleged logical revisionism. I attack the presupposition of this debate: arguing that when properly construed, there is no sense in which supervaluational consequence is revisionary. I provide new considerations supporting the claim that the supervaluational consequence should be characterized in a ‘global’ way. But pace Williamson (1994) and Keefe (2000), I argue that supervaluationism does not give rise to counterexamples to familiar (...) inference-patterns such as reductio and conditional proof. (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)

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)

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)

Bas van Fraassen’s Constructive Empiricism (CE) has been much discussed. There is, however, a curious feature of van Fraassen’s writings that has been overlooked up until now. This is that he sometimes capitalises certain key terms, notably “Induction”. This is done to differentiate a pragmatic small ‘i’ induction (which has epistemic import) from a rule-bound capital ‘I’ induction (which does not). In this paper, I argue that van Fraassen’s small letter/capital letter distinction reveals an underlying dualism, one that is reminiscent (...) of the notoriously problematic semantic dualism in Logical Positivism (between a theoretical language and an observation language). Despite partly developing CE to overcome Logical Positivism’s kind of dualism, van Fraassen seems to have tacitly endorsed it anyway. If so, then CE requires revision. It is, however, not clear how to conduct such a revision. It is not clear what the way forward should be once CE is understood as innately dualistic. (shrink)

The global relation between logical empiricism and American pragmatism is one of the more difficult problems in history of philosophy. In this paper I’d like to take a local perspective and concentrate on the details that concern the vicissitudes of a philosopher who played an important role in the encounter of logical empiricism and American pragmatism, namely, Ernest Nagel. In this paper, I want to explore some aspects of Nagel’s changing attitude towards the then „new“ logical-empiricist philosophy. (...) In the beginning Nagel welcomed logical empiricism whole-heartedly. This early enthusiasm did not last. At the end of his philosophical career Nagel’s early positive attitude towards logical empiricism shown in the 1930s had been replaced by a much more reserved one. Nagel’s growing dissatisfaction with the Carnapian version of logical empiricist philosophy was clearly expressed in Nagel’s criticism of Carnap’s inductive logic and more generally in his last book Teleology Revisited and Other Essays on History and Philosophy of Science. There he critized harshly Carnap’s philosophy of science in general as ahistoric and non-pragmatist. One of the distinctive features of Nagel’s philosophy of science is the emphasis that he put on the role of history of science for philosophy of science. A compelling evidence for this attitude are his works on the history and philosophy of geometry and algebra One may say that Carnap and Nagel represented opposed possibilities of how the profession of a philosopher of science could be understood: Carnap as a „conceptual engineer“ was engaged in the task of inventing the conceptual tools for a better theoretical understanding of science, while Nagel was to be considered more as a „public intellectual“ engaged in the project of realizing a more rational and enlightened society. (shrink)

A good metaphysical account of logical form, must make clear why logical form is logical. However, this task has proved to be very elusive. Here, I analyze different attempts to meet this challenge and defend an inferential externalism where logical form is grounded on external logical relations as our most promising option.

I try to lay bare some of the conceptual space in which one may be a Social Trinitarian. I organize the paper around answers to five questions. These are: (1) How do the three Persons of the Trinity relate to the Godhead? (2) How many divine beings or gods are there? (3) How many distinct centers of consciousness are there in the Godhead? (4) How many omnicompetent beings are there? (5) How are the Persons of the Trinity individuated? I try (...) to make clear costs and benefits of various answers to these questions. (shrink)

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.

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)

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)

According to Thagard, the behavior of practitioners of a field may also be used for demarcation between science and pseudoscience due to its social dimension in addition to the epistemic one. I defended the tendency of pseudoscientists to commit fallacies, and the number of fallacies they commit can be a secondary tool for demarcation problem and this tool is consistent with Thagardian approach. In this paper, I selected the astrology as the case and I revealed nine types of logical (...) fallacies frequently committed by astrologers while introducing their field and/or defending their claims against the scientific inquiries and refutation efforts. I also argued that recognizing these fallacies may help the audience to demarcate between the scientific and the pseudoscientific arguments. (shrink)

According to strong pluralist theories of truth, ‘true’ designates different properties depending on which sentences it’s applied to. An influential objection to strong pluralism claims it can’t make sense of logically complex sentences whose components have different truth-properties. For example, if ‘true’ designates correspondents for ‘Tabby is a cat’, and it designates coherence for ‘Tabby is beautiful’, what does it designate for ‘Tabby is a beautiful cat’ (Tappolet 1997)? Will Gamester (2019) has proposed a novel pluralist theory meant to avoid (...) the problem. The theory construes ‘true’ as designating a different property for each possible logical structure, and he has challenged monists to identify shortcomings of the theory in virtue of its pluralism. This paper answers Gamester’s challenge and identifies three such shortcomings. (1) The theory can’t make sense of the idea that all true conjunctions share the property of having true conjuncts, in virtue of which they are true. (2) The theory imposes unmotivated syntactic constraints on the language in which the theory of truth is formulated. (3) Avoiding the second shortcoming requires arbitrary choices among equally good candidates for “the” logical form of sentences and hence the designation of ‘true’ as applied to them. (shrink)

I argue that existing objectivist accounts of subjective reasons face systematic problems with cases involving probability and possibility. I then offer a diagnosis of why objectivists face these problems, and recommend that objectivists seek to provide indirect analyses of subjective reasons.

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 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)

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 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)

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)

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.

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)

This essay critically assesses Roman Ingarden’s 1915 review of the second edition of Edmund Husserl’s Logical Investigations. I elucidate and critique Ingarden’s analysis of the differences between the 1901 first edition and the 1913 second edition. I specifically examine three tenets of Ingarden’s interpretation. First, I demonstrate that Ingarden correctly denounces Husserl’s claim that he only engages in an eidetic study of consciousness in 1913, as Husserl was already performing eidetic analyses in 1901. Second, I show that Ingarden is (...) misguided, when he asserts that Husserl had fully transformed his philosophy into a transcendental idealism in the second edition. While Husserl does appear to adopt a transcendental phenomenology by asserting–in his programmatic claims–that the intentional content and object are now included in his domain of research, he does not alter his actual descriptions of the intentional relationship in any pertinent manner. Third, I show Ingarden correctly predicts many of the insights Husserl would arrive at about logic in his late philosophy. This analysis augments current readings of the evolution of Ingarden’s philosophy, by more closely examining the development of his largely neglected early thought. I execute this critical assessment by drawing both from Husserl’s later writings and from recent literature on the Investigations. By doing so, I hope to additionally demonstrate how research on the Investigations has matured in the one hundred years since the release of that text, while also presenting my own views concerning these difficult interpretative issues. (shrink)

The influence of Spengler on Wittgenstein's philosophical development is considered. The point of interest is in a significant methodological restructuring which it appears to have produced. After an initial over-enthusiastic reception, Wittgenstein is seen to object on some points which he attempted to emend in his own philosophy. Spengler's name disappeared inreworked manuscripts but traces persist in the Philosophical Investigations and an important section (§89-133) is found to be connected with it.

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 the core chapters 4–6, Iacona (2018) argues against the “Uniqueness Thesis” (UT), stating that “there is a unique notion of logical form that fulfils both the logical role and the semantic role” (39), where the former “concerns the formal explanation of logical properties and logical relations, such as validity or contradiction” (37), and the latter “concerns the formulation of a compositional theory of meaning” (ibid.). He argues for this on the basis of relations of coreference (...) among referential expressions, names and indexicals. From what I take to be a fundamental agreement on most relevant issues, here I will nonetheless press him to clarify the notions of intrinsicness and the logical and semantic role of logical form on which he relies. (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)

The notion of a partition on a set is mathematically dual to the notion of a subset of a set, so there is a logic of partitions dual to Boole's logic of subsets (Boolean logic is usually mis-specified as "propositional" logic). The notion of an element of a subset has as its dual the notion of a distinction of a partition (a pair of elements in different blocks). Boole developed finite logical probability as the normalized counting measure on elements (...) of subsets so there is a dual concept of logical entropy which is the normalized counting measure on distinctions of partitions. Thus the logical notion of information is a measure of distinctions. Classical logical entropy naturally extends to the notion of quantum logical entropy which provides a more natural and informative alternative to the usual Von Neumann entropy in quantum information theory. The quantum logical entropy of a post-measurement density matrix has the simple interpretation as the probability that two independent measurements of the same state using the same observable will have different results. The main result of the paper is that the increase in quantum logical entropy due to a projective measurement of a pure state is the sum of the absolute squares of the off-diagonal entries ("coherences") of the pure state density matrix that are zeroed ("decohered") by the measurement, i.e., the measure of the distinctions ("decoherences") created by the measurement. (shrink)

This is an Editorial Note for the special volume of the journal Manuscrito (42: 4) devoted to Aristotle's theory of demonstration and its logical and metaphysical entanglements, which has been organized by me and Breno Zuppolini (as Guest Editors), with papers authored by Benjamin Morison, Owen Goldin, David Bronstein, Michail Peramatzis, Andrea Falcon, Laura Castelli, Paolo Fait, Joseph Karbowski, Adam Crager, Klaus Corcilius, Robert J. Hankinson, Raphael Zillig and Pieter Sjoerd Hasper.

J. L. Schellenberg, in “A New Logical Problem of Evil,” published in The Blackwell Companion to the Problem of Evil, argues that (if God exists) God has, of necessity, a disappreciation of evil, operating at a metalevel in such a way as to give God a non-defeasible reason to rule out actualizing a world containing evil. He also argues that since God’s motive in creating the world is to share with finite beings the good that God experiences prior to (...) creation, which is good without evil, it follows that God will create a world that contains no evil. I investigate in detail the foregoing lines of argument and provide grounds for rejecting them. My paper is published in Vol 38 No.2, whose date is nominally April 2021 although the issue is not in fact available yet. (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.

he general theme of this paper is the issue of formalization in philosophy; in a more specific way, it deals with the issue of formalization of arguments in analytic philosophy of religion. One argument in particular – Anselm’s Proslogion II ontological argument – and one specific attempt to formalize it – Robert Adams’ formalization found in his paper “The Logical Structure of Anselm’s Arguments”, published in The Philosophical Review in 1971 – are taken as study cases. The purpose of (...) the paper is to critically analyze Adams’ formalization with the intent to shed some light on the following questions: What are the virtues of formally analyzing arguments and the contributions, if any, of such an enterprise to the debate on Anselm’s argument? Which lessons can Adam’s work teach us about the dangers and limitations of formalization? Do these virtues and dangers teach us something about analysis of arguments in general? (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 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)