Gottfried Leibniz embarked on a research program to prove all the Aristotelic categorical syllogisms by diagrammatic and algebraic methods. He succeeded in proving them by means of Euler diagrams, but didn’t produce a manuscript with their algebraic proofs. We demonstrate how key excerpts scattered across various Leibniz’s drafts on logic contained sufficient ingredients to prove them by an algebraic method –which we call the Leibniz-Cayley (LC) system– without having to make use of the more expressive and complex machinery of (...) first-order quantificational logic. In addition, we prove the classic categorical syllogisms again by a relational method –which we call the McColl-Ladd (ML) system– employing categorical relations studied by Hugh McColl and Christine Ladd. Finally, we show the connection of ML and LC with Boolean algebra, proving that ML is a consequence of LC, and that LC is a consequence of the Boolean lattice axioms, thus establishing Leibniz’s historical priority over George Boole in characterizing and applying (a sufficient fragment of) Boolean algebra to effectively tackle categorical syllogistic. (shrink)

Arthur Danto’s recent book, Andy Warhol, leads the reader through the story of the iconic American’s artistic life highlighted by a philosophical commentary, a commentary that merges Danto’s aesthetic theory with the artist himself. Inspired by Warhol’s Brillo Box installation, art that in Danto’s eyes was indiscernible from the everyday boxes it represented, Danto developed a theory that is able to differentiate art from non-art by employing the body of conceptual art theory manifest in what he termed the ‘artworld’. (...) The strength of Danto’s theory is found in its ability to explain the art of the post-modern era. His body of work weaves philosophy, art history and art criticism together, merging his aesthetic philosophy with his extensive knowledge of the world of art. Danto’s essentialist theory of embodied meaning provides him with a critical tool that succeeds in explaining the currents of contemporary art, a task that many great thinkers of art history were unable to do. If Warhol inspired Danto to create a philosophy of art, it is appropriate that Danto write a tribute to Warhol that traces how Warhol brought philosophy into art. Danto’s account of ‘Warhol as philosopher’ positions him as a pivotal figure in the history of twentieth-century art, effecting a sea change in how art was made and viewed. Warhol achieved this by conceiving of works that embodied the answers to a series of philosophical puzzles surrounding the nature of art. Warhol, as Danto describes him, manifests himself in his art because he had transformed himself, in a way, into an icon of the times. This pragmatist notion that art should undermine the dichotomies that exist between art and life would, by some accounts, position Warhol to be the philosopher that Danto claims him to be, for he dissolved the philosophical questions posted by late modern aesthetic thinkers by creating art that imploded the accepted notions of art at the time. One of Danto’s greatest contributions to aesthetics is his theory’s ability to distinguish art from non-art, recognizing that it is the artist’s intention that levels the sublimity of art into the commonplace, thereby transfiguring the everyday. However, acknowledging this achievement, I argue that Warhol’s philosophical contribution actually manifests itself in a manner different from that proposed by Danto. Danto maintains that the internal drive of art leads to the unfolding of art theoretical concepts that ineluctably shift the terrain of world of art. I would agree with Danto that Warhol, almost as Hegel viewed Napoleon as Geist on a horse, pushed forward the boundaries of art through the actualization of art’s internal drive. But I would disagree that the conceptual nature of art is one that unfolds merely as a relation of concepts that artists trace through a connection to the meaning of history they forge using their unmediated grasp of style. Rather, I would argue that the artist’s style is not bound so narrowly to the meanings they express. Through their aesthetic articulations, artists initiate a process of social interaction. This process employs the philosophical logic which Danto attributes to Warhol indirectly, and through it, it is able to transfigure the vocabulary of art—the concepts of the artworld—by superseding the language of modernism. Warhol’s philosophical contribution is seen in his mastery of both the medium of art and the underlying logic of the medium’s expression and reception. (shrink)

This paper draws attention to a proof of the necessity of identity given by Arthur Prior. In its simplicity, it is comparable to a proof of Quine's, popularised by Kripke, but it is slightly different. Prior's Polish notation is transcribed into a more familiar idiom. Prior's proof is followed by a proof of the necessity of difference, possibly the first such proof in the literature, which is also repeated here and transcribed. The paper concludes with a brief discussion of (...) Prior's views on identity and difference over time. (shrink)

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)

What is the relationship between the world and logic, between intuition and language, between objects and their quantitative determinations? Rationalists, on the one hand, hold that the world is structured in a rational way. Representationalists, on the other hand, assume that language, logic, and mathematics are only the means to order and describe the intuitively given world. In World and Logic, Jens Lemanski takes up three surprising arguments from Arthur Schopenhauer’s hitherto undiscovered Berlin Lectures, which concern (...) the philosophy of language, logic, and mathematics. Based on these arguments, Lemanski develops a new position entitled ‘rational representationalism’: the world is always structured by human beings according to linguistic, logical, and mathematical principles, but the basic vocabulary of these structural descriptions already contains metaphors taken from the world around us. (shrink)

My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a (...) realm of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)

From the beginning of the 16th century to the end of the 18th century, there were not less than ten philosophers who focused extensively on Venn’s ostensible analytical diagrams, as noted by modern historians of logic (Venn, Gardner, Baron, Coumet et al.). But what was the reason for early modern philosophers to use logic or analytical diagrams? Among modern historians of logic one can find two theses which are closely connected to each other: M. Gardner states that (...) since the Middle Ages certain logic diagrams were used just in order to teach “dull-witted students”. Therefore, logic diagrams were just a means to an end. According to P. Bernhard, the appreciation of logic diagrams had not started prior to the 1960s, therefore the fact that logic diagrams become an end the point of research arose very late. The paper will focus on the question whether logic resp. analytical diagrams were just means in the history of (early) modern logic or not. In contrast to Gardner, I will argue that logic diagrams were not only used as a tool for “dull-witted students”, but rather as a tool used by didactic reformers in early modern logic. In predating Bernhard’s thesis, I will argue that in the 1820s logic diagrams had already become a value in themselves in Arthur Schopenhauer’s lectures on logic, especially in proof theory. (shrink)

