The essay is a written version of a talk Nakamura Yūjirō gave at the Collège international de philosophie in Paris in 1983. In the talk Nakamura connects the issue of common sense in his own work to that of place in Nishida Kitarō and the creative imagination in Miki Kiyoshi. He presents this connection between the notions of common sense, imagination, and place as constituting one important thread in contemporary Japanese philosophy. He begins by discussing the significance of (...) place (basho) that is being rediscovered today in response to the shortcomings of the modern Western paradigm, and discusses it in its various senses, such as ontological ground or substratum, the body, symbolic space, and linguistic or discursive topos in ancient rhetoric. He then relates this issue to the philosophy of place Nishida developed in the late 1920s, and after providing an explication of Nishida’s theory, discusses it further in light of some linguistic and psychological theories. Nakamura goes on to discuss his own interest in the notion of common sense traceable to Aristotle and its connection to the rhetorical concept of topos, and Miki’s development of the notion of the imagination in the 1930s in response to Nishida’s theory. And in doing so he ties all three—common sense, place, and imagination—together as suggestive of an alternative to the modern Cartesian standpoint of the rational subject that has constituted the traditional paradigm of the modern West. (shrink)

In Kant’s Critique of Pure Reason and the Method of Metaphysics (CUP 2023), I argue that the first Critique is not only a ‘propaedeutic’ to metaphysics, but actually already establishes parts of metaphysics. These parts belong to what Kant calls transcendental philosophy. Additionally, I also provide an account of Kant’s critique of dogmatism and Wolff as its main defender. In this paper, I take up Luigi Filieri’s and Davide Dalla Rosa’s invitation to further develop my characterization of transcendental philosophy and (...) I respond to Michael Walschots’s objections against my interpretation of Kant’s critique of Wolff’s dogmatism. (shrink)

Imagine that you and a duplicate of yourself are lying unconscious, next to each other, about to undergo a complete step-by-step exchange of bits of your bodies. It certainly seems that at no stage in this exchange of bits will you have thereby switched places with your duplicate. Yet it also seems that the end-result, with all the bits exchanged, will be essentially that of the two of you having switched places. Where will you awaken? I claim that one and (...) the same person possesses both bodies, occupies both places and will experience both awakenings, just as a person whose brain has been bisected must at once experience both of the unconnected fields of awareness, even though each of these will falsely appear to him as the entirety of his experience. I also claim that the more usual apparent boundaries of persons are as illusory as those in brain bisection; personal identity remains unchanged through any variation or multiplication of body or mind. In all conscious life there is only one person - I - whose existence depends merely on the presence of a quality that is inherent in all experience - its quality of being mine, the simple immediacy of it for whatever is having experience. One powerful argument for this is statistical: on the ordinary view of personhood it is an incredible coincidence for you (though not for others) that out of 200,000,000 sperm cells the very one required on each occasion for your future existence was first to the egg in each of the begettings of yourself and all your ancestors. The only view that does not make your existence incredible, and that is not therefore (from your perspective) an incredible view, is that any conscious being would necessarily have been you anyway. It is a consequence that self-interest should extend to all conscious organisms. (shrink)

In a recent paper Shieva Kleinschmidt has argued that if certain scenarios involving extended simple regions are possible (so-called ‘Place Cases’), then no logic of location with only one primitive locative notion (i.e., no ‘parsimonious logic of location’) will suffice to describe all of the locative possibilities. Since almost all existing logics of location are parsimonious (and apparently for good reason) the argument is a considerable obstacle to the development of a satisfactory logic of location. Kleinschmidt (...) suggests that the best way out of the difficulty is to deny the possibility of Place Cases by denying that extended simple regions are possible. I argue that much the same problem arises even in cases not involving extended simple regions or indeed exotic regions of any kind. Thus, simply denying the possibility of extended simple regions will not save parsimonious logics of location. (shrink)

Cooperative relations steeped in honesty and good faith are a necessity for any viable society. This is especially relevant to the police institution because the police are entrusted to promote justice and security. Despite the necessity of societal honesty and good faith, the police institution has embraced deception, dishonesty, and bad faith as tools of the trade for providing security. In fact, it seems that providing security is impossible without using deception and dishonesty during interrogations, undercover operations, pretextual detentions, and (...) other common scenarios. This presents a paradox related to the erosion of public faith in the police institution and the weakening of the police's legitimacy. -/- The book seeks to solve this puzzle by showing that many of our assumptions about policing and security are unjustified. Specifically, they are unjustified in the way many of our assumptions about security were unjustified after the 9/11 terrorist attacks, when state institutions embraced a variety of brutal rules and tactics in pursuit of perceived security enhancements. The police are likewise unjustified in their pursuit of many supposed security enhancements that rely on proactive deception, dishonesty, and bad faith. -/- There are compelling reasons to think that the police's widespread use of proactive deception and dishonesty is inconsistent with fundamental norms of political morality regarding fraud and the rule of law. Although there are times and places for such tactics in policing, those times and places should be much more limited than current practices suggest. (shrink)

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

This paper aims at clarifying the role which the concept of 'divine sovereignty ' plays in the discussions which are taking place among Islamic thinkers (and others) concerning the possibility of democracy in an Islamic context. It argues that 'sovereignty ' has at least two meanings, one 'f'actual', the other 'normative'. The paper also argues that the second sense of 'sovereignty ' allows us to construe ta!k o{ 'divine sovereignty' as an attempt by Islamic thinkers to go beyond the (...) merely procedural views of democracy which focus on the familiar procedures o( power contestation, election and accountability. (shrink)

