Logic diagrams have been increasingly studied and applied for a few decades, not only in logic, but also in many other fields of science. The history of logic diagrams is an important subject, as many current systems and applications of logic diagrams are based on historical predecessors. While traditional histories of logic diagrams cite pioneers such as Leibniz, Euler, Venn, and Peirce, it is not widely known that Kant and the early Kantians in Germany and England played a crucial role (...) in popularising Euler(-type) diagrams. In this paper, the role of the Kantians in the late eighteenth and early nineteenth centuries will be analysed in more detail. It shows that diagrams (or intuition in general) were a highly contentious topic that depend on the philosophical attitude and went beyond logic to touch on issues of physics, metaphysics, linguistics and, above all, mathematics. (shrink)

According to the standard version of the counterfactual comparative account of harm, an event is overall harmful for an individual if and only if she would have been on balance better off if it had not occurred. This view faces the “preemption problem.” In the recent literature, there are various ingenious attempts to deal with this problem, some of which involve slight additions to, or modifications of, the counterfactual comparative account. We argue, however, that none of these attempts work, and (...) that the preemption problem continues to haunt the counterfactual comparative account. (shrink)

This paper analyses a hitherto unknown technique of using logic diagrams to create argument maps in eristic dialectics. The method was invented in the 1810s and -20s by Arthur Schopenhauer, who is considered the originator of modern eristic. This technique of Schopenhauer could be interesting for several branches of research in the field of argumentation: Firstly, for the field of argument mapping, since here a hitherto unknown diagrammatic technique is shown in order to visualise possible situations of arguments in a (...) dialogical controversy. Secondly, the art of controversy or eristic, since the diagrams do not analyse the truth of judgements and the validity of inferences, but the persuasiveness of arguments in a dialogue. (shrink)

How can work be a genuine good in life? I argue that this requires overcoming a problem akin to that studied by Marx scholars as the problem of work, freedom and necessity: how can work be something we genuinely want to do, given that its content is not up to us, but is determined by necessity? I argue that the answer involves valuing contributing to the good of others, typically as valuing active pro-sociality – that is, valuing actively doing something (...) good for others. This makes work better in one way, and may even make work something we are genuinely glad to have in our lives. Contemporary philosophical thinking about good work tends to focus on how work can be good for the person doing it, by providing, for example, self-realization or social relationships, while underappreciating the special importance of valuing social contribution. People will typically only really want work if they want a part of their lives to be about the good of others. This also means that work may be a part of the best life, something we should take into account when discussing work-related policies and the desirability of a ‘post-work’ future. (shrink)

A prominent objection to the counterfactual comparative account of harm is that it classifies as harmful some events that are, intuitively, mere failures to benefit. In an attempt to solve this problem, Duncan Purves has recently proposed a novel version of the counterfactual comparative account, which relies on a distinction between making upshots happen and allowing upshots to happen. In this response, we argue that Purves’s account is unsuccessful. It fails in cases where an action makes the subject occupy a (...) high well-being level though one of the available alternatives would have made it even higher. In fact, it fails even in some cases where each of the available alternatives to the action that was actually performed would have made the subject’s well-being level lower. (shrink)

To reconcile the standard possible worlds model of knowledge with the intuition that ordinary agents fall far short of logical omniscience, a Stalnakerian strategy appeals to two components. The first is the idea that mathematical and logical knowledge is at bottom metalinguistic knowledge. The second is the idea that non-ideal minds are often fragmented. In this paper, we investigate this Stalnakerian reconciliation strategy and argue, ultimately, that it fails. We are not the first to complain about the Stalnakerian strategy. But (...) in contrast to existing complaints, we want to cause trouble for the strategy directly on its home turf. That is, we will advance our objection while granting both the plausibility of the fragmentation component—save for an extreme version of it—and that of the metalinguistic component. Once our central objection to the Stalnakerian strategy is in place, we will show how it negatively affects Adam Elga and Augustín Rayo’s recent attempt to apply the Stalnakerian strategy in the context of Bayesian decision theory. (shrink)

