Arthur Pap worked in analytic philosophy while maintaining a strong Kantian or neo-Kantian element throughout his career, stemming from his studying with Ernst Cassirer. I present these elements in the different periods of Pap’s works, showing him to be a consistent critic of logical empiricism, which Pap shows to be incapable of superseding the Kantian framework. Nevertheless, Pap’s work is definitely analytic philosophy, both in terms of the content and the style. According to Pap, the central topics of analytic philosophy (...) concern meaning, modality, and analysis. Pap was also influenced by pragmatism, especially in his dissertation, although he does not fully embrace it in either its classical or its Quinean form. (shrink)

Every materially adequate explication of the concepts ``picture''and ``the pictorial'' has to appeal to syntactical properties.From the available definitions, a conception of syntax is extractedthat is applicable to symbol systems of any sort. Against thisbackground, it is shown that a non-semantical characterization ofthe pictorial is mandatory. Finally, specific syntactical featuresare explicated that recommend themselves as necessary conditions forthe application of the concept of a picture.

, Rudolf Carnap became a chief proponent of the doctrine that the statements of intuitionism carry nonstandard intuitionistic meanings. This doctrine is linked to Carnap's ‘Principle of Tolerance’ and claims he made on behalf of his notion of pure syntax. From premises independent of intuitionism, we argue that the doctrine, the Principle, and the attendant claims are mistaken, especially Carnap's repeated insistence that, in defining languages, logicians are free of commitment to mathematical statements intuitionists would reject. I am grateful to (...) Nathan Carter, Gary Ebbs, Janet Folina, Luise Prior McCarty, Stewart Shapiro, Neil Tennant, Christopher Tillman, Beth Tropman, Wen-fang Wang, and two anonymous referees for their comments and suggestions. CiteULike Connotea Del.icio.us What's this? (shrink)

Paul Feyerabend once made a remark to the effect that his pragmatic theory of observation can be traced back to proposals put forward by leading Logical Empiricists during the height of the protocol sentence debate. In this paper I want to vindicate the systematic side of Feyerabend’s remark and show that a pragmatic theory of observation can in fact be found in Rudolf Carnap’s writings of 1932. I first proceed to dispel a misunderstanding concerning the term “pragmatic” raised by Thomas (...) Oberdan. Following Morris’ and Carnap’s documented usage, I show that the intended meaning of “pragmatic” refers to a specific semiotic relation between users of a language and their environment describable by empirical means. I reconstruct such a pragmatic theory in terms of a detector model that interprets observation sentences as bodily dispositions indicating physical events in the surroundings of the detector. I then proceed to show how Feyerabend’s later theory of observation picks up central features of Carnap’s account and also shares some of the motivations. I conclude by noting how an empirical theory of observation sentences offers a bootstrapping solution to the “basis problem”. (shrink)

The thesis of this paper is that we can justify induction deductively relative to one end, and deduction inductively relative to a different end. I will begin by presenting a contemporary variant of Hume ’s argument for the thesis that we cannot justify the principle of induction. Then I will criticize the responses the resulting problem of induction has received by Carnap and Goodman, as well as praise Reichenbach ’s approach. Some of these authors compare induction to deduction. Haack compares (...) deduction to induction, and I will critically discuss her argument for the thesis that we cannot justify the principles of deduction next. In concluding I will defend the thesis that we can justify induction deductively relative to one end, and deduction inductively relative to a different end, and that we can do so in a non-circular way. Along the way I will show how we can understand deductive and inductive logic as normative theories, and I will briefly sketch an argument to the effect that there are only hypothetical, but no categorical imperatives. (shrink)

In this article, the prospects of deflationism about the concept of truth are investigated. A new version of deflationism, called inferential deflationism, is articulated and defended. It is argued that it avoids the pitfalls of earlier deflationist views such as Horwich’s minimalist theory of truth and Field’s version of deflationism.

In the nineteenth and twentieth centuries many mathematicians referred to intuition as the indispensable research tool for obtaining new results. In this essay we will analyse a group of mathematicians who interacted with Luitzen Egbertus Jan Brouwer in order to compare their conceptions of intuition. We will see how to the same word “intuition” very different meanings corresponded: they varied from geometrical vision, to a unitary view of a demonstration, to the perception of time, to the faculty of considering concepts (...) that habitually occur in our thinking separately. Furthermore, we will discover that these different meanings had a philosophical, very relevant counterside: they passed from a racial characterization of mathematics to a pluralistic view of it. (shrink)

After recalling the distinction between logic as reasoning and logic as theory of reasoning, we first examine the question of relativity of logic arguing that the theory of reasoning as any other science is relative. In a second part we discuss the emergence of universal logic as a general theory of logical systems, making comparison with universal algebra and the project of mathesis universalis. In a third part we critically present three lines of research connected to universal logic: logical pluralism, (...) non-classical logics and cognitive science. (shrink)

