The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

Wittgenstein raises the notion of “conversion” in philosophy through his claims that philosophical understanding is a matter of the will rather than the intellect. Soulez examines this notion in Wittgenstein's philosophy through a series of reflections on the aims and methodology of his philosophical “grammar,” in relation to comparable models among Wittgenstein's contemporaries and from the history of philosophy.

This dissertation examines several of the problems that Hilbert discovered in the foundations of mathematics, from a metalogical perspective. The problems manifest themselves in four different aspects of Hilbert’s views: (i) Hilbert’s axiomatic approach to the foundations of mathematics; (ii) His response to criticisms of set theory; (iii) His response to intuitionist criticisms of classical mathematics; (iv) Hilbert’s contribution to the specification of the role of logical inference in mathematical reasoning. This dissertation argues that Hilbert’s axiomatic approach was guided primarily (...) by model theoretical concerns. Accordingly, the ultimate aim of his consistency program was to prove the model-theoretical consistency of mathematical theories. It turns out that for the purpose of carrying out such consistency proofs, a suitable modification of the ordinary first-order logic is needed. To effect this modification, independence-friendly logic is needed as the appropriate conceptual framework. It is then shown how the model theoretical consistency of arithmetic can be proved by using IF logic as its basic logic. Hilbert’s other problems, manifesting themselves as aspects (ii), (iii), and (iv)—most notably the problem of the status of the axiom of choice, the problem of the role of the law of excluded middle, and the problem of giving an elementary account of quantification—can likewise be approached by using the resources of IF logic. It is shown that by means of IF logic one can carry out Hilbertian solutions to all these problems. The two major results concerning aspects (ii), (iii) and (iv) are the following: (a) The axiom of choice is a logical principle; (b) The law of excluded middle divides metamathematical methods into elementary and non-elementary ones. It is argued that these results show that IF logic helps to vindicate Hilbert’s nominalist philosophy of mathematics. On the basis of an elementary approach to logic, which enriches the expressive resources of ordinary first-order logic, this dissertation shows how the different problems that Hilbert discovered in the foundations of mathematics can be solved. (shrink)

In this work, we investigate the representation of counterfactual conditionals using the vector logic, a matrix-vector formalism for logical functions and truth values. Inside this formalism, the counterfactuals can be transformed in complex matrices preprocessing an implication matrix with one of the square roots of NOT, a complex matrix. This mathematical approach puts in evidence the virtual character of the counterfactuals. This happens because this representation produces a valuation of a counterfactual that is the superposition of the two opposite truth (...) values weighted, respectively, by two complex conjugated coefficients. This result shows that this procedure gives an uncertain evaluation projected on the complex domain. After this basic representation, the judgement of the plausibility of a given counterfactual allows us to shift the decision towards an acceptance or a refusal. This shift is the result of applying for a second time one of the two square roots of NOT. (shrink)

Although there have been efforts to integrate Semantic Web technologies and artificial agents related AI research approaches, they remain relatively isolated from each other. Herein, we introduce a new ontology framework designed to support the knowledge representation of artificial agents’ actions within the context of the actions of other autonomous agents and inspired by standard cognitive architectures. The framework consists of four parts: 1) an event ontology for information pertaining to actions and events; 2) an epistemic ontology containing facts about (...) knowledge, beliefs, perceptions and communication; 3) an ontology concerning future intentions, desires, and aversions; and, finally, 4) a deontic ontology for modeling obligations and prohibitions which limit agents’ actions. The architecture of the ontology framework is inspired by deontic cognitive event calculus as well as epistemic and deontic logic. We also describe a case study in which the proposed DCEO ontology supports autonomous vehicle navigation. (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)

