The literature provides different methodologies for sampling social wasps, including, flight intercept trap type Malaise and Attractive trap, however, there is no consensus on its use. In this respect, the aim of this study was to evaluate the best use of Malaise traps and Attractive trap in biodiversity work of social wasps, and generate a collection protocol for the use of these traps. The study was conducted in the Parque Estadual do Rio Doce, located in the east of the state (...) of Minas Gerais, in the years 2000, 2001, 2002 and 2004 and in the Botanical Garden of the Federal University of Juiz de Fora, located in the southeastern state of Minas Gerais, in years 2011, 2012 and 2013. 15 species were collected using Malaise traps, and, 26 species of social wasps were collected using Attractive traps. Although the negative aspects of both traps, complementary methodologies surveys varying social wasps are useful and it is recommended to choose for using in accordance with the logistical field. (shrink)

O que são práticas baseadas em evidências? Por que isso é importante para a Psicologia? Neste ebook Danielle de Souza Costa, Bruno Rezende de Souza, Clarice de Medeiros Chaves Ferreira e Leandro Fernandes Malloy-Diniz fazem uma breve introdução ao tema, conceituando o significado de termos chave como "evidências", "ciência" e "pseudociência", discutindo algumas das dificuldades que encontramos hoje na avaliação da confiabilidade dos estudos científicos, oferecendo dicas para os iniciantes, e destacando a importância do estudo de uma (...) psicologia científica. (shrink)

CAMILO, Bruno. O anarquismo e o estímulo à inovação científica. In: SOUZA, Poliana Mendes de. (org.). Inovação na educação superior brasileira: metodologia e casos. Recife: Even3 Publicações, 2021. p. 57-73. -/- Este trabalho, inserido na subárea da filosofia da ciência, possui como tema principal o “anarquismo metodológico” tal como é apresentado pelo filósofo da ciência Paul Feyerabend. O objetivo geral é apresentar o modo como o “anarquismo metodológico”, tal como exposto em Feyerabend (2007), pode contribuir para resolver o (...) problema da “educação científica” e estimular a inovação ou mudança, para em seguida refletir sobre a possibilidade de aplicar o “anarquismo metodológico” nas escolas do Brasil. Tal reflexão será pertinente se consideradas as dificuldades que afligem a “educação científica” no Brasil, sobretudo aquelas que dizem respeito a falta de desenvolvimento da inovação científica e tecnológica do país. (shrink)

Sumário: 1. O conceito de revolução, Amélia de Jesus Oliveira; 2. Mudanças de concepção de mundo, Artur Bezzi Günther; 3. Habilidade e causalidade: uma proposta confiabilista para casos típicos de conhecimento, Breno Ricardo Guimarães Santos; 4. El realismo interno de Putnam y sus implicaciones en la filosofía de la ciencia y para el realismo científico, Marcos Antonio da Silva; 5.O papel da observação na atividade científica segundo Peirce, Max Rogério Vicentini; 6.Fact and Value entanglement: a collapse of objective reality?, Oswaldo (...) Melo Souza Filho; 7.Realismo interno e o paradoxo de Putnam, Renato Mendes Rocha; 8.Uma informação, dois formatos, dois destinos, Cícero Antônio Cavalcante Barroso; 9.O Mentiroso e as intuições acerca da noção de verdade na perspectiva de Saul Kripke, Ederson Safra Melo; 10.A conceptual difficulty with some definitions of behavior, Filipe Lazzeri; 11.A faceta epistêmica do problema da referência, Saulo Moraes de Assis; 12.Princípios metafísicos do método newtoniano, Bruno Camilo de Oliveira; 13.A resposta aristotélica para a aporia do regresso ao infinito nas demonstrações, Daniel Lourenço; 14.O uso da doutrina da ponderação aplicado ao principialismo, Cinthia Berwanger Pereira; 15.A fenomenologia da vida interior em Hannah Arendt, Elizabete Olinda Guerra; 16.Por que achar que o direito é formado por ordens é um fracasso?, ria Alice da Silva; 17 Por que ainda há poucas mulheres na filosofia? Uma versão modificada do modelo das “vozes diferentes”, Tânia A. Kuhnen; 18.Algumas considerações sobre Substância, Forma e Matéria na Metafísica de Aristóteles, Gabriel Geller Xavier. (shrink)