In the past twenty years, scholarly interest in John Dewey's later writings has surged. While later works such as Art as Experience (1934), Logic: The Theory of Inquiry (1938), and Freedom and Culture (1939) have received considerable attention, Knowing and the Known (1949), Dewey's late-in-life collaboration with Arthur F. Bentley, has been largely neglected. A common bias among Dewey scholars is that this work, instead of developing Dewey's Logic, departs from its spirit, reflects the overbearing influence of (...) Bentley on Dewey (who was at the time an octogenarian), and, therefore, merits little serious scholarly consideration. However, Dewey and Bentley engaged in an extended correspondence, collected in John Dewey and Arthur Bentley: A Philosophical Correspondence, 1932-1951 (1964), the result of which was no less than a watershed moment in Dewey's thinking on the experimental method of inquiry. The Logic was improved in ways that incorporated the insights of Charles Sanders Peirce's logic and developed Dewey's earlier work in a direction expressly intended by the aging pragmatist. Indeed, Dewey writes in correspondence with his co-author: "You [Bentley] shouldn't lean too heavily on the [1938] Logic; it wasn't a bad job at the time, but I could do better now [with Knowing and the Known]; largely through association with you and getting the courage to see my thing [logical theory] through without compromise" (Correspondence, 4:595, see also 184, 420, 481, 483-84). One of the few scholars of American pragmatism to acknowledge that Knowing and the Known was a watershed development in Dewey's thinking is Frank X. Ryan, author of an exciting new book, Seeing Together: Mind, Matter, and the Experimental Outlook of John Dewey and Arthur F. Bentley, that clearly and concisely presents the revolutionary method developed in Knowing and Known: the transactional approach. (shrink)

ABSTRACTHegel's Phenomenology of Spirit provides a fascinating picture of individual minds caught up in “recognitive” relations so as to constitute a realm—“spirit”—which, while necessarily embedded in nature, is not reducible to it. In this essay I suggest a contemporary path for developing Hegel's suggestive ideas in a way that broadly conforms to the demands of his own system, such that one moves from logic to a philosophy of mind. Hence I draw on Hegel's “subjective logic”, understood in the (...) light of modern modal logic, in an attempt to model the way minds might be thought as connected by way of shared intentional contents. Here, we should not be surprised at some of the parallels that emerge between the approaches of Hegel and the modal logician Arthur Prior, as Prior had testified to the influence of his teacher, John N. Findlay, who himself had strong Hegelian leanings. In the final section, Robert Stalnaker's version of possible-world semantics is suggested as a framework within which Hegel's recognitive account of the mind might be understood. (shrink)

Arthur Danto asserts that Maya Lin’s Vietnam Veterans Memorial in Washington embodies the rhetoric paradigm of internal beauty’s meaning. However, the relationship to the Kant’s pulchritudo adhaerens is not an easy one: Danto’s recalls against the self-referent formalism of Greenberg’s Modernism and his tacit issues about the environmental non-monumentality of Richard Serra’s Minimalism, are, most importantly, haunted by the unquestioned spectral logic of the image embodiment. The beholders’ reflecting shape on the funeral Wall is, finally, both a pathetic (...) index and a medial incarnation–e.g. a Verkörperung–of the underworld. (shrink)

The article is an attempt to pinpoint the areas of Ludwig Wittgenstein aesthetic thought, in which he is crossing the borders principally imposed upon the method and the language of his philosophy. I am directing my attention to metaphysical and mystical motifs of his reflection devoted to aesthetics, the essence of art and the essence of reality. I wish to discuss this issue based on the texts of Arthur C. Danto containing analysis of chosen notions of Wittgenstein’s aesthetic investigations. (...) Additionally in this matter I am appealing to appropriate theses of Leszek Sosnowski and Wojciech Sady, concerning above issues. (shrink)

Frank Snare had a puzzle. Noncognitivism implies No-Ought-From-Is but No- Ought-From-Is does not imply non-cognitivism. How then can we derive non-cognitivism from No-Ought-From-Is? Via an abductive argument. If we combine non-cognitivism with the conservativeness of logic (the idea that in a valid argument the conclusion is contained in the premises), this implies No-Ought-From-Is. Hence if No-Ought-From-Is is true, we can arrive at non-cognitivism via an inference to the best explanation. With prescriptivism we can make this argument more precise. I (...) develop an account of imperative consequence that underwrites Hare’s principle that you cannot derive imperatives from indicatives. Thus if moral judgments contain an imperative component, it will be impossible to derive moral conclusions from indicative or non-moral premises. Given this account of imperative consequence, we can explain No-Ought-From-Is without appealing to anything as nebulous as the conservativeness of logic. Hence if No-Ought-From-Is is true, we have an inference to the best explanation for prescriptivism. Both lines of argument face problems from Prior. Given Prior’s counterexamples, No-Ought-From-Is as originally conceived is false. The version that survives is No-Non-Vacuous-Ought-From-Is. But the best explanation of this does not include non-cognitivism. With prescriptivism it is worse. For the version of No-Ought-From-Is that prescriptivism ‘explains’ – that is, the version of No-Ought-From-Is that prescriptivism implies – would exclude Prior’s counter-examples to Autonomy as invalid. But they are not invalid. Thus Prior’s counter-examples to No-Ought-From- Is refute prescriptivism. Thus from 1960 onwards R. M.Hare was a dead philosopher walking. But if non-cognitivism cannot be derived from No-Ought-From-Is, this suggests that it is not what Hume was trying to prove. I argue that what Hume was trying to prove is that moral truths are not demonstrable. To be demonstrable, a proposition must be either self-evident or logically derivable from self-evident propositions. By Treatise 3.1.1.27, Hume had proved to his own satisfaction that no moral propositions are self-evident. That leaves open the possibility that they are logically derivable from self-evident but NON-moral propositions. The point of No-Ought-From-Is was to exclude this possibility. If you cannot logically derive moral conclusions from non-moral premises, you cannot demonstrate the truths of morality by deriving them from self-evident but NON-moral truths. I also discuss why Hume abandoned No-Ought-From-Is in the EPM. He had no need of it since he thought he had a proof that (with some exceptions) no nontrivial truths are demonstrable. Hence no non-trivial MORAL truths are demonstrable. No-Ought-From-Is drops out as unnecessary. (shrink)

