This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties (...) from their associated labelled calculi, such as completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each (...) class='Hi'>nested calculus inherits favorable proof-theoretic properties from its associated labelled calculus. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without (...) resorting to embeddings, semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification. In this paper, we introduce nested sequent calculi for propositional standpoint logics---proof systems that manipulate trees whose nodes are multisets of formulae---and show how to automate standpoint reasoning by means of non-deterministic proof-search algorithms. To obtain worst-case complexity-optimal proof-search, we introduce a novel technique in (...) the context of nested sequents, referred to as "coloring," which consists of taking a formula as input, guessing a certain coloring of its subformulae, and then running proof-search in a nested sequent calculus on the colored input. Our technique lets us decide the validity of standpoint formulae in CoNP since proof-search only produces a partial proof relative to each permitted coloring of the input. We show how all partial proofs can be fused together to construct a complete proof when the input is valid, and how certain partial proofs can be transformed into a counter-model when the input is invalid. These "certificates" (i.e. proofs and counter-models) serve as explanations of the (in)validity of the input. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that (...) explicitly incorporates the semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In (...) the single-agent case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in (...) the number of truth values, and it is shown that this bound is tight. (shrink)

A nested mode ontology allows one to make sense of apparently contradictory Christological claims such as that Christ knows everything and there are some things Christ does not know.

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized (...) with formal grammars, and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed.

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC (...) frames. (shrink)

The authors propose a nested dissection approach to finding a fundamental cycle basis in a planar graph. The cycle basis corresponds to a fundamental null-space basis of the adjacency matrix. This problem is meant to model sparse null-space basis computations occurring in a variety of settings. An O(n3/2) bound is achieved on the nullspace basis size (i.e., the number of nonzero entries in the basis), and an O(n log n) bound on the size in the special case of grid (...) graphs. (shrink)

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by (...) advocating for a more practice-based approach towards the philosophical understanding of proof systems and their role in structural proof theory. (shrink)

Humean reductionism about laws of nature is the view that the laws reduce to the total distribution of non-modal or categorical properties in spacetime. A worry about Humean reductionism is that it cannot motivate the characteristic modal resilience of laws under counterfactual suppositions and that it thus generates wrong verdicts about certain nested counterfactuals. In this paper, we defend Humean reductionism by motivating an account of the modal resilience of Humean laws that gets nested counterfactuals right.

We review the definition of the Full Bayesian Significance Test (FBST), and summarize its main statistical and epistemological characteristics. We review also the Abstract Belief Calculus (ABC) of Darwiche and Ginsberg, and use it to analyze the FBST’s value of evidence. This analysis helps us understand the FBST properties and interpretation. The definition of value of evidence against a sharp hypothesis, in the FBST setup, was motivated by applications of Bayesian statistical reasoning to legal matters where the sharp hypotheses were (...) defendants statements, to be judged according to the Onus Probandi juridical principle. (shrink)

Previously unreported nesting associations of Yellow-Olive Flycatcher (Tolmomyias sulphurescens) (Aves: Tyrannidae) with social wasps and bees.

We argue that the need for commentary in commonly used linear calculi of natural deduction is connected to the “deletion” of illocutionary expressions that express the role of propositions as reasons, assumptions, or inferred propositions. We first analyze the formalization of an informal proof in some common calculi which do not formalize natural language illocutionary expressions, and show that in these calculi the formalizations of the example proof rely on commentary devices that have no counterpart in the (...) original proof. We then present a linear natural deduction calculus that makes use of formal illocutionary expressions in such a way that unique readability for derivations is guaranteed – thus showing that formalizing illocutionary expressions can eliminate the need for commentary. (shrink)

In this article, we perform a detailed proof theoretic investigation of a wide number of relevant logics by employing the well-established methodology of labelled sequent calculi to build our intended systems. At the semantic level, we will characterise relevant logics by employing reduced Routley-Meyer models, namely, relational structures with a ternary relation between worlds along with a unique distinct element considered as the real (or actual) world. This paper realizes the idea of building a variety of modular labelled (...) class='Hi'>calculi by reflecting, at the syntactic level, semantic informations taken from reduced Routley-Meyer models. Central results include proofs of soundness and completeness, as well as a proof of cut- admissibility. (shrink)

