I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an alternative interpretation of first-level (...) function names in Grundgesetze into simple type-theoretic open terms rather than into closed terms of a function type. This interpretation offers a still unhistorical but more faithful type-theoretic approximation of Frege’s theory of levels and can be naturally extended to accommodate second-level functions. It is made possible by two key observations that Frege’s Roman markers behave essentially like open terms and that Frege lacks a clear criterion for distinguishing between Roman markers and function names. (shrink)

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his (...) theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

This paper aims to answer the question of whether or not Frege's solution limited to value-ranges and truth-values proposed to resolve the "problem of indeterminacy of reference" in section 10 of Grundgesetze is a violation of his principle of complete determination, which states that a predicate must be defined to apply for all objects in general. Closely related to this doubt is the common allegation that Frege was unable to solve a persistent version of the Caesar problem for value-ranges. It (...) is argued that, in Frege’s standards of reducing arithmetic to logic, his solution to the indeterminacy does not give rise to any sort of Caesar problem in the book. (shrink)

This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as the implicit foundation, confining our presentation (...) to elementary results such as function extensionality, the derivation of weak connections and path induction, the groupoid structure of types, and the Eckmman–Hilton duality. (shrink)

This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this volume provides insights into the latest research and developments in the applications of logic in (...) these areas. It is an essential resource for researchers, practitioners, and students interested in the latest advancements in logic and its applications to artificial intelligence and law. (shrink)

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

O termo respeito é derivado do latim respectus, que corresponde ao uso substantivo do particípio passado do verbo respicere, cujo significado literal é "olhar para trás", "olhar de volta", "olhar novamente", "considerar" (do latim re "de novo" e spicere "olhar"). Derivações do termo latino respectus são encontradas tanto no francês antigo (sec. VIII-XIX), cujo termo respit significa "descansar", "repousar", quanto no inglês médio (sec. XI-XV), cujo termo respect aparece, assumindo a função de nome, no sentido de "relação ou referência a (...) uma coisa ou situação específica" e, na função de verbo, no sentido de "ser digno de consideração ou estima". Na linguagem comum, respeito é uma das palavras cotidianas que aparece em uma multiplicidade de contextos. De um modo mais amplo, poder-se-ia definir respeito como o reconhecimento do valor e da dignidade de algo, do qual decorre um conjunto de comportamentos e estados de ânimo como resposta. Em primeira instância, é importante observar que o conceito de respeito implica sempre uma relação, como no caso em que utilizamos a locução "a respeito de". O respeito leva em conta uma relação responsiva entre sujeito e objeto na qual o sujeito responde ao objeto devido ao reconhecimento de certas características nele. Como o termo latino nos sugere, essa relação envolve um "olhar de volta" que é, ao mesmo tempo, um "considerar", ou seja, trata-se de um certo tipo de apreciação do objeto baseada em elementos tais como a atenção, o julgamento, o conhecimento, a valorização e a deferência. Nesse sentido, respeitar é uma maneira particular de se apreender objeto, na qual uma atenção especial é requerida com o propósito de reconhecer o objeto, não segundo as distorções perpetradas pela nossa subjetividade, mas em sua própria dignidade. Embora o ato de respeitar tenha origem no sujeito, ele não diz respeito primariamente ao sujeito, mas, em vez disso, ao objeto, na medida em que envolve o reconhecimento de uma propriedade que o objeto reivindica para si. Este é o motivo pelo qual respeitar não é meramente uma questão discricionária, baseada em nosso querer e não querer, mas uma experiência [...]. (shrink)

In the Vocation of Man, Fichte makes the striking claim that life is eternal, rational, our true being, and the final cause of nature in general and of death in particular. How can we make sense of this claim? I argue that the public lectures that compose the Vocation are a popular expression of Fichte’s pre-existing commitment to what I call immortalism, the view that life is the unconditioned condition of intelligibility. Casting the I as an absolutely self-active or living (...) power enables his philosophical account of both the intelligibility of objects and of what it means to die. This explains his characterization of the Wissenschaftslehre as a system in which ‘all is act, movement, and life’. In Sect. 1, I explain the context of Jacobi’s use of ‘caput mortuum’ as a term for the thing in itself. In Sects. 2 and 3, I reconstruct two immortalist arguments from Fichte’s Jena period. The first is that the I’s self-activity rules out the existence of the thing in itself and thereby vanquishes ‘death’s head’. The second is that, insofar as the I charges us with the moral perfection of nature, it is the final cause of our entire life, including its end. This is to say that the I puts our every moment into question, even our last. In Sect. 4, I use these immortalist arguments to interpret the striking claim from the Vocation. (shrink)