To believe that logic has no history might at first seem peculiar today. But since the early 20th century, this position has been repeatedly conflated with logical monism of Kantian provenance. This logical monism asserts that only one logic is authoritative, thereby rendering all other research in the field marginal and negating the possibility of acknowledging a history of logic. In this paper, I will show how this and many related issues have developed, and that they are founded on only (...) one prominent statement by Kant. I will argue, however, that this statement takes on a very different meaning in a broader context of the history and philosophy of science, and that Kant and his supporters never advocated the logical monism that they are still said to hold today. (shrink)

pt. I. Institutions, professions and ideas -- pt. II. Human science and human nature -- pt. III. The art of knowing.

Ein Beispiel für die Rezeption und Fortführung der schopenhauerschen Logik findet man in den Mathematiklehrbüchern Friedrich Adolph Wilhelm Diesterwegs (1790–1866), In diesem Aufsatz werden die historische und systematische Dimension dieser Anwendung von Logikdiagramme auf die Mathematik skizziert. In Kapitel 2 wird zunächst die frühe Rezeption der schopenhauerschen Logik und Philosophie der Mathematik vorgestellt. Dabei werden einige oftmals tradierte Vorurteile, die das Werk Schopenhauers betreffen, in Frage gestellt oder sogar ausgeräumt. In Kapitel 3 wird dann die Philosophie der Mathematik und der (...) Logik Schopenhauers vorgestellt. Es wird gezeigt, dass Schopenhauers Logikdiagramme auf Ideen der Mathematiker Leonhard Euler (1707–1783), Bernhard Friedrich Thibaut (1775–1832) und Franz Ferdinand Schweins (1780–1856) zurückgehen und dass Schopenhauer diese Logikdiagramme auch bereits zur Analyse mathematischer Begriffe verwendet. Kapitel 4 beschäftigt sich mit der Schopenhauer-Rezeption Diesterwegs. Es wird die Frage behandelt, inwieweit Diesterweg in der Mathematik von Schopenhauer beeinflusst war und welche Rolle dieser Einfluss auf sein Verständnis von Logik und Mathematik hatte. In Kapitel 5 wird schließlich gezeigt, dass Diesterweg die schopenhauersche Begriffsanalyse der Mathematik mit Hilfe von Logikdiagrammen aufgreift und weiterführt. Da Diesterweg einer der einflussreichsten Pädagogen und Mathematikdidaktiker des 20. Jahrhunderts war, ist anzunehmen, dass sich Spuren dieser Methode noch heute finden lassen. Inwiefern dies wahrscheinlich ist, wird in der Zusammenfassung (Kapitel 6) thematisiert. (shrink)

The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer’s logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics. Thus, this work addresses the lack of research on these subjects in the context of Schopenhauer’s oeuvre by exposing their links to modern research areas, such as the “proof without words” movement, analytic philosophy and diagrammatic reasoning, demonstrating its continued relevance to current discourse on logic. (...) -/- Beginning with Schopenhauer’s philosophy of language, the chapters examine the individual aspects of his semantics, semiotics, translation theory, language criticism, and communication theory. Additionally, Schopenhauer’s anticipation of modern contextualism is analyzed. The second section then addresses his logic, examining proof theory, metalogic, system of natural deduction, conversion theory, logical geometry, and the history of logic. Special focus is given to the role of the Euler diagrams used frequently in his lectures and their significance to broader context of his logic. In the final section, chapters discuss Schopenhauer’s philosophy of mathematics while synthesizing all topics from the previous sections, emphasizing the relationship between intuition and concept. -/- Aimed at a variety of academics, including researchers of Schopenhauer, philosophers, historians, logicians, mathematicians, and linguists, this title serves as a unique and vital resource for those interested in expanding their knowledge of Schopenhauer’s work as it relates to modern mathematical and logical study. (shrink)

According to the “deprivation approach,” a person’s death is bad for her to the extent that it deprives her of goods. This approach faces the Lucretian problem that prenatal non-existence deprives us of goods just as much as death does, but does not seem bad at all. The two most prominent responses to this challenge—one of which is provided by Frederik Kaufman (inspired by Thomas Nagel) and the other by Anthony Brueckner and John Martin Fischer—claim that prenatal non-existence is relevantly (...) different from death. This paper criticizes these responses. (shrink)

