Results for 'Bruno Correa Barbosa'

(not author) ( search as author name )
382 found
Order:
  1. Temporal activity patterns and foraging behavior by social wasps (Hymenoptera, Polistinae) on fruits of Mangifera indica L.(Anacardiaceae).Bruno Corrêa Barbosa, Mariana Frias Paschoalini & Fábio Prezoto - 2014 - Sociobiology 61 (2):239-242.
    This research was done in Juiz de Fora, Minas Gerais, Brazil on february 2012, with objective was to determine which species of social wasps visiting mango fruits, their behaviors displayed by them while foraging and verify which the species of wasps visitors offer risk of accidents to farmers. The studied area was monitored during February 2012, from 8:00 to 17:00. in a 144 hour effort, and the data collected included the time of activity, diversity, aggressiveness and the general behavior of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Record of Ophiocordyceps unilateralis sensu lato, the zombie-ant fungus, parasitizing Camponotus in an urban fragment of Atlantic Rainforest in southeastern Brazil.Bruno Corrêa Barbosa, Vitor Ribeiro Halfeldb, João Paulo Machado de Araújo, Tatiane Tagliatti Maciel & Fábio Prezoto - 2015 - Studies on Neotropical Fauna and Environment 50 (1):1-3.
    Ophiocordyceps is a fungal pathogen of ants of the tribe Camponotini. It is called zombie fungus, since it changes the host behavior, causing them to die in an exposed position, typically clinging onto and biting into the adaxial surface of shrub leaves. This study aimed to describe the occurrence of parasitic associations between Ophiocordyceps and ants of the genus Camponotus in an urban fragment of Atlantic Rainforest in southeastern Brazil and to measure the rate of hyperparasitism in Ophiocordyceps by other (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Agressive Interactions in Stingless bees: Melipona quadrifasciata (Lepeletier) Invading Nest of Scaptotrigona bipunctata (Lepeletier).Bruno Corrêa Barbosa, Karine Munck Vieira & Fabio Prezoto - 2015 - Entomobrasilis 8 (2):152-154.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Forrageamento por Recurso Alternativo em Época de Estiagem por Apis mellifera Linnaeus, 1758.Bruno Corrêa Barbosa, Tatiane Tagliatti Maciel & Fabio Prezoto - 2015 - Mensagem Doce 131 (2):1-4.
    Forrageamento por Recurso Alternativo em Época de Estiagem por Apis mellifera Linnaeus, 1758.
    Download  
     
    Export citation  
     
    Bookmark  
  5. Diagnosis of wildlife received and rescued by the Instituto Ecologico Buzios de Mata Atlantica around the Pau-Brasil Environmental Protection Area in the Lake District, RJ.Pedro Dutra Lacerda, Bruno Corrêa Barbosa, Mariana Paschoalini & Tatiane Tagliatti Maciel - 2014 - Boletim Do Observatório Ambiental Alberto Ribeiro Lamego 8 (1):75-82.
    This study aimed to survey wild species voluntarily received or rescued in the Lake District, State of Rio de Janeiro, in 2011. The research aimed to identify endangered species, quantify the groups and know the destination given to specimens. The records were obtained from the Instituto Ecológico Búzios Mata Atlântica, an NGO responsible for the Environmental Protection Area named Pau-Brasil and for the Lake District. The analysis showed that 181 animals were seized, 51% mammals (13 species), 25% reptiles (13 species), (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. The social wasp community (Hymenoptera, Vespidae) and new distribution record of Polybia ruficeps in an area of Caatinga Biome, northeastern Brazil.André Carneiro Melo, Bruno Corrêa Barbosa, Mariana Monteiro de Castro, Gilberto Marcos de Mendonça Santos & Fábio Prezoto - 2015 - Check List 11 (1):5.
    Social wasps are broadly distributed in Brazil, and their distribution is closely related to local plant composition. However, only a few studies on the diversity of these insects have been carried out in northeastern Brazil, and in Caatinga Biome the diversity is probably underestimated due to the lack of inventories for the region. Aiming at advancing the knowledge about the wasp fauna, we carried out this study from October 2005 to September 2006 in Ibipeba, northeastern Brazil. We collected 172 wasps (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Urban Green Areas: History, Concepts and Ecological Importance.Tatiane Tagliatti Maciel & Bruno Corrêa Barbosa - 2015 - CES Revista 29 (1):30-42.
    The constant changes in the landscape caused mainly by the urban expansion process, have led to the destruction, fragmentation and isolation of natural habitats, with consequent damage to biodiversity. Recognized as potential "refuges" for biodiversity, urban areas have received great attention to the conservation of animals in addition to exercising functions of aesthetic and recreational. In this context, urban vegetation receives different nomenclatures are used interchangeably as synonyms, when in reality, in many cases, are not. In order to highlight the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Frugivorous Moths Captured by Attractive Traps in Urban Fragment.Tatiane Tagliatti Maciel, Bruno Corrêa Barbosa & Fábio Prezoto - 2015 - Entomobrasilis 8 (2):91-95.
    Generally, frugivorous lepidopteran, have great ecological importance and are often used as bioindicator in environmental assessment studies. However, the proposed methodologies for capturing moths require great effort on the field for installation and monitoring of traps, in addition to their high cost. Thereat attractive baits have been evaluated to assist the work of detection and monitoring of moths. The aim of this study was, therefore, to record the diversity of the Noctuidae family captured by traps with food attractions evaluate the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Foraging behavior of fire ant Solenopsis saevissima (Smith) (Hymenoptera: Formicidae) in Felis catus Linnaeus (Carnivora: Felidae) carcass.Tatiane Tagliatti Maciel, Bruno Corrêa Barbosa & Fabio Prezoto - 2016 - Sociobiology 62 (4).
    Solenopsis saevissima fire ants were found foraging in a Felis catus carcass over tissues an secretions present in holes and mucosa. The ants built a dirt-made physical structure around the carcass, which prevented necrophagous flies from laying eggs or larvae in the body. These observations are relevant to increasing knowledge on the role of this ant genus in the decaying process of other animal corpses, including humans.
    Download  
     
    Export citation  
     
    Bookmark  
  10. Flower-visiting social wasps and plants interaction: Network pattern and environmental complexity.Mateus Aparecido Clemente, Denise Lange, Kleber Del-Claro, Fábio Prezoto, Nubia Ribeiro Campos & Bruno Corrêa Barbosa - 2012 - Psyche: A Journal of Entomology 2012:10.
    Network analysis as a tool for ecological interactions studies has been widely used since last decade. However, there are few studies on the factors that shape network patterns in communities. In this sense, we compared the topological properties of the interaction network between flower-visiting social wasps and plants in two distinct phytophysiognomies in a Brazilian savanna (Riparian Forest and Rocky Grassland). Results showed that the landscapes differed in species richness and composition, and also the interaction networks between wasps and plants (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Variation in nesting behavior of the arboreal ant Camponotus sericeiventris (Hymenoptera: Formicidae).Elisa Furtado Fernandes, Mariana Monteiro de Castro, Bruno Corrêa Barbosa & Fábio Prezoto - 2014 - The Florida Entomologist 97 (3):1237-1239.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Marine debris ingestion by sea turtles (Testudines) on the Brazilian coast: an underestimated threat?Robson Henrique Carvalho, Pedro Dutra Lacerda, Sarah da Silva Mendes, Bruno Corrêa Barbosa, Mariana Paschoalini, Fábio Prezoto & Bernadete Maria de Sousa - 2015 - Marine Pollution Bulletin 101 (3):746-749.
    Assessment of marine debris ingestion by sea turtles is important, especially to ensure their survival. From January to December 2011, 23 specimens of five species of sea turtleswere found dead or dying after being rehabilitated, along the coast of the municipality of Rio de Janeiro, Brazil. To detect the presence of marine debris in the digestive tract of these turtles, we conducted a postmortemexamination from the esophagus until the distal portion of the large intestine for each specimen. Of the total (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Previously unreported nesting associations of Yellow-Olive Flycatcher (Tolmomyias sulphurescens) (Aves: Tyrannidae) with social wasps and bees.João Carnio Teles Menezes, Bruno Corrêa Barbosa & Fábio Prezoto - 2014 - Ornitología Neotropical 25 (3):363–368.
    Previously unreported nesting associations of Yellow-Olive Flycatcher (Tolmomyias sulphurescens) (Aves: Tyrannidae) with social wasps and bees.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Use of flight interception traps of Malaise type and attractive traps for social wasps record (Vespidae: Polistinae).Marcos Magalhaes de Souza, L. N. Perillo, Bruno Correa Barbosa & Fabio Prezoto - 2015 - Sociobiology 62 (3).
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Activity schedule and foraging in Protopolybia sedula (Hymenoptera, Vespidae).Mateus Detoni, Maria do Carmo Mattos, Mariana Monteiro de Castro, Bruno Corrêa Barbosa & Fabio Prezoto - 2015 - Revista Colombiana de Entomología 41 (2).
    Protopolybia sedula is a social swarming wasp, widely spread throughout many countries in the Americas, including most of Brazil. Despite its distribution, studies of its behavioral ecology are scarce. This study aimed to describe its foraging activity and relation to climatic variables in the city of Juiz de Fora in southeastern Brazil. Three colonies were under observation between 07:00 and 18:00 during April 2012, January 2013, and March 2013. Every 30 minutes, the number of foragers leaving and returning to the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. The iterative solution to paradoxes for propositions.Bruno Whittle - 2022 - Philosophical Studies 180 (5-6):1623-1650.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Exceptional Logic.Bruno Whittle - forthcoming - Review of Symbolic Logic:1-37.
    The aim of the paper is to argue that all—or almost all—logical rules have exceptions. In particular, it is argued that this is a moral that we should draw from the semantic paradoxes. The idea that we should respond to the paradoxes by revising logic in some way is familiar. But previous proposals advocate the replacement of classical logic with some alternative logic. That is, some alternative system of rules, where it is taken for granted that these hold without exception. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Mathematical anti-realism and explanatory structure.Bruno Whittle - 2021 - Synthese 199 (3-4):6203-6217.
    Plausibly, mathematical claims are true, but the fundamental furniture of the world does not include mathematical objects. This can be made sense of by providing mathematical claims with paraphrases, which make clear how the truth of such claims does not require the fundamental existence of mathematical objects. This paper explores the consequences of this type of position for explanatory structure. There is an apparently straightforward relationship between this sort of structure, and the logical sort: i.e. logically complex claims are explained (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. La filosofía indígena desde la filosofía académica latinoamericana.Felipe Correa Mautz - 2024 - Veritas: Revista de Filosofía y Teología 57:79-102.
    El objetivo de este trabajo es dar cuenta de lo que en la discusión filosófica latinoamericana se ha entendido en las últimas décadas por “filosofía indígena”. Para este fin, se realiza un metaanálisis a partir de una revisión sistemática de los artículos académicos que mencionan categorías conceptuales vinculadas a aspectos noéticos de lo indígena, considerando una base de datos compuesta por las revistas latinoamericanas indexadas al catálogo SCOPUS en el área de filosofía. Teniendo en cuenta el material contenido en 42 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. For Their Eyes Only.Eduarda Calado Barbosa & Ernesto Perini-Santos - 2022 - Belgrade Philosophical Annual 35 (2):89-105.
    When and why do we need the indexical ‘I’? Perry (1979) thinks that ‘I’ is an essential ingredient to the explanation and prediction of action. We need ‘I’ to classify the kind of belief that causes an agent to produce a new action. In his view, classifying the agent’s belief in terms of ‘I’ makes sense because, when asked to explain her behavior, the agent will be disposed to say ‘I’. Here, we argue that this dispositional assumption is problematic. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. El arte como el Gran Rechazo: la humanización de la estética.Jose Alfonso Correa-Cabrera - 2019 - Valenciana 23:191-212.
    Filósofos como Marcuse han subrayado las propiedades liberadoras del quehacer artístico. Pero si hemos de pensar el arte como el Gran Rechazo, es necesario mostrar qué rechaza el arte y con qué busca sustituirlo. Respecto a estas preguntas, existen dos respuestas antagónicas. Mientras una busca en la experiencia artística rechazar lo dado en nombre de una verdad intemporal, la otra también reniega de lo dado, pero admite el carácter provisorio de toda verdad. Aunque en apariencia sutil, esta distinción es sustancial. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Ontological Pluralism and Notational Variance.Bruno Whittle - 2021 - Oxford Studies in Metaphysics 12:58-72.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. Size and Function.Bruno Whittle - 2018 - Erkenntnis 83 (4):853-873.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  24. Epistemically possible worlds and propositions.Bruno Whittle - 2009 - Noûs 43 (2):265-285.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  25. There are brute necessities.Bruno Whittle - 2010 - Philosophical Quarterly 60 (238):149-159.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  26. Truth and Generalized Quantification.Bruno Whittle - 2019 - Australasian Journal of Philosophy 97 (2):340-353.
    Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All—that is, All ϕs are ψ—or Most. Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Philosophy as Therapy - A Review of Konrad Banicki's Conceptual Model.Bruno Contestabile & Michael Hampe - manuscript
    In his article Banicki proposes a universal model for all forms of philosophical therapy. He is guided by works of Martha Nussbaum, who in turn makes recourse to Aristotle. As compared to Nussbaum’s approach, Banicki’s model is more medical and less based on ethical argument. He mentions Foucault’s vision to apply the same theoretical analysis for the ailments of the body and the soul and to use the same kind of approach in treating and curing them. In his interpretation of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Modelos Dinâmicos Aplicados à Aprendizagem de Valores em Inteligência Artificial.Nicholas Kluge Corrêa & Nythamar De Oliveira - 2020 - Veritas – Revista de Filosofia da Pucrs 2 (65):1-15.
    Experts in Artificial Intelligence (AI) development predict that advances in the development of intelligent systems and agents will reshape vital areas in our society. Nevertheless, if such an advance is not made prudently and critically-reflexively, it can result in negative outcomes for humanity. For this reason, several researchers in the area have developed a robust, beneficial, and safe concept of AI for the preservation of humanity and the environment. Currently, several of the open problems in the field of AI research (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Sobre a import'ncia e abrangência da análise das proposições condicionais na história da lógica.Eduardo Simões, Vinícius Martins Corrêa & Walter Ribeiro Dos Santos - 2020 - Investigação Filosófica 11 (3):95.
    As proposições condicionais receberam atenção teórica concentrada, embora intermitente, desde a Antiguidade. A atenção durante últimos quarenta anos tem sido intensa. Nesse artigo, apresentaremos os principais desenvolvimentos da análise lógica acerca das proposições condicionais e discutiremos como elas desempenham papel central em muitas teorias filosóficas. Na primeira parte dessas observações introdutórias, mostraremos como os antigos, principalmente as escolas megárica e estoica, envolveram-se com a questão dos condicionais e quão importante isso foi para os posteriores desenvolvimentos da análise lógica dos condicionais (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Propositions as Intentions.Bruno Bentzen - 2023 - Husserl Studies 39 (2):143-160.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. rational self-commitment.Bruno Verbeek - 2007 - In Fabienne Peter & Hans Bernhard Schmidt (eds.), rationality and commitment. Oxford University Press.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  32. La filosofía indígena desde la filosofía académica latinoamericana.Felipe Correa-Mautz - 2024 - Veritas – Revista de Filosofia da Pucrs 57:79-102.
    El objetivo de este trabajo es dar cuenta de lo que en la discusión filosófica latinoamericana se ha entendido en las últimas décadas por “filosofía indígena”. Para este fin, se realiza un metaanálisis a partir de una revisión sistemática de los artículos académicos que mencionan categorías conceptuales vinculadas a aspectos noéticos de lo indígena, considerando una base de datos compuesta por las revistas latinoamericanas indexadas al catálogo SCOPUS en el área de filosofía. Teniendo en cuenta el material contenido en 42 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. CONHECIMENTO “SEM MAIS” E A QUESTÃO DO PRINCÍPIO DA CIÊNCIA NOS SEGUNDOS ANALÍTICOS DE ARISTÓTELES.Alexandre Guedes Barbosa - 2021 - Revista Dialectus 10 (23):54-65.
    Download  
     
    Export citation  
     
    Bookmark  
  34. What Types Should Not Be.Bruno Bentzen - 2020 - Philosophia Mathematica 28 (1):60-76.
    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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  35. Sense, reference, and computation.Bruno Bentzen - 2020 - Perspectiva Filosófica 47 (2):179-203.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  36. UM ESTUDO DE QUOD NIHIL SCITUR, DE FRANCISCO SANCHES (1550-1622).Rodrigo Pinto de Brito & André do Nascimento Correa - 2023 - Sképsis: Revista de Filosofia 24 (26):1-20.
    Download  
     
    Export citation  
     
    Bookmark  
  37. Belief, information and reasoning.Bruno Whittle - 2012 - Philosophical Perspectives 26 (1):431-446.
    Here are two plausible ideas about belief. First: beliefs are our means of storing information. Second: if we believe something, then we are willing to use it in reasoning. But in this paper I introduce a puzzle that seems to show that these cannot both be right. The solution, I argue, is a new picture, on which there is a kind of belief for each idea. An account of these two kinds of belief is offered in terms of two components: (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Frege’s Theory of Types.Bruno Bentzen - 2023 - Manuscrito 46 (4):2022-0063.
    It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an alternative interpretation of first-level (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. A Henkin-style completeness proof for the modal logic S5.Bruno Bentzen - 2021 - In Pietro Baroni, Christoph Benzmüller & Yì N. Wáng (eds.), Logic and Argumentation: Fourth International Conference, CLAR 2021, Hangzhou, China, October 20–22. Springer. pp. 459-467.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  94
    Desacuerdos profundos sobre ontología científica.Bruno Borge, Sasha D'Onofrio & Ignacio Madroñal - 2022 - Cuadernos de Filosofía 1 (40):139-156.
    Los desacuerdos acerca de la ontología científica han sido frecuentemente reconstruidos como el resultado de una disputa entre stances epistémicas rivales. En el presente trabajo, (i) caracterizamos algunos de estos desacuerdos como desacuerdos profundos. Además, (ii) mostramos que los desacuerdos profundos sobre ontología científica pueden surgir no solo de la adopción de diferentes stances epistémicas, sino entre posiciones que se encuadran dentro de una misma stance. El desarrollo de ese punto nos permite, a su vez, establecer una distinción entre tipos (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. What’s inside is all that counts? The contours of everyday thinking about self-control.Juan Pablo Bermúdez, Samuel Murray, Louis Chartrand & Sergio Barbosa - 2023 - Review of Philosophy and Psychology 14 (1):33-55.
    Does self-control require willpower? The question cuts to the heart of a debate about whether self-control is identical with some psychological process internal to the agents or not. Noticeably absent from these debates is systematic evidence about the folk-psychological category of self-control. Here, we present the results of two behavioral studies (N = 296) that indicate the structure of everyday use of the concept. In Study 1, participants rated the degree to which different strategies to respond to motivational conflict exemplify (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  42. From being to acting: Kant and Fichte on intellectual intuition.G. Anthony Bruno - 2022 - British Journal for the History of Philosophy 31 (4):762-783.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  43. El fin de lo humano en el concepto de desarrollo humano de Naciones Unidas.Felipe Correa - 2020 - Revista de Filosofía 19 (2):11-29.
    El concepto de desarrollo humano del Programa de las Naciones Unidas para el Desarrollo (PNUD) surge en 1990 como una crítica a la consideración de la economía como el fin último de los esfuerzos del desarrollo. En la visión del PNUD, la economía es considerada un fin relativo, es decir, un fin y un medio para el desarrollo humano. Al considerar, por su parte, el fin del desarrollo humano, este es identificado con el ensanchamiento de las opciones y libertades de (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. A Libertarian Re-examination of Early 19th-Century Politics in Brazil.Bruno Goncalves Rosi - unknown - Libertarian Papers 8.
    This article offers a libertarian re-examination of Brazilian political history focusing mainly on the first few decades of the 19th century. The article finds two main tendencies lurking behind the various political parties and labels of the time: one, associated mainly with the Conservative Party, leaned dangerously away from the individual liberties advocated by classical liberalism and instead more toward authoritarian forms of government. The other, associated mainly with the Liberal Party, was more libertarian in nature. This article also concludes (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45.  94
    Pura Vida Neutrosophic Algebra.Ranulfo Paiva Barbosa & Florentin Smarandache - 2023 - Neutrosophic Systems with Applications 9.
    We introduce Pura Vida Neutrosophic Algebra, an algebraic structure consisting of neutrosophic numbers equipped with two binary operations namely addition and multiplication. The addition can be calculated sometimes with the function min and other times with the max function. The multiplication operation is the usual sum between numbers. Pura Vida Neutrosophic Algebra is an extension of both Tropical Algebra (also known as Min-Plus, or Min-Algebra) and Max-Plus Algebra (also known as Max-algebra). Tropical and Max-Plus algebras are algebraic structures included in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Strategies to Overcome Collaborative Innovation Barriers: The Role of Training to Foster Skills to Navigate Quadruple Helix Innovations.Luisa Barbosa-Gomez & Vincent Blok - 2023 - Journal of the Knowledge Economy.
    Quadruple Helix Collaborations (QHCs) is a cooperation model in which industry, government, academia, and the public interact to innovate. This paper analyses the impact of a training intervention to provide specific knowledge, skills, and attitudes to deal with barriers commonly found in the progress of QHCs. We designed, implemented, and evaluated three training programs in Austrian, Colombian, Danish, and Spanish institutions. We analysed trainees’ (n = 66) and trainers’ (n = 9) perceptions to identify the competencies acquired with the intervention (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Sources, raisons et exigences.Bruno Guindon - 2014 - Les ateliers de l'éthique/The Ethics Forum 9 (2):152-165.
    Il existe de nombreuses sources d’exigences. Certaines exigences sont normatives dans la mesure où elles impliquent des affirmations concernant ce que nous avons raison de croire, faire, désirer, etc. À ce titre, les exigences morales sont parmi les meilleures candidates. Si la morale exige que l’on tienne notre promesse, il semble que nous avons une raison de la tenir. Cependant, ce ne sont pas toutes les exigences qui sont normatives en ce sens. Le catholicisme exige que l’on assiste à la (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  23
    Kant e Leibniz sobre o problema da teodiceia.Bruno Cunha - 2024 - Kant Em Diálogo.
    O pensamento de Leibniz foi, sem dúvida, essencial para o desenvolvimento das linhas fundamentais da filosofia crítico-transcendental de Kant. A interlocução entre Kant e Leibniz é evidente no decorrer do pensamento kantiano, seja diretamente, nos diversos momentos em que Kant busca um enfrentamento explícito com seu predecessor, seja indiretamente, quando Kant discute com os autores da escolástica alemã que são considerados discípulos de Leibniz Pretendo observar, em particular, que uma das discussões pouco noticiadas, mas de grande relevância para o desenvolvimento (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Sobre a distinção entre prudência e moralidade em Kant e Crusius: considerações sobre a origem da doutrina do imperativo categórico.Bruno Cunha - 2019 - Studia Kantiana 17 (1):101-126.
    The extent of the originality and relevance of Kant's ethics is undeniable. But it is not so evident the fact that the Kant's moral philosophy as a whole was not suddenly built, but it was dependent on a profound debate with the philosophical tradition, especially with the German scholastic tradition, a debate which led to the assimilation or appropriation of several of its aspects. With special regard to the history of the development of the categorical imperative, it is not possible (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Political Anarchism and Raz’s Theory of Authority.Bruno Leipold - 2015 - Res Publica 21 (3):309-329.
    This article argues that using Joseph Raz’s service conception of authority to reject philosophical anarchism can be affected by political anarchism. Whereas philosophical anarchism only denies the authority of the state, political anarchism claims that anarchism is a better alternative to the state. Raz’s theory holds that an institution has authority if it enables people to better conform with reason. I argue that there are cases where anarchism is an existing alternative to the state and better fulfils this condition. Consequently, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 382