The present study assessed the language teachers' pedagogical beliefs and orientations in integrating technology in the online classroom and its effect on students' motivation and engagement. It utilized a cross-sectional correlational research survey. The study respondents were the randomly sampled 205 language teachers (μ= 437, n= 205) and 317 language students (μ= 1800, n= 317) of select higher educational institutions in the Philippines. The study results revealed that respondents hold positive pedagogical beliefs and orientations using technology-based teaching in their language (...) classroom. Test of difference showed that female teachers manifested a firmer belief in student-centered online language teaching than their male counterparts. However, the utilization and attitude towards technology in the language classroom is favorably associated with the male teachers. As to students' level of language learning motivation and engagement, it was found out that male and female students have high level of language learning engagement. Further, the test of relationship showed that the higher the teachers' belief in utilizing student-centered teaching to integrate technology in the language classroom, the higher the students are motivated and engaged in learning. In like manner, it was also revealed that teacher-centered belief is negatively correlated to student’s motivation and engagement in online language learning. In this regard, the pedagogical assumptions that hold EFL teachers positively to integrate technology in the language classroom. This study generally offers implications for enhancing language teacher's digital literacy to promote motivating, fruitful, and engaging language lessons for 21ts century learning. (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)

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)

This paper examines one of the central objections levied against neo-Aristotelian virtue ethics: the self-absorption objection. Proponents of this objection state that the main problem with neo-Aristotelian accounts of moral motivation is that they prescribe that our ultimate reason for acting virtuously is that doing so is for the sake of and/or is constitutive of our own eudaimonia. In this paper, I provide an overview of the various attempts made by neo-Aristotelian virtue ethicists to address the self-absorption objection and argue (...) that they all fall short for one reason or another. I contend that the way forward for neo-Aristotelian virtue ethicists is to reject the view that the virtuous agent ought to organize her life in a way that is ultimately good for her, and instead adopt a more expansive conception of her ultimate end, one in which no special preference is given to her own good. (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)

Quanto segue intende proporsi come il resoconto di una conversazione che Andrea Oliani, Bruno Cortesi e Pietro Vigiani, tutti studenti presso l’Almo Collegio Borromeo di Pavia, hanno intrattenuto con Emanuele Severino, volta ad enucleare, muovendo da spunti talvolta anche polemici, alcune delle concettualità fondanti quel corpus di dottrine che cade sotto il nome di severinismo. Severino è stato squisito nell’accoglierci e ospitarci nella sua dimora di Brescia, lucido e assolutamente puntuale nel controbattere alle nostre provocazioni. La discussione ha poi (...) trovato naturale seguito in una conferenza di carattere più divulgativo tenuta dal filosofo presso il Collegio Borromeo, dal titolo Sulla Tecnica. Severino consegue la laurea in Filosofia nel 1950 come alunno del Collegio Borromeo, discutendo una tesi intitolata Heidegger e la metafisica sotto la supervisione di Gustavo Bontadini. Solo un anno più tardi ottiene la libera docenza in filosofia teoretica. Nel 1964 pubblica lo scritto Ritornare a Parmenide, che, insieme a La Struttura Originaria rappresenta la miccia che innescherà negli anni successivi quello che molti hanno definito lo “scandalo” del severinismo. Questi scritti, come altri, posseggono una portata teorica tanto dirompente che già nel 1969, a seguito di un lungo e accurato esame condotto da Cornelio Fabro, la Chiesa cattolica proclamerà l’insanabile pposizione tra il pensiero di Severino e il Cristianesimo. Comprendere tale pensiero è cosa ardua, se prima non ci sia volti alla grecità delle origini: essa è, per Severino, il luogo ove in maniera inaudita (nel senso letterale di “mai udita prima”) viene pensato l’Incontrovertibile, il “Sempre Salvo”, ciò la cui egazione è auto-negazione, e che pertanto non può in alcun modo essere contraddetto; In altri termini: la Verità. Essa è anche stata in grado per la prima volta di concepire in maniera radicale L’Essere e il suo corrispettivo: il Niente inteso come radicale assenza di qualsiasi positività. L’aver inteso la Verità come Saphés (“Ciò che brilla di luce propria” da cui Philo-Sophìa) da un lato, e l’aver posto L’Essere e il Niente dall’altro, sono gli atti che per Severino fondano quell’immenso edificio culturale che ancora oggi domina il pianeta tutto: L’Occidente. È possibile, dunque, individuare una pars construens e una pars destruens negli scritti di Emanuele Severino: da una parte sembra che, facendo uso di un apparato logico e ontologico raffinatissimo, egli cerchi di porre in questione le categorie di pensiero occidentali risolvendo il Problema dell’Occidente alla radice, cioè eliminandolo (accenneremo a quale sia questo problema e a cosa significhi eliminarlo); in questa che è una vera e propria opera di demolizione, il Nostro (pars construens) intende mostrare come tutto quanto si mostra nell’orizzonte esperienziale sia “da sempre salvo” perché eterno. Ciò sfocia, in scritti quali Pensieri sul Cristianesimo, Technè, Il Giogo, Il Nulla e la Poesia, in una “ricostruzione” volta a mostrare come le categorie introdotte dal pensiero greco si riverberino in ogni forma della razionalità occidentale, dall’arte, alla filosofia, al diritto, alla politica, determinandone in maniera necessaria gli sviluppi. Precisiamo, per correttezza, che lo stesso non è stato rivisto da Severino. (shrink)

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...) natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. (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)