The main thesis of this paper is that Pap’s The Functional A Priori of Physical Theory (Pap 1946, henceforth FAP) and Cassirer’s Determinism and Indeterminism in Modern Physics (Cassirer 1937, henceforth DI) may be conceived as two kindred accounts of a late Neo-Kantian philosophy of science. They elucidate and clarify each other mutually by elaborating conceptual possibilities and pointing out affinities of neo-Kantian ideas with other currents of 20th century’s philosophy of science, namely, pragmatism, conventionalism, and logical empiricism. Taking into (...) account these facts, it seems not too far fetched to conjecture that under more favorable circumstances Pap could have served as a mediator between the “analytic” and “continental” tradition thereby overcoming the dogmatic dualism of these two philosophical currents that has characterized philosophy in the second half the 20th century. (shrink)

George M. Searle (1839-1918) and Charles S. Peirce worked together in the Coast Survey and the Harvard Observatory during the decade of 1860: both scientists were assistants of Joseph Winlock, the director of the Observatory. When in 1868 George, a convert to Catholicism, left to enter the Paulist Fathers, he was replaced by his brother Arthur Searle. George was ordained as a priest in 1871, was a lecturer of Mathematics and Astronomy at the Catholic University of America, and became (...) the fourth superior general of his congregation from 1904 to 1909. Among the books he wrote for non-Catholic audiences was Plain Facts for Fair Minds (1895). On the 8th of August of 1895, Peirce found that book in a bookstore and the following day wrote a letter to George Searle developing his strong reservations about the question of the infallibility of the Pope. This letter (L 397) is almost unknown amongst Peirce's scholars. -/- After describing these historical circumstances as a framework, the aim of my paper is to describe Peirce's arguments against papal infallibility presented by George Searle in his book, and the contrast between the genuine scientific attitude and the putative metaphysical notion of absolute truth that is —according to Peirce— behind Searle's defense of infallibility. In this sense, Peirce's fallibilism will be explained with some detail, giving an account also of his practical infallibilism: "The assertion that every assertion but this is fallible, is the only one that is absolutely infallible. But though nothing else is absolutely infallible, many propositions are practically infallible; such as the dicta of conscience" (Minute Logic, CP 2.75, c. 1902). -/- Finally, having in mind the present interest in Peirce's religious ideas it will be suggested that some of Peirce's ideas on infallibility are nearer to contemporary understanding of that issue than Searle's defense. "I would with all my heart join the ancient church of Rome if I could. But your book," —Peirce writes to Searle— "is an awful warning against doing so." -/- . (shrink)

I argue that No-Ought-From-Is (in the sense that I believe it) is a relatively trivial affair. Of course, when people try to derive substantive or non-vacuous moral conclusions from non-moral premises, they are making a mistake. But No-Non-Vacuous-Ought-From-Is is meta-ethically inert. It tells us nothing about the nature of the moral concepts. It neither refutes naturalism nor supports non-cognitivism. And this is not very surprising since it is merely an instance of an updated version of the conservativeness of logic (...) (in a logically valid inference you don’t get out what you haven’t put in): so long as the expressions F are non-logical, you cannot get non-vacuous F-conclusions from non-F premises. However, the triviality of No-Non-Vacuous-Ought-From-Is is important and its non-profundity profound. No-Ought-From-Is is widely supposed to tell us something significant about the nature of the moral concepts. If, in fact, it tells us nothing, this is a point well worth shouting from the housetops. This brings me to my dispute with Gerhard Schurz who has proved a related version of No-Ought-From-Is, No-Ought-Relevant-Ought-From-Is, a proof which relaxes my assumption that ‘ought’ should not be treated as a logical constant. But if ought is not a logical expression then it does not really matter much that No-Ought-From-Is would be salvageable even if it were. Furthermore, Schurz’s proof depends on special features of the moral concepts and this might afford the basis for an abductive argument to something like non-cognitivism. As an error theorist, and therefore a cognitivist, I object. Finally I take a dim view of deontic logic. Many of its leading principles are false, bordering on the nonsensical, and even the reasonably plausible ones are subject to devastating counter-examples. (shrink)

In this paper, I first present an overview of Asay’s _A Theory of Truthmaking_, highlighting what I take to be some of its most attractive features, especially his re-invigoration of the ontological understanding of truthmaking and his defence of ontology-first truthmaking over explanation-first truthmaking. Then, I articulate what I take to be a puzzling potential inconsistency: (a) he appeals to considerations to do with aboutness in criticising how well ontological views account for truth while (b) ruling out aboutness from the (...) right account of truthmaking. He argues, instead, that necessitation is both necessary and sufficient for truthmaking (§3.3). I suggest that adding aboutness to one’s account in the right way is not just compatible with but important for ontology-first truthmaking. I do all this to invite Asay to clarify his position on these matters. Overall, Asay’s worldview displays the fruitfulness of an ontologically serious approach to metaphysics that puts truthmaking centre-stage. (shrink)