En el presente estudio participaron 270 estudiantes en dos muestras; la primera con alumnos de bachillerato, la segunda con alumnos universitarios, ambos del estado de Puebla, México. La investigación fue básicamente cuantitativa, sin embargo, el instrumento utilizado permitió obtener valiosa información cualitativa. El objetivo fue contrastar los resultados históricos de test con dilemas morales clásicos. Los participantes se enfrentaron al Dilema del tranvía, al Dilema de la pasarela y al Dilema de Sofía. Los resultados demostraron que es válida la categorización (...) en cuatro posturas morales básicas: utilitarismo, emotivismo, deontología y ética de la virtud. Y si bien se obtuvieron, en una primera instancia, resultados cuantitativos catalogados como mayormente utilitarios, lo cierto es que las creencias morales exhibidas en el estudio superan el dualismo utilitarismo-emotivismo de estudios previos consultados. In the present study, 270 students participated in two samples, the first with high school students, the second with university students, both from the state of Puebla. The research was quantitative, however, the instrument used allowed obtaining valuable qualitative information. The objective was to contrast the historical test results with classic moral dilemmas. Participants faced the Trolley Dilemma, Footbridge Dilemma and Sophia’s Dilemma. The results showed that the categorization in four basic moral positions is valid: utilitarianism, emotivism, deontology and virtue ethics. And although quantitative results cataloged as mostly utilitarian were obtained in the first instance, the truth is that the moral beliefs exhibited in the study surpass the utilitarianism-emotivism dualism of previous studies consulted. (shrink)

We discuss the “axioms of dark ontology” proposed by the US philosopher Levi Bryant. The axioms are analyzed in a context of the historical development of diverse philosophical viewpoints united by the concept of the denial of consciousness. The “deniers” declare the direct conscious experience to be an illusion. As for the philosophical provisions that will not fit into their very limited conceptual straitjacket, they proclaim those inimical to science and therefore subject to elimination from the epistemological discourse altogether. Analyzing (...) the viewpoints of the denialist philosophers, we show their inner contradictions that primarily are related to their inability to apply their assertions about consciousness to their own methods, arguments, and conclusions. We review the historical development of the critique regarding the denialists’ views taken from sometimes very diverse philosophical corners. We show that Bryant’s assertions are not axioms in any logical sense, but rather a scientism manifesto created in response to a technocratic demand for dehumanization. We also show how Bryant’s rejection of the human-centered position of philosophy follows from deconstruction practices undertaken by the structuralists and poststructuralists. To advance his ideas, Bryant imitates Ludwig Wittgenstein’s forms of discourse. He also engages moralizing and sophistry. We show that Bryant’s failure to create a robust, coherent system demonstrates weaknesses in the poststructuralist ideas that his concepts stem from. We conclude that the process that the doctrine of the denial of consciousness becomes mainstream attests, in Heidegger’s terms, the final stage of European nihilism and the crisis of science and philosophy of knowledge. (shrink)

The notion of the riddle plays a pivotal role in Wittgenstein’s Tractatus . By examining the comparisons he draws between philosophical problems and riddles, this paper offers a reassessment of the aims and methods of the book. Solving an ordinary riddle does not consist in learning a new fact; what it requires is that we transform the way we use words. Similarly, Wittgenstein proposes to transform the way philosophers understand the nature of their problems. But since he holds that these (...) problems are ultimately unsolvable, rather than attempting to solve the riddles of philosophy, he aims to dissolve them. (shrink)

ABSTRACT I suggest in this essay that the responses to the coronavirus pandemic by the North Atlantic elite ought to be accounted in part to the circulation of nihilism as a structure of feeling under late capitalism. I then pose the question, how ought we think of meaning and meaning making under the shadow of ongoing extinction?

Possible worlds models of belief have difficulties accounting for unawareness, the inability to entertain (and hence believe) certain propositions. Accommodating unawareness is important for adequately modelling epistemic states, and representing the informational content to which agents have in principle access given their explicit beliefs. In this paper, I develop a model of explicit belief, awareness, and informational content, along with an sound and complete axiomatisation. I furthermore defend the model against the seminal impossibility result of Dekel, Lipman and Rustichini, according (...) to which three intuitive conditions preclude non-trivial unawareness on any possible worlds model of belief. (shrink)

Though the divide between reason-based and causal-explanatory approaches in psychiatry and psychopathology is old and deeply rooted, current trends involving multi-factorial explanatory models and evidence-based approaches to interpersonal psychotherapy, show that it has already been implicitly bridged. These trends require a philosophical reconsideration of how reasons can be causes. This paper contributes to that trajectory by arguing that Donald Davidson’s classic paradigm of 1963 is still a valid option.