Fichte assigns ‘intellectual intuition’ a new meaning after Kant. But in 1799, his doctrine of intellectual intuition is publicly deemed indefensible by Kant and nihilistic by Jacobi. I propose to defend Fichte’s doctrine against these charges, leaving aside whether it captures what he calls the ‘spirit’ of transcendental idealism. I do so by articulating three problems that motivate Fichte’s redirection of intellectual intuition from being to acting: (1) the regress problem, which states that reflecting on empirical facts of consciousness leads (...) only to further facts and so cannot yield a first principle; (2) the rhapsody problem, which states that the categories form a haphazard set and so lack necessity unless they derive from a first principle; and (3) the nihilism problem, which states that a first principle cannot lie outside our cognition of it, lest it be the cause of our cognition and, being first, the cause of all our actions, reducing us to machines. Crucially, Fichte’s three motivating problems are in fact aspects of a single problem. Leaving any aspect unsolved spoils putative solutions to the other two. Consequently, Fichte requires a single unified solution to all three, which his doctrine of intellectual intuition provides. (shrink)

Throughout his career, Schelling assigns knowledge of the absolute first principle of philosophy to intellectual intuition. Schelling's doctrine of intellectual intuition raises two important questions for interpreters. First, given that his doctrine undergoes several changes before and after his identity philosophy, to what extent can he be said to “hold onto” the same “sense” of it by the 1830s, as he claims? Second, given that his doctrine of intellectual intuition restricts absolute idealism to what he calls a “science of reason”, (...) which he says cannot prove the absolute’s existence, what other doctrine does he require in order to prove this? I will answer these questions by tracing the shifts in Schelling’s doctrine of intellectual intuition from the 1790s to the 1830s and drawing out its evolving methodological role within his science of intelligibility. (shrink)

On the classical understanding, an agent is fully excused for an action if and only if performing this action was a case of faultless wrongdoing. A major motivation for this view is the apparent existence of paradigmatic types of excusing considerations, affecting fault but not wrongness. I show that three such considerations, ignorance, duress and compulsion, can be shown to have direct bearing on the permissibility of actions. The appeal to distinctly identifiable excusing considerations thus does not stand up to (...) closer scrutiny, undermining the classical view and giving us reason to seek alternative ways of drawing the justification/excuse distinction. (shrink)

Plausibly, mathematical claims are true, but the fundamental furniture of the world does not include mathematical objects. This can be made sense of by providing mathematical claims with paraphrases, which make clear how the truth of such claims does not require the fundamental existence of mathematical objects. This paper explores the consequences of this type of position for explanatory structure. There is an apparently straightforward relationship between this sort of structure, and the logical sort: i.e. logically complex claims are explained (...) by logically simpler ones. For example, disjunctions are explained by their (true) disjuncts, while generalizations are explained by their (true) instances. This would seem as plausible in the case of mathematics as elsewhere. Also, it would seem to be something that the anti-realist approaches at issue would want to preserve. It will be argued, however, that these approaches cannot do this: they lead not merely to violations of the familiar principles relating logical and explanatory structure, but even to reversals of these. That is, there are cases where generalizations explain their instances, or disjunctions their disjuncts. (shrink)

This paper argues that we should solve paradoxes for propositions (such as the Russell–Myhill paradox) in essentially the same way that we solve Russellian paradoxes for sets. That is, the standard, iterative approach to sets is extended to include properties, and then the resulting hierarchy of sets and properties is used to construct propositions. Propositions on this account are structured in the sense of mirroring the sentences that express them, and they would seem to serve the needs of philosophers of (...) language and metaphysicians who rely on such propositions. The resulting account has limitations, comparable to those faced by the iterative approach to sets, but it is argued to be in important ways preferable to others that have been proposed. (shrink)

In his article Banicki proposes a universal model for all forms of philosophical therapy. He is guided by works of Martha Nussbaum, who in turn makes recourse to Aristotle. As compared to Nussbaum’s approach, Banicki’s model is more medical and less based on ethical argument. He mentions Foucault’s vision to apply the same theoretical analysis for the ailments of the body and the soul and to use the same kind of approach in treating and curing them. In his interpretation of (...) philosophical therapy, there are, however, some controversial issues, to which we would like to call attention: -/- Is restoring health by a philosophical method of treatment – health understood as a person’s ability to reach his/her vital goals – a convincing explication of philosophical therapy in general? In order to answer this question, it may be useful to look at Plato. It is not only Platonism (and especially Neo-platonism since Plotinus) that questions the idea that therapy is necessarily connected with „vital goals“. Buddhist and Gnostic philosophies are questioning „the vital“ in general. The immense effort in the history of philosophy to liberate the mind from the body casts doubt on the project to explain philosophical therapy solely in analogy to medical therapy. -/- According to Banicki a therapeutic philosophy has to identify the diseases it attempts at curing. There are, however, reasons for associating the term therapy with suffering/risk rather than disease. If a therapy aims at reducing the fear of death, as for example many classical philosophical therapies do, then there is no disease to be cured. A model based on chances and risks also has the advantage that the Buddhist and Stoic reinterpretation of desires/emotions as “diseases” can be dropped in contemporary philosophical therapy. -/- Banicki mentions the comparison of therapies as one of the primary goals of modelling. Methods should be verified by a statistical correlation between method and therapeutic success and/or by a theory which justifies the method. Some forms of therapies, however, avoid theory-specific terms and concepts in favor of an unprejudiced interpretation of the patient’s statements. Others share the (Nietzschean) aspiration to explore and change measures of value. If the therapeutic process is seen as a unique phenomenon, then there can be no theory and no statistics with co-occurrences. -/- According to Banicki philosophical therapy has to describe techniques which qualify as genuinely philosophical. Techniques like maieutics and hermeneutics, however, are antique philosophical “inventions”, which were later adopted by psychotherapy. If meditation is accepted as a therapeutic tool – as it was in ancient times – then there is not only a methodical but also an emotional relation to religion. If finally, the Socratic search for a good life is seen as one of the characteristics of philosophical therapy, then delimitation even turns into a criterion for non-philosophical therapies. The search for a good life requires an interdisciplinary approach. -/- For the concretization of the formal structure, we suggest a typology of therapies, which is based on chances and risks. Such a typology has the advantage, that it can model conflicting (and even opposing) forms of therapies. The variety of therapeutic goals and methods is a consequence of the historical development towards conceptual freedom. (shrink)