A central tenet of truthmaker theory is that necessitation is necessary for truthmaking (NEC). This paper defends NEC in a novel, piecemeal way, namely by responding to a potential counterexample involving a changing past. If Carter won a race at t1 but is later disqualified at t2, then Carter no longer won at t1. A wholly past event seems to have changed in the future. The event makes ‘Carter won the race at t1’ (RACE) true between t1‐2 but fails to (...) make it true at t2. So, we have a potential counterexample to necessitation: a truthmaker of RACE fails in another context to make the same truthbearer RACE true. I argue that the best solution to this challenge is not that there are different truthbearers at t1‐2 and t2 (the semantic response), or that RACE was never true because of the future disqualification or will always be true despite the future disqualification. The best solution is to accept that the past can change: past events can change based on what happens in the future (e.g., via their effects). This paper's novel defence of necessitation will illustrate the importance of utilising explicitly ontological and commonsensical tools in accounting for truth. (shrink)

There is no paradox with Schrödinger’s cat in a realist interpretation. In particular, a closer look at the temporal aspect shows that the two macroscopic wave functions (alive and dead) of Schrödinger’s cat are not to be compared with two superposed parts of a microscopic quantum wave function.

This book presents Robert S. Hartman’s formal theory of value and critically examines many other twentieth century value theorists in its light, including A.J. Ayer, Kurt Baier, Brand Blanshard, Paul Edwards, Albert Einstein, William K. Frankena, R.M. Hare, Nicolai Hartmann, Martin Heidegger, G.E. Moore, P.H. Nowell-Smith, Jose Ortega y Gasset, Charles Stevenson, Paul W. Taylor, Stephen E. Toulmin, and J.O. Urmson.

In "De l’Allemagne", Mme de Staël develops a sophisticated philosophical psychology that centers not on reason, but imagination. She does this by bringing French Enlightenment philosophy, particularly Rousseau and Diderot, into dialogue with German thinkers, including Kant and Herder. For Mme de Staël, imagination transcends the epistemic limits of sensibility and reason by incorporating sentiment.

A scholar of Hellenistic and Prussian history, Droysen developed a historical theory that at the time was unprecedented in range and depth, and which remains to the present day a valuable key for understanding history as both an idea and a professional practice. Arthur Alfaix Assis interprets Droysen’s theoretical project as an attempt to redefine the function of historiography within the context of a rising criticism of exemplar theories of history, and focuses on Droysen’s claim that the goal underlying (...) historical writing and reading should be the development of the subjective capacity to think historically. In addition, Assis examines the connections and disconnections between Droysen’s theory of historical thinking, his practice of historical thought, and his political activism. Ultimately, Assis not only shows how Droysen helped reinvent the relationship between historical knowledge and human agency, but also traces some of the contradictions and limitations inherent to that project. (shrink)

Volume 20, Issue 7, July 2020, Page 160-162.

In this article, I offer a critical interpretation of Hegel’s claims regarding the presuppositionless status of the Logic. Commentators have been divided as to whether the Logic actually achieves the status of presuppositionless science, disagreeing as to whether the Logic succeeds in making an unmediated beginning. I argue, however, that this understanding of presuppositionless science is misguided, as it reflects a spurious conception of immediacy that Hegel criticizes as false. Contextualizing Hegel’s remarks in light of his broader (...) approach to the problem of beginning, I contend that Hegel’s Logic is presuppositionless not in the sense that it satisfies a formal epistemological demand to begin free from all mediation, but in that its self-mediating structure facilitates an immanent deduction of the categories. (shrink)

Dilation occurs when an interval probability estimate of some event E is properly included in the interval probability estimate of E conditional on every event F of some partition, which means that one’s initial estimate of E becomes less precise no matter how an experiment turns out. Critics maintain that dilation is a pathological feature of imprecise probability models, while others have thought the problem is with Bayesian updating. However, two points are often overlooked: (1) knowing that E is stochastically (...) independent of F (for all F in a partition of the underlying state space) is sufficient to avoid dilation, but (2) stochastic independence is not the only independence concept at play within imprecise probability models. In this paper we give a simple characterization of dilation formulated in terms of deviation from stochastic independence, propose a measure of dilation, and distinguish between proper and improper dilation. Through this we revisit the most sensational examples of dilation, which play up independence between dilator and dilatee, and find the sensationalism undermined by either fallacious reasoning with imprecise probabilities or improperly constructed imprecise probability models. (shrink)

As the geopolitical superpowers race to regulate the digital realm, their divergent rights-centered, market-driven, and social-control-based approaches require a global compact on digital regulation. If diverse regulatory jurisdictions remain, forms of domination entailed by cultural imposition and hermeneutical injustice related to AI legislation and AI systems will follow. We argue for consensual regulation on shared substantive issues, accompanied by proper standardization and coordination. Failure to attain consensus will fragment global digital regulation, enable regulatory capture by authoritarian powers or bad corporate (...) actors, and deepen the historical geopolitical power asymmetries between the global South and the global North. To prevent an unjust regulatory landscape where the global South’s cultural and hermeneutic resources are absent, two principles for the Global Digital Compact to counter these prospective harms are proposed and discussed: (1) “recognitive consensus on key substantive benefits and harms” and (2) “procedural consensus on global coordination and essential standards.”. (shrink)

Reism or concretism are the labels for a position in ontology and semantics that is represented by various philosophers. As Kazimierz Ajdukiewicz and Jan Woleński have shown, there are two dimensions with which the abstract expression of reism can be made concrete: The ontological dimension of reism says that only things exist; the semantic dimension of reism says that all concepts must be reduced to concrete terms in order to be meaningful. In this paper we argue for the following two (...) theses: (1) Arthur Schopenhauer has advocated a reistic philosophy of language which says that all concepts must ultimately be based on concrete intuition in order to be meaningful. (2) In his semantics, Schopenhauer developed a theory of logic diagrams that can be interpreted by modern means in order to concretize the abstract position of reism. Thus we are not only enhancing Jan Woleński’s list of well-known reists, but we are also adding a diagrammatic dimension to concretism, represented by Schopenhauer. (shrink)