The title of the present paper might arouse some curiosity among the minds of the readers. The very first question that arises in this respect is whether India produced any logic in the real sense of the term as has been used in the West. This paper is centered only on the three systems of Indian philosophy namely Nyāya, Buddhism and Jainism. We have been talking of Indian philosophy, Indian religion, Indian culture and Indian spirituality, but not that which (...) are of more fundamental concepts for any branch of knowledge whether it is social sciences or humanities. No aspect of human life and the universe has been left unexamined by Indian philosophers, and this leads to a totality of vision in both philosophical and psychological fields. In this paper we will discuss the main thinkers, sources and main concepts related to Indian Logic. (shrink)

This article analyses Ukraine’s language policies from 2002 to 2022 within a framework of liberalism, while avoiding making normative judgements or recommendations, updating the discussion raised in Kymlicka and Opalski’s Can Liberal Pluralism be Exported? The analysis takes into consideration Ukraine’s present and historic position, including the challenge that postcolonial nation building can pose for achieving liberalism and linguistic justice. The paper focuses on three main areas of language policy: education, businesses and media, and assesses if they can be described (...) as liberal orthodox, pluralist or illiberal. The article begins by defining liberalism and illiberalism, discussing the context of Ukraine’s linguistic diversity and postcolonial context, before outlining the language situation until EuroMaidan. Then, the main issue of language policy in the areas of education, business and media is analysed, before considering whether Ukrainian language laws might be considered liberal or illiberal. Finally, potential future trajectories are outlined. (shrink)

Following the publication of Jonathan O. Chimakonam’s astounding book, Ezumezu: A System of Logic for African Philosophy and Studies, a monumental piece in the history of African philosophy and logic, which also undergirds the backbone of conversational thinking, various uncharitable misconceptions and misrepresentations have greeted the work. Of the several misrepresentations and misconceptions, the tendency to treat the logic as an African variant of Friedrich Hegel’s dialectics is common. Being a three-valued logic, the tendency to perceive (...) thethird value ‘e’ in conversational thinking as a synthesis is replete in several commentaries and criticisms. This has almost become the norm since Hegel’s third value, following thesis and anti-thesis signifies a synthesis. Through the method of philosophical analysis, I argue that: the logic of conversational thinking is not similar to Hegel’s dialectics hence, all commentaries and criticisms in this guise exhibit the Strawman fallacy; for the logic that underlies conversational thinking, synthesis is an anathema; and conversational thinking places emphasis on complementarity over contradiction. Following these points, I submit that when the veil of Hegel is cast aside, a deeper appreciation for an Africa-inspired logic, which has the capacity to mediate thinking for Africa and beyond, may be discerned almost effortlessly. (shrink)

Major Research Paper Abstract -/- A Part of This World: Deleuze & The Logic Of Creation. -/- Is there a particular danger in following Deleuze’s philosophy to its end result? According to Peter Hallward and Alain Badiou, Deleuze’s philosophy has some rather severe conclusions. Deleuze has been known as a vitalist thinker of life and affirmation. Hallward & Badiou seek to challenge the accepted view of Deleuze; showing that these accepted norms in Deleuzian scholarship should be challenged; and that (...) initially Deleuze calls for the evacuation of political action in order to remain firm in the realm of pure contemplation. I intend to investigate and defend Deleuze’s philosophy and against critics like Badiou and Hallward; and that not only is Deleuze’s philosophy creative and vital but also highly revolutionary and ‘a part of this world.’ I will look at several works in Deleuze’s corpus, as well as look at Deleuzian scholars whom defend Deleuze’s position -/- Hallward sees Deleuze as a theophantic thinker of the one and like Spinoza an individual mode must align oneself with the intellectual love of god, so that creativity and expressivity may mediate through them. Thus, according to Hallward the major theme of Deleuze’s philosophy is creativity; and a subject or a creature must tap into this vital spark of creation, which, is also a form of creatural confinement. Hallward states this creative act can only occur in the realm of the virtual, by lines of flight leading 'out of this world'. The subject is then re-introduced to an extra-worldly existence of contemplation and remains further away from decisions and lived experience. Deleuze, according to Hallward, falls prey to a cosmological pantheism. -/- Badiou has similar concerns. Deleuze’s philosophy is too systematic and abstract. The entirety of Deleuzes’ work is surrounded by metaphysics of the one; and essentially its repercussions lead to an overt asceticism. Badiou notes that Deleuze wants us all to surrender thought to a renewed concept of the one. Through the surrender of the one, the multiple is lost and incorporated into the realm of simulacra. Everything in this Deleuzian world is ‘always-already’ in the infinite and inhuman totality of the one. According to Badiou, this entire process is articulated in the power of inorganic life that operates through all of us. Like Hallward, Badiou sees Deleuze demolishing the subject, who is stuck between machinery and exteriority. Subjects are forced to transcend and go beyond their limits, slowly collapsing into an infinite virtuality. Badiou believes this is a powerful metaphor for a philosophy of death. Thus the conditions of Deleuzian thought are contingent upon asceticism, making a Deleuzian world a sort of ‘crowned anarchy’. Badiou sees Deleuze’s ascetic mission intimately linked with a philosophy of death, and like Hallward we should pay careful attention to the outcome of such an aristocratic philosophy. Death according to Badiou, symbolizes Deleuzian thought, not only making it dangerous, but also actualizing it as an ineffective position. Badiou also points out that Deleuze’s conceptual sources are not only limited but also repeated time and time again through a monotonous selection of concepts. Is this a fair critique and representation of Deleuzian thought? -/- Eugene Holland states, that both Hallward and Badiou have misrepresented Deleuze. Deleuze does invoke the creation of a new earth but one which we all fully believe in. The only world Deleuze wants to get out of is the world of habits, conformity, power; and forces that block creative being. According to Holland, Hallward presents us a Deleuze that inhibits an engagement with the world. However Deleuze’s creative enterprise is insistent on forming concepts that can change and transform our world. -/- So the question arises where does the problem of misrepresentation begin? It begins with both Badiou and Hallward having an erroneous account of the actual/virtual distinction in Deleuze’s Philosophy. According to Protevi, Hallward posits a dualism between the actual and the virtual, denying the role of the intensive. Hallward initially sees the relationship between the intensive and the virtual, ignoring the fact that the intensive has its own ontological register that mediates both the virtual and the actual. However, Protevi notes if one could not accept the intensive for an ontological register and had to place it with one or the other; you would have to accept an interrelationship between the actual and the intensive. Hallward places it in the realm of the virtual, thus, leading us to his major claim that Deleuze’s philosophy leads us out of the world. Protevi states, intensive processes happen in our world they are a part of this world. Hallward completely empties all creativity from the actual, thus depending on the virtual and its slippery slope. Both Hallward and Badiou have missed the point altogether. We live in an intensive/actual world and the main point about Deleuze’s politics has to do with experimentation and social interaction and the transformation and intervention of the concept. As Daniel W. Smith states, unlike Badiou, Deleuze is not searching for an axiomatic approach to the world, one that is prone to reductionism but rather with problematic, inventive and creative methods to transform a society. (shrink)