É possível constatar, mesmo em uma leitura superficial, que Kant tem o propósito de empreender em seu opúsculo de 1795, À Paz Perpétua, uma defesa dos princípios normativos do direito em todas as esferas da vida pública. Isso se evidencia na tentativa de desenvolver uma teoria da paz erigida sobre uma teoria tríplice do direito público, dividida nos âmbitos do direito estatal, das gentes e cosmopolita. Mas, se a questão é, por um lado, adequar os princípios puros da doutrina do (...) direito à teoria da paz, por outro, o problema com o qual Kant tem de lidar é essencialmente histórico. Não se trata apenas de justificar, em um contexto abrangente, a normatividade dos princípios do direito, mas também de demonstrar a sua aplicabilidade. Por conseguinte, em seu empreendimento, Kant encontra-se diante do desafio de demonstrar a inconsistência da “expressão corrente”, com a qual teve que lidar antes, que diz que “isto pode ser correto na teoria, mas nada vale na prática”. Tal preocupação pode ser observada direta e indiretamente, em várias passagens, no decorrer do texto, explicitando-se ,sobretudo, na discussão apresentada no Suplemento Primeiro no qual a questão suscitada pelo problema da teoria e prática, acerca das condições de possibilidade de realização do ideal da paz, é discutida no contexto de sua filosofia da história e também no Apêndice I, no qual, através de uma reflexão sobre o consenso entre moral e política, o que se põe em questão é a possibilidade da concordância entre teoria e prática no contexto da filosofia e da prática política. Ocupar-me-ei nesse texto apenas em tratar da questão sob esse segundo aspecto, tentando destacar que a estratégia kantiana para superar o problema da teoria e prática, no âmbito da filosofia política, depende do desenvolvimento de uma “renovada” doutrina da prudência. Como observa Castillo1, “[p]ara provar que a teoria jurídica da paz se aplica na teoria e na prática ao mesmo tempo”, Kant “deve fazer um exame crítico do conceito de prudência do Estado”2 . Esta análise deve nos permitir concluir, em primeiro lugar, que, bem diferente da visão antes difundida de que a filosofia política de Kant é expressão de um moralismo “que é certamente sincero, mas basicamente ingênuo”3, o objetivo de Kant, na verdade, nunca foi o de se afastar da realidade concreta da política em nome de um ideal abstrato de virtude política. Sua preocupação foi, em vez disso, a de ajustar os co. (shrink)

Ontological pluralism is the view that there are different ways to exist. It is a position with deep roots in the history of philosophy, and in which there has been a recent resurgence of interest. In contemporary presentations, it is stated in terms of fundamental languages: as the view that such languages contain more than one quantifier. For example, one ranging over abstract objects, and another over concrete ones. A natural worry, however, is that the languages proposed by the pluralist (...) are mere notational variants of those proposed by the monist, in which case the debate between the two positions would not seem to be substantive. Jason Turner has given an ingenious response to this worry, in terms of a principle that he calls ‘logical realism’. This paper offers a counter-response on behalf of the ‘notationalist’. I argue that, properly applied, the principle of logical realism is no threat to the claim that the languages in question are notational variants. Indeed, there seems to be every reason to think that they are. (shrink)

Are there different sizes of infinity? That is, are there infinite sets of different sizes? This is one of the most natural questions that one can ask about the infinite. But it is of course generally taken to be settled by mathematical results, such as Cantor’s theorem, to the effect that there are infinite sets without bijections between them. These results settle the question, given an almost universally accepted principle relating size to the existence of functions. The principle is: for (...) any sets A and B, if A is the same size as B, then there is a bijection from A to B. The aim of the paper, however, is to argue that this question is in fact wide open: to argue that we are not in a position to know the answer, because we are not in one to know the principle. The aim, that is, is to argue that for all we know there is only one size of infinity. (shrink)

It is commonly assumed that blameworthiness is epistemically constrained. If one lacks sufficient epistemic access to the fact that some action harms another, then one cannot be blamed for harming. Acceptance of an epistemic condition for blameworthiness can give rise to a worry, however: could agents ever successfully evade blameworthiness by deliberately stunting their epistemic position? I discuss a particularly worrisome version of such epistemic shirking, in which agents pre-emptively seek to avoid access to potentially morally relevant facts. As Roy (...) Sorensen and Jan Willem Wieland have argued, we seem to be faced with a potentially troubling regress when trying to explain what goes wrong in such situations. I argue that the solution to this so-called Shirker Problem is not to be found in complicated and demanding anti-shirking-principles with universal scope and potentially self-reflexive content. Instead, careful consideration of the necessary motivational make-up of genuine shirkers reveals their ignorance to lack the necessary depth to be exculpatory. Since shirkers by definition react to the possibility of the revelation of morally relevant facts with acts of epistemic self-limitation, they necessarily prove guilty of a form of culpable moral recklessness. Epistemic shirking thus does not pose a worrisome problem for ethical theory. (shrink)