In recent years, semiotics has become an innovative theoretical framework in mathematics education. The purpose of this article is to show that semiotics can be used to explain learning as a process of experimenting with and communicating about one's own representations of mathematical problems. As a paradigmatic example, we apply a Peircean semiotic framework to answer the question of how students learned the concept of "distribution" in a statistics course by "diagrammatic reasoning" and by developing "hypostatic abstractions," that is by (...) forming new mathematical objects which can be used as means for communication and further reasoning. Peirce's semiotic terminology is used as an alternative for notions such as modeling, symbolizing, and reification. We will show that it is a precise instrument of analysis with regard to the complexity of learning and of communication in mathematics classroom. (shrink)

A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal (...) logic to address consistency results in a more robust way. As building blocks for background knowledge, generic theories provide a standard for categorical determinations of consistency. We argue that the results and methods of this paper help to elucidate problems in epistemology and enjoy sufficient scope and power to have purchase on problems bearing on modalities in judgement, inference, and decision making. (shrink)

At the end of the 19th century, most professional historians – wherever they existed – deemed history to be a form of knowledge ruled by a method that bears no resemblance with those most commonly traceable in the natural sciences. The bulk of the historian’s task was then frequently regarded as being the application of procedures frequently referred to as ‘historical method’. In the context of such an emerging interest on historical methods and methodology, at least three textbooks stand out: (...) Johann Gustav Droysen’s Grundriss der Historik (Outline of the Theory of History), Ernst Bernheim’s Lehrbuch der historischen Methode (Handbook of Historical Method), and Charles Langlois and Charles Seignobos’s Introduction aux études historiques (Introduction to the Study of History). These books were quite influential in Germany, France, and elsewhere, and they very much helped promote a general idea of historical method that would become relatively consensual among historians of many nationalities by the early 20th century. Such a relative agreement on historical method sponsored both the communication and the development of a sense of disciplinary identity among historians trained within different and sometimes conflicting national traditions. It was then partially extended, partially challenged, and surely made more complex when, from the 1920s on, social and economic historians became a good part of the historiographical establishment in many countries. -/- The three books by Droysen, Bernheim, and Langlois and Seignobos were already pieced together by Rolf Torstendahl, who studied them as a group of texts that, despite their differences, contributed to shape the developments outlined above. However, Torstendahl’s primary aim was to show how Droysen, Bernheim, and Seignobos all resorted to ‘method’ as a way to circumvent skepticism against the possibility of historical knowledge, rather than investigate the internal interrelationships between the three texts. In this chapter I follow precisely this latter, not yet taken, road, focusing on crucial cross-references between the Grundriss, the Lehrbuch, and the Introduction. I intend to show that, at a general level, the schemes of historical method found in these texts are largely convergent, and that this convergence is due to Bernheim’s reading of Droysen and to Langlois and Seignobos’s reading of Bernheim. I will attempt to do it through a regressive approach that starts with an analysis of the Introduction. Aspects of the editorial history and circulation of the three texts will also be briefly addressed, as a way to illustrate their special importance within the framework of early 20th century historical theory. Because my argument calls for a focus on the most general lines of Droysen’s, Bernheim’s, and Langlois and Seignobos’s schemes of historical method, I will, for the sake of consistency, refrain from analysing in-depth the complex epistemological and ontological arguments in which those schemes are nested. (shrink)

Nominalists need some account of correctness for sentences committed to the existence of abstract objects. This paper proposes a new statement of such conditions specifically for properties. The account builds on an earlier proposal of mine, but avoids the counter-examples against the latter pointed out by Thomas Schindler, particularly, the sentence ‘There are inexpressible properties’. I argue that the new proposal is independently motivated and more faithful to the spirit of the kind of error-theoretic nominalism that the original proposal was (...) part of. Along the way, I also propose novel treatments of Arthur Pap’s and W.V.O. Quine’s notoriously hard-to-paraphrase sentences about abstracta. (shrink)

Throughout Alexandre Herculano’s historical oeuvre claims of impartiality are mingled with the partiality of the beliefs, ideals, and interests that give shape to the author’s point of view. One can trace in it both the commitment to the disinterested search for truth and the pragmatic intention to remodel the relations of Portuguese society with its past and with the effects of this past on the present. This text revisits Herculano’s major historical writings with the aim of understanding how it is (...) possible for historical texts to be or claim to be at the same time true and useful, objective and engaged, impartial and partial. I intend to show that those oppositions not necessarily entail paralyzing contradictions, and that good historians such as Herculano are usually capable of drawing from them a great amount of intellectual energy. Focusing on the tension between impartiality and partiality, and supported by close readings and contextual analyses, I will try to demonstrate that such tension configures itself in at least two different modes, which in turn depend on the positive or negative significance the studied past turns out to have for the person who studies it. (shrink)