Some neotropical social wasps which are associated with some vertebrates and other insects like ants, and these interactions are reported for decades, but little is known about the presence of these in the Caatinga and Atlantic Forest. This study describes the first association’s record between nests of Polybia rejecta (Fabricius) wasp and Azteca chartifex Forel ants in the transition area of the Atlantic Forest and Caatinga in Rio Grande do Norte. The observations were in a private forest in Monte Alegre, (...) from October 2009 to September 2014 through active search for colonies, use of ad libitum method, photography and collection of specimens with traceability. In the study area were found four active colonies and one abandoned of P. rejecta, all associated with nests of A. chartifex with approach of 20-30 cm. It was found that when the colony of P. rejecta was disturbed, they became aggressive towards the disturbance object, whereas the ants gathered in order to fend off a potential predators. These interactions appear to benefit wasps and ants, it is assumed that is possible that wasps attack ants’s predators, whereas the ants attack the wasps’s predators. This study corroborates the hypothesis that the association between the social wasps P. rejecta and A. chartifex ants is beneficial for both species, and probably the wasps are the most benefited, but also shows the non-exclusivity of this association for the biomes up then reported. (shrink)

In an online, participatory class, we interpreted 'The Dream of Geese Nesting in Trees' knowing nothing of the dreamer beyond age and gender, and having none of the dreamer’s associations. Our interpretation included predictions about the dreamer. When it was complete, we asked the bringer of the dream (who had until then been mostly silent and who also gave no visual feedback to our discussion) to give us more information about the dreamer. Our main predictions were confirmed. Goslings are falling (...) on the dreamer’s head. This record is another iteration of an experiment that will be described more fully in the paper, 'The Dream of the Six-Legged Dog: An Experimental System that Tests Meaning,' soon to be published. This iteration repeats and confirms the evidence given in that paper. AUDIO RECORD OF COMPLETE CLASS: link is at top of paper you can download from this page. (shrink)

In this paper, we present a way to translate the metainferences of a mixed metainferential system into formulae of an extended-language system, called its associated σ-system. To do this, the σ-system will contain new operators (one for each standard), called the σ operators, which represent the notions of "belonging to a (given) standard". We first prove, in a model-theoretic way, that these translations preserve (in)validity. That is, that a metainference is valid in the base system if and only if its (...) translation is a tautology of its corresponding σ-system. We then use these results to obtain other key advantages. Most interestingly, we provide a recipe for building unlabeled sequent calculi for σ-systems. We then exemplify this with a σ-system useful for logics of the ST family, and prove soundness and completeness for it, which indirectly gives us a calculus for the metainferences of all those mixed systems. Finally, we respond to some possible objections and show how our σ-framework can shed light on the “obeying” discussion within mixed metainferential contexts. (shrink)

In his Tractatus, Wittgenstein sets out what he calls his N-operator notation which can be used to calculate whether an expression is a tautology. In his Laws of Form, George Spencer Brown offers what he calls a “primary algebra” for such calculation. Both systems are perplexing. But comparing two blurry images can reduce noise, producing a focus. This paper reveals that Spencer Brown independently rediscovered the quantifier-free part of the N-operator calculus. The comparison sheds a flood light on each and (...) from the letters of correspondence we shall find that Russell, as one might have surmised, was a catalyst for both. (shrink)

This is the first record of nesting in the soil by the ant Camponotus sericeiventris (Guérin-Méneville, 1838), which has arboreal habit. The study was conducted in southeastern Brazil, in an ant colony located in a subterranean site. This study describes, for the first time, the ability of this arboreal species to vary its nesting site by the occupation of an unusual place in an urban environment; and this study demonstrates that this species is an interesting model for studies in urban (...) environments. (shrink)

The problem of approximating a propositional calculus is to find many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few tautologies as possible. This has potential applications for representing (computationally complex) logics used in AI by (computationally easy) many-valued logics. It is investigated how far this method can be carried using (1) one or (2) an infinite sequence of many-valued logics. It is shown that the optimal candidate matrices for (1) can (...) be computed from the calculus. (shrink)

ABSTRACT: This paper argues that the so-called paradoxes of higher-order vagueness are the result of a confusion between higher-order vagueness and the distribution of the objects of a Sorites series into extensionally non-overlapping non-empty classes.

