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)

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)

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 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.

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)

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.

Clinical ethics consultants (CECs) are not moral authorities. Standardization of CECs’ professional role does not confer upon them moral authority. Certification of particular CECs does not confer upon them moral authority (nor does it reflect such authority). Or, so we will argue. This article offers a distinctly Orthodox Christian response to those who claim that CECs—or any other academically trained bioethicist—retain moral authority (i.e., an authority to know and recommend the right course of action). This article proceeds in three parts. (...) First, we discuss recent movements toward the certification of CECs in the United States, focusing primarily on proposals and programs put forth by the American Society for Humanities and Bioethics (ASBH). Second, we outline two secular reasons to be concerned about the relevant trends toward certification. For one thing, certification is currently being advanced via political dominance, rather than gaining authority by reliance on rigorous philosophical argument or reason. For another, the trends operate on the assumption that there exists a secular, content-full, canonical, morality. There is no such morality. Next, we argue that Orthodox Christians should resist the current trends toward certification of CECs. Specifically, we unpack ways in which the ASBH’s certification program (and those like it) conflict with Orthodox claims about moral authority and the moral life more generally. We conclude that Orthodox Christians should resist the current certification trends. (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 nested calculus inherits favorable proof-theoretic properties from its associated (...) labelled calculus. (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.

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)

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)

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)

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

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

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)

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.

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)

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)

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)

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)

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)

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)

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