Aufstieg zum Einen - das ist das Zentrum der Philosophie Plotins und des von ihm ausgehenden Neuplatonismus. Dass solcher Aufstieg zum Einen aber auch schon bei Platon eine zentrale Rolle spielt, gehört zu den wichtigsten Einsichten der neueren Platonforschung. Das vorliegende Buch zieht daraus die Konsequenz und bestimmt das Verhältnis zwischen Platon und dem Neuplatonismus neu. Es verbindet die erste umfassende Darstellung von Plotins Theorie des Absoluten mit einer Rekonstruktion von Platons Henologie. Dabei arbeitet es die enge Verbindung beider heraus (...) und macht zugleich die bleibende philosophische Relevanz des Themas deutlich. (shrink)

This paper is concerned with the connection between the causal exclusion argument and the supervenience argument and, in particular, with two exclusion principles that figure prominently in these arguments. Our aim is, first, to reconstruct the dialectics of the two arguments by formalizing them and by relating them to an anti-physicalist argument by Scott Sturgeon. In a second step, we assess the conclusiveness of the two arguments. We demonstrate that the conclusion of both the causal exclusion argument and the supervenience (...) argument (a negation of the so called ?non-identity premise?) is not tantamount to the claim that all mental events are identical to physical events and that a cause-supervenience exclusion principle is actually required for the validity of the first stage of the supervenience argument. Moreover, we show that this new exclusion principle makes an epiphenomenalism with respect to mental events an impossible position, and that there are good reasons to believe in its falsity, rendering the supervenience argument inconclusive. (shrink)

Contemporary conversations about religion and culture are framed by two reductive definitions of secularity. In one, multiple faiths and nonfaiths coexist free from a dominant belief in God. In the other, we deny the sacred altogether and exclude religion from rational thought and behavior. But is there a third way for those who wish to rediscover the sacred in a skeptical society? What kind of faith, if any, can be proclaimed after the ravages of the Holocaust and the many religion-based (...) terrors since? Richard Kearney explores these questions with a host of philosophers known for their inclusive, forward-thinking work on the intersection of secularism, politics, and religion. An interreligious dialogue that refuses to paper over religious difference, these conversations locate the sacred within secular society and affirm a positive role for religion in human reflection and action. Drawing on his own philosophical formulations, literary analysis, and personal interreligious experiences, Kearney develops through these engagements a basic gesture of hospitality for approaching the question of God. His work facilitates a fresh encounter with our best-known voices in continental philosophy and their views on issues of importance to all spiritually minded individuals and skeptics: how to reconcile God's goodness with human evil, how to believe in both God and natural science, how to talk about God without indulging in fundamentalist rhetoric, and how to balance God's sovereignty with God's love. (shrink)

This paper argues in favor of a hybrid conception of identity. A common conception of identity in datafied society is a split between a digital self and a real self, which has resulted in concepts such as the data double, algorithmic identity, and data shadows. These data-identity metaphors have played a significant role in the conception of informational privacy as control over information—the control of or restricted access to your digital identity. Through analyses of various data-identity metaphors as well as (...) philosophical accounts of identity, we argue in favor of a hybrid conception of identity that emphasizes the relations between the ‘real’ and the ‘digital’. A hybrid conception of identity—where the digital is an aspect on par with social relations, self-understanding, and values—ultimately calls for an understanding of privacy as the right to influence one’s own identity. (shrink)

Several attractive principles about prudential concern and moral responsibility seem to speak against animalism. I criticize some animalist responses to this kind of problem, and suggest another answer, which has similarites with the most important argument in favor of animalism: the “thinking animal” argument.

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)

According to epistemic two-dimensionalism, or simply two-dimensionalism, linguistic expressions are associated with two intensions, one of which represents an expression’s a priori implications. The author investigates the prospects of conceptual analysis on the basis of a two-dimensionalist theory of meaning. He discusses a number of arguments for and against two-dimensional semantics and argues that properly construed, two-dimensionalism provides a potent and plausible account of meaning. Against the background of this account, the author then goes on to assess the value of (...) conceptual analysis in philosophical practice, outlining its goals, its promises, but also its limitations. (shrink)

In a recent article, I criticized Anthony L. Brueckner and John Martin Fischer’s influential argument—appealing to the rationality of our asymmetric attitudes towards past and future pleasures—against the Lucretian claim that death and prenatal non-existence are relevantly similar. Brueckner and Fischer have replied, however, that my critique involves an unjustified shift in temporal perspectives. In this paper, I respond to this charge and also argue that even if it were correct, it would fail to defend Brueckner and Fischer’s proposal against (...) my critique. (shrink)