Abstract: The standard picture of rationality requires that the agent acts so as to realize her most preferred alternative in the light of her own desires and beliefs. However, there are circumstances where such an agent can predict that she will act against her preferences. The story of Ulysses and the Sirens is the paradigmatic example of such cases. In those circumstances the orthodoxy requires the agent to be ‘sophisticated’. That is to say, she should take into account her expected (...) future choices and prevent her future self to act in certain ways. She should ‘bind’ herself to a certain course of action. This is a form of causal commitment. It is generally recognized that this form of self-commitment is the only one that is available to a rational agent. Rational commitment, where the agent gives herself a reason to act in a certain way rather than making herself act in that way, is considered not feasible. In this paper, I question this verdict. I sketch the broad outlines of a model of rational commitment, which takes as its starting point Michael Bratman’s ‘planning theory’ of intention. There are two important objections against this theory (one by John Broome and one by the Dutch philosopher Govert den Hartogh.) Both criticisms claim that such a theory is a form of ‘bootstrapping’ reasons for action into existence. In the remainder of the paper, I will defend the theory against these objections. This way, I hope to establish that defending the feasibility of rational commitment is not an obvious mistake. (shrink)

In this paper, my aim is to reconstruct, through the material presented in the handschrifter Nachlaß, Kant`s criticism to Hutcheson and to the doctrine of moral feeling in the 1770s in the so called silent decade. As we can note, this criticism generally is addressed to the fact that the doctrine of moral feeling is lacking an objective ground on which can be established a categorical conception of ethics. Moreover, I argue that in this context Kant already demonstrates, from his (...) critical position in the Reflexionen and Vorlesungen, the general lines of his mature conception on moral feeling as something strictly linked to our awareness of the law. (shrink)

Metaphysically possible worlds have many uses. Epistemically possible worlds promise to be similarly useful, especially in connection with propositions and propositional attitudes. However, I argue that there is a serious threat to the natural accounts of epistemically possible worlds, from a version of Russell’s paradox. I contrast this threat with David Kaplan’s problem for metaphysical possible world semantics: Kaplan’s problem can be straightforwardly rebutted, the problems I raise cannot. I argue that although there may be coherent accounts of epistemically possible (...) worlds with fruitful applications, any such an account must fundamentally compromise the basic idea behind epistemic possibility. (shrink)

A necessarily true sentence is 'brute' if it does not rigidly refer to anything and if it cannot be reduced to a logical truth. The question of whether there are brute necessities is an extremely natural one. Cian Dorr has recently argued for far-reaching metaphysical claims on the basis of the principle that there are no brute necessities: he initially argued that there are no non-symmetric relations, and later that there are no abstract objects at all. I argue that there (...) are nominalistically acceptable brute necessities, and that Dorr's arguments thus fail. My argument is an application of Gödel's first incompleteness theorem. (shrink)

The concept of facticity denotes conditions of experience whose necessity is not logical yet whose contingency is not empirical. Although often associated with Heidegger, Fichte coins ‘facticity’ in his Berlin period to refer to the conclusion of Kant’s metaphysical deduction of the categories, which he argues leaves it a contingent matter that we have the conditions of experience that we do. Such rhapsodic or factical conditions, he argues, must follow necessarily, independent of empirical givenness, from the I through a process (...) of ‘genesis.’ I reconstruct Fichte’s argument by tracing the origin of his neologism, presenting his Jena critique of Kant’s rhapsodic appeal to the forms of judgment, and illustrating the Jena period’s continuity with the Berlin period’s genetic method, while noting a methodological shift whereby Fichte directs his critique against his own doctrine of intellectual intuition in order to eliminate its ‘factical terms.’. (shrink)

Kant’s critique/doctrine distinction tracks the difference between a canon for the understanding’s proper use and an organon for its dialectical misuse. The latter reflects the dogmatic use of reason to attain a doctrine of knowledge with no antecedent critique. In the 1790s, Fichte collapses Kant’s distinction and redefines dogmatism. He argues that deriving a canon is essentially dialectical and thus yields an organon: critical idealism is properly a doctrine of science or Wissenschaftslehre. Criticism is furthermore said to refute dogmatism, by (...) which Fichte means Spinozism. Schelling repudiates Fichte’s position in his Philosophical Letters by reviving Kant’s distinction. First, ‘critique’ for Schelling names a canon that is valid for all systems—including Spinozism—and thus favours none—not even the Wissenschaftslehre. Second, Schelling coins ‘dogmaticism’ to refer to what Kant calls ‘dogmatism’: reason’s uncritical claim to doctrine. Hence, he says all systems—even Fichte’s—are susceptible to the ‘enthusiasm’ of mistaking themselves for doctrines or ‘objects of knowledge’, instead of subjectively valid ‘objects of freedom’. I reconstruct Schelling’s argument for reviving Kant’s distinction, while noting two consequences for German idealism. First, if criticism favours no system, a system’s origin cannot be an act of knowledge, e.g., intellectual intuition, but only an act of endorsement. Second, if dogmaticism entails enthusiasm, a system’s goal cannot be absolute knowledge, but only infinite striving. Hence, by retrieving Schelling’s notion of dogmaticism, we can both gain a better understanding of the Letters and register the impact of a core Kantian distinction on the German idealist project. (shrink)

Fichte argues that the conclusion of Kant’s transcendental deduction of the categories is correct yet lacks a crucial premise, given Kant’s admission that the metaphysical deduction locates an arbitrary origin for the categories. Fichte provides the missing premise by employing a new method: a genetic deduction of the categories from a first principle. Since Fichte claims to articulate the same view as Kant in a different, it is crucial to grasp genetic deduction in relation to the sorts of deduction that (...) Kant offers. I propose to interpret genetic deduction as the simultaneous fulfillment of two tasks: answering the question quid facti by deriving the categories from the I and answering the question quid juris by establishing our entitlement to the categories as conditions of experience. While the second task represents Fichte’s agreement with Kant’s transcendental deduction, the first reflects his correction of Kant’s metaphysical deduction. (shrink)

Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All—that is, All ϕs are ψ—or Most. Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. (...) In this paper I solve the problem by showing how Kleene's strong scheme, and Kripke's theory based on it, can in a natural way be extended to accommodate the full range of generalized quantifiers. (shrink)

If a problem is the collision between a system and a fact, Spinozism and German idealism’s greatest problem is the corpse. Life’s end is problematic for the denial of death’s qualitative difference from life and the affirmation of nature’s infinite purposiveness. In particular, German idealism exemplifies immortalism – the view that life is the unconditioned condition of all experience, including death. If idealism cannot explain the corpse, death is not grounded on life, which invites mortalism – the view that death (...) is the unconditioned condition of experience. In “Philosophical Letters,” Schelling critiques idealism, arguing that death symbolizes the regulative ideal of a philosophical system’s derivation, our striving for which unifies our rational activity. I interpret Schelling’s critique as explaining how death puts philosophy into question, an idea he develops in the Freedom essay and Berlin lectures. Death is not a problem to be solved by a system, but represents philosophy’s highest yet unrealizable end. (shrink)

Our understanding of Schelling’s internal critique of German idealism, including his late attack on Hegel, is incomplete unless we trace it to the early “Philosophical Letters on Dogmatism and Criticism,” which initiate his engagement with the problem of systematicity—that judgment makes deriving a system of a priori conditions from a first principle necessary, while this capacity’s finitude makes this impossible. Schelling aims to demonstrate this problem’s intractability. My conceptual aim is to reconstruct this from the “Letters,” which reject Fichte’s claim (...) that the Wissenschaftslehre is an unrivalled system. I read Schelling as charging Fichte with misrepresenting a system’s livability or commensurability with our finitude. My historical aim is to provide a framework for understanding Schelling’s Freiheitsschrift, which argues that a system’s liveability depends on its incompleteness or limitation by our finitude. On my reading, Schelling is early and continually committed to systematicity within the bounds of human finitude. (shrink)

The extent of the originality and relevance of Kant's ethics is undeniable. But it is not so evident the fact that the Kant's moral philosophy as a whole was not suddenly built, but it was dependent on a profound debate with the philosophical tradition, especially with the German scholastic tradition, a debate which led to the assimilation or appropriation of several of its aspects. With special regard to the history of the development of the categorical imperative, it is not possible (...) to be indifferent to the influence of the practical philosophy of the Enlightenment German philosopher and theologian, Christian August Crusius. The aim of this article is thus to try to identify, taking into account the distinction of praxis in problematic and moral and the contrast between prudence and morality, some points of intersection between the moral philosophy of Crusius and Kant in its origin. (shrink)

The aim of the paper is to argue that all—or almost all—logical rules have exceptions. In particular, it is argued that this is a moral that we should draw from the semantic paradoxes. The idea that we should respond to the paradoxes by revising logic in some way is familiar. But previous proposals advocate the replacement of classical logic with some alternative logic. That is, some alternative system of rules, where it is taken for granted that these hold without exception. (...) The present proposal is quite different. According to this, there is no such alternative logic. Rather, classical logic retains the status of the ‘one true logic’, but this status must be reconceived so as to be compatible with (almost) all of its rules admitting of exceptions. This would seem to have significant repercussions for a range of widely held views about logic: e.g. that it is a priori, or that it is necessary. Indeed, if the arguments of the paper succeed, then such views must be given up. (shrink)

This paper argues that McDowell wrongly assumes that “terror”, Cavell’s reaction to the radical contingency of our shared modes of knowing or our “attunement”, expresses a skepticism that is antinomically bound to an equally unacceptable dogmatism because Cavell rather regards terror as a mood that reveals the “truth of skepticism”, namely, that there is no conclusive evidence for necessary attunement on pain of a category error, and that a precedent for McDowell’s misunderstanding is Hegel’s argument for necessary attunement in a (...) system of knowing, whose refutation Schelling holds it is the “merit of skepticism” to provide. (shrink)

This research was done in Juiz de Fora, Minas Gerais, Brazil on february 2012, with objective was to determine which species of social wasps visiting mango fruits, their behaviors displayed by them while foraging and verify which the species of wasps visitors offer risk of accidents to farmers. The studied area was monitored during February 2012, from 8:00 to 17:00. in a 144 hour effort, and the data collected included the time of activity, diversity, aggressiveness and the general behavior of (...) social wasps around the fruits. There were registered a total of 175 individuals of 12 different species, healthy fruits were damaged during the day, and we registered the abundance and richness peaks throughout the day. This study indicated the needs for special care during the harvest, as aggressive wasps are indeed present and the abundant, resulting in a possible increase of the risk for the workers. (shrink)

Meillassoux seeks knowledge of transcendental reality, blaming Kant for the ‘correlationist’ proscription of independent access to either thought or being. For Meillassoux, correlationism blocks an account of the meaning of ‘ancestral statements’ regarding reality prior to humans. I examine three charges on which Meillassoux’s argument depends: (1) Kant distorts ancestral statements’ meaning; (2) Kant fallaciously infers causality’s necessity; (3) Kant’s transcendental idealism cannot grasp ‘the great outdoors’. I reject these charges: (1) imposes a Cartesian misreading, hence Meillassoux’s false assumption that, (...) for Kant, objects don’t exist without subjects; (2) misreads Kant, who infers causality’s necessity from the possibility of experience; (3) casts Kant’s idealism as subjective, ignoring his perspectival portrayal of it. (shrink)

Esta edição contém a única transcrição estudantil sobrevivente das Lições de Metafísica de Kant da década de 1770. A Lição foi ministrada o mais tardar no inverno de 1779/80 e, portanto, antes mesmo da publicação da Crítica da Razão Pura (1781). Um exceção é, contudo, a parte sobre a ontologia que seguramente se remonta a uma Lição que Kant ministrou depois de 1781. Estas transcrições de Lições são de valor inestimável para a história do desenvolvimento da filosofia de Kant e, (...) em especial, para a gênese de sua Crítica da Razão Pura . Elas representam também um complemento importante para suas outras Lições, como por exemplo, as de antropologia, nas quais Kant também se ocupou com as questões da psicologia empírica e racional. É interessante observar que Kant se serve de métodos distintos, nas Lições de Antropologia e de Metafísica, para demonstrar a substancialidade e a imortalidade da alma. Embora Kant ainda leve a doutrina da alma da psicologia racional muito a sério na Metafísica-Pölitz, ele rejeitará de fato suas pretensões de conhecimento pouco tempo depois na Crítica na seção sobre os paralogismos da doutrina pura da alma. Aquele que deseja se aprofundar na filosofia de Kant e conhecer seu contexto histórico-filosófico não pode deixar de ler as Lições de Metafísica-Pölitz. Heiner F. Klemme Martin-Luther-Universität Halle-Wittenberg. (shrink)

The aim of this article is to discuss the extent to which certain substructural logics are related through the phenomenon of duality. Roughly speaking, metainferences are inferences between collect...

The article On the Miscarriage of All Philosophical Trials in Theodicy was published in 1791 on the pages of the monthly periodical berlinische Monatsschrift. By itself, the title of the article already seems to us quite enlightening. What would it be but a criticism of every attempt to justify the God's cause? Nevertheless, there are evidences that there is much more at stake. Thus, the purpose of this paper is to raise the question about the true meaning of the Kant`s (...) text, arguing in favor of the fact that, for some reasons, the essay should not be interpreted exclusively as a criticism, but otherwise as a effort to establish a positive foundation of theodicy. If, indeed, the limits of reason prohibit any attempt to defend the good cause of God by speculative means, on the other hand, practical reason opens the way, throught of the concept of a "authentic theodicy", to answer the objections which the experience raises against the government and justice of God. My purpose, from this, is to stress the important role of theodicy in the system of reason of Kantian philosophy. (shrink)