Although a safe, effective, and licensed coronavirus vaccine does not yet exist, there is already controversy over how it ought to be allocated. Justice is clearly at stake, but it is unclear what justice requires in the international distribution of a scarce vaccine during a pandemic. Many are condemning ‘vaccine nationalism’ as an obstacle to equitable global distribution. We argue that limited national partiality in allocating vaccines will be a component of justice rather than an obstacle to it. For there (...) are role-based and community-embedded responsibilities to take care of one’s own, which constitute legitimate moral reasons for some identity-related prioritisation. Furthermore, a good form of vaccine nationalism prioritises one’s own without denying or ignoring duties derived from a principle of equal worth, according to which all persons, regardless of citizenship or identity, equally deserve vaccine-induced protection from COVID-19. Rather than dismissing nationalism as a tragic obstacle, it is necessary to acknowledge that a limited form of it is valuable and expresses moral commitments. Only then can one understand our world of competing obligations, a world where cosmopolitan duties of benevolence sometimes conflict with special obligations of community membership. Once these competing obligations are recognised as such, we can begin the work of designing sound ethical frameworks for achieving justice in the global distribution of a coronavirus vaccine and developing practical strategies for avoiding, mitigating or resolving conflicts of duty. (shrink)

In this paper, I shed light on Kant’s notion of Erkenntnis or cognition by focusing on texts pertaining to Kant’s thoughts on logic. Although a passage from Kant’s Logik is widely referred to for understanding Kant’s conception of Erkenntnis, this work was not penned by Kant himself but rather compiled by Benjamin Jäsche. So, it is imperative to determine its fidelity to Kant’s thought. I compare the passage with other sources, including Reflexionen and students’ lecture notes. I argue that (...) several of the text’s peculiarities stem from Jäsche rather than Kant, but that nevertheless Jäsche largely got Kant's view right, with two major exceptions. First, Jäsche’s text fails to reproduce Kant’s key thesis that kennen and verstehen are jointly sufficient for Erkenntnis. Second, Jäsche’s text gives the false impression that Kant holds that animals have consciousness. (shrink)

Since W. B. Gallie introduced the notion of essentially contested concepts (ECCs) in 1956, social science scholars have increasingly used his framework to analyze key concepts drawing “endless disputes” from contestant users. Despite its merits, the ECC framework has been limited by a neglect of social, cultural, and political contexts, the invisibility of actors, and its ahistorical character. To understand how ECCs evolve and change over time, I use a conceptual history approach to study the concept of philanthropy, recently labeled (...) as an ECC. Using France during classical modernity as a case study, I analyze key events and actors from the concept’s inception in 1712 as a virtue of the Enlightenment to its triumph after 1789 as a secular alternative to Catholic charity, until its decline at the end of the nineteenth century as a new consensus emerged around the concept of solidarity. By introducing the notion of historically contested concepts, I make several contributions to research on ECCs, conceptual contestation, and conceptual change. (shrink)

Within the context of the Quine–Putnam indispensability argument, one discussion about the status of mathematics is concerned with the ‘Enhanced Indispensability Argument’, which makes explicit in what way mathematics is supposed to be indispensable in science, namely explanatory. If there are genuine mathematical explanations of empirical phenomena, an argument for mathematical platonism could be extracted by using inference to the best explanation. The best explanation of the primeness of the life cycles of Periodical Cicadas is genuinely mathematical, according to Baker (...) :223–238, 2005; Br J Philos Sci 60:611–633, 2009). Furthermore, the result is then also used to strengthen the platonist position :779–793, 2017a). We pick up the circularity problem brought up by Leng Mathematical reasoning, heuristics and the development of mathematics, King’s College Publications, London, pp 167–189, 2005) and Bangu :13–20, 2008). We will argue that Baker’s attempt to solve this problem fails, if Hume’s Principle is analytic. We will also provide the opponent of the Enhanced Indispensability Argument with the so-called ‘interpretability strategy’, which can be used to come up with alternative explanations in case Hume’s Principle is non-analytic. (shrink)

Rosenkranz has recently proposed a logic for propositional, non-factive, all-things-considered justification, which is based on a logic for the notion of being in a position to know, 309–338 2018). Starting from three quite weak assumptions in addition to some of the core principles that are already accepted by Rosenkranz, I prove that, if one has positive introspective and modally robust knowledge of the axioms of minimal arithmetic, then one is in a position to know that a sentence is (...) not provable in minimal arithmetic or that the negation of that sentence is not provable in minimal arithmetic. This serves as the formal background for an example that calls into question the correctness of Rosenkranz’s logic of justification. (shrink)

The magisterial analyses of logic and meaning advanced in Husserl's Logical Investigations of 1900/01 have for a number of reasons been neglected by analytical philosophers in subsequent decades. This state of affairs has to do, in part, with the history of the editions and translations of Husserl's writings. Findlay's readable but imperfect translation appeared seventy years after the work itself was first published, and the editors and translators and expositors of Husserl's works have reflected the prevailing philosophical atmosphere on (...) the Continent by concentration their energies on Husserl's later writings. Now, however, over eighty years after the appearance of Husserl's one true masterpiece, a critical edition of the work is at last available in completed form. We here analyze the structure and content of this new edition, published as part of the Husserliana series by the Husserl Archive in Louvain. (shrink)

In this paper, we analyze and discuss Schopenhauer’s n-term diagrams for eristic dialectics from a graph-theoretical perspective. Unlike logic, eristic dialectics does not examine the validity of an isolated argument, but the progression and persuasiveness of an argument in the context of a dialogue or even controversy. To represent these dialogue situations, Schopenhauer created large maps with concepts and Euler-type diagrams, which from today’s perspective are a specific form of graphs. We first present the original method with Euler-type diagrams, (...) then give the most important graph-theoretical definitions, then discuss Schopenhauer’s diagrams graph-theoretically and finally give an example of how the graphs or diagrams can be used to analyze dialogues. (shrink)