Political economy and economic sociology have developed in relative isolation from each other. While political economy focuses largely on macro phenomena, economic sociology focuses on the embeddedness of economic action. The article argues that economic sociology can provide a microfoundation for political economy beyond rational actor theory and behavioral economics. At the same time political economy offers a unifying research framework for economic sociology with its focus on the explanation of capitalist dynamics. The sociological microfoundation for understanding of capitalist dynamics (...) should focus on the expectations actors have regarding future states of the world. Based on a discussion of what I call the four Cs of capitalism, I argue that under conditions of uncertainty, expectations are contingent and should be understood as “fictional expectations.” The capability of humans to imagine future states of the world that can be different from the present is the central basis for a sociological microfoundation of the dynamics of economic macro phenomena. Macroeconomic dynamics are anchored in these “fictional expectations,” which create motifs for engaging in potentially profitable but ultimately incalculable outcomes. This shifts attention to the “management of expectations” as a crucial element of economic activity and to the institutional, political, and cultural foundations of expectations. The reproduction of capitalism is precarious also because of the contingency of expectations conducive to its growth. (shrink)

Logicians commonly speak in a relatively undifferentiated way about pre-euler diagrams. The thesis of this paper, however, is that there were three periods in the early modern era in which euler-type diagrams (line diagrams as well as circle diagrams) were expansively used. Expansive periods are characterized by continuity, and regressive periods by discontinuity: While on the one hand an ongoing awareness of the use of euler-type diagrams occurred within an expansive period, after a subsequent phase of regression the entire knowledge (...) about the systematic application and the history of euler-type diagrams was lost. I will argue that the first expansive period lasted from Vives (1531) to Alsted (1614). The second period began around 1660 with Weigel and ended in 1712 with lange. The third period of expansion started around 1760 with the works of Ploucquet, euler and lambert. Finally, it is shown that euler-type diagrams became popular in the debate about intuition which took place in the 1790s between leibnizians and Kantians. The article is thus limited to the historical periodization between 1530 and 1800. (shrink)

Derek Parfit famously defends a number of surprising views about "fission." One is that, in such a scenario, it is indeterminate whether I have survived or not. Another is that the fission case shows that it does not matter, in itself, whether I survive or not. Most critics of the first view contend that fission makes me cease to exist. Most opponents of the second view contend that fission does not preserve everything that matters in ordinary survival. In this paper (...) I shall provide a critique that does not rely on either of these contentions. There are other, interrelated reasons to reject Parfit's defense of the two theses. In particular, the availability of the following view creates trouble for Parfit: I determinately survive fission, but it is indeterminate which fission product I am. (shrink)

This article defends three claims. First, that collection and division in the Phaedrus are described as procedures that underlie human speaking and thinking in general, as well as philosophical inquiry, and are not identified with either. Second, that what sets the dialectical use of these procedures apart from their ordinary use are philosophical suppositions independent of the procedures of collection and division themselves; for that reason, collection and division cannot be identified with dialectic as such. Third, that the second part (...) of the Phaedrus is concerned with the broader question how noble or beautiful speaking, in general, may be said to depend on dialectic as much as it is concerned with the question how rhetoric, as a kind of expertise, is related to dialectic. (shrink)

The counterfactual comparative account of harm (cca) faces well-known problems concerning preemption and omission. In a recent article in this journal, Daniel Immerman proposes a novel variant of cca, which he calls the worse than nothing account (wtna). According to Immerman, wtna nicely handles the preemption and omission problems. We seek to show, however, that wtna is not an acceptable account of harm. In particular, while wtna deals better than cca with some cases that involve preemption and omission, it has (...) implausible implications in other similar cases – cases that, moreover, pose no problems for cca. (shrink)