‘Facticity’ is a concept that classical phenomenologists like Heidegger use to denote the radically contingent or underivably brute conditions of intelligibility. Yet Fichte coins the term, to which he gives the opposing use of denoting unacceptably brute conditions of intelligibility. For him, radical contingency is a problem to be solved by deriving such conditions from reason. Heidegger rejects Fichte's recoil from facticity with his hermeneutics of facticity, supplanting Fichte's metaphor of our always being in reason's hand with the metaphor of (...) our always having been thrown. How does Heidegger inherit and diametrically repurpose Fichte's neologism? Whence the reversed meaning of ‘facticity’ in post-Kantian thought? The answer is Lask's doctoral thesis, which exerts an acknowledged impact on Heidegger's habilitation thesis. Lask interprets ‘facticity’ as Fichte's term for the individuality problem, that is, the resistance of the material particularity of individuals to explanation by the categories genetically deduced from reason. On his interpretation, ‘facticity’ denotes radical contingency in the guise of haecceity, that is, the brute uniqueness of individuals. Lask credits Fichte with registering the problem of individuality, which highlights the world's irreducibly precategorial character. But how is ‘facticity’ transmitted from Lask to Heidegger, given their opposing interpretations of how Fichte understands its meaning? I argue that (1) Lask misreads Fichte as a proponent of facticity, that is, one whose accommodation of radical contingency deflates the Wissenschaftslehre's systematic ambitions, and (2) Lask's misreading, without deceiving Heidegger regarding the sincerity of Fichte's ambitions, encourages Heidegger's own hermeneutics of facticity. (shrink)