W latach 1893 i 1903 ukazały się dwa tomy najważniejszego dzieła Fregego Grundegezte der Arithmetik. Ten okres można nazwać „szczytem logicyzmu” Fregego. Chociaż temat prawdy w logiczno-filozoficznej twórczości Fregego był podejmowany wielokrotnie, to brakuje pozycji skupiającej się na badaniu poglądów w tym okresie. Dotyczy to w szczególności literatury polskiej. Moim zadaniem jest zebranie i uporządkowanie wszystkich wypowiedzi Fregego na temat prawdy w okresie wydawania wspomnianych tomów. Realizując to zadanie, badam użycie tego pojęcia w pierwszym tomie Grundegezte der Arithmetik oraz w (...) niepublikowanym tekście Logik. Podejmuję zagadnienie funkcjonowania tego terminu w szczególnych kontekstach: antynomii, geometrii i wyrażania ogólności. Na koniec zasygnalizuję kwestię sposobu rozumienia późniejszych wypowiedzi Fregego na temat prawdy. (shrink)

In 1893 and 1903, two volumes of the most important of Frege’s works Grundegezte der Arithmetik were published. This period can be called the peak of Frege’s logicism. Although the subject of truth in Frege’s logical and philosophical works has been repeatedly investigated, there is a lack of studies on his view in this period, especially in Polish literature. In this article, therefore, I carry out the following research task: to collect and order Frege’s statements about truth during the period (...) of publishing the two volumes of Grundegezte der Arithmetik. I refer to the texts published during Frege’s life, published posthumously and his correspondence. Particularly noteworthy are: Grundegezte der Arithmetik and the unpublished Logik. That is why there are two separate sections dedicated to these two texts, whereas the discussions of truth from other texts are grouped thematically: the problem of antinomy, geometry, expression of generality, and others. The subject of truth appears there in relation to logic, philosophy of language, philosophy of logic, philosophy of mathematics and ontology. (shrink)

En la literatura sobre las emociones una de las teorías con mayor fuerza es la llamada “teoría James-Lange”. En esta obra se intenta hacer una crítica a dicha teoría a partir de algunas observaciones de Wittgenstein sobre el uso de conceptos psicológicos, sacando a la luz dos confusiones gramaticales que surgen en ella. Para ello, se construye primero la categoría de “programa de naturalización de las emociones” que recoge las teorías del Descartes, James y Prinz, siguiendo la metodología de Lakatos. (...) Luego, se identifica como problema central el de la naturalización de la intencionalidad. Para luego exponer algunas herramientas de Wittgenstein para estudiar la gramática de la pregunta por el objeto y la intencionalidad las emociones, mostrando que las respuestas del programa de naturalización no son satisfactorias y no respetan las reglas de ciertos usos del lenguaje. (shrink)

Cora Diamond is a powerful witness to the originality of Iris Murdoch's writings on ethics, showing how Murdoch is at variance with contemporary orthodoxy not just in respect of particular doctrines, but in her questioning of mainstream assumptions as to what constitutes the subject-matter of moral philosophy. Diamond celebrates Murdoch as an ally in her campaign against the ‘departmental’ conception of morality – the idea that moral thought is just one branch of thought among others – and highlights Murdoch's enduring (...) belief in the ‘ubiquity of the moral quality inherent in consciousness’. In keeping with this belief, both philosophers affirm the value of general humanistic reflection on experience, an enterprise in which traditions of imaginative literature as well as of self-conscious theory can invite us to participate. While welcoming this vindication of the claims of ordinary moral intelligence, I will explore some difficulties flowing from the associated idea that ‘morality’ is all-pervasive, and from the ‘perpetually-moralist’ account of our incentive to engage with fictional worlds. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