This article examines the evolution of the concept of existence in modern visual representation and reasoning, highlighting important milestones. In the late eighteenth century, during the so-called golden age of visual reasoning, nominalism reigned supreme and there was limited scope for existential import or individuals in logic diagrams. By the late nineteenth century, a form of realism had taken hold, whose existential commitments continue to dominate many areas in logic and visual reasoning to this day. Physical, metaphysical, epistemological, and linguistic (...) positions underlie both nominalist and realist views. Since the paradigmatic works on visual reasoning in the 1990s, formal diagram systems have been developed that revive either the nominalist or realist perspectives. Unlike in the nineteenth century, these are not motivated by philosophical views. Nevertheless, they may still have an impact on many areas of philosophy and science outside logic. (shrink)

It is little known that Schopenhauer (1788–1860) made thorough use of Euler diagrams in his works. One specific diagram depicts a high number of concepts in relation to Good and Evil. It is, hence, uncharacteristic as logicians of that time seldom used diagrams for more than three terms (the number demanded by syllogisms). The objective of this paper is to make sense of this diagram by explaining its function and inquiring whether it could be viewed as an early serious attempt (...) to construct complex diagrams. (shrink)

In this paper, we critically examine Molly Gardner’s favored solution to what she calls “the problem of justified harm.” We argue that Gardner’s view is false and that her arguments in support of it are unconvincing. Finally, we briefly suggest an alternative solution to the problem which avoids the difficulties that beset Gardner’s proposal.

Abstract: The symmetry argument is an objection to the 'deprivation approach'– the account of badness favored by nearly all philosophers who take death to be bad for the one who dies. Frederik Kaufman's recent response to the symmetry argument is a development of Thomas Nagel's suggestion that we could not have come into existence substantially earlier than we in fact did. In this paper, I aim to show that Kaufman's suggestion fails. I also consider several possible modifications of his theory, (...) and argue that they are unsuccessful as well. (shrink)

A recent approach to the problem of logical omniscience holds that belief is question-sensitive: what an agent believes depends on what question they try to answer (Pérez Carballo, 2016; Yalcin, 2018; Hoek, 2022). While the question-sensitive approach can avoid some logical omniscience problems, we argue that it suffers from nearby problems. First, these accounts all validate closure principles that are just as implausible as the ones it was designed to avoid. Second, question-sensitivity by itself isn’t suitable for explaining many kinds (...) of failures of logical omniscience. Recognizing the flaws of this approach, however, naturally leads to a more promising solution. Our account generalizes the question-sensitive approach by appealing to (1) the defeasible nature of dispositions toward action associated with belief and (2) the algorithms an agent uses to make decisions. On our view, then, believing that φ means being disposed to employ an algorithm which outputs acting on the information that φ in normal circumstances associated with φ. We argue that this account naturally generalizes the question-sensitive accounts while avoiding their faults. (shrink)

Many have argued that there is something that is a priori about all necessary truths, including a posteriori necessities. According to a particularly popular claim of this kind, one can know a priori whether a sentence is G-necessary, i.e. whether it is either necessarily true or necessarily false. In this paper, I identify the most plausible version of this claim and I argue that it fails. My discussion also reveals, and depends upon, an important feature of putative natural kind terms (...) that has been widely overlooked. I conclude by outlining a proposal of what is really a priori about necessities. (shrink)

According to the “deprivation approach,” a person’s death is bad for her to the extent that it deprives her of goods. This approach faces the Lucretian problem that prenatal non-existence deprives us of goods just as much as death does, but does not seem bad at all. The two most prominent responses to this challenge—one of which is provided by Frederik Kaufman and the other by Anthony Brueckner and John Martin Fischer—claim that prenatal non-existence is relevantly different from death. This (...) paper criticizes these responses. (shrink)

Extensions of traditional syllogistics have been increasingly researched in philosophy, linguistics, and areas such as artificial intelligence and computer science in recent decades. This is mainly due to the fact that syllogistics is seen as a logic that comes very close to natural language abilities. Various forms of extended syllogistics have become established. This paper deals with the question to what extent a syllogistic representation in CL diagrams can be seen as a form of extended syllogistics. It will be shown (...) that the ontology of CL enables numerically exact assertions and inferences. (shrink)