The application of paraconsistent logics to theological contradictions is a fascinating move. Jc Beall’s (J Anal Theol, 7(1): 400–439, 2019) paper entitled ‘Christ—A Contradiction: A Defense of ‘Contradictory Christology’ is a notable example. Beall proposes a solution to the fundamental problem of Christology. His solution aims at making the case, and defending the viability of, what he has termed, ‘Contradictory Christology’. There are at least two essential components of Beall’s ‘Contradictory Christology’. These include the dogmatic statements of Chalcedon and FDE (...) logic. The first is the theological contradiction in question. The second is the type of paraconsistent logic. Both components are integral to a contradictory theology in general. I argue that there can be no such thing as an Islamic contradictory theology. I make the case by establishing two points. These points correspond to both integral components of a contradictory theology in general. The first is that an Islamic theological contradiction does not entail an actual (logical) contradiction. The second is that FDE logic, including alternative sub-classical systems of logic, are not adequate in tolerating an Islamic theological contradiction. (shrink)

Since the beginning of the 20th century, philosophers of science have asked, "what kind of thing is a scientific theory?" The logical positivists answered: a scientific theory is a mathematical theory, plus an empirical interpretation of that theory. Moreover, they assumed that a mathematical theory is specified by a set of axioms in a formal language. Later 20th century philosophers questioned this account, arguing instead that a scientific theory need not include a mathematical component; or that the mathematical component need (...) not be specified by a set of axioms in a formal language. We survey various accounts of scientific theories entertained in the 20th century -- removing some misconceptions, and clearing a path for future research. (shrink)

Die vorliegende Schrift unternimmt eine Revision des vorherrschenden Bildes der Rolle und der Konzeptionen von Moral und Ethik im Wiener Kreis. Dieses Bild wird als zu einseitig und undifferenziert zurückgewiesen. Die Ansicht, die Mitglieder des Wiener Kreises hätten kein Interesse an Moral und Ethik gezeigt, wird widerlegt. Viele Mitglieder waren nicht nur moralisch und politisch interessiert, sondern auch engagiert. Des Weiteren vertraten nicht alle die Standardauffassung logisch-empiristischer Ethik, die neben der Anerkennung deskriptiv-empirischer Untersuchungen durch die Ablehnung jeglicher normativer und inhaltlicher (...) Ethik und der Verfechtung eines extremen Nonkognitivismus geprägt ist. Am meisten entspricht die Standardauffassung den Ansichten Rudolf Carnaps, weniger bereits jenen Karl Mengers, Otto Neuraths oder Philipp Franks. Am weitesten weichen Moritz Schlick, Victor Kraft sowie Herbert Feigl von der Standardauffassung ab. Entgegen dem herkömmlichen Bild weltabgewandter Logiker und Metaethiker wurde im Wiener Kreis sogar Angewandte Ethik betrieben, und dies bereits unter diesem Namen. Neben den ethischen Hauptthemen und Ansichten der jeweiligen Philosophen in ihrer Entwicklung im Rahmen ihres persönlichen und kulturellen Kontextes zeigt die Untersuchung, dass allen Ansätzen eine aufgeklärte und humanistische Version von Moral und Ethik gemeinsam ist. Dieser wissenschaftliche Humanismus, der sich schon in der Programmschrift Wissenschaftliche Weltauffassung. Der Wiener Kreis findet, liegt jedoch in verschiedenen Ausprägungen vor. Was die Abweichungen von der Standardauffassung wesentlich betrifft, ist ihre unterschiedliche Auffassung von Moral als gemeinsames oder individuelles Unternehmen. Carnap führt ein extremer Individualismus zu einem extremen Nonkognitivismus, in dem ihm Menger folgt. Bei Schlick ist die Lage zweideutig, was sich in unterschiedlichen Moralbegriffen widerspiegelt. Bei Kraft und Feigl tritt das Verständnis von Moral als gemeinschaftlich geteilte Praxisform klar hervor. Auf der Basis eines gemeinsamen Begriffs des moralisch Guten, der auch eine Sachkomponente enthält, ist eine Verständigung über moralische Fragen möglich. Von einem extremen Nonkognitivismus kann dort nicht mehr die Rede sein. Mit diesen Ergebnissen verbietet es sich, dem Wiener Kreis allgemein eine Ablehnung normativer Ethik und einen extremen Nonkognitivismus zuzuschreiben. Eine systematische Ethik, die Moral als Gemeinschaftspraxis begreift, steht einigen im Wiener Kreis näher, als das vorherrschende Bild suggerieren möge. Wer meint, mit engem Bezug zur Tradition des Wiener Kreises nur Carnap folgen zu können und Ethik als suspektes Unternehmen betrachten zu müssen, irrt. Ethik war in der Tradition Analytischer Philosophie nicht immer so marginalisiert, wie sie es in manchen ihrer Teilrichtungen heute noch ist und Gegner(innen) der Analytischen Philosophie vorwerfen. Die vorliegende Untersuchung liefert die nötige Revision einer verfänglichen Fehlentwicklung. (shrink)

