We prove, by using the concept of schematic interpretation, that the natural embedding from the category ISL, of intuitionistic sentential pretheories and i-congruence classes of morphisms, to the category CSL, of classical sentential pretheories and c-congruence classes of morphisms, has a left adjoint, which is related to the double negation interpretation of Gödel-Gentzen, and a right adjoint, which is related to the Law of Excluded Middle. Moreover, we prove that from the left to the right adjoint there is a pointwise (...) epimorphic natural transformation and that since the two endofunctors at CSL, obtained by adequately composing the aforementioned functors, are naturally isomorphic to the identity functor for CSL, the string of adjunctions constitutes an adjoint cylinder. On the other hand, we show that the operators of Lindenbaum-Tarski of formation of algebras from pretheories can be extended to equivalences of categories from the category CSL, respectively, ISL, to the category Bool, of Boolean algebras, respectively, Heyt, of Heyting algebras. Finally, we prove that the functor of regularization from Heyt to Bool has, in addition to its well-known right adjoint (that is, the canonical embedding of Bool into Heyt) a left adjoint, that from the left to the right adjoint there is a pointwise epimorphic natural transformation, and, finally, that such a string of adjunctions constitutes an adjoint cylinder. (shrink)
We explore ways in which purely qualitative belief change in the AGM tradition throws light on options in the treatment of conditional probability. First, by helping see why it can be useful to go beyond the ratio rule defining conditional from one-place probability. Second, by clarifying what is at stake in different ways of doing that. Third, by suggesting novel forms of conditional probability corresponding to familiar variants of qualitative belief change, and conversely. Likewise, we explain how recent work on (...) the qualitative part of probabilistic inference leads to a very broad class of 'proto-probability' functions. (shrink)
In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)
The author is interested in discussing various aspects of the propositional calculus; in particular, the relationships among the various propositional connectives in various systems of logic such as Intuitionistic and modal are scrutinized. The first three chapters survey the notation to be used and describe the general notion of logistic system; the author then describes the concept of a deductive system in exceptional generality, then treats the connexions of equivalence and independence among such deductive systems in what are essentially algebraic (...) terms. Building on the latter work, he then treats the idea of one system's being an extension of the other, going into the details concerning the fine structure of exactly what sort of extension it is—conservative, consistent, and thus arrives at Lindenbaum's lemma. The equivalence relations of congruence and equipollence among propositional systems form the central core around which Porte's discussion of axiomatizability of systems of connectives constituting various propositional calculi is based. Porte is one of the best of the several young logicians now working in France and this book is useful both as a technical treatise containing a sophisticated treatment of sentential logic, and as a guide to at least one direction and trend of contemporary French logical thought.—P. J. M. (shrink)
In ‘Other Minds’, J.L. Austin advances a parallel between saying ‘I know’ and saying ‘I promise’: much as you are ‘prohibited’, he says, from saying ‘I promise I will, but I may fail’, you are also ‘prohibited’ from saying ‘I know it is so, but I may be wrong’. This treatment of ‘I know’ has been derided for nearly sixty years: while saying ‘I promise’ amounts to performing the act of promising, Austin seems to miss the fact that saying ‘I (...) know’ fails to constitute a performance of the act of knowing. In this paper, I advance a defense of Austin’s position. I diagnose the principal objections to Austin’s account as stemming from detractors’ failure to acknowledge: (1) that Austin never characterizes ‘I know’ as a pure performative; (2) that saying ‘I know p’, unlike simply knowing p, occurs in specific interpersonal contexts in which others rely on our knowledge claims; (3) Austin’s considered account of the felicity conditions of performative utterance; (4) Austin’s ultimate repudiation of the performative/constative distinction. I conclude that Austin’s treatment of ‘I know’ rests on a more general commitment to the intrinsically normative nature of ordinary language. (shrink)
Alice Crary has recently developed a radical reading of J. L. Austin's philosophy of language. The central contention of Crary's reading is that Austin gives convincing reasons to reject the idea that sentences have context-invariant literal meaning. While I am in sympathy with Crary about the continuing importance of Austin's work, and I think Crary's reading is deep and interesting, I do not think literal sentence meaning is one of Austin's targets, and the arguments that Crary attributes to Austin or (...) finds Austinian in spirit do not provide convincing reasons to reject literal sentence meaning. In this paper, I challenge Crary's reading of Austin and defend the idea of literal sentence meaning. (shrink)
J. L. Schellenberg’s Philosophy of Religion argues for a specific brand of sceptical religion that takes ‘Ultimism’ – the proposition that there is a metaphysically, axiologically, and soteriologically ultimate reality – to be the object to which the sceptical religionist should assent. In this article I shall argue that Ietsism – the proposition that there is merely something transcendental worth committing ourselves to religiously – is a preferable object of assent. This is for two primary reasons. First, Ietsism is far (...) more modest than Ultimism; Ietsism, in fact, is open to the truth of Ultimism, while the converse does not hold. Second, Ietsism can fulfil the same criteria that compel Schellenberg to argue for Ultimism. (shrink)
In Heidegger’s Being and Time certain concepts are discussed which are central to the ontological constitution of Dasein. This paper demonstrates the interesting manner in which some of these concepts can be used in a reading of T.S. Eliot’s The Love Song of J. Alfred Prufrock. A comparative analysis is performed, explicating the relevant Heideggerian terms and then relating them to Eliot’s poem. In this way strong parallels are revealed between the two men’s respective thoughts and distinct modernist sensibilities. Prufrock, (...) the protagonist of the poem, and the world he inhabits illustrate poetically concepts such as authenticity, inauthenticity, the ‘they’, idle talk and angst, which Heidegger develops in Being and Time. (shrink)
This paper is a detailed examination of some parts of J. P. Moreland's book on "the argument from consciousness". (There is a companion article that discusses the parts of the book not taken up in this critical notice.).
La metafísica después de ser ignorada por años ha regresado al centro de la escena en la filosofía contemporánea. Tomás de Aquino ha vivido una historia muy parecida, lo que dio nacimiento al tomismo analítico. A pesar de los trabajos desarrollados en esta línea de investigación, la metafísica del Aquinate ha sido fuertemente ignorada. Sin embargo, la metafísica de Tomás de Aquino tiene una ventaja, poco discutida entre los tomistas y tomasinos, y es la de ser una metafísica esencialista. Así, (...) en armonía con el trabajo del metafísico E. J. Lowe, quien presenta su metafísica como “esencialista seria”, se quiere mostrar que la metafísica del Aquinate tiene las mismas virtudes del “esencialismo serio”, lo que permite postularla como una posición válida y plausible para la metafísica contemporánea. (shrink)
In his new book, "The Romantic Conception of Life: Science and Philosophy in the Age of Goethe," Robert J. Richards argues that Charles Darwin's true evolutionary roots lie in the German Romantic biology that flourished around the beginning of the nineteenth century. It is argued that Richards is quite wrong in this claim and that Darwin's roots are in the British society within which he was born, educated, and lived.
This paper seeks to reinterpret the life and work of J. B. S. Haldane by focusing on an illuminating but largely ignored essay he published in 1927, "The Last Judgment" -- the sequel to his better known work, "Daedalus" (1924). This astonishing essay expresses a vision of the human future over the next 40,000,000 years, one that revises and updates Wellsian futurism with the long range implications of the "new biology" for human destiny. That vision served as a kind of (...) lifelong credo, one that infused and informed his diverse scientific work, political activities, and popular writing, and that gave unity and coherence to his remarkable career. (shrink)
Adam Smith and J-J Rousseau share some common ground when it comes to religion, namely that they were born into and educated in cultural contexts deeply shaped by Reformed Christianity. However, close consideration of their writings on religion reveal marked difference. This paper explores those differences and finds that Rousseau and Smith are radically at odds on this score. Smith has almost nothing to say about personal spirituality, and locates the significance of religion in its social role. Rousseau, on the (...) other hand, accords religion no social role whatever, and finds its value to be purely of a personal and spiritual nature. This difference is not without some contemporary relevance, since it highlights some of the issues surrounding the distinction between ‘religion’ and ‘spirituality’ in modern secularized societies. (shrink)
In contrast to many of his contemporaries, A. J. Ayer was an analytic philosopher who had sustained throughout his career some interest in developments in the work of his ‘continental’ peers. Ayer, who spoke French, held friendships with some important Parisian intellectuals, such as Camus, Bataille, Wahl and Merleau-Ponty. This paper examines the circumstances of a meeting between Ayer, Merleau-Ponty, Wahl, Ambrosino and Bataille, which took place in 1951 at some Parisian bar. The question under discussion during this meeting was (...) whether the sun existed before humans did, over which the various philosophers disagreed. This disagreement is tangled with a variety of issues, such as Ayer’s critique of Heidegger and Sartre, Ayer’s response to Merleau-Ponty’s critique of empiricism, and Bataille’s response to Sartre’s critique of his notion of ‘unknowing’, which uncannily resembles Ayer’s critique of Sartre. Amidst this tangle one finds Bataille’s statement that an ‘abyss’ separates English from French and German philosophy, the first recorded announcement of the analytic-continental divide in the twentieth century. (shrink)
In the same year, 1961, Peter D. Mitchell and Robert R.J.P. Williams both put forward hypotheses for the mechanism of oxidative phosphorylation in mitochondria and photophosphorylation in chloroplasts. Mitchell's proposal was ultimately adopted and became known as the chemiosmotic theory. Both hypotheses were based on protons and differed markedly from the then prevailing chemical theory originally proposed by E.C. Slater in 1953, which by 1961 was failing to account for a number of experimental observations. Immediately following the publication of Williams (...) 's hypothesis and before his own was published, Mitchell initiated a correspondence. Examination of the letters shows the development of a dispute based on the validity of the proposals, who should have priority and particularly whether Mitchell had drawn on Williams 's work without acknowledgement. We have concluded that Mitchell's proposals were original although it is evident that prior to the correspondence Williams had considered and rejected a proposition similar to Mitchell's theory. However, a major cause of the dispute was the difference in disciplinary backgrounds of Mitchell, a microbial biochemist and Williams, a chemist. (shrink)
Von 1925 bis 1928 wurden im Berliner J. M. Spaeth-Verlag unter der Leitung von Hans Rosenkranz eine Reihe von Werken seinerzeit eher unbekannter, in der Retrospektive jedoch signifikanter Autoren der Zwischenkriegszeit publiziert. Der Beitrag thematisiert Rosenkranz als jungen Verleger und Bewunderer Stefan Zweigs. Er entwirft auf Grundlage der Archivüberlieferung einen neuen Blick auf die Geschichte des Unternehmens und kommentiert das damit verbundene literarische Programm: Welche wichtigen verlegerischen Projekte wurden in jener kurzen Zeit unternommen? Welche Rolle hatte Stefan Zweig für das (...) Zustandekommen einiger Titel und besonders in den letzten Wochen der Verlagsexistenz? Inwiefern lässt sich Programmgestaltung und ökonomische Entwicklung von J. M. Spaeth als paradigmatisch für jüdische Verlage in der Weimarer Republik verstehen? Dazu wird erstmals das Scheitern des Unternehmens während der „Bücherkrise“ Ende der 1920er Jahre aus den Quellen rekonstruiert. (shrink)
. Dzik  gives a direct proof of the axiom of choice from the generalized Lindenbaum extension theorem LET. The converse is part of every decent logical education. Inspection of Dzik’s proof shows that its premise let attributes a very special version of the Lindenbaum extension property to a very special class of deductive systems, here called Dzik systems. The problem therefore arises of giving a direct proof, not using the axiom of choice, of the conditional . A (...) partial solution is provided. (shrink)
This paper gives an account of the debate between F.A. Hayek and J.M. Keynes in the 1930s written for the general public. The purpose of this is twofold. First, to provide the general reader with a narrative of what happened, … More ›.