ABSTRACT In a recent essay, Sören Stenlund tries to align Wittgenstein’s approach to the foundations and nature of mathematics with the tradition of symbolic mathematics. The characterization of symbolic mathematics made by Stenlund, according to which mathematics is logically separated from its external applications, brings it closer to the formalist position. This raises naturally the question whether Wittgenstein holds a formalist position in philosophy of mathematics. The aim of this paper is to give a negative answer to this question, defending (...) the view that Wittgenstein always thought that there is no logical separation between mathematics and its applications. I will focus on Wittgenstein’s remarks about arithmetic during his middle period, because it is in this period that a formalist reading of his writings is most tempting. I will show how his idea of autonomy of arithmetic is not to be compared with the formalist idea of autonomy, according to which a calculus is “cut off” from its applications. The autonomy of arithmetic, according to Wittgenstein, guarantees its own applicability, thus providing its own raison d’être. RESUMO Em um recente artigo, Sören Stenlund procura alinhar a abordagem de Wittgenstein em relação aos fundamentos e à natureza da matemática com a tradição da matemática simbólica. A caracterização da matemática simbólica feita por Stenlund, de acordo com a qual a matemática é logicamente separada de suas aplicações externas, a aproxima da posição formalista. Isto naturalmente levanta a questão de se Wittgenstein defende uma posição formalista em filosofia da matemática. O objetivo deste artigo é dar uma resposta negativa a esta questão, ao defender que Wittgenstein sempre pensou não haver separação lógica entre a matemática e suas aplicações. Atenção especial será dada às observações de Wittgenstein sobre a aritmética pertencentes ao seu período intermediário, pois é neste período que uma leitura formalista de seus escritos é mais sedutora. Mostrarei como sua ideia de autonomia da aritmética não deve ser comparada à ideia formalista de autonomia, segundo a qual um cálculo é “cortado” de suas aplicações. A autonomia da aritmética, para Wittgenstein, garante ela própria sua aplicabilidade, provendo, assim, sua própria raison d’être. (shrink)

The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...) notations on the logical representation of assertions, and evaluate their systems from the perspective of the philosophy of logical notations. Pragmatic assertions turn out to be useful in providing intended interpretations of a variety of logical systems. (shrink)

In this article I explore some implications of the correspondence that went on between Ludwig Wittgenstein and the logician and mathematician Gottlob Frege. Part of this exchange was focused on the envisaged publication of Wittgenstein’s Tractatus Logico-Philosophicus, and on the philosophical or literary character of that work. The problem discussed concerned the question of whether the Tractatus should be seen not as a scientific but as an artistic achievement. My first goal is to present what, given Frege’s writings, his phrase (...) “an artistic rather than a scientific achievement” could be understood to mean in terms of the Tractatus itself. Secondly, I seek to determine the extent to which traces of Frege’s understanding of such terms as “mock thoughts,” “fiction,” “elucidation,” “paintings” and “colouring” are to be found in the language of the Tractatus. This should then make it possible to show how Wittgenstein’s work, viewed from a Fregean perspective, can be seen as furnishing a logic and semantics not only for the languages of logic and natural science, but also for something that is “an artistic rather than a scientific achievement”, while also indicating that the content of the Tractatus as a whole could not have been captured independently of the unified form Wittgenstein himself gave it. (shrink)

When Wittgenstein started writing the Tractatus in June 1915, he was convinced that he was producing a theory. Accordingly, he chose a theoretical style of expressing his thought. Wittgenstein abandoned this stance only at the end of his work of composing the book. He realized that what he is producing in not a theory but a manual for improving our language and thinking. Unfortunately, it was too late to change the architecture and the style of the book: Wittgenstein simply had (...) no time to do that. This drawback makes the Tractatus notoriously difficult to understand and is apparently the major factor that caused the so called “Tractarian Wars”. (shrink)

We attempt here to trace the evolution of Frege’s thought about truth. What most frames the way we approach the problem is a recognition that hardly any of Frege’s most familiar claims about truth appear in his earliest work. We argue that Frege’s mature views about truth emerge from a fundamental re-thinking of the nature of logic instigated, in large part, by a sustained engagement with the work of George Boole and his followers, after the publication of Begriffsschrift and the (...) appearance of critical reviews by members of the Boolean school. (shrink)

The study aims to investigate how prior experience of interlocutors interacts with actual situational context in intercultural interactions when the latter is represented by a well-known frame: getting acquainted with others. It attempts to demonstrate how the cultural frame of the target language is broken up and substituted with an emergent frame that is co-constructed from elements from prior experience with the target language, the first language and the actual situational experience. Getting acquainted with others is a closed social situation, (...) a cultural frame in which interlocutors usually have to follow a behavior pattern dictated by the requirements of the socio-cultural background in a given speech community. There is a ‘skeleton’ of these ‘getting to know you’ procedures that can be considered universal but is substantiated differently in every language. In each conversation in any language, ‘flesh’ is added to the ‘skeleton’ in a dynamic and co-constructed manner. However, there is a difference between how this happens in L1 and in intercultural interactions. While in L1 the ‘flesh’ on the skeleton is predetermined to a significant extent by requirements of core common ground in the given language, in intercultural encounters this ‘flesh building’ process in the target language is not set but is co-constructed by the interlocutors as emergent common ground relying on their prior experience with their own L1 culture, limited experience with the target culture and the assessment of the actual situational context. In this study the co-construction process, i.e. emergent common ground will be analyzed by examining the use of formulaic language and freely generated language in several discourse segments. (shrink)