Gödel claimed that Zermelo-Fraenkel set theory is 'what becomes of the theory of types if certain superfluous restrictions are removed'. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.

I provide a compact reformulation of Carnap’s conditions of adequacy for the analytic and the synthetic component of a theory and show that, contrary to arguments by Winnie and Demopoulos, Carnap’s conditions of adequacy need not be supplemented by another condition. This has immediate implications for the analytic component of reduction sentences.

This paper examines Helmholtz's attempt to use empirical psychology to refute certain of Kant's epistemological positions. Particularly, Helmholtz believed that his work in the psychology of visual perception showed Kant's doctrine of the a priori character of spatial intuition to be in error. Some of Helmholtz's arguments are effective, but this effectiveness derives from his arguments to show the possibility of obtaining evidence that the structure of physical space is non-Euclidean, and these arguments do not depend on his theory of (...) vision. Helmholtz's general attempt to provide an empirical account of the "inferences" of perception is regarded as a failure. (shrink)

This note focuses on the interaction between logic and grammar and discusses whether logical rules are irrelevant for syntactic formation. Classical evidence for the independence of syntax from logic comes from the acceptability of analytic propositions. Based on this piece of evidence, various authors in traditional discussions pronounced that language is illogical. This note focuses instead on two ways to oppose such pronouncements. In Gramscian linguistics, one can maintain that language is not illogical by broadening the notion of language one (...) adopts. In an alternative account we submit, one can oppose those pronouncements by restricting the notion of analyticity which is assumed to be relevant for syntactic formation. (shrink)

The dissertation provides an analysis and elaboration of Michael Dummett's proof-theoretic notions of validity. Dummett's notions of validity are contrasted with standard proof-theoretic notions and formally evaluated with respect to their adequacy to propositional intuitionistic logic.

According to traditional logical expressivism, logical operators allow speakers to explicitly endorse claims that are already implicitly endorsed in their discursive practice — endorsed in virtue of that practice’s having instituted certain logical relations. Here, I propose a different version of logical expressivism, according to which the expressive role of logical operators is explained without invoking logical relations at all, but instead in terms of the expression of discursive-practical attitudes. In defense of this alternative, I present a deflationary account of (...) the expressive role of vocabulary by which we ascribe logical relations. (shrink)

This paper briefly discusses the relations between logic and metalogic in history. Metalogic is understood as a reflection on logic in its various senses, particularly sensu stricto (formal, mathematical) and sensu largo (formal logic plus semantic plus methodology of science). It is shown that metalogic in its contemporary understanding arose after mathematical logic had become a mature discipline. Special passage is devoted to metalogic in Poland. The last part of the paper discussed so-called logocentric predicament.

In order to fully understand Michel Foucault’s archeology of knowledge it is necessary to put it not only in the context of the discourse theories of the French school, but also in that of the linguistic theories of science. On the one hand, Foucault rejects the representational theory of scientific language. In his analysis of the discourse of the human sciences, with its complicated definition of the statement, he aims to show that we cannot limit the language of knowledge to (...) a vocabulary. On the other hand, Foucault’s approach is a serious challenge to structuralism because it is impossible to analyze the language of savoirs without taking into account the statement’s correlate. If the discourse of sciences is an artificial vocabulary created by means of the purification of the natural language, Saussure’s semiology could not compete against the conceptual dynamics of representational semiotics, and should admit that, in the cognitive usage, signs are representations. Therefore, Foucault admits that the statement has a correlate, that this correlate is not a physical object and that it functions as a historical structure of the discourse. This structure can be seen as a norm; the changing of this norm cannot be identified but in the archive and its description is always retrospective, structural and archaeological. (shrink)

ABSTRACT Arne Naess once called himself ?a kind of metaphysician?: did or did he not therewith turn his back on his philosophical mentors in the Vienna Circle? To try to determine the meaning of this self-ascription, this paper first considers in detail two works in which his disagreements with the philosophers of the Vienna Circle found their clearest and most detailed expression. Concentrating on Carnap it will be argued that while some of Naess's criticisms cannot be taken as authoritative, he (...) did indicate a clear dividing line between himself and Carnap. Turning then to Naess's valediction to philosophy of science from 1972, Naess's appreciation of the role of metaphysics for science will be discussed and compared with his appreciation for the role of metaphysics for personal and political life as expressed in his still later ecophilosophy. Once allowance is made for the different needs addressed by his writings for the deep ecology movement and a certain 1960s' rhetoric is discounted as no longer appropriate, it can be seen that Naess's theoretical philosophy exhibited a remarkable continuity throughout. (shrink)