During his Jena period, Fichte endorses a curious dictum: ‘the kind of philosophy one chooses depends on the kind of person one is’. How can Fichte’s dictum support a vindication of German idealism over Spinozism, which he also calls ‘dogmatism’? I will show that the answer to this seemingly straightforward question reveals a rather complex series of metametaphysical objections that shape the development of the entire German idealist tradition. Ultimately, as I will suggest, the series of metametaphysical questions that shape (...) the German idealist tradition must culminate in the question of how to understand the relation between philosophy and its presuppositions. I will conclude by briefly considering a hermeneutical response to this question. (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)

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)

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)

Tyler Burge is famous for defending primitivist naturalism about mental representations, according to which mental representations are primitive natural states. Primitivist naturalism contrasts with semantic reductionism, according to which mental representations are reducible to more fundamental natural states. Burge developed the most compelling and influential attack on semantic reductionism from a primitivist naturalist point of view. My goal in this paper is to defend semantic reduc- tionism from Burge’s attack. I assess and refute his objection to the motivations for semantic (...) reductionism and his objection to the semantic reductionist theory that he takes to be the most promising one, namely, teleosemantics. I argue that in spite of the ingenuity of Burge’s objections, they fail to show that there is no motivation for taking representational states as reducible to more fundamental natural states or that the core thesis of teleosemantics is flawed. (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)

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)

A teoria do Direito internacional de Kelsen é monista, ou seja, o autor reúne a legislação nacional e internacional em um único sistema normativo. Com isso, descarta o dualismo e promove uma tese fundada no princípio lógico da não-contradição, traduzido juridicamente para o princípio da imputação. Por essa afirmação, o Direito internacional, considerando o primado estadual, existe a partir do reconhecimento interno da validade da legislação externa; mais, a recepção dos acordos internacionais na legislação nacional acopla internamente o Direito internacional, (...) com seus tratados bi/multilaterais, pactos, instituições, costumes e tribunais. A teoria de Kelsen torna-se complexa, porém, quando, indagando o inverso dessa premissa, o Direito internacional posto e eficaz, já inserido internamente, não reconhece a validade normativa de eventual interpretação ou norma interna e atua como agente determinante da ordem jurídica nacional. Com isso, o Direito externo torna-se decisivo desse mesmo sistema jurídico interno, não necessariamente por uma ação coercitiva, mas por intermédio do seu reconhecimento da validade da legislação interna. Vimos esse fenômeno materializar-se no caso dos dois presidentes simultâneos da Venezuela: tanto o presidente Nicolás Maduro, quando o presidente Juan Guaidó, foram formalmente designados, por países e instituições distintas, como governantes válidos. Sendo assim, o objetivo do livro consiste em compreender esse fenômeno de reconhecimento externo dos sistemas normativos nacionais através da segunda edição da Teoria de pura do Direito como marco teórico. Igualmente, utiliza-se do estudo de caso sobre a determinação do presidente válido da Venezuela como elemento empírico e de falseabilidade. Com isso, defende a hipótese da necessidade do reconhecimento normativo-objetivo do Estado a partir da formação do Direito internacional, independentemente de seu primitivismo. Os quatro primeiros capítulos, na primeira seção, estabelecem uma interpretação sobre a obra de Kelsen, focada em seu aspecto internacionalista. Nos quatro últimos, na seção II, submeto as conclusões teóricas ao caso concreto, falseando-as ou não conforme seu teste empírico. (shrink)