This paper sketches a new and somewhat heterodox metaphysical theory of consciousness: the “many-worlds theory”. It drops the assumption that all conscious subjects’ experiences are features of one and the same world and instead associates different subjects with different “first-personally centred worlds”. We can think of these as distinct “first-personal realizers” of a shared “third-personal world”, where the latter is supervenient, in a sense to be explained. This is combined with a form of modal realism, according to which different subjects’ (...) first-personally centred worlds are all real, though only one of them is present for each subject. The theory offers a novel way of capturing the irreducibly subjective nature of conscious experience without lapsing into solipsism. The paper also looks at some scientific theories of consciousness, such as integrated information theory, through the proposed lens and reconsiders the hard problem of consciousness. (shrink)

ABSTRACT Average utilitarianism and several related axiologies, when paired with the standard expectational theory of decision-making under risk and with reasonable empirical credences, can find their practical prescriptions overwhelmingly determined by the minuscule probability that the agent assigns to solipsism—that is, to the hypothesis that there is only one welfare subject in the world, namely, herself. This either (i) constitutes a reductio of these axiologies, (ii) suggests that they require bespoke decision theories, or (iii) furnishes an unexpected argument for ethical (...) egoism. (shrink)

In this paper, I analyze the concept of ineffability: what does it mean to say that something cannot be said? I begin by distinguishing ineffability from paradox: if something cannot be said truly or without contradiction, this is not an instance of ineffability. Next, I distinguish two different meanings of ‘saying something’ which result from a fundamental ambiguity in the term ‘language’, viz. language as a system of symbols and language as a medium of communication. Accordingly, ‘ineffability’ is ambiguous, too, (...) and we should make a distinction between weak and strong ineffability. Weak ineffability is rooted in the deficiencies of a particular language while strong ineffability stems from the structure of a particular cognitive system and its capacities for conceptual mental representation. Mental contents are only sayable if we are able to conceptualize them and then create signs to represent them in communication. (shrink)

Investigamos o problema da continuidade entre (1) cognições básicas e (2) complexas, especificamente em relação à linguagem. Nossa hipótese é a de que visões contemporâneas da linguagem não inviabilizam necessariamente a abordagem bottom-up ― abordagens tipicamente enativistas. Primeiro apresentamos a posição de Daniel Hutto e Erik Myin (2013, 2017), representantes do Radically Enactive Cognition (REC), a qual assume o desafio da continuidade e identifica na linguagem o critério para uma distinção de tipo entre (1) e (2). Em seguida, estabelecemos a (...) posição Wittgensteiniana defendida por Moyal-Sharrock (2019), na qual a linguagem seria apenas mais uma habilidade de possível desenvolvimento para (1) e (2). Haveria, portanto, somente uma distinção de grau , não de tipo. Por mais que a avaliação de Moyal-Sharrock seja interessante no sentido de que parece evitar um ceticismo de continuidade (identificado por ela no REC), também encontramos problemas em sua visão. (shrink)

Philosophical Investigations, EarlyView.

Two-dimensional semantics, which can represent the distinction between a priority and necessity, has wielded considerable influence in the philosophy of language. In this paper, I axiomatize the dagger operator of Stalnaker’s “Assertion” in the formal context of two-dimensional modal logic. The language contains modalities of actuality, necessity, and a priority, but is also able to represent diagonalization, a conceptually important operation in a variety of contexts, including models of the relative a priori and a posteriori often appealed to Bayesian and (...) Gricean contexts. Finally, I sketch the prospects for extending this two-dimensional upgrade to other kinds of modal logics for natural language. (shrink)

In a 2006 interview, Bruno Latour, distancing himself from the French philosopher Alain Badiou, casually remarks, “I’m the only French pragmatist, so it winds up that I have absolutely no contact with the French”. Latour’s remark is curious insofar as the work performed by the coupling reveals his own dissociation of French philosophy with pragmatism. If Latour is French, he cannot possibly be a pragmatist, but if he is a pragmatist, he cannot possibly be French, so better to refer to (...) himself by this new hybrid, “French pragmatist.”Perhaps it is not so peculiar for Latour to describe himself as a “pragmatist,” since references to classical pragmatist figures like William James and John... (shrink)