We suggest that the emerging field of the conservation humanities can play a valuable role in biodiversity protection in Papua New Guinea (PNG), where most land remains under collective customary clan ownership. As a first step to mobilising this scholarly field in PNG and to support capacity development for PNG humanities academics, we conducted a landscape review of PNG humanities teaching and research relating to biodiversity conservation and customary land rights. We conducted a systematic literature review, a PNG teaching programme (...) review, and a series of online workshops between the authors (10 PNG-based, 7 UK-based). We found a small but notable amount of PNG research and teaching focused on biodiversity conservation or customary land rights. This included explicit discussion of these topics in 8 of 156 PNG-authored humanities texts published 2010-2020 and related teaching content in the curricula of several different humanities-based programmes. We discuss current barriers to PNG academic development. The growth of fully fledged in-country conservation humanities will require a joint collaborative effort by PNG researchers, who are best placed to carry out such work, and researchers from abroad who can access resources to support the process. (shrink)

This paper presents a new analysis of C.G. Hempel’s conditions of adequacy for any relation of confirmation [Hempel C. G. (1945). Aspects of scientific explanation and other essays in the philosophy of science. New York: The Free Press, pp. 3–51.], differing from the one Carnap gave in §87 of his [1962. Logical foundations of probability (2nd ed.). Chicago: University of Chicago Press.]. Hempel, it is argued, felt the need for two concepts of confirmation: one aiming at true hypotheses and another (...) aiming at informative hypotheses. However, he also realized that these two concepts are conflicting, and he gave up the concept of confirmation aiming at informative hypotheses. I then show that one can have Hempel’s cake and eat it too. There is a logic that takes into account both of these two conflicting aspects. According to this logic, a sentence H is an acceptable hypothesis for evidence E if and only if H is both sufficiently plausible given E and sufficiently informative about E. Finally, the logic sheds new light on Carnap’s analysis. (shrink)

The perceptual symbol system view assumes that perceptual representations have a role-argument structure. A role-argument structure is often incorporated into amodal symbol systems in order to explain conceptual functions like abstraction and rule use. The power of perceptual symbol systems to support conceptual functions is likewise rooted in its use of structure. On Barsalou's account, this capacity to use structure (in the form of frames) must be innate.

Besides the better-known Nelson logic and paraconsistent Nelson logic, in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called $\mathcal{S}$. The logic $\mathcal{S}$ was originally presented by means of a calculus with infinitely many rule schemata and no semantics. We look here at the propositional fragment of $\mathcal{S}$, showing that it is algebraizable, in the sense of Blok and Pigozzi, with respect to a variety of three-potent involutive residuated lattices. We thus introduce (...) the first known algebraic semantics for $\mathcal{S}$ as well as a finite Hilbert-style calculus equivalent to Nelson’s presentation; this also allows us to clarify the relation between $\mathcal{S}$ and the other two Nelson logics $\mathcal{N}3$ and $\mathcal{N}4$. (shrink)

The text addresses conceptions of human selfhood and humankind as developed by two major nineteenth-century German-speaking historians, Johann Gustav Droysen and Jacob Burckhardt. It aims at ascertaining to what extent the historical anthropologies proposed by both authors can be considered to be humanistic. We will attempt to provide an answer to this question while locating and discussing both humanistic and anti-humanistic features in their texts. Humanism is understood here as a perspective that emerged within the framework of the philosophy of (...) the Enlightenment, for example, in Immanuel Kant's ethics and in Friedrich Niethammer's pedagogy. On the one hand, we will define Droysen's and Burckhardt's anthropologies as humanistic, stressing their intellectual connection to the universalistic notions of humankind and human nature developed in the late eighteenth-century. On the other, we will relativize this predicament by exploring their main anti-humanistic traits, i.e. nationalism, with regard to Droysen, and aestheticism, in the case of Burckhardt. (shrink)

Kompensation is the keyword for an influential answer to the problem of the function of the human sciences in the contemporary world. It emerged in the second half of the twentieth-century in the field of German philosophy, and its chief message is that the human sciences have the task of compensating modern societies and individuals for cultural losses generated within the course of modernization (for instance, by the spread social relations of a new, abstract, non-traditional kind; or by the accelerating (...) progress of technology). The compensation-theory can be stressed as one of the main ideational sets against which Jörn Rüsen developed his own theory of history. This paper focuses on the agonistic relationship between these two theories that attempt to elucidate what is the value and the use of historical studies. My interpretative bet is that by doing so we will better understand important aspects of Rüsen’s theoretical reflections on history and historiography that have not yet received sufficient attention. I will show that Rüsen rejects the compensation-theory not only because he disagrees with the scientific division of labor it entails – which ascribes to the human sciences the relatively modest role of attempting to preserve some of what modernity needs to destroy. I will try to explain how that rejection is also due to more fundamental differences between Rüsen and the compensation-theorists, more specifically their differing understandings of modernity, and their dissent regarding how should the complex interrelationship between knowledge, politics, and the future be configured. -/- “Compensação” é a palavra-chave que sintetiza uma influente resposta ao problema da função das ciências humanas no mundo contemporâneo. Originária do universo da filosofia alemã da segunda metade do século 20, tal resposta sustenta, em linhas gerais, que as ciências humanas servem como uma espécie de indenização espiritual por prejuízos culturais causados pela modernização a sociedades e indivíduos (no bojo, por exemplo, da disseminação de novas relações sociais abstratas e não-tradicionais, ou do acelerado progresso dos meios técnicos). A teoria da compensação pode ser apontada como um dos principais conjuntos de ideias a que se contrapõe a teoria da história de Jörn Rüsen. O presente texto enfoca a relação agonística entre essas duas teorias, no centro das quais está o problema do valor e da utilidade dos estudos históricos. Lançar luz sobre tal relação – esta é a minha aposta interpretativa – é uma maneira de compreender melhor aspectos importantes das reflexões de Rüsen sobre história e historiografia que até agora ainda não receberam a atenção que lhes é devida. Quero mostrar que Rüsen rejeita a teoria da compensação não só porque discorda da divisão do trabalho científico nela apregoada, a qual atribui às ciências humanas o papel relativamente modesto de tentar conservar alguma parte daquilo que a modernização ameaça destruir. Procurarei explicar como tal rejeição também se deve a diferenças mais fundamentais existentes entre Rüsen e os teóricos da compensação, mais especificamente, às suas divergências de entendimento quanto à natureza da modernidade e quanto ao modo de configurar a complexa inter-relação entre conhecimento, política e futuro. (shrink)