This record describes the occurrence of conflicts between stingless bees of an active colony of Scaptotrigona bipunctata (Lepeletier) and individuals of Melipona quadrifasciata (Lepeletier), and discusses possible hypotheses that motivated the attack. Behaviors were observed in an active colony of S. bipunctata. The active nest guards detained individuals of M. quadrifasciata who invaded the colony. The chances of misidentification of the colony entrance and error in the species possible aggregation were discarded, however, the hypothesis of the real invasion recorded in (...) this study demonstrates a behavioral strategy by M. quadrifasciata suggests that there is an energy savings if successful in looting. (shrink)

By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an empty name (...) in the model, so we are able to construct a 3-valued matrix, while for the latter, for which an empty name is necessary, the respective matrices are 4-valued. (shrink)

This is an attempt to investigate the causal relationship existing between the psychedelic literary genre in fiction and the application of trauma theory in the study of One Flew over the Cuckoo's Nest. Trauma theory, which is a psychological theory in essence; has been widely linked to the study of literature since traumatic responses take narrative forms. Scientifically, many studies have proven that the psychedelic trip leads to a deepened exploration of the unconscious tracing latent emotional traumas. Henceforth, I am (...) going to explore this novel as a psychedelic example of science fiction through a generic analysis due to the numerous parallels I have noticed with the effects of drug administration on real life patients. I will base my claim on a medical theory known as Psychedelic Information Theory which investigates psychedelic hallucinations, expanded consciousness and their impact on the metaphysical aspects of self-exploration. Consequently, I shall presuppose that psychedelics act metaphorically on the text of One Flew over the Cuckoo's Nest inducing character-based hallucinatory narratives. Hallucinations are caused by an eruption of a psychedelic consciousness that is the antithesis of the normal state of a mind. Hallucinations range from happy enjoyable experiences laden with kaleidoscopic colourful streams of visions to painful manifestations of latent trauma. I endeavour to analyze this novel as a traumatic example of psychedelic fiction through establishing a cause-result relationship between information theory and trauma theory as a fluid encounter between literature and science within science fiction framework. Finally, I attempt to link the cultural integration of psychedelics to the shift of the traumatic experience from cultural to structural. This paper explores primarily the manifestations of Chief Bromden’s historic trauma. It traces secondarily the psychedelic characteristics of the novel. Lastly, it studies the effects of Bromden’s psychedelic journey on his traumatic recovery. (shrink)

The halting theorem counter-examples present infinitely nested simulation (non-halting) behavior to every simulating halt decider. Whenever the pure simulation of the input to simulating halt decider H(x,y) never stops running unless H aborts its simulation H correctly aborts this simulation and returns 0 for not halting.

At first glance, impossible world semantics appear to be useful adaptations of normal modal logic. Proponents of impossible worlds argue, e.g., that in the context of metaphysical disagreement, impossible worlds would provide a key to modelling the respective dispute situation. The same philosophers also argue that we need impossible worlds to model what they consider to be the conceivability of logical impossibilities. With the help of Wittgenstein’s early philosophy, or, better said, with what I believe to be a visualisation of (...) his ideas on nesting models for possibility, I develop some thoughts on the likely shared weaknesses of such arguments for nonnormal world approaches. Said goes hand in hand with the supplementary proposal of rethinking our conventional nesting models for possibility. (shrink)

The aim of this paper is to provide a proof-theoretic characterization of relevant logics including fusion and fission connectives, as well as Ackermann’s truth constant. We achieve this by employing the well-established methodology of labelled sequent calculi. After having introduced several systems, we will conduct a detailed proof-theoretic analysis, show a cut-admissibility theorem, and establish soundness and completeness. The paper ends with a discussion that contextualizes our current work within the broader landscape of the proof theory of relevant logics.

Analytic philosophy has been perhaps the most successful philosophical movement of the twentieth century. While there is no one doctrine that defines it, one of the most salient features of analytic philosophy is its reliance on contemporary logic, the logic that had its origin in the works of George Boole and Gottlob Frege and others in the mid‐to‐late nineteenth century. Boolean algebra, the heart of Boole's contributions to logic, has also come to represent a cornerstone of modern computing. Frege had (...) broad philosophical interests, and his writings on the nature of logical form, meaning and truth remain the subject of intense theoretical discussion, especially in the analytic tradition. Frege's works, and the powerful new logical calculi developed at the end of the nineteenth century, influenced many of its most seminal figures, such as Bertrand Russell, Ludwig Wittgenstein and Rudolf Carnap. (shrink)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