Taboo terms offer a playground for linguistic creativity in language after language, and sign languages form no exception. The present paper offers the first investigation of taboo terms in sign languages from a cognitive linguistic perspective. We analyze the linguistic mechanisms that introduce offense, focusing on the combined effects of cognitive metonymy and iconicity. Using the Think Aloud Protocol, we elicited offensive or crass signs and dysphemisms from nine signers. We find that German Sign Language uses a variety of linguistic (...) means to introduce and enhance offense, many of which rely on iconic properties of the taboo sign. In conjunction with cross-linguistically common metonymic word-formation strategies, the degree of visual explicitness of a sign increases its potential to offend. Semantically similar taboo signs based on the same metonymic anchor but differing in their degree of iconicity also differ in offensiveness. This allows for creating dysphemisms and euphemisms via phonological changes to a sign. We further show that embodiment creates modality-enhanced ‘vicarious embarrassment’ in the viewer that results in the respective signs being judged obscene or offensive. Further, lexical blending and non-manual enhancement play a role in the creation of dysphemisms in DGS. Lastly, we propose that iconicity as a cognitive structuring principle of linguistic expressions constrains the possible semantic extensions of iconic taboo terms. (shrink)

Predictive policing has become a new panacea for crime prevention. However, we still know too little about the performance of computational methods in the context of predictive policing. The paper provides a detailed analysis of existing approaches to algorithmic crime forecasting. First, it is explained how predictive policing makes use of predictive models to generate crime forecasts. Afterwards, three epistemologies of predictive policing are distinguished: mathematical social science, social physics and machine learning. Finally, it is shown that these epistemologies have (...) significant implications for the constitution of predictive knowledge in terms of its genesis, scope, intelligibility and accessibility. It is the different ways future crimes are rendered knowledgeable in order to act upon them that reaffirm or reconfigure the status of criminological knowledge within the criminal justice system, direct the attention of law enforcement agencies to particular types of crimes and criminals and blank out others, satisfy the claim for the meaningfulness of predictions or break with it and allow professionals to understand the algorithmic systems they shall rely on or turn them into a black box. By distinguishing epistemologies and analysing their implications, this analysis provides insight into the techno-scientific foundations of predictive policing and enables us to critically engage with the socio-technical practices of algorithmic crime forecasting. (shrink)

The paper examines Schopenhauer's logic lectures and the eristic dialectics of the manuscript remains in particular. The content of the logic lectures is briefly presented, then the characteristics are highlighted and finally Schopenhauer’s Euler diagrams are examined. The section on eristic dialectics summarizes the history of the text and its origin and reflects the content and order of the document.

In previous research, Schopenhauer is regarded as a consistent representative of a classical picture theory of language. The paper shows, however, that Schopenhauer does not only present a use theory of meaning in his lectures on logic, but also justifies it with the help of the context principle. Furthermore, it is discussed to what extent Schopenhauer's use theory of meaning is similar to the semantic theory of Ludwig Wittgenstein and his successors.

The paper presents the diagrammatic calculus CL, which combines features of tree, Euler-type, Venn-type diagrams and squares of opposition. In its basic form, `CL' (= Cubus Logicus) organizes terms in the form of a square or cube. By applying the arrows of the square of opposition to CL, judgments and inferences can be displayed. Thus CL offers on the one hand an intuitive method to display ontologies and on the other hand a diagrammatic tool to check inferences. The paper focuses (...) mainly on the adaptation of the square of opposition in CL and offers an algebraic notation, which corresponds to the diagrammatic representation. (shrink)

Japanese translation of ""Schopenhauers Gebrauchstheorie der Bedeutung und das Kontextprinzip. Eine Parallele zu Wittgensteins Philosophischen Untersuchungen". In: 97. Schopenhauer-Jahrbuch (2016), S. 29–51" by Tadahiro Oota (太田 匡洋 [訳]).

Fichte’s Foundations of the Entire Wissenschaftslehre 1794 is one of the most fundamental books in classical German philosophy. The use of laws of thought to establish foundational principles of transcendental philosophy was groundbreaking in the late eighteenth and early nineteenth century and is still crucial for many areas of theoretical philosophy and logic in general today. Nevertheless, contemporaries have already noted that Fichte’s derivation of foundational principles from the law of identity is problematic, since Fichte lacked the tools to correctly (...) present the formal parts of Foundations. In this paper, however, we argue that Fichte’s approach intuitively offers an important contribution to transcendental philosophy, and especially to philosophy of logic. We first point out the difficulties of Fichte’s logic in the Foundations and improve it in a second part on the basis of a formal system in which both propositional logic and syllogistic are combined. (shrink)