Does Kant’s restriction of knowledge to phenomena undermine objectivity? Jacobi argues that it does, daring the transcendental idealist to abandon the thing in itself and embrace the “strongest idealism”. According to Bruno, McDowell and Meillassoux adopt a similar critique of Kant’s conception of objectivity and, more significantly, echo Jacobi’s dare to profess the strongest idealism – what McDowell approvingly calls “consistent idealism” and Meillassoux disparagingly calls “extreme idealism”. After exposing the Cartesian projection on which Jacobi’s critique rests, Bruno (...) shows that McDowell’s and Meillassoux’s critiques make the same projection. He argues that whereas McDowell offers an inconsistent alternative to Kant’s idealism, Meillassoux begs the question against it. Finally, Bruno sketches the account of objectivity that follows from Kant’s distinction between general and transcendental logic. (shrink)

A filosofia do direito internacional de Hegel tem recebido certa atenção nos últimos anos. As pesquisas mais recentes têm buscado apresentar uma visão diferente daquela, apresentada no século XIX e primeira metade do século XX, que retratava Hegel como um entusiasta do estado de guerra. Com efeito, também se passou a reavaliar a relação de Hegel com Kant no que diz respeito às questões do direito internacional, sobretudo, a possibilidade da paz. Meu objetivo nesse artigo é, primeiramente, apresentar os aspectos (...) gerais da filosofia do direito internacional de Hegel, enfatizando seu diálogo com Kant. Tento mostrar como Hegel está, em sua discussão, em referência a importantes aspectos do texto kantiano sobre a paz perpétua. Em segunda instância, partindo desse diálogo, argumento que, embora Hegel seja certamente muito mais um crítico do projeto kantiano do que um simpatizante, as implicações últimas de seu pensamento mostram-se, em alguma medida, alinhadas com as da filosofia de Kant. (shrink)