Great Britain subjugated colonists using various power strategies, including dehumanization, misinformation, fear, and other divisive strategies. The Founders described these oppressive strategies as “a long train of abuses and usurpations.” Throughout the Declaration of Independence and the U.S. Constitution, the Founding Fathers imbued the people with hope in a government for the people: one unlike that of the monarchy, which sought to protect itself at the expense of colonists. As a result, the Founders created a government more likely to lead (...) with fairness, demonstrate respect for human dignity, unite Americans as one people, empower citizens through hope, and lead the nation toward security. This socio-ethical framework was an abductive discovery nested within a grounded theory study where it had been concluded that the first principles of democracy were woven within the American founding documents. Using Charmaz’s constructivist grounded theory, the first principles of democracy—knowledge, fairness, human dignity, hope, unity, and security—were used to answer an emerging research question: Are there two democratic frameworks in the founding documents, and how do they differ? The first principles of democracy promote a culture of ethics, resilience, and freedom. Their empowering disposition makes them suitable as a normative framework for a democratic government for the people. (shrink)

The notion of a physiological individuals has been developed and applied in the philosophy of biology to understand symbiosis, an understanding of which is key to theorising about the major transition in evolution from multi-organismality to multi-cellularity. The paper begins by asking what such symbiotic individuals can help to reveal about a possible transition in the evolution of cognition. Such a transition marks the movement from cooperating individual biological cognizers to a functionally integrated cognizing unit. Somewhere along the way, did (...) such cognizing units simultaneously have cognizers as parts? Expanding upon the multiscale integration view of the Free Energy Principle, this paper develops an account of reciprocal integration, demonstrating how some coupled biological cognizing systems, when certain constraints are met, can result in a cognizing unit that is in ways greater than the sum of its cognizing parts. Symbiosis between V. Fischeri bacteria and the bobtail squid is used to provide an illustration this account. A novel manner of conceptualizing biological cognizers as gradient is then suggested. Lastly it is argued that the reason why the notion of ontologically nested cognizers may be unintuitive stems from the fact that our folk-psychology notion of what a cognizer is has been deeply influenced by our folk-biological manner of understanding biological individuals as units of reproduction. (shrink)

Neste ensaio, exploro como os princípios filosóficos de Kant podem oferecer uma abordagem que aindahoje é relevante para lidar com discursos intolerantes. Apresento a distinção entre o uso público e o uso privado darazão para Kant, visando demonstrar que, segundo o autor, um representante público eleito democraticamente quedefende ideias antidemocráticas deveria renunciar ao seu cargo. Utilizando-me do raciocínio do paradoxo datolerância de Popper, mostro que ser intolerante com discursos antidemocráticos é uma condição necessária parauma democracia existir. Porém, a partir de (...) um argumento parcialmente transcendental, mostro que isso não pode seaplicar a um indivíduo que acredita em um discurso antidemocrático. Ainda assim, mostro que podemos extrairconsiderações importantes a partir disso, a saber: o indivíduo antidemocrático está lutando pelo seu “direito” deexpressar somente seu próprio ponto de vista, enquanto o indivíduo genuinamente tolerante/democrático defende apossibilidade de vários pontos de vistas divergentes coexistirem. (shrink)

Neste texto, apresento e examino as principais ideias que animam a abordagem ecológica da percepção. Primeiro, na Seção 2, apresento a visão instantânea da percepção, contra a qual Gibson articula e propõe a abordagem ecológica. Em seguida, na Seção 3, apresento e discuto a noção de informação ecológica. Nas seções 4 e 5 articulo a teoria das affordances e discuto a aprendizagem perceptiva. Por fim, na Seção 6, exponho e discuto a possibilidade de estender a teoria das affordances para explicar (...) a cognição social. (shrink)