The paper will explicate the Sache or matter of the dialectic of the founder of Kyoto School philosophy, Nishida Kitarō (1870-1945), from the standpoint of his mature thought, especially from the 1930s and 40s. Rather than providing a simple exposition of his thought I will engage in a creative reading of his concept of basho (place) in terms of chiasma and chōra, or a chiasmatic chōra. I argue that Nishida’s appropriation of nineteenth century German, especially Hegelian, terminology was inadequate (...) in expressing what he strove to say—for his concept of basho confounds traditional metaphysical discourse. Because of its chiasmatic and chōratic nature, the Sache he strove to capture and express through the language of dialectical philosophy, perpetually slips away from any systemic bounds. His “dialectic” (benshōhō) implies a chiasma or a criss-crossing of multiple factors on multi-dimensional levels that exceed in complexity simplistic binomial oppositions or the triadic formula of traditional dialectics. The complexity is one of over-determination that threatens to undermine the very language of such a dialectic. As the deep complexity of over-inter-determinations would deconstruct any notion of a substance, what Nishida offers—as opposed to an ousiology (or logic of substance)—is a chiasmology. I thus argue that his so-called dialectic is really an unfolding of that chiasma. And if chiasma expresses the over-determinate aspect of Nishida’s matter of thinking, chōra would express its under-determinate aspect. Nishida himself based his concept of basho or “place” on Plato’s notion of the chōra from the Timaeus. I take Nishida’s basho in its chōratic nature as what simultaneously unfolds and enfolds the chiasma. But in the case of the chōra it is its under-determinate nature that refuses reduction to any of the terms of opposition. In its self-withdrawal, it provides a clearing, a space, for the chiasmatic unraveling of the many. Like the chiasma it undermines any claim to a first substance or the hegemony of a universal First. For in its indeterminateness, it is “nothing” (mu). The unfolding it enfolds is, as Nishida states, “a determination without determiner.” In concrete terms, however, we might develop Nishida’s concept further by returning to the original pre-Platonic Greek meaning of chōra in the sense of “region” or “country,” to understand chōra or basho here as the very space of co-existence provided by this very earth. As a chiasmatic chōra irreducible, in its over- and under-determinations, to being or non-being, Nishida’s basho qua mu proves to be the an-ontological origin of both on and meon (being and non-being). Rejecting the culture-nature dichotomy this notion of our place of being as chiasma and chōra underscores our holistic symbiosis with the earth as the anontological (un)ground and clearing for our co-existence in a concrete milieau with one another and with nature. It is this earth as our ultimate contextual wherein that provides a clearing for co-dwelling and mutual encounter with one’s other, that we must acknowledge today if we are to co-exist authentically and freely vis-à-vis our global neighbors and vis-à-vis the surrounding nature. (shrink)

Abstract. In Dynamics of Reason Michael Friedman proposes a kind of synthesis between the neokantianism of Ernst Cassirer, the logical empiricism of Rudolf Carnap, and the historicism of Thomas Kuhn. Cassirer and Carnap are to take care of the Kantian legacy of modern philosophy of science, encapsulated in the concept of a relativized a priori and the globally rational or continuous evolution of scientific knowledge,while Kuhn´s role is to ensure that the historicist character of scientific knowledge is taken seriously. More (...) precisely, Carnapian linguistic frameworks, guarantee that the evolution of science procedes in a rational manner locally,while Cassirer’s concept of an internally defined conceptual convergence of empirical theories provides the means to maintain the global continuity of scientific reason. In this paper it is argued that Friedman’s neokantian account of scientific reason based on the concept of the relativized a priori underestimates the pragmatic aspects of the dynamics of scientific reason. To overcome this short-coming, I propose to reconsider C.I. Lewis’s account of a pragmatic the priori, recently modernized and elaborated by Hasok Chang. This may be<br><br><br><br><br><br><br><br><br><br&g t;<br><br><br><br><br><br>Keywords: Dynamics of reason, Paradigms, Logical Empiricism,Neokantianism, Pragmatism, Mathematics, Communicative Rationality. (shrink)