Most of us spend a significant portion of our lives learning, practising, and performing a wide range of skills. Many of us also have a great amount of control over which skills we learn and develop. From choices as significant as career pursuits to those as minor as how we spend our weeknight leisure time, we exercise a great amount of agency over what we know and what we can do. In this paper we argue, using a framework first developed (...) by Carbonell (2013) that in many real-world circumstances we have moral obligations to develop some skills rather than others. (shrink)

In the Freedom essay, Schelling charges that (1) idealism fails to grasp human freedom’s distinctiveness and that (2) this failure undermines idealism's attempt to refute pantheism, as exemplified by Spinoza. This raises two questions, which I will answer in turn: what, for Schelling, is distinctive of human freedom; and how does the idealists’ failure to grasp it render them unable to refute pantheism? To answer these questions, I will reconstruct Schelling’s argument that freedom has the distinctness of being the unconditioned (...) condition of the world’s intelligibility. My reconstruction will illustrate how Schelling’s notion of freedom as primal will grounds the alleged primacy of practical reason as Kant and Fichte conceive it. I will then consider three objections to Schelling’s argument. Throughout, I will develop the Schellingian idea that freedom is enacted in an unprethinkable decision that cannot be anticipated by any law or principle. (shrink)

Em 1795, a maneira sarcástica com a qual Kant inaugura um de seus textos mais influentes referindo-se ao letreiro de uma pousada holandesa sobre o qual está pintado um cemitério cujo lema é a “paz perpétua”, diz muito sobre a situação permanente de guerra em que se encontrava não só os países europeus daquele tempo, mas também, de um modo geral, os povos na história da humanidade. Com o objetivo de colocar um fim definitivo em todas as guerras, Kant propõe (...) os fundamentos de uma teoria integral do direito público tripartida nos âmbitos do 1) direito do Estado, 2) do direito das gentes e 3) do direito cosmopolita. Exige-se, na primeira esfera, a instituição da constituição republicana, o que deve tornar os Estados sistemas políticos representativos. Em relação à segunda esfera, os Estados republicanos devem se reunir em uma liga livre de povos contrária à guerra E, na última, os seres humanos devem ser reconhecidos como cidadãos do mundo, o que lhes garante um direito à hospitalidade. Não é de se surpreender, levando em conta estas inovações, que o opúsculo kantiano “À paz Perpétua” tenha se tornado tão rapidamente popular e que a sua influência tenha se estendido para o contexto jurídico-político do século XX, materializando-se no aparecimento de organizações internacionais como a Liga das Nações (1919) e a Organização das Nações Unidas (1945). (shrink)