Neste trabalho, investigo a possibilidade de compatibilidade entre o pessimismo filosófico e a compreensão da morte como um mal para quem morre. Por pessimismo filosófico, compreendo a doutrina filosófica que mantém como tese fundamental que a não-existência é preferível à existência, de modo que o pessimismo é tomado como a filosofia de que a vida não vale a pena ser vivida. Por mal da morte, me refiro à compreensão da morte como um dano para o indivíduo que morre, cujo pressuposto (...) em diferentes abordagens contemporâneas é o de que a morte só é um mal no caso de continuar existindo ser preferível a deixar de existir. Desse modo, o problema discutido é a aparente incompatibilidade entre a tese de que a não-existência é preferível à existência e a tese de que continuar existindo é preferível a deixar de existir. Busco demonstrar que essa (in)compatibilidade depende do modo como fundamentamos o pessimismo filosófico. Para tanto, examino dois argumentos para o pessimismo filosófico e suas implicações para o mal da morte: o argumento a priori de Arthur Schopenhauer e o argumento da assimetria de David Benatar. Concluo que o primeiro desses argumentos nos leva para a conclusão de que a morte não é um mal, mas que o segundo argumento compatibiliza o pessimismo filosófico e a compreensão da morte como um mal para quem morre. (shrink)

Queremos neste ensaio caracterizar de modo introdutório o essencial do legado de Gottlob Frege para a Filosofia da Linguagem contemporânea, identificando e caracterizando os traços distintivos mais genéricos de uma teoria do significado (ou conteúdo semântico) inspirada nas suas ideias seminais e contrastando-a com outras concepções actuais influentes acerca do significado, em especial as posições sobre o conteúdo singular (conteúdo expresso por nomes próprios e outros termos singulares) remotamente inspiradas em ideias de John Stuart Mill.

Resumo: Neste artigo, apresentamos uma versão de uma teoria que eu chamarei de Contextualismo Epistêmico ‒ a visão de que o contexto e os padrões determinados por ele desempenham um papel central na avaliação de se um agente epistêmico tem, ou não, justificação e, portanto, conhecimento ‒ para tentar resolver um dos problemas mais influentes em epistemologia, a saber, o Problema do Regresso epistêmico. O primeiro passo será o de caracterizar o problema do regresso epistêmico. Em seguida, apresentaremos uma importante (...) distinção que é útil para um melhor entendimento da nossa tese, isto é, a distinção entre justificação proposicional e doxástica. Então, abordaremos as visões tradicionais que supostamente alegam resolver este problema, mostrando que todas são problemáticas. Por fim, apresentaremos a visão que pretendemos defender, mostrando como ela pode oferecer uma resposta ao problema do regresso epistêmico, de uma maneira que as outras visões não podem. Palavras-chave: Regresso Epistêmico, Justificação, Conhecimento, Contextualismo Epistêmico. Abstract: In this paper we present a version of a theory that we will call Epistemic Contextualism - the view that the context and the standards that it determines, play a central role in evaluating whether, or not, a subject has justification, and therefore knowledge - to try to solve one of the most influential problems in epistemology, namely, the Epistemic Regress Problem. The first step will be to characterize the epistemic regress problem. Next, we present an important distinction that is useful to a better understanding of our view, that is, the distinction between propositional and doxastic justification. Then, we present traditional views that allegedly claim to solve this problem showing that all are problematic. The final step concerns the exposition of the view we want to defend, showing how it can solve the epistemic regress problem in a way that the other views cannot. Keywords: Epistemic Regress, Justification, Knowledge, Epistemic Contextualism. (shrink)

Resumo: Neste texto, introduzo algumas questões importantes que fazem parte do debate sobre infiltração pragmática. Além de apresentar e problematizar as principais alegações oferecidas pelos proponentes da infiltração pragmática eu irei contrasta-la com algumas teses mais tradicionais, como a Tese Tradicional sobre o Conhecimento e o Contextualismo Epistêmico. Por fim, apresento uma crítica aos proponentes da infiltração pragmática que parece ainda não ter sido tratada. Concluo que embora controversa, tal tese está longe de ser refutada completamente. Palavras-chave: Conhecimento; Contexto; Justificação; (...) Padrões; Infiltração prática. -/- Abstract: In this paper I introduce some central aspects concerning the debate on pragmatic encroachment. After introducing and discussing the main arguments offered by the pragmatic encroachers advocates I will contrast it with more traditional theses such as the Traditional Analysis of Knowledge and Epistemic Contextualism. Finally, I present an objection to the pragmatic encroachment approach that haven't been treated yet. I conclude that despite its difficulties, the pragmatic encroachment view is far from being refuted. Keywords: Knowledge; Context; Justification; Standards; Pragmatic encroachment. (shrink)