This essay is part of larger project in which I attempt to show that Western formal logic, from its inception in Aristotle onward, has both been partially constituted by, and partially constitutive of, what has become known as racism. More specifically, (a) racist/quasi-racist/proto-racist political forces were part of the impetus for logic’s attempt to classify the world into mutually exclusive, hierarchically-valued categories in the first place; and (b) these classifications, in turn, have been deployed throughout history to (...) justify and empower racism/quasi-racism/proto-racism. In other words, (a) an important part of the chaos and messiness that so troubles logic has been the natural bio-cultural diversity of human beings as described by concepts such as race and ethnicity; and (b) once these concepts were historically in place, taken for granted, buttressed with pseudo-science, and had their origins forgotten, they became tools for the oppression of diverse human groups. The central thesis of this essay is that close readings of a variety of Leibniz’s writings (including several essays and one letter) will reveal a pattern of mutual dependency and creation in regard to logic and racism in Leibniz. My conclusion will be that there is a meaningful connection between logic and racism (or at least between logic and politics in general) in Leibniz such that one should be skeptical of his logic’s claim to offer transparent and neutral descriptions of the world as well as imperatives for action. Put differently, I want to ask the following specific question: how do Leibniz’s own racially-informed political goals, along with the emergence of race-centric European colonialism, both invest and disguise themselves within Leibniz’s mathematizing of logic? (shrink)

The doctrine of the Trinity is central to mainstream Christianity. But insofar as it posits “three persons” (Father, Son and Holy Spirit), who are “one God,” it appears as inconsistent as the claim that 1+1+1=1. -/- Much of the literature on “The Logical Problem of the Trinity,” as this has been called, attacks or defends Trinitarianism with little regard to the fourth century theological controversies and the late Hellenistic and early Medieval philosophical background in which it took shape. I argue (...) that this methodol- ogy, which I call “the Puzzle Approach,” produces obviously invalid arguments, and it is unclear how to repair it without collapsing into my preferred method- ology, “the Historical Approach,” which sees history as essential to the debate. I also discuss “mysterianism,” arguing that, successful or not, it has a different goal from the other approaches. I further argue that any solution from the His- torical Approach satisfies the concerns of the Puzzle Approach and mysterianism anyway. -/- I then examine the solution to the Logical Problem of the Trinity found in St. Gregory of Nyssa’s writings, both due to his place in the history of the doctrine, and his clarity in explicating what I call “the metaphysics of synergy.” I recast his solution in standard predicate logic and provide a formal proof of its consistency. I end by considering the possibilities for attacking the broader philosophical context of his defense and conclude that the prospects for doing so are dim. In any case, if there should turn out to be any problem with the doctrine of the Trinity at all, it will not be one of mere logical inconsistency in saying that “These Three are One.”. (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)

Review of Karel Lambert, Meinong and the Principle of Independence: Its Place in Meinong's Theory of Objects and Its Significance in Contemporary Philosophical Logic.

In this paper I sketch some arguments that underlie Hegel's chapter on judgment, and I attempt to place them within a broad tradition in the history of logic. Focusing on his analysis of simple predicative assertions or ‘positive judgments’, I first argue that Hegel supplies an instructive alternative to the classical technique of existential quantification. The main advantage of his theory lies in his treatment of the ontological implications of judgments, implications that are inadequately captured by quantification. The (...) second concern of this paper is the manner in which Hegel makes logic not only dependent on ontology generally, but also variant in regard to domains of objects. In other words, he offers a domain-specific logical theory, according to which the form of judgment or inference is specific to the subject of judgment. My third concern lies with the metaphilosophical consequences of this theory, and this includes some more familiar Hegelian themes. It is well known that Hegel frequently questioned the adequacy of the sentential form for expressing higher order truths. My reading of his theory of predication explains and contextualizes this tendency by demystifying notions like the so-called speculative proposition. (shrink)

This paper considers the nature of the changes that took place in logic teaching at the University of Oxford from the beginning of the sixteenth century, when students attended university lectures on Aristotle’s texts as well as studying short works dealing with specifically medieval developments, to the beginning of the eighteenth century when teaching was centred in the colleges, the medieval developments had largely disappeared, and manuals summarizing Aristotelian logic were used. The paper also considers the reasons (...) for these changes, including changes in English society, and the effect of humanism and the more scholarly Aristotelianism that it produced. (shrink)

This is the handbook of abstracts of the 1st World Congress on Logic and Religion, which took place in João Pessoa, Brazil, April 01-05, 2015. -/- .