Neste artigo, discuto o problema das propriedades emergentes, começando por apresentar uma concepção tradicional de acordo com a qual estas propriedades exibem três características definidoras: elas dependem de propriedades e relações físicas, mas constituem, em relação a estas, uma novidade e, como tal, não são delas deduzíveis. Em primeiro lugar, discuto algumas das razões gerais que explicam o facto de tradicionalmente se supor que este tipo de novidade – e.g. causal ou qualitativa – parece exigir que as propriedades emergentes não (...) se encontram, de todo, fisicamente fundadas, não podendo ser deduzidas das suas bases físicas. Portanto, a dependência física das propriedades emergentes não pode ser explicada, o que é normalmente tido como misterioso. Recorrendo a uma concepção funcionalista de dedutibilidade, discuto de seguida, com mais detalhe, a relação entre a novidade e a não-dedutibilidade, realçando o modo como os diferentes tipos de não-dedutibilidade conduzem a diferentes tipos de novidade e, como tal, a diferentes formas de emergência. Finalmente, considero algumas abordagens científicas modernas que rejeitam a não-dedutibilidade enquanto condição necessária da emergência. Segundo tais abordagens, o tipo de novidade associado às propriedades emergentes é compatível com uma fundação física, o que, por sua vez, faz desvanecer o mistério e confere respeitabilidade científica à noção de emergência. Concluirei estabelecendo comparações entre estas abordagens e o hilomorfismo neo-Aristotélico. (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 breve ensaio, exploramos alguns caminhos de uma controvérsia milenar em torno do estatuto dos entes matemáticos e apresentamos alguns argumentos a favor de uma posição platonista, aproximadamente clássica, sobre o tema. 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 artigo apresentamos, de forma concisa e em português, alguns elementos-chave dos principais debates contemporâneos na filosofia da memória. Nosso principal objetivo é tornar essas discussões mais acessíveis aos leitores de língua portuguesa, fornecendo uma atualização importante para esforços anteriores (Sant’Anna & Michaelian, 2019a). Começamos introduzindo a noção de viagem no tempo mental, a qual estabelece a base empírica para a metodologia empregada em trabalhos recentes, antes de apresentar dois debates centrais. Primeiro, o debate entre causalistas e simulacionistas sobre a (...) teoria da lembrança filosoficamente correta (§2). Segundo, o debate entre continuístas e descontinuístas sobre a relação entre lembrança episódica e certas formas de imaginação (em particular, o pensamento episódico acerca do futuro) (§3). Na segunda parte do artigo, apresentamos e exploramos dois tópicos de discussão crescente: a natureza do sentimento de passado característico da memória episódica (§4) e questões de meta-nível relativas ao próprio caráter das controvérsias exploradas na primeira parte do artigo (§5). (shrink)

Neste livro reunimos alguns dos trabalhos apresentados no GT Filosofia, História e Sociologia da Ciência e da Tecnologia, durante o XIX Encontro Nacional da ANPOF, realizado em Goiânia, de 10 a 14 de outubro de 2022. Agradecemos aos autores e às autoras que contribuíram com seus textos para a realização deste projeto. Esperamos que os leitores e as leitoras aproveitem o rico material filosófico presente neste livro.

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.

Neste trabalho abordamos a obra de Francis Bacon e as suas contribuições para a Filosofia da Ciência, incluindo a sua proposta de método científico e o seu posicionamento crítico face à anterior versão aristotélica e a influência que o pensamento baconiano exerceu na promoção de um novo quadro filosófico para o desenvolvimento científico na modernidade. Este trabalho foi realizado no âmbito da disciplina de Filosofia das Ciências I, parte do curso de Filosofia da Faculdade de Letras da Universidade do Porto, (...) Portugal. (shrink)

Neste artigo, analisa-se como as histórias em quadrinhos sobre automo-bilismo, notadamente a do personagem Michel Vaillant, conseguem en- gendrar, em sua narrativa, mundos possíveis, que, mesmo com atributos ficcionais, se vinculam à referencialidade dos fatos ocorridos no esporte. Utilizando o arcabouço teórico de Umberto Eco e de David Lewis, o objetivo aqui é refletir acerca desse exercício de isomorfismo linguístico, bem como desvelar as estratégias altermundistas utilizadas.

Neste artigo pretendo evidenciar como a relação entre sujeito anímico e sujeito espiritual é fundamental para a compreensão da intersubjetividade e do mundo da vida (Lebenswelt). Em Ideias II, Husserl explica como, a partir do eu, sujeito e objeto são constituídos no mundo: natureza, alma e espírito. Estes três estratos do sendo são conhecidos a partir da atitude teorética e da atitude espiritual e, no processo, se dá a explicitação do eu. Numa atitude teorética, temos constituição da natureza, para o (...) que o corpo (Körper/Leib) é fundamental. Em seguida, a constituição de objetos de natureza anímica, humana ou animal, incluindo a autopercepção. Assumindo a atitude espiritual, o outro é percebido (Urpräsenz), inicialmente, como corpo junto às coisas e, ao lado desta percepção, há uma apercepção (Appräsenz) dos horizontes co-dados. Há uma identidade entre o corpo alheio e o meu, é o momento da empatia (Einfühlung). O mundo constituído a partir de uma atitude naturalista ou teórica é uma redução do mundo circundante (Umwelt), mas o mundo cotidiano da atitude personalista ou espiritual lhe antecede, o mundo vital (Lebenswelt). É, portanto, através da atitude personalista ou espiritual, que se constitui uma comunidade de sujeitos espirituais. (shrink)

Neste artigo analisamos o conceito de eu quantificado a partir na Perspectiva de Segunda Pessoa, segundo a qual a eu-dade, ou pessoalidade, é atualizada em relações contexto-dependentes de total ou parcial transparência cognitiva não redutíveis aos aspectos considerados nas perspectivas de primeira ou de terceira pessoa. O eu quantificado designa o indivíduo que realiza medições sobre si mesmo por meio de tecnologias ubíquas em rede para obter um suposto maior autoconhecimento, instanciando, segundo alguns autores, um ponto de vista de Quarta (...) Pessoa constituído por relações de alteridade (pessoa-máquina-pessoa) emergentes, em especial, em um cenário sociocultural permeado por tecnologias ubíquas e análises de big data. Procuraremos problematizar a tese de que o automonitoramento digital promoveria um aprofundamento do autoconhecimento, defendida pelos postuladores da quantificação do eu. Procuraremos mostrar que a coleta de dados sobre si mesmo por meio de tecnologias ubíquas não favorece necessariamente a constituição/atualização da pessoalidade porque o automonitoramento digital mediado pode interferir significativamente nos modos de interação social da Segunda Pessoa e no autoconhecimento que tal interação pode promover. (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 artigo fazemos uma discussão conceitual acerca da ferramenta de escolha por nós apresentada no trabalho “Solving Normative Conflicts using Preference Relations”, isto é, explicitamos a racionalidade subjacente a tal ferramenta, bem como as consequências práticas de sua aceitação.

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)

With the desperate usurpation of global spaces under the everexpanding capitalist mode of production, the political struggle still necessitates an emancipatory class politics as aimed by Marx and Engels. This paper will be a synthesis of Marxist geographer David Harvey’s theory of capitalist production of space and MarxEngels’ notion of freedom, and their notion of emancipatory class politics. According to David Harvey, its survival as a system is through its widescale control on the production of spaces. I will first (...) expose the theory of the Marxist geographer David Harvey on how capitalism produces a space through his theory of the capitalist production of space. This necessary strategy of capitalism to own and extend to spaces is essential to its nature to increase capital and profit. According to him, capitalism always needs to expand territories to create new sources of labor, wealth, and new markets. This necessitates obtaining profits to sustain capital accumulation amidst its problem of crises. The spatial ontology of capital will be the springboard showing a possible construction of the type of freedom or emancipation that is necessary in forwarding a class politics of spatiality. In effect, emancipating the place is tied with the classical notion of the liberation of the proletariat. I conceptualize the concept of place as a signifier of the spaces that humanity produces—may it be their home, their work, or geometries of modern life—but have been put under the dictates and design of capital. Thus, I will go back to the classical notion of emancipatory politics of Marx and Engels. This synthesis combines the possibility of emancipatory class politics based on the ontology of the present capitalist production of space. (shrink)

Neste ensaio filosófico, propomos analisar a lógica e as implicações subjacentes à Lei da Atração.

Neste artigo propomos uma reconceitualização do amor como um modo de engajamento intersubjetivo normativamente guiado pela busca constante do equilíbrio entre a sub- e a sobredeterminação de seu objeto, que se efetiva em relações deconfiança marcadas pelo cuidado com o(a) outro(a). Esta reconceitualização permite que o amor participe da epistemologia como uma virtude intelectual responsabilista, que nos torna membros mais confiáveis de nossas comunidades epistêmicas e nos aproxima de descrições verdadeiras sobre o mundo, ao deixar que diversos pontos de vista (...) sobre esses objetos sejam reconhecidos e valorizados. (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 inrodutório, apresento brevemente o que normalmente se entende pelo velho problema da indução e, em seguida, apresento um pouco mais detidamente, acentuando as diferenças e semelhanças, o novo enigma da indução.

Neste capítulo, Loux apresenta alguns problemas com relação às modalidades e algumas das relações entre elas e o vocabulário dos mundos possíveis, expondo as duas principais posições ontológicas com relação a tais mundos e às modalidades e com relação à natureza das modalidades, a saber, o possibilismo e o actualismo, defendidos respectivamente por Lewis e Plantinga. Essas são teorias inconsistentes entre si, que intentam nos dizer se os mundos possíveis são concretos ou abstratos e se existe algo além do que (...) é actual. (shrink)

Neste trabalho, é apresentada uma investigação do que poderia ser chamado de formalização lógica do processo de mudança de teorias devido a anomalias. Por anomalia entende-se um fato observado que faz parte do escopo explanatório de uma teoria, mas que vai de encontro à previsão da mesma. Uma abordagem clássica para restaurar o poder explicativo de uma teoria ameaçada por uma anomalia é a postulação de hipóteses novas e provisórias que, em conjunto com as demais hipóteses auxiliares originais, sejam capazes (...) de resolver a anomalia. Após chegar à algumas conclusões sobre a estrutura de tal processo, propomos um framework lógico multimodal e não-monotônico capaz de representar alguns aspectos-chave dessa faceta importante da dinâmica de teorias científicas. Devido à necessidade de acomodar hipóteses provisórias incompatíveis, esse framework incorpora uma forma fraca de paraconsistência. Como um estudo de caso, analisamos o comportamento anômalo do planeta Urano que ameaçou a mecânica celeste Newtoniana por mais de meio século e ensejou a descoberta do planeta Netuno. -/- In this work, an investigation of what could be called the logical formalization of the theory change process due to anomalies is presented. An anomaly is understood as an observed fact that is part of the explanatory scope of a theory, but that goes against its prediction. A classic approach to restoring the explanatory power of a theory threatened by an anomaly is to postulate new and provisional hypotheses that, together with the other original auxiliary hypotheses, are capable of resolving the anomaly. After reaching some conclusions about the structure of such a process, we propose a multimodal and non-monotonic logical framework capable of representing some key aspects of this important facet of the dynamics of scientific theories. Due to the need to accommodate incompatible provisional hypotheses, this framework incorporates a weak form of paraconsistency. As a case study, we analyze the anomalous behavior of the planet Uranus that threatened Newtonian celestial mechanics for more than half a century and prompted the discovery of the planet Neptune. (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.

"Tentarei, neste texto, apresentar argumentos não só para recomendar os estudos da Antiguidade em educação, mas para deixar claro o quanto esses estudos são fundamentais para a formação do professor. Meus argumentos serão de dois tipos: em primeiro lugar, apresentarei a Antiguidade — e por esse nome eu me refiro à literatura dos antigos gregos e romanos — como uma herança que está à nossa disposição. Depois, quero apontar, sumariamente, a conexão necessária entre a presença dessa literatura e o vocabulário (...) que constituiu – junto de uma gramática e de uma semântica também recebidas – a linguagem com que lidamos ainda hoje com os problemas fundamentais da educação.". (shrink)

Neste ensaio, discutem-se cinco questões acerca da existência: 1. É a existência representável em termos de quantificação? 2. É a existência um predicado" real", de primeira ordem? 3. É existir o mesmo que ser? 4. Existe tudo? 5. Qual é a forma lógica de afirmações de existência? São introduzidas e examinadas algumas das mais salientes posições acerca destas questões, em especial a concepção Frege-Russell da existência e diversas concepções recentes neo-Meinongianas. Defendemos as seguintes três teses acerca daquilo que deve ser (...) um bom predicado de existência:(a) um predicado puramente lógico e parcialmente definível em termos do quantificador existencial;(b) invariavelmente um predicado de primeira ordem (dadas certas suposições de partida acerca do universo do discurso);(c) um predicado universal, verdadeiro de tudo e falso de nada. (shrink)