Neste capítulo, analisa-se a documentação visual dos protestos de 2013, contrastando a cobertura da grande mídia em São Paulo e Rio de Janeiro com a de ativistas usando as tecnologias de nova mídia. Os temas centrais são a forma como o exercício do poder político é mediado através de novas tecnologias de mídia e a racionalidade política que anima os ativistas. Dito de outro modo, pergunta-se: por que os atores criaram imagens da forma que o fizeram e que objetivos políticos (...) estavam em jogo? No que se segue, consideram-se principalmente as utilizações de filmagens feitas à mão com telefone celular, a difusão de tais imagens pelas redes sociais (mídia social) e a interação entre os ativistas e os governos municipais. Sugere-se que as novas tecnologias de mídia, através da qual a linguagem visual dos ativistas foi criada, eram postas a serviço de um tipo de política radical, no sentido de almejar algo diferente na raiz. Em vez de um modo de ação política com objetivos governamentais definitivos, os ativistas re-mediaram novas tecnologias de mídia como um tipo de equipamento que poderia gerar novas relações e subjetividades e, assim, acesso a um futuro intencionalmente indeterminado. (shrink)

Neste trabalho abordamos as contribuições de Larry Laudan para a questão do progresso científico. O modelo proposto, baseado na eficácia das teorias na resolução de problemas, serve de ponto de partida para uma breve reflexão sobre a influência contemporânea que as dificuldades de visão do mundo exercem sobre o desenvolvimento das ciências. Este trabalho foi realizado no âmbito da disciplina de Filosofia das Ciências II, parte do curso de Filosofia da Faculdade de Letras da Universidade do Porto, Portugal.

Neste trabalho, pretendemos investigar como deve ser compreendida a questão “o que é o melhor?”, enunciada por Aristóteles no início de Ética Eudêmia I 8. Pretendemos, com isso, determinar quais são as suposições a partir das quais Aristóteles aborda essa pergunta em I 8, qual o tipo de resposta que a ela deve ser fornecida e como essa questão insere-se na investigação desenvolvida nos capítulos anteriores. Sustentaremos que, em I 8, Aristóteles pretende dar continuidade à tarefa que é iniciada em (...) I 7 e que consiste em tornar mais clara uma concepção geral de felicidade que não é posta em questão. Parte dessa concepção de felicidade consiste na ideia segundo a qual o melhor corresponde ao fim. A I 8 caberia tornar mais claro o que significa dizer do fim, que ele é aquilo que é o melhor. (shrink)

Argumento neste artigo que embora existam muitas maneiras diferentes de descrever o mundo ou algum segmento dele, qualquer maneira que deixe de acarretar logicamente uma separabilidade do corpo e da alma como os dois componentes de cada ser humano conhecido (o corpo sendo uma parte contingente e a alma a parte essencial do homem) deixará de fornecer uma descriçáo completa do mundo. T ítulo original do artigo: “ What makes me me? A Defense os Substance Dualism ”. Apresentado no I (...) Seminário Internacional de Filosofia Analítica Contemporânea, realizado em Natal de 19 a 21 de novembro de 2007. Traduçáo provisória de Jaimir Conte.]. (shrink)

Neste trabalho pretendo mostrar como o confronto com o materialismo reducionista de Thomas Nagel o fez voltar a defender concepções e explicações teleológicas advindas da teoria aristotélica. Nagel defende que deva existir uma ordem natural como tentativa de inteligibilidade que para além da explicação pelo viés da ciência física, deve conter outros elementos, ou seja, suspeita que deva incluir elementos teleológicos. É aqui que pretendo comparar a noção teleológica na argumentação de Nagel e de Aristóteles. Para além disso, incluirei como (...) Aristóteles e Nagel entenderam ideias pampsiquistas e mostrarei que a teoria aristotélica não é pampsiquista, como alguns pensam. (shrink)

Neste capítulo, vamos tratar do discurso-corpo demarcado pelas utopias em justaposição com as heterotopias em duas produções cinematográficas do horror francês contemporâneo. Dessa forma, o corpo que operamos é feito de discurso, ou seja, todo seu tecido, seus órgãos, seus sistemas, seus ossos são discursos sobrepostos pelo visível e pelo dizível, da mesma forma, como demonstrou Foucault na obra O Nascimento da Clínica em 1963.