Marx's concept of alienation has proven to be a subject of controversy for many social theorists. One of the more provocative treatments of this concept has been outlined by Jean-Paul Sartre. Drawing heavily on Marxism's Hegelian tradition, Sartre portrays alienation as being a crucial element in the formation of the individual's perception of social reality. An appreciation of Sartre's project and its relevance to Marxist theory necessitates the examination of the origins and development of the concept of alienation. For this (...) purpose, a brief account of Hegel's usage of the term is followed by a discussion of Feuerbach's efforts to counter Hegelian idealism with an explicitly materialist perspective. Alienation makes its first appearance in Marx's work with the publication of the Economic and Philosophical Manuscripts of 1844 and the concept was to be a topic of concern throughout Marx's life. In particular, his analysis of commodity fetishism in his later work shows an obvious connection with alienation. Georg Lukacs' presentation of the reification of consciousness is a valuable addition to the examination of the fetishism of commodities. Lukacs provides numerous insights concerning the relationship between alienation and commodity fetishism as well as offering a useful articulation of the role of consciousness in Marxist theory. Lukacs' contribution is especially helpful in clarifying the nature of Sartre's project. Both theorists seek to outline an exposition of consciousness which counters idealistic excesses with a materialistic perspective faithful to the basic tenents of Marxism. In addition, Sartre employs the notion of reification as well as that of alienation in his psychoanalytic approach. His technique is intended to illuminate the class biases inherent in the consciousness of each individual, a proposal which finds an immediate application in explaining the distorted awareness which petit bourgeois intellectuals such as Lukacs and Sartre himself bring to the study of Marx's method. (shrink)

Arthur Danto asserts that Maya Lin’s Vietnam Veterans Memorial in Washington really embodies the beauty of his meaning. For him, the Memorial’s “internal beauty” is felt and read because she is built as a text by the rhetoric of enthymeme, as a syllogism based on some tacit knowledges and highly probables communplaces. However, the relationship to the Kant’s pulchritudo adhaerens and philosophy of architecture is not an easy one : Danto rejects as unreadable the self-referent formalism of Greenberg’s Modernism (...) and the environmental non-monumentality of Richard Serra’s Minimalism, but the agency of the Memorial’s shared internal beauty is haunted by an unquestioned spectral logic. Actually, the image embodiment in this work can always exceed the rhetoric of reconnaissance supported by the syllogistic rhetoric and disturb the identity framework of the nord-american community. The beholders’ reflecting shape on the Memorial can become, finally, an unreadable and pathetic index, or be perceived as a figural imprint, ephemeral and troubling ; these disembodied pictures can achieve a medial incarnation – e.g. a Verkörperung – of the underworld. (shrink)

Home-based biology experiments are activities that utilize household materials that have been adapted for the remote learning environment and are aligned to standard learning competencies. Recognizingthe households and kitchens as extensions of laboratories, HBEs can be used to deliver authentic learning experiences for the students at home. Furthermore, there are several attributes of HBEs that should be considered before the implementation of the activity. These attributes are, it is ethical and safe to perform, it produces tangible products, encourages students to (...) reflect, promotes collaboration, materials are easy-to-find and affordable and lastly, home-based biology experiments are modifiable. Also, HBE encourages students to work independently under the supervision of their parents and teachers. Parents and guardians, as collaborators, should ensure students'safety, monitor their child’s progress, provide a safe environment and conducive work area, and should report all cases of accidents and problems to the subject teacher. In conclusion, home-based biology experiments are one of the emerging teaching tools for remote authentic learning in the new normal. Moreover, HBEs could also be used to address the problem of the lack of hands-on activity in remote learning. Further studies should be conducted on the effectiveness of HBEs in different topics in biology. (shrink)

Arthur C. Danto did not live to witness the proliferation of AI in artistic creation. However, his philosophy of art offers key ideas about art that can provide an interesting perspective on artwork generated by artificial intelligence (AI). In this article, I analyze how his ideas about contemporary art, intention, interpretation, and authorship could be applied to the ongoing debate about AI and artistic creation. At the same time, it is also interesting to consider whether the incorporation of AI (...) into artistic creation marks a new chapter in the narrative, which seems to have reached its end, or if it represents a significant rupture with past artistic traditions. (shrink)

We investigate epistemic independence for choice functions in a multivariate setting. This work is a continuation of earlier work of one of the authors [23], and our results build on the characterization of choice functions in terms of sets of binary preferences recently established by De Bock and De Cooman [7]. We obtain the independent natural extension in this framework. Given the generality of choice functions, our expression for the independent natural extension is the most general one we are aware (...) of, and we show how it implies the independent natural extension for sets of desirable gambles, and therefore also for less informative imprecise-probabilistic models. Once this is in place, we compare this concept of epistemic independence to another independence concept for choice functions proposed by Seidenfeld [22], which De Bock and De Cooman [1] have called S-independence. We show that neither is more general than the other. (shrink)

In this article, the attempts by David Lewis and Brian Loar to make perspicuous the logical form of sentences ascribing propositional attitudes to individuals are set out and criticized. Both work within the assumption of the truth of 'type' physicalism, and require that logically perspicuous attitude ascriptions be compatible with the demands of such a doctrine. It is argued that neither carry out this task successfully - Lewis's perspicuous ascriptions have counter-intuitive implications, while Loar's avoidance of these undermines type physicalism (...) itself. (shrink)