The identity theory’s rise to prominence in analytic philosophy of mind during the late 1950s and early 1960s is widely seen as a watershed in the development of physicalism, in the sense that whereas logical behaviourism proposed analytic and a priori ascertainable identities between the meanings of mental and physical-behavioural concepts, the identity theory proposed synthetic and a posteriori knowable identities between mental and physical properties. While this watershed does exist, the standard account of it is misleading, as it is (...) founded in erroneous intensional misreadings of the logical positivists’—especially Carnap’s—extensional notions of translation and meaning, as well as misinterpretations of the positivists’ shift from the strong thesis of translation-physicalism to the weaker and more liberal notion of reduction-physicalism that occurred in the Unity of Science programme. After setting the historical record straight, the essay traces the first truly modern identity theory to Schlick’s pre-positivist views circa 1920 and goes on to explore its further development in Feigl, arguing that the fundamental difference between the Schlick-Feigl identity theory and the more familiar and influential Place-Smart-Armstrong identity theory has resurfaced in the deep and seemingly unbridgeable gulf in contemporary philosophy of consciousness between inflationary mentalism and deflationary physicalism. (shrink)

In this article we provide a mathematical model of Kant?s temporal continuum that satisfies the (not obviously consistent) synthetic a priori principles for time that Kant lists in the Critique of pure Reason (CPR), the Metaphysical Foundations of Natural Science (MFNS), the Opus Postumum and the notes and frag- ments published after his death. The continuum so obtained has some affinities with the Brouwerian continuum, but it also has ‘infinitesimal intervals’ consisting of nilpotent infinitesimals, which capture Kant’s theory of rest (...) and motion in MFNS. While constructing the model, we establish a concordance between the informal notions of Kant?s theory of the temporal continuum, and formal correlates to these notions in the mathematical theory. Our mathematical reconstruction of Kant?s theory of time allows us to understand what ?faculties and functions? must be in place for time to satisfy all the synthetic a priori principles for time mentioned. We have presented here a mathematically precise account of Kant?s transcendental argument for time in the CPR and of the rela- tion between the categories, the synthetic a priori principles for time, and the unity of apperception; the most precise account of this relation to date. We focus our exposition on a mathematical analysis of Kant’s informal terminology, but for reasons of space, most theorems are explained but not formally proven; formal proofs are available in (Pinosio, 2017). The analysis presented in this paper is related to the more general project of developing a formalization of Kant’s critical philosophy (Achourioti & van Lambalgen, 2011). A formal approach can shed light on the most controversial concepts of Kant’s theoretical philosophy, and is a valuable exegetical tool in its own right. However, we wish to make clear that mathematical formalization cannot displace traditional exegetical methods, but that it is rather an exegetical tool in its own right, which works best when it is coupled with a keen awareness of the subtleties involved in understanding the philosophical issues at hand. In this case, a virtuous ?hermeneutic circle? between mathematical formalization and philosophical discourse arises. (shrink)

Little attention has been paid to the place attachment and homeland construction for refugees and their descendants in China. This study investigates the process by which the place attachment of Young Overseas Chinese Relatives is shaped in the context of resettlement sites. This qualitative research employed ethnographic fieldwork, and the author collected local literature and materials from February to December 2019 through participatory observation, in-depth interviews, and questionnaires. It is believed that the construction of a new homeland in (...) the community, the emotional experience of the Young in childhood, and the cultural logic of place attachment shape place attachment. The process by which place attachment is shaped is interwoven with homeland construction, which indicates that the living state and mentality of the Young are becoming increasingly stable. The Young developed different mentalities on the basis of traditional Confucian culture in responding to the socio-cultural environments. (shrink)

I respond to an argument presented by Daniel Povinelli and Jennifer Vonk that the current generation of experiments on chimpanzee theory of mind cannot decide whether chimpanzees have the ability to reason about mental states. I argue that Povinelli and Vonk's proposed experiment is subject to their own criticisms and that there should be a more radical shift away from experiments that ask subjects to predict behavior. Further, I argue that Povinelli and Vonk's theoretical commitments should lead them to accept (...) this new approach, and that experiments which offer subjects the opportunity to look for explanations for anomalous behavior should be explored. (shrink)

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

The aim of this paper is to apply inductive logic to the field that, presumably, Carnap never expected: legal causation. Legal causation is expressible in the form of singular causal statements; but it is distinguished from the customary concept of scientific causation, because it is subjective. We try to express this subjectivity within the system of inductive logic. Further, by semantic complement, we compensate a defect found in our application, to be concrete, the impossibility of two-place predicates (...) (for causal relationship) in inductive logic. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these (...) results, focussing primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

Neuroscience has studied deductive reasoning over the last 20 years under the assumption that deductive inferences are not only de jure but also de facto distinct from other forms of inference. The objective of this research is to verify if logically valid deductions leave any cerebral electrical trait that is distinct from the trait left by non-valid deductions. 23 subjects with an average age of 20.35 years were registered with MEG and placed into a two conditions paradigm (100 trials for (...) each condition) which each presented the exact same relational complexity (same variables and content) but had distinct logical complexity. Both conditions show the same electromagnetic components (P3, N4) in the early temporal window (250–525 ms) and P6 in the late temporal window (500–775 ms). The significant activity in both valid and invalid conditions is found in sensors from medial prefrontal regions, probably corresponding to the ACC or to the medial prefrontal cortex. The amplitude and intensity of valid deductions is significantly lower in both temporal windows (p = 0.0003). The reaction time was 54.37% slower in the valid condition. Validity leaves a minimal but measurable hypoactive electrical trait in brain processing. The minor electrical demand is attributable to the recursive and automatable character of valid deductions, suggesting a physical indicator of computational deductive properties. It is hypothesized that all valid deductions are recursive and hypoactive. (shrink)