Philosophical discussions of Molyneux's problem within contemporary philosophy of mind tend to characterize the problem as primarily concerned with the role innately known principles, amodal spatial concepts, and rational cognitive faculties play in our perceptual lives. Indeed, for broadly similar reasons, rationalists have generally advocated an affirmative answer, while empiricists have generally advocated a negative one, to the question Molyneux posed after presenting his famous thought experiment. This historical characterization of the dialectic, however, somewhat obscures the role Molyneux's problem has (...) played in spawning debates within the empiricist tradition. Fortunately, the differences between various empiricist accounts have been widely recognized and discussed among historians of philosophy working on the topic. The focus of the present essay is to develop an interpretation of John Locke's views on Molyneux's problem that best coheres with his other views on human understanding as well as with the predominant scientific opinion about the nature of perception during the period in which he lived. (shrink)

The present article debates the fundamental points of an Ecological UBI proposal. First, a literature review on Ecological/Environmental Ethics is brought up. Green Republicanism also sets up a theoretical foundation for an Ecological UBI. Besides, post-productivism and degrowth goals are imperative for humankind to deal with the present ecological urgencies, as seen in the UBI theory that is also brought up. Based on this literature review, the article proposes fundamental points to an Ecological UBI: (i) the funding should come from (...) the taxation of resource extraction (not only fuel extraction) and income/wealth concentration; (ii) the coordination of different public policies to decommodify fundamental needs; (iii) the sufficiency of the Basic Income payment for the individual to have their basic needs satisfied without the necessity to work; (iv) the stimulation of regional/circular economies. Ecologism does not make it unfeasible for short-term environmental measures, also relevant concerning green and fair transition. (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)

While the idea that philosophy requires self-transformation is historically pervasive, it exerts considerable influence on the post-Kantians who first aim to systematize Kant’s idealism by grounding it on a first principle. In the 1790s, Fichte and Schelling offer competing accounts of the self-transformation that they regard as essential to positing a first principle. Their accounts raise two central questions. First, what makes this kind of self-transformation possible? Second, are there different possible expressions of philosophical self-transformation? In what follows, I will (...) articulate the Fichtean and Schellingian answers to these central questions. For Fichte, the one who summons me to posit a first principle makes possible my philosophical self-transformation, although the latter has an exclusively idealist expression in that I can only genuinely posit the I as first principle, which is to say that philosophical self-transformation depends on mutual recognition and vindicates precisely one philosophical system (Section 1). For Schelling, a brute act of will makes possible my philosophical self-transformation, although the latter has either an idealist or a realist expression in that I can genuinely posit either the I or the not-I as first principle, which is to say that philosophical self-transformation does not depend on mutual recognition and vindicates one of two possible philosophical systems (Section 2). Thus, whereas Fichtean self-transformation is recognitive and non-pluralistic, Schellingian self-transformation is pluralistic and non-recognitive. I conclude with a discussion of how Jacobi poses a challenge to Fichte’s and Schelling’s answers to the two central questions (Section 3). (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)

This chapter intervenes in recent debates in Kant scholarship about the possibility of a general logical alien. Such an alien is a thinker whose laws of thinking violate ours. She is third-personal as she is radically unlike us. Proponents of the constitutive reading of Kant’s conception of general logic accordingly suggest that Kant rules out the possibility of such an alien as unthinkable. I add to this an often-overlooked element in Kant’s thinking: there is reason to think that he grants—and (...) in fact presupposes—the possibility of a transcendental logical alien. Such an alien is a knower whose laws of experience purport to violate ours. She is first-personal as she is radically like us. In other words, she is us, insofar as we are alienated from ourselves and our experience. I go on to draw an analogy between her, a dogmatist, and another transcendental alien, an evil agent. Just as a dogmatist is alienated from her (our) experiential laws, an evil agent is alienated from her (our) moral law. These forms of theoretical and practical self-conceit require self-knowledge in the form of a critique of speculative or practical reason. In bringing this point out, I aim to shift from the question of whether logical laws constitute our thinking to the question of whether grasping our experiential and moral laws as our laws constitutes our reason. (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)

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)

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)

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 aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for (...) senses is provided. It is argued that providing a solution based on proofs is more satisfactory from the standpoint of constructive semantics. (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.

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)

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)