No centro da filosofia moral de Kant está sem dúvida sua doutrina do imperativo categórico. Por esse motivo não é de se surpreender que a Fundamentação da Metafísica dos Costumes (1785), na qual Kant explica, em detalhes, essa doutrina pela primeira vez, tenha sido o foco da atenção por décadas. Mas há alguns anos é observável uma significativa mudança na literatura que é univocamente bem vinda: ao lado da pesquisa das Doutrinas da Virtude e do Direito publicadas por Kant nos (...) anos noventa do século 18, agora também são intensamente estudadas suas perspectivas filosófico-morais desenvolvidas antes de 1781. Nesse sentido assume uma posição de destaque o manuscrito estudantil de uma lição de ética ministrada no meio dos anos 70, que é publicada aqui, em língua portuguesa, pela primeira vez em uma tradução comentada. Ainda hoje, esta lição serve como uma introdução à ética de Kant, muito embora pareça divergir, em alguns aspectos, da doutrina crítica do imperativo categórico. As Lições de Ética são um „trabalho em andamento“. Por um lado, somos capazes de assistir Kant "pensando" e compreender como ele se reporta ao livro de Alexander Baumgarten sobre os Príncípios da Metafísica Prática (Initia philosophiae practicae primae, 1760). E, por outro lado, somos capazes de vivenciar como ele desenvolve suas próprias perspectivas filosófico-morais em contraste a Baumgarten. Para todos que se interessam pela filosofia moral de Kant e pela história da ética na época da Aufklärung, o estudo desse manuscrito é indispensável. -/- Heiner F. Klemme (Martin Luther Universität - Halle-Wittenberg) . (shrink)

Apresentamos aqui a tradução de uma pequena seleção das notas kantianas sobre ética. A maioria dos fragmento traduzidos é parte das chamadas Reflexões de Filosofia Moral publicadas no tomo XIX de Kants gesammelte Schriften, que se constituem, em sua maior parte, como as anotações de Kant (algumas em folhas soltas) na margem de um dos exemplares de referência para seus cursos de ética17, a Initia philosophiae practicae primae de Alexander Baumgarten, em sua edição de 1760. Acrescentamos à mesma seleção, no (...) entanto, algumas Reflexões presentes em outros volumes do Legado Manuscrito que, de alguma maneira, abordam os mesmos temas. As Reflexões foram dispostas em ordem numérica e separadas de acordo com seus respectivos assuntos. Considerando a diversidade dos temas comentados por Kant, de acordo com o manual, tais como obrigação, coerção, imputação, lei, justiça, punição etc, tentamos selecionar alguns tópicos que assumem uma função basilar dentro da teoria moral kantiana. Dessa forma, o primeiro grupo de Reflexões contém algumas notas que tratam com o problema da liberdade e da lei moral. O segundo é um compilado contendo comentários sobre o sentimento moral. O terceiro apresenta algumas reflexões esparsas sobre imputabilidade e o mal moral e o quarto grupo traz algumas notas comentadas sobre o problema do sumo bem, sendo, em alguns casos, apenas trechos de anotações maiores. As traduções foram realizadas diretamente a partir dos fragmentos originais, embora, em alguns casos, tenha sido feito o cotejamento com outras versões, dentre as quais cito a tradução para o espanhol, Reflexiones sobre Filosofia Moral, publicada por J. Herceg, a seleção de notas da Cambridge Edition intitulada Notes and Fragments e a tradução francesa de Luc Langlois, Réflexions Sur La Philosophie Morale. Com o objetivo de dar mais clareza aos apontamentos, facilitando a interpretação, optei por completar, em alguns casos, as sentenças de Kant nas quais certas palavras ficam subentendidas. Este complemento está apresentado entre colchetes. Para fins comparativos, todas as Reflexões traduzidas são acompanhadas por sua correspondente original nas notas de rodapé. Ciente de todas as dificuldades desse tipo de trabalho, desde já, deixo aberto à comunidade acadêmica o espaço para críticas, sugestões e correções. (shrink)

Here are two plausible ideas about belief. First: beliefs are our means of storing information. Second: if we believe something, then we are willing to use it in reasoning. But in this paper I introduce a puzzle that seems to show that these cannot both be right. The solution, I argue, is a new picture, on which there is a kind of belief for each idea. An account of these two kinds of belief is offered in terms of two components: (...) a relatively stable one, which represents our information; and a more variable one, which represents what we are taking seriously. I also consider the possibility of solving the puzzle by less radical means; and an alternative argument for the proposed account of belief in terms of considerations from desire. (shrink)

In recent work, William Blattner claims that Heidegger is an empirical realist, but not a transcendental idealist. Blattner argues that, unlike Kant, Heidegger holds that thinking beyond human life warrants no judgment about nature's existence. This poses two problems. One is interpretive: Blattner misreads Kant's conception of the beyond-life as yielding the judgment that nature does not exist, for Kant shares Heidegger's view that such a judgment must lack sense. Another is programmatic: Blattner overstates the gap between Kant's and Heidegger's (...) positions, for both are ontological, not ontic. I solve these problems by showing that Heidegger's analysis of Dasein contains the core of Kant's argument for transcendental idealism: the apriority of space and time. I conclude that Heidegger exemplifies Kant's view that empirical realism just is transcendental idealism. (shrink)