In a recent article, Hofweber presents a new, and surprising, argument for idealism. His argument is surprising because it starts with an apparently innocent premiss from the philosophy of language: that ‘that’-clauses do not refer. I do not think that Hofweber's argument works, and my first aim in this paper is to explain why. However, I agree with Hofweber that what we say about ‘that’-clauses has important metaphysical consequences. My second aim is to argue that, far from leading us into (...) idealism, denying that ‘that’-clauses refer is the first step toward a kind of direct realism about belief. (shrink)

Many epistemological problems can be solved by the objective Bayesian view that there are rationality constraints on priors, that is, inductive probabilities. But attempts to work out these constraints have run into such serious problems that many have rejected objective Bayesianism altogether. I argue that the epistemologist should borrow the metaphysician’s concept of naturalness and assign higher priors to more natural hypotheses.

According to falsificationism, a theory is scientific if it can be incompatible with some empirically testable statements. This epistemological approach has been criticized because, in practice, it is impossible to decide when a particular fact should be considered incompatible with a theory. These criticisms, however, neglect the fact that the Popperian sense of falsification is a “logical sense.” Thus, the Popperian criterion of falsifiability only requires that, assuming certain auxiliary hypotheses, the theory in question be logically incompatible with some empirically (...) testable statements. This paper presents a reassessment of these criticisms, justifying that the criterion of falsifiability is unrenounceable insofar as our best theories should aspire to satisfy it. (shrink)

Is there such a thing called “Islamic philosophy”? If there is one, what is it? What does it mean for philosophy to be Islamic? How does Islamic philosophy differ from non-Islamic one? Why do some Muslim scholars reject philosophy, ban its instruction, and even scorn its proponents? The present article will address all these questions and seeks to offer a balanced perspective on controversial issues pertaining to philosophy in Islamic intellectual context, drawing upon authoritative, primary sources. The first section deals (...) with definition and terminology, including the disagreement among scholars over which of these is the best appellation: ‘Islamic philosophy’, ’Muslim philosophy’, or ’Arabic philosophy’. This will be followed by a discussion of the main sources of Islamic philosophy and its impacts, as well as the aims and benefits of studying philosophy according to its exponents. The final section provides a critical appraisal of the arguments for and against philosophy that have been put forward by its defenders and its critics. Furthermore, the article also discusses three current approaches to Islamic philosophy, namely the mystical- hermeneutical such as advocated by Leo Strauss and Henry Corbin, the historical- philological study such as practiced Richard Walzer and Dimitri Gutas, and the philosophical-analytical approach such as espoused by Oliver Leaman and Lenn E. Goodman. A final word about the challenges and prospect of Islamic philosophical studies is in order, taking into account recent developments in various parts of the world following revival of interest in Avicenna, Averroes and al-Ghazali. (shrink)

Work on the nature and scope of formal logic has focused unduly on the distinction between logical and extra-logical vocabulary; which argument forms a logical theory countenances depends not only on its stock of logical terms, but also on its range of grammatical categories and modes of composition. Furthermore, there is a sense in which logical terms are unnecessary. Alexandra Zinke has recently pointed out that propositional logic can be done without logical terms. By defining a logical-term-free language with the (...) full expressive power of first-order logic with identity, I show that this is true of logic more generally. Furthermore, having, in a logical theory, non-trivial valid forms that do not involve logical terms is not merely a technical possibility. As the case of adverbs shows, issues about the range of argument forms logic should countenance can quite naturally arise in such a way that they do not turn on whether we countenance certain terms as logical. (shrink)

Drawing mainly from the Tractatus Logico-Philosophicus and his middle period writings, strategic issues and problems arising from Wittgenstein’s philosophy of mathematics are discussed. Topics have been so chosen as to assist mediation between the perspective of philosophers and that of mathematicians on their developing discipline. There is consideration of rules within arithmetic and geometry and Wittgenstein’s distinctive approach to number systems whether elementary or transfinite. Examples are presented to illuminate the relation between the meaning of an arithmetical generalisation or theorem (...) and its proof. An attempt is made to meet directly some of Wittgenstein’s critical comments on the mathematical treatment of infinity and irrational numbers. (shrink)