A precursor to the hard problem of consciousness confronts nihilism. Like physicalism, nihilism collides with the first-personal fact of what perception and action are like. Unless this problem is solved, nature’s inclusion of conscious experience will remain, as Chalmers warns the physicalist, an “unanswered question” and, as Jacobi chides the nihilist, “completely inexplicable". One advantage of Kant’s Copernican turn is to dismiss the question that imposes this hard problem. We need not ask how nature is accompanied by the first-person standpoint (...) because “I think” is an apperceptive form of thinking that must be able to accompany any cognition of nature. Kant’s formal conception of apperception worries Fichte in his Nova Methodo lectures. This conception arguably cannot exhaust the ground of experience, for it does not show why we posit objects “at all". For Fichte, it is our agency that first opens a world of objects, viz., as subjects, means, ends, and obstacles. In what follows, I argue that, for Fichte, the I poses no hard problem because it collides exclusively with nihilistic views like Spinozism, which are refuted by a properly transcendental idealist conception of apperception, according to which the first-person standpoint is the absolute ground of our experience of nature. If transcendental idealism refutes nihilism, nature is no more explicable than that there is something it is like for me to perceive and act. In Section 1, I show why Kantian apperception is necessary for possible experience. In Section 2, I reconstruct Fichte’s argument that a modified conception of apperception refutes guises of nihilism, thereby solving the hard problem of consciousness. In Section 3, I suggest that transcendental idealism undermines Chalmers’ proposed solution to and Dennett’s dismissal of this problem. (shrink)

It is a well-worn platitude that knowledge excludes luck. According to anti-luck virtue epistemology, making good on the anti-luck platitude requires an explicit anti-luck condition along the lines of safety: S knows that p only if S’s true belief that p could not have easily been mistaken. This paper offers an independent, virtue epistemological argument against the claim that safety is a necessary condition on knowledge, one that adequately captures the anti-luck platitude. The argument proceeds by way of analogy. I (...) focus on two paradigmatic kinds of normative achievements that also exclude luck: (i) – having a doxastically justified belief, and (ii) – performing a morally worthy action. I then show that while (i) and (ii) exclude luck, they are nevertheless susceptible to what I call ‘modal luck’. I then move on to show that knowledge, or at least some instance of knowledge, is a normative achievement, which I claim provides strong reasons to expect that knowledge is also susceptible to modal luck. Since safety entails that knowledge is incompatible with modal luck, the argument provides strong reasons to reject safety as a necessary condition on knowledge. (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)

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)

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)

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)

‘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)

Habermas frequentemente adota o termo Estado de direito na sua obra Direito e democracia: entre facticidade e validade. O objetivo deste artigo, então, consiste na investigação da possibilidade desse conceito, no seu fundamento e na apresentação dos problemas dele decorrentes, contrapondo-o especificamente a sua antítese, isto é, ao monismo entre Estado e direito de Kelsen. Ocorre que a filosofia habermasiana, conforme entendimento do artigo, implica a adoção de uma teoria dualista entre os conceitos de Estado e de direito. Observa-se, assim, (...) o compromisso do filósofo alemão com a reformulação de uma doutrina jurídica específica e sua radical incompatibilidade com o positivismo kelseniano. (shrink)

Departing from basic concepts in abstract logics, this paper introduces two concepts: conjunctive and disjunctive limits. These notions are used to formalize levels of modal operators.

Pretendeu-se estudar a aquisição da virtude em Aristóteles a partir da interpretação de M. F. Burnyeat. Para esse, a virtude aristotélica exige dimensões cognitivas e emocionais, sendo que ao aprendiz não basta conhecer os princípios e as regras gerais da ação, mas deve ter internalizado, através do hábito, uma vontade de praticar ações nobres e justas. Compete ao sujeito virtuoso, portanto, ter o conhecimento do que é correto (the that), assim como, subsidiariamente, a justificativa do porquê é apropriada determinada ação (...) (the because). Da análise dessas variáveis, o autor procura esclarecer a figura conflituosa do akratic (incontinente) e do akalastos (perverso) e elucidar a hipótese do desenvolvimento moral. Concomitantemente este artigo pretende introduzir o problema criminológico da ideia de ressocialização ou da pena capital, entendendo ser o argumento aristotélico ainda influente para a filosofia da virtude e jurídica hodierna e necessário quando se discutem novos paradigmas éticos e jurídicos. (shrink)

O artigo analisa a leitura crítica de Hans Kelsen acerca da concepção jurídico-política de Thomas Hobbes, considerando críticas posteriores à própria interpretação de Kelsen. Para tanto, investigou-se primeiramente a posição de Kelsen sobre o jusnaturalismo buscando esclarecer conceitos centrais como os do ser e dever-ser e como o autor os associa a Hobbes. Nesse sentido, observouse a limitação da leitura de Kelsen em relação à filosofia jurídica do autor – uma doutrina jusnaturalista metafísica, tendo na regra de ouro o fundamento (...) natural para o direito positivo. Em contraposição, procurou-se apresentar uma postura crítica, que contesta a posição jusnaturalista atribuída a Hobbes e sustenta a tese de que o autor inglês é um precursor do positivismo jurídico. (shrink)