Frege claims that the laws of logic are characterized by their “generality,” but it is hard to see how this could identify a special feature of those laws. I argue that we must understand this talk of generality in normative terms, but that what Frege says provides a normative demarcation of the logical laws only once we connect it with his thinking about truth and science. He means to be identifying the laws of logic as those that appear (...) in every one of the scientific systems whose construction is the ultimate aim of science, and in which all truths have a place. Though an account of logic in terms of scientific systems might seem hopelessly antiquated, I argue that it is not: a basically Fregean account of the nature of logic still looks quite promising. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due (...) in large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

Bob Hale’s distinguished record of research places him among the most important and influential contemporary analytic metaphysicians. In his deep, wide ranging, yet highly readable book Necessary Beings, Hale draws upon, but substantially integrates and extends, a good deal his past research to produce a sustained and richly textured essay on — as promised in the subtitle — ontology, modality, and the relations between them. I’ve set myself two tasks in this review: first, to provide a reasonably thorough (if not (...) exactly comprehensive) overview of the structure and content of Hale’s book and, second, to a limited extent, to engage Hale’s book philosophically. I approach these tasks more or less sequentially: Parts I and 2 of the review are primarily expository; in Part 3 I adopt a somewhat more critical stance and raise several issues concerning one of the central elements of Hale’s account, his essentialist theory of modality. (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

The passionate and staunch defence of logic of the controversial thinker Ibn Ḥazm, Abū Muḥammad ʿAlī b. Aḥmad b. Saʿīd of Córdoba (384-456/994-1064), had lasting consequences in the Islamic world. Indeed, his book Facilitating the Understanding of the Rules of Logic and Introduction Thereto, with Common Expressions and Juristic Examples (Kitāb al-Taqrīb li-ḥadd al-manṭiq wa-l-mudkhal ilayhi bi-l-alfāẓ al-ʿāmmiyya wa-l-amthila al-fiqhiyya), composed in 1025-1029, was well known and discussed during and after his time; and it paved the way for (...) the studies of his compatriots Ibn Bājjah (d. 1138), Ibn Ṭufayl (1185), and Ibn Rushd (1198), who each gave demonstrative reasoning a privileged place within the methods of attaining knowledge. Unfortunately, as too often in the history of science, Ibn Ḥazm’s innovative perspectives and contributions in logic have been overlooked or considered with an attitude of contempt. On the one hand, his work has been seen, at best, as promulgating the benefits of studying Aristotle’s logic, so that his contribution is assessed as more didactical than conceptual. And on the other hand, those who do examine his innovations often consider them to be mistaken. As indicated by Chejne (1984, p. 2) contempt towards the logical work of Ibn Ḥazm was also present in its reception by the Eastern philosophers who accused him of deviating from Aristotelian logic and of dabbling in things beyond his capability. However, a reassessment of his work on logic has since begun, by delving into the ways the thinker of Córdoba studied the links between deontic and modal qualification of propositions. In this context Lameer’s (2013) paper on the logical sources of Ibn Ḥazm is worth mentioning; the author (p. 417, footnote 1) observes that, although, strictly speaking, it was al-Fārābī who first drew the parallelism between deontic and modal concepts, it was Ibn Ḥazm who developed it and worked it out in a more precise manner. A primary aim of this paper is to help fill some of these gaps by stressing the role of the work of Ibn Ḥazm in developing a notion of deontic necessity deeply rooted in legal normativity, and in explicitly discussing the transference between deontic and modal concepts. According to our view; the basic units of Islamic deontic logic are what we might call, indulging in terminological anachronism, heteronomous imperatives. As it turns out, the heteronomy of imperatives within Islamic legal systems contrasts with those of the purely moral realm, which seem to be closer to an autonomous conception of moral law. There it concurs again with Leibniz’s proposal to define obligatory as “what is necessary for a good person to do”. In the present paper, we will focus on the heteronomous imperatives of legal systems rather than on the imperatives of the purely moral realm. In this context, the work of Ibn Ḥazm extends the parallelism between the necessity of events and that of human actions stressed by his predecessors. According to our understanding, Ibn Ḥazm’s parallelism can be rendered explicit formally by means of a conditional (or hypothetical) structure shared by both deontic and modal propositions. Moreover, this structure makes apparent that this parallelism displays an underlying system of “degrees”. Indeed, while in the domain of events, given some conditions, it makes sense to distinguish between an event that is more likely to happen than another. Ibn Ḥazm speaks of near and distant possibility (such as the higher degree of likelihood of rain, given the condensation of clouds in December, and its lower degree, when the condensation occurs in summer); and, in the domain of actions, the Islamic notion of weighting actions determines degrees of virtue (or of legal and moral value). So whereas the degree of virtue of performing a forbidden act as determined by the distribution of sanction and reward is 0, we obtain the same value by pondering the likelihood of an impossible event to take place. Furthermore, as discussed in section II.3.2, the system of values at work in the parallelism can be seen as opening the way to a more direct correspondence. Thus, while in the realm of nature, likelihood of occurrence of an event is dependent upon the conditions specific to the occurrence of that event; while, in the realm of jurisprudence, likelihood of performing an action is dependent upon the distribution of reward and sanction specific to that action (being that, given the choice to perform or not perform a given action, those that will be rewarded are more likely to be performed than those that are not). According to this perspective, the point of the parallelism is that both deontic and modal qualifications measure the degree of an action or event to become actual; that is – indulging once more in anachronism (but this time from the Leibnizian background) – the degree measures how feasible (facile) an action or event may be. This suggests that Ibn Ḥazm’s perspectives already herald the links to probability and possibility explored by Leibniz six centuries later – see for example Leibniz’s (1671, A VI, I, p. 424-26) use of probability in the context of conditional right. Nevertheless, it also shows a crucial difference to the approach developed in the Elementa Jura Naturalis: whereas Leibniz’s studies seek to define what is to be just or virtuous, the logical system of deontic imperatives within Islamic jurisprudence presupposes that what is to be virtuous has already been settled. Determining what is to be virtuous is not achieved by logical reasoning within the system of legal jurisprudence, but by delving into the higher objectives of the Sharīʿa. While developing our point, we will delve into the logical structure of the heteronomous imperatives. This distinguishes our contribution from the existing literature, such as the papers of Chejne (1984), Lameer (2014), and Guerrero (1997, 2010, 2014), which do not provide a logical analysis of the deontic concepts put into work by Ibn Ḥazm. The true antecedent to the present paper is the work of Farid Zidani (2007, 2015), who, so far as we know, was the first to undertake such a task. Some of our own developments and general epistemological thoughts go beyond Ibn Ḥazm’s framework and motivations; mainly those contained in sections II.3.2 and IV. However, according to our view, these reflections suggest that Ibn Ḥazm’s approach has the substance for a broader and deeper exploration of the logic of norms. The paper is structured as follows:I.Ibn Ḥazm’s Logic of Heteronomous Imperatives. After presenting some extracts of the relevant text, we proceed by providing a formal reconstruction of the five forms of deontic modalities. II. A Landmark in the History of the Logical Analysis of Norms. Duties and Modalities. In this section, we study the transferences from deontic to modal necessity and possibility. We briefly compare the deontic system of Islamic Jurisprudence with that of Leibniz.III. Leibniz and Hypothetical Imperatives in Law.IV. Beyond Ibn Ḥazm: Conclusions and the Work Ahead. We will conclude the paper by discussing briefly some conceptual points that distinguish the logic of heteronomous imperatives from contemporary deontic logic. Our final words will discuss deontic-modal parallelism in the context of Ibn Ḥazm’s rejection of reasoning by conjecture and what we call “the internalization of nature.”. (shrink)

In the 1950’s and 1960’s, Feigl, Place and Smart offered an answer to the mind‑body problem called Identity Theory. According to Identity Theory, there are physical descriptions describing the same event as first‑person descriptions of experience. In this article, we address the criticism that mind‑body identity can be refuted on logical grounds, taken in the widest sense. Kripke’s criticism to this effect, as developed in Naming and Necessity, will be our central concern. Another notorious argument we will consider is (...) Chalmers’s, as developed in The Conscious Mind. The Identity Theorists originally held that identity statements could be contingently true. Kripke argues that all true identity statements are true necessarily. If the mind‑body identity is contingent, as Kripke thinks it must be, it cannot be true. Unlike Identity Theorists, I accept that body‑mind identity must be necessary, but unlike Kripke, I argue that it can be. Central to my refutation of Kripke and Chalmers is a more elaborate approach to thinking about reference. (shrink)

Much too often, we are guilty of monumentalizing historical persons. As monuments, these people stop being persons, and instead function as placeholders. Monuments can be placeholders for that which is good, or that which is bad. Depending upon one's predictions for such phenomena as "The Enlightenment" and "The Scientific Revolution", one is likely to place either wreaths or garbage at the foot of the monument that is René Descartes. To his credit, Keith Devlin does neither in "Goodbye,Descartes". In the (...) post-war era, trendy circles often find Descartes to be the convenient whipping-boy for all that is wrong with our relationship to the natural world: the subject-object divide, a dispassionate attitude, hyper-rationality, and a context-free world of practices. This use of Descartes ultimately means that no longer does anyone seriously examine his work or closely trace its ramifications. Instead one just evokes his name as the locus of rationality, the side of the Enlightenment, or the turning point from enchantment. (shrink)

This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from (...) undergraduate students to senior researchers. The meeting is an important moment for the Brazilian and South American logical community to join together and discuss recent developments of the field. The areas of logic covered in the conference spread over foundations and philosophy of science, analytic philosophy, philosophy and history of logic, mathematics, computer science, informatics, linguistics and artificial intelligence. Previous editions of the EBL have been a great success, attracting researchers from all over Latin America and elsewhere. -/- The 19th edition of EBL takes place from May 6-10, 2019, in the beautiful city of João Pessoa, at the northeast coast of Brazil. It is conjointly organized by Federal University of Paraíba (UFPB), whose main campus is located in João Pessoa, Federal University of Campina Grande (UFCG), whose main campus is located in the nearby city of Campina Grande (the second-largest city in Paraíba state) and SBL. It is sponsored by UFPB, UFCG, the Brazilian Council for Scientific and Technological Development (CNPq) and the State Ministry of Education, Science and Technology of Paraíba. It takes place at Hotel Luxxor Nord Tambaú, privileged located right in front Tambaú beach, one of João Pessoa’s most famous beaches. (shrink)

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract (...) sciences. If we wish to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

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

In this paper, we axiomatize the deontic logic in Fusco 2015, which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make explicit the (...) restrictions Fusco’s account must place on free-choice inferences. They are also of independent interest, as they raise difficult questions about how to ‘lift’ a Kripke frame for a one- dimensional modal logic into two dimensions. (shrink)

The critic of substance immobility through negation constitutes the starting point of the ‘voyage of discovery’ of Hegel’s Phänomenologie des Geistes, in which mind and body experiences are considered in terms of mutual recognition, without denying the subjectivity. In this article I am discussing some aspects of Hegel’s philosophy of spirit after Nietzsche’s ‘experimentalism’ and Dennett’s theory of mind, in order to articulate, through Bergson, two fundamental reasons. The first concerns the subject and the dramatic awareness of its constitutional temporality (...) and, at the same time, the possibility to transcend the limit of ‘here’ and ‘now’. On this basis, the second regards the indefensibility of nihilism, because, thanks to consciousness and its continuous activity, the temporal subject, from Hegel to Bergson, persists as a ‘dark side’, in which a constant ‘overcoming’ (élan) of an implicitly normative and essentially social practice takes place. (shrink)

Contemporary psychologism has been amended for most of the objections by its opponents over a century ago. However, some authors still raise doubts about its ability to account for some peculiar properties of logic. In particular, it is argued that the psychological universality of patterns of inferential behavior is not sufficient to account for the normativity of logic. In this paper, I deal with the issue and offer three alternative solutions that do not rely on mere empirical universality. (...) I will use the works of Laurence Jonathan Cohen, Diego Marconi and Marcello D'Agostino, adapting them for the purpose of defending logical psychologism. I will therefore argue that, although more refined work on the subject is needed, contemporary psychologism has the key resources to retain its place in the philosophical debate on the foundations of logic. (shrink)

Edmund Husserl is the founder of phenomenology and the Logical Investigations is his most famous work. It had a decisive impact on twentieth century philosophy and is one of few works to have influenced both continental and analytic philosophy. This is the first time both volumes have been available in paperback. They include a new introduction by Dermot Moran, placing the Investigations in historical context and bringing out their contemporary philosophical importance. These editions include a new preface by Sir Michael (...) Dummett. (shrink)

An AC servomotor which is mostly a two-phase induction motor with two stator field coils placed 90 electrical degrees apart used for controlling position, speed and acceleration in manufacturing industries. In this paper, a two-phase induction motor has been designed with a fuzzy logic and observer based controllers to improve the performance of the system. Comparison of the AC servomotor with the proposed controllers for tracking a step and a square desired position signal input has been done using Matlab/Simulink (...) toolbox and a promising result obtained. (shrink)

We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically as the "determination rule", so called because it expresses the relation of one set of variables determining the values of another set. The determination relation is a logical generalization of the different types of dependency relations defined in database theory. Specifically, we define determination as a relation between schemata of first (...) order logic that have two kinds of free variables: (1) object variables and (2) what we call "polar" variables, which hold the place of truth values. Determination rules facilitate sound rule inference and valid conclusions projected by analogy from single instances, without implying what the conclusion should be prior to an inspection of the instance. They also provide a way to specify what information is sufficiently relevant to decide a question, prior to knowledge of the answer to the question. (shrink)

The anti-exceptionalist debate brought into play the problem of what are the relevant data for logical theories and how such data affects the validities accepted by a logical theory. In the present paper, I depart from Laudan's reticulated model of science to analyze one aspect of this problem, namely of the role of logical data within the process of revision of logical theories. For this, I argue that the ubiquitous nature of logical data is responsible for the proliferation of several (...) distinct methodologies for logical theories. The resulting picture is coherent with the Laudanean view that agreement and disagreement between scientific theories take place at different levels. From this perspective, one is able to articulate other kinds of divergence that considers not only the inferential aspects of a given logical theory, but also the epistemic aims and the methodological choices that drive its development. (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)

In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in P can feasibly work as computational (...) models of human cognitive capacities. One interesting area of computational complexity theory is descriptive complexity, which connects the expressive strength of systems of logic with the computational complexity classes. In descriptive complexity theory, it is established that only first-order systems are connected to P, or one of its subclasses. Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities. This would be problematic when we think of the role of logic as the foundations of mathematics. In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic. But if such a system is considered to be intractable, it means that the logical foundation of mathematics can be prohibitively complex for human cognition. In this paper I will argue, however, that this problem is the result of an unjustified direct use of computational complexity classes in cognitive modelling. Placing my account in the recent literature on the topic, I argue that the problem can be solved by considering computational complexity for humanly relevant problem solving algorithms and input sizes. (shrink)

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply (...) general propositions. We consider and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

Does rationality require logical omniscience? Our best formal theories of rationality imply that it does, but our ordinary evaluations of rationality seem to suggest otherwise. This paper aims to resolve the tension by arguing that our ordinary evaluations of rationality are not only consistent with the thesis that rationality requires logical omniscience, but also provide a compelling rationale for accepting this thesis in the first place. This paper also defends an account of apriori justification for logical beliefs that is (...) designed to explain the rational requirement of logical omniscience. On this account, apriori justification for beliefs about logic has its source in logical facts, rather than psychological facts about experience, reasoning, or understanding. This account has important consequences for the epistemic role of experience in the logical domain. In a slogan, the epistemic role of experience in the apriori domain is not a justifying role, but rather an enabling and disabling role. (shrink)