The aim of this paper is to clarify why propositional logic is Post complete and its weak completeness was almost unnoticed by Hilbert and Bernays, while first-order logic is Post incomplete and its weak completeness was seen as an open problem by Hilbert and Ackermman. Thus, I will compare propositional and first-order logic in the Prinzipien der Mathematik, Bernays’s second Habilitationsschrift and the Grundzüge der Theoretischen Logik. The so called “arithmetical interpretation”, the conjunctive and disjunctive normal forms and the soundness (...) of the propositional rules of inference deserve special emphasis. (shrink)

If there is something (P) that every possible agent is committed to value, and certain actions or attitudes either enhance or diminish P, then normative claims about a range of intentional actions can be objectively and non-trivially evaluated. I argue that the degree of existence as an agent depends on the consistency of reflexive-relating with other individuals of the agent-kind: the ontological thesis. I then show that in intending to act on a reason, every agent is rationally committed to value (...) ‘above all else’ being an agent, what consists in exercising the capacity to act and having the freedom to discriminate between more or less valuable actions: the transcendental thesis. Since the degree of possession of this personal but non-contingent good depends on relating to other agents in a special way, certain actions and attitudes may be objectively right or wrong for all agents. (shrink)

In this paper, I consider how we ought to read the aspect‐perception passages in the Tractatus Logico‐Philosophicus (TLP) in the light of its ethics. I engage with a recent proposal, of Genia Schönbaumsfeld's, that we should replace the TLP account of aspect‐perception with that which Wittgenstein puts forward in the Philosophical Investigations (PI). I show that, far from helping us to grasp the ethical vision contained in the TLP, this proposal obscures it. I go on to draw some conclusions from (...) this as to how to read the TLP in its relation to Wittgenstein's other work. (shrink)

This paper aims to shed light on an underexplored aspect of Gilbert Ryle’s interest in the notion of “knowing-how”. It is argued that in addition to his motive of discounting a certain theory of mind, his interest in the notion also stemmed (and perhaps stemmed more deeply) from two ethical interests: one concerning his own life as a philosopher and whether the philosopher has any meaningful task, and one concerning the ancient issue of whether virtue is a kind of knowledge. (...) It is argued that Ryle saw know-how as crucial in both respects and that he continued to be interested in these ethical issues throughout his career. (shrink)

Priority Theory is an increasingly popular view in metaphysics. By seeing metaphysical questions as primarily concerned with what explains what, instead of merely what exists, it promises not only an interesting approach to traditional metaphysical issues but also the resolution of some outstanding disputes. In a recent paper, Louis deRosset argues that Priority Theory isn’t up to the task: Priority Theory is committed to there being explanations that violate a formal constraint on any adequate explanation. This paper critically examines deRosset’s (...) challenge to Priority Theory. We argue that deRosset’s challenge ultimately fails: his proposed constraint on explanation is neither well-motivated nor a general constraint. Nonetheless, lurking behind his criticism is a deep problem for prominent ways of developing Priority Theory, a problem which we develop. (shrink)

In early modernity, one can find many spatial logic diagrams whose geometric forms share a family resemblance with religious art and symbols. The family resemblance these diagrams bear in form is often based on a vesica piscis or on a cross: Both logic diagrams and spiritual symbols focus on the intersection or conjunction of two or more entities, e.g. subject and predicate, on the one hand, or god and man, on the other. This paper deals with the development and function (...) of logic diagrams, their analogy to religious art and symbols, and their modern application in artificial intelligence. (shrink)

Philosophical discussion of truthmaking has flourished in recent times, but what exactly does it mean to ‘make’ a truth-bearer true? I argue that ‘making’ is a concept with modal force, and this renders it a problematic deployment for truthmaker theorists with nominalist sympathies, which characterises most current theories. I sketch the outlines of what I argue is a more genuinely realist truthmaker theory, which is capable of answering the explanatory question: In virtue of what does each particular truthmaker make its (...) particular truthbearer(s) true? I do this by drawing on recent work by Frederik Stjernfelt on Charles Peirce’s account of the proposition as having a ‘particular double structure’, according to which a proposition not only depicts certain characters of an object, it also depicts itself claiming those characters to pertain to the object. This double structure, I shall argue, also resolves important issues in analytic philosophers’ truthmaker theory, including the proper distinction between reference and truthmaking, and a dilemma concerning an infinite regress of truthmaking. (shrink)