Results for 'possibility nesting'

980 found
Order:
  1. Possible arguments against Impossible Worlds in Wittgenstein’s Tractatus.Til Eyinck - forthcoming - South American Journal of Logic.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Nesting Polybia rejecta (Fabricius) (Hymenoptera: Vespidae) Associated with Azteca chartifex Forel (Hymenoptera: Formicidae) in Ecotone Caatinga/Atlantic Forest, in the State of Rio Grande do Norte.Francisco Virgínio - 2015 - Entomobrasillis 8 (3).
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Automating Reasoning with Standpoint Logic via Nested Sequents.Tim Lyon & Lucía Gómez Álvarez - 2018 - In Michael Thielscher, Francesca Toni & Frank Wolter (eds.), Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR2018). pp. 257-266.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. 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  
  5. The necessary and the possible de Michael Loux.Rodrigo Cid - 2011 - Filosofia Unisinos 12 (3).
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. How to count biological minds: symbiosis, the free energy principle, and reciprocal multiscale integration.Matthew Sims - 2020 - Synthese 199 (1-2):2157-2179.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  7. Mundos Possíveis de Michel Vaillant: Altermundismo nas Histórias em Quadrinhos de Automobilismo.Rafael Duarte Oliveira Venancio - 2014 - Mediação 16 (18).
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  8. Será Procedente o Argumento de Kripke Contra a Teoria da Identidade Tipo-Tipo?Domingos Faria - 2014 - Revista Portuguesa de Filosofia 70 (1):112-131.
    Resumo O meu objetivo neste artigo é examinar criticamente o argumento de Kripke contra a teoria da identidade tipo-tipo. Assumindo a tese da necessidade da identidade, bem como a tese da designação rígida, Kripke sustenta que se a dor é idêntica à estimulação das fibras C, então a dor é necessariamente idêntica à estimulação das fibras C. No entanto, precisamente porque a proposição expressa pela frase “a dor não é idêntica à estimulação das fibras C” é uma possibilidade metafísica, Kripke (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Will the Real Principles of Justice Please Stand Up?David Wiens - 2017 - In Kevin Vallier & Michael Weber (eds.), Political Utopias: Contemporary Debates. New York, NY: Oup Usa.
    This chapter develops a ``nesting'' model of deontic normative principles (i.e., principles that specify moral constraints upon action) as a means to understanding the notion of a ``fundamental normative principle''. I show that an apparently promising attempt to make sense of this notion such that the ``real'' or ``fundamental'' demands of justice upon action are not constrained by social facts is either self-defeating or relatively unappealing. We should treat fundamental normative principles not as specifying fundamental constraints upon action, but (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Ontología de la singularidad y el problema del lenguaje en Ludwig Feuerbach: para una lectura de Zur Kritik der Hegelschen Philosophie (1839).José Edmar Lima Filho - 2019 - El Arco y la Lira. Tensiones y Debates 7 (7):19-33.
    Neste texto trato da possibilidade de defender uma “ontolo- gia da singularidade” e seus reflexos no problema do conhecimento, bem como de oferecer uma introdução à questão da linguagem, todos estes problemas compreendidos como elementos de interesse no pensamento de Ludwig Feuerbach (1804-1872), restringindo-me a uma investigação situada nos limites de Zur Kritik der Hegelschen Philosophie (1839). Em primeiro lugar procuro desenvolver a demarcação con- ceitual do que chamo de “ontologia da singularidade”, pressuposto a partir do qual coube a Feuerbach (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Doing things with music.Joel W. Krueger - 2011 - Phenomenology and the Cognitive Sciences 10 (1):1-22.
    This paper is an exploration of how we do things with music—that is, the way that we use music as an esthetic technology to enact micro-practices of emotion regulation, communicative expression, identity construction, and interpersonal coordination that drive core aspects of our emotional and social existence. The main thesis is: from birth, music is directly perceived as an affordance-laden structure. Music, I argue, affords a sonic world, an exploratory space or nested acoustic environment that further affords possibilities for, among other (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  12. Modal Paradox II: Essence and Coherence.Nathan Salmón - 2021 - Philosophical Studies 178 (10):3237-3250.
    Paradoxes of nested modality, like Chisholm’s paradox, rely on S4 or something stronger as the propositional logic of metaphysical modality. Sarah-Jane Leslie’s objection to the resolution of Chisholm’s paradox by means of rejection of S4 modal logic is investigated. A modal notion of essence congenial to Leslie’s objection is clarified. An argument is presented in support of Leslie’s crucial but unsupported assertion that, on pain of inconsistency, an object’s essence is the same in every possible world. A fallacy in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Epistemic entrenchment with incomparabilities and relational belief revision.Sten Lindström & Wlodek Rabinowicz - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 93--126.
    In earlier papers (Lindström & Rabinowicz, 1989. 1990), we proposed a generalization of the AGM approach to belief revision. Our proposal was to view belief revision as a relation rather thanas a function on theories (or belief sets). The idea was to allow for there being several equally reasonable revisions of a theory with a given proposition. In the present paper, we show that the relational approach is the natural result of generalizing in a certain way an approach to belief (...)
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  14. The cognitive agent: Overcoming informational limits.Orlin Vakarelov - 2011 - Adaptive Behavior 19 (2):83-100.
    This article provides an answer to the question: What is the function of cognition? By answering this question it becomes possible to investigate what are the simplest cognitive systems. It addresses the question by treating cognition as a solution to a design problem. It defines a nested sequence of design problems: (1) How can a system persist? (2) How can a system affect its environment to improve its persistence? (3) How can a system utilize better information from the environment to (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  15. An externalist teleology.Gunnar Babcock & Daniel W. McShea - 2021 - Synthese 199 (3-4):8755-8780.
    Teleology has a complicated history in the biological sciences. Some have argued that Darwin’s theory has allowed biology to purge itself of teleological explanations. Others have been content to retain teleology and to treat it as metaphorical, or have sought to replace it with less problematic notions like teleonomy. And still others have tried to naturalize it in a way that distances it from the vitalism of the nineteenth century, focusing on the role that function plays in teleological explanation. No (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  16. A new theory of causation based on probability distribution determinism.Chong Liu - manuscript
    The concept of causation is essential for understanding relationships among various phenomena, yet its fundamental nature and the criteria for establishing it continue to be debated. This paper presents a new theory of causation through a quasi-axiomatic approach. The core of this framework is Probability Distribution Determinism (PDD), which updates traditional determinism by representing states of affairs as probability distributions, with the if-then function serving as its foundational definition. Based on PDD, by merely using appropriate naming strategies, it is possible (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Living strangely in time: emotions, masks and morals in psychopathically-inclined people.Doris Mcilwain - 2010 - European Journal of Analytic Philosophy 6 (1):75-94.
    Psychopaths appear to be ‘creatures apart’ – grandiose, shameless, callous and versatile in their violence. I discuss biological underpinnings to their pale affect, their selective inability to discern fear and sadness in others and a predatory orienting towards images that make most startle and look away. However, just because something is biologically underpinned does not mean that it is innate. I show that while there may be some genetic determination of fearlessness and callous-unemotionality, these and other features of the personality (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  18. How a Materialist Can Deny That the United States is Probably Conscious – Response to Schwitzgebel.François Kammerer - 2015 - Philosophia 43 (4):1047-1057.
    In a recent paper, Eric Schwitzgebel argues that if materialism about consciousness is true, then the United States is likely to have its own stream of phenomenal consciousness, distinct from the streams of conscious experience of the people who compose it. Indeed, most plausible forms of materialism have to grant that a certain degree of functional and behavioral complexity constitutes a sufficient condition for the ascription of phenomenal consciousness – and Schwitzgebel makes a case to show that the United States (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  19. Education and a Meaningful Life.John White - 2009 - Oxford Review of Education 35 (4):423-435.
    Everyone will agree that education ought to prepare young people to lead a meaningful life, but there are different ways in which this notion can be understood. A religious interpretation has to be distinguished from the secular one on which this paper focuses. Meaningfulness in this non-religious sense is a necessary condition of a life of well-being, having to do with the nesting of one’s reasons for action within increasingly pervasive structures of activity and attachment. Sometimes a life can (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  20. Affording Sustainability: Adopting a Theory of Affordances as a Guiding Heuristic for Environmental Policy.O. Kaaronen Roope - 2017 - Frontiers in Psychology 8.
    Human behavior is an underlying cause for many of the ecological crises faced in the 21st century, and there is no escaping from the fact that widespread behavior change is necessary for socio-ecological systems to take a sustainable turn. Whilst making people and communities behave sustainably is a fundamental objective for environmental policy, behavior change interventions and policies are often implemented from a very limited non-systemic perspective. Environmental policy-makers and psychologists alike often reduce cognition ‘to the brain,’ focusing only to (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  60
    Treating People as Individuals and as Members of Groups.Lauritz Munch & Nicolai Knudsen - forthcoming - Philosophy and Phenomenological Research.
    Many believe that we ought to treat people as individuals and that this form of treatment is in some sense incompatible with treating people as members of groups. Yet, the relation between these two kinds of treatments is elusive. In this paper, we develop a novel account of the normative requirement to treat people as individuals. According to this account, treating people as individuals requires treating people as agents in the appropriate capacity. We call this the Agency Attunement Account. This (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Schemes of Historical Method in the Late 19th Century: Cross-References between Langlois and Seignobos, Bernheim, and Droysen.Arthur Alfaix Assis - 2015 - In Luiz Estevam de Oliveira Fernandes, Luísa Rauter Pereira & Sérgio da Mata (eds.), Contributions to Theory and Comparative History of Historiography German and Brazilian Perspectives. Peter Lang. pp. 105-125.
    At the end of the 19th century, most professional historians – wherever they existed – deemed history to be a form of knowledge ruled by a method that bears no resemblance with those most commonly traceable in the natural sciences. The bulk of the historian’s task was then frequently regarded as being the application of procedures frequently referred to as ‘historical method’. In the context of such an emerging interest on historical methods and methodology, at least three textbooks stand out: (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. Moral Topography of Memory, Time Control and Accumulation of Identity.Piotr Machura - 2022 - Studia Philosophica Wratislaviensia 17 (1):27-44.
    The aim of this paper is to analyze the basis for the moral obligation to remember. As the moral relation to the past is primarily a matter of shared identity, the kind of obligation in question splits into two related issues, namely, that of political, state-oriented and state-organized memory on which the political identity rests and that of memory labour grounded in social identities based in shared, time-extended projects. Drawing upon tensions between these two, I discuss time control and the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. The hologenome concept of evolution: a philosophical and biological study.Javier Suárez - 2019 - Dissertation, University of Exeter
    The hologenome concept of evolution is a hypothesis about the evolution of animals and plants. It asserts that the evolution of animals and plants was partially triggered by their interactions with their symbiotic microbiomes. In that vein, the hologenome concept posits that the holobiont (animal host + symbionts of the microbiome) is a unit of selection. -/- The hologenome concept has been severely criticized on the basis that selection on holobionts would only be possible if there were a tight transgenerational (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  25. Modal Logic for Relationships between Sets.Guallart Nino - manuscript
    In this article, we present a modal logic system that allows representing relationships between sets or classes of individuals defined by a specific property. We introduce two modal operators, [a] and <a>, which are used respectively to express "for all A" and "there exists an A". Both the syntax and semantics of the system have two levels that avoid the nesting of the modal operator. The semantics is based on a variant of Kripke semantics, where the modal operators are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Virtual Subjectivity: Existence and Projectuality in Virtual Worlds.Daniel Vella & Stefano Gualeni - 2019 - Techné: Research in Philosophy and Technology 23 (2):115-136.
    This paper draws on the notion of the ‘project,’ as developed in the existential philosophy of Heidegger and Sartre, to articulate an understanding of the existential structure of engagement with virtual worlds. By this philosophical understanding, the individual’s orientation towards a project structures a mechanism of self-determination, meaning that the project is understood essentially as the project to make oneself into a certain kind of being. Drawing on existing research from an existential-philosophical perspective on subjectivity in digital game environments, the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Derrida's Territorial Knowledge of Justice.William Conklin - 2012 - In Ruth Buchanan, Stewart Motha & Sunday Pahuja (eds.), Reading Modern Law: Critical Methodologies and Sovereign Formations. Rutledge. pp. 102-129.
    Peter Fitzpatrick’s writings prove once and for all that it is possible for a law professor to write in beautiful English. His work also proves once and for all that the dominating tradition of Anglo-American legal philosophy and of law teaching has been barking up the wrong tree: namely, that the philosopher and professional law teachers can understand justice as nested in empty forms, better known as rules, doctrines, principles, policies, and other standards. The more rigorous our analysis or decomposition (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Identification of antinomies by complementary analysis.Andrzej Burkiet - manuscript
    It has been noticed that self-referential, ambiguous definitional formulas are accompanied by complementary self-referential antinomy formulas, which gives rise to contradictions. This made it possible to re-examine ancient antinomies and Cantor’s Diagonal Argument (CDA), as well as the method of nested intervals, which is the basis for evaluating the existence of uncountable sets. Using Georg Cantor’s remark that every real number can be represented as an infinite digital expansion (usually decimal or binary), a simplified system for verifying the definitions of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Uso político da religião e uso religioso da política: uma análise a partir de duas interpretações exemplares - Marsílio e Maquiavel.José Luiz Ames - 2014 - Clareira: Revista de Filosofia da Região Amazônica 1 (2):220-239.
    We are presently confronted with an impressive growth of the religious phenomenon. This can be observed not only related to both the outbreak of new religions and the increasing attendance to worship services, but also for the presence of the religious language in the political discourse. We can see nowadays a political use of religion and a religious use of politics. When we approach the religions in a large scale perspective is possible to verify that in all of them both (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Duas teorias realistas para a interpretação da semântica dos mundos possíveis.Renato Mendes Rocha - 2010 - Inquietude 1 (1):72-79.
    O discurso a respeito dos Mundos Possíveis pode ser uma ferramenta bastante útil para a filosofia. Pode ser útil, por exemplo, para a compreensão das modalidades, da necessidade e da possibilidade. No entanto, para utilizar o discurso dos Mundos Possíveis devemos ter uma explicação satisfatória do caráter ontológico da Semântica dos Mundos Possíveis. Para isso, precisamos responder a questões do tipo: O que é um Mundo Possível? De que forma eles existem? Em quantos Mundos Possíveis podemos falar? Há diversas formas (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. A Natureza no Tribunal das Leis: hipóteses sobre as influências das leis escritas na cosmologia de Anaximandro.Luan Reboredo - 2019 - In Maria de Fátima Silva, Maria da Graça de Moraes Augusto & Maria do Céu Fialho (eds.), Casas, património, civilização: nomos versus physis no pensamento grego. Imprensa da Universidade de Coimbra. pp. 53-67.
    In this paper, we intend to explore the possible influences of legislative prose in the Anaximander’s cosmological prose construction, who would have been, according to Themistius, “the first Greek who dared to expose a written discourse about nature” (ἐθάρρησε πρῶτος ὧν ἴσμεν Ἑλλήνων λόγον ἐξενεγκεῖν περὶ φύσεως συγγεγραμμένον, Or. 26 p. 383 = DK12A7). Our aim is to clarify which notions of nature and justice are assumed in its emergent cosmology, considering that, at least from the lexical point of view, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Propriedades Naturais e Mundos Possíveis.Renato Mendes Rocha - 2015 - Coleção XVI Encontro ANPOF.
    O objetivo geral da pesquisa da qual esse artigo faz parte é investigar o sistema metafísico que emerge dos trabalhos de David Lewis. Esse sistema pode ser decomposto em pelo menos duas teorias. A primeira nomeada como realismo modal genuíno (RMG) e a segunda como mosaico neo-humeano. O RMG é, sem dúvida, mais popular e defende a hipótese metafísica da existência de uma pluralidade de mundos possíveis. A principal razão em favor dessa hipótese é a sua aplicabilidade na discussão de (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Hermenéutica y toma de decisiones en ética clínica.Oscar Vergara - 2017 - Revista Bioética 25 (2):255 - 263.
    Resumen Hermenéutica y toma de decisiones en ética clínica La moderna hermenéutica se interesa por las condiciones de posibilidad de la comprensión humana. Sus aportaciones son de indudable interés para el campo de la ética biomédica, donde médico y paciente tratan de comprenderse mutuamente con el fin de concretar determinado proyecto de cuidados. Sin embargo, esta aproximación está lejos de ser aprovechable para formar una pauta concreta de cara a la toma de decisiones en este campo. La hermenéutica acierta al (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. The Axiology of Necrologies: Using Natural Language Processing to Examine Values in Obituaries (Dissertation Code and Limited Data).Jacob Levernier - 2016 - Dissertation, University of Oregon
    This dissertation is centrally concerned with exploring obituaries as repositories of values. Obituaries are a publicly-available natural language source that are variably written for members of communities that are wide (nation- level) and narrow (city-level, or at the level of specific groups therein). Because they are explicitly summative, limited in size, and written for consumption by a public audience, obituaries may be expected to express concisely the aspects of their subjects’ lives that the authors (often family members living in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. De la telaraña a la web: Artefactos cognitivos en animales no-humanos.Joan Sebastián Mejía-Rendón & Andrés Crelier - 2019 - ArtefaCToS. Revista de Estudios Sobre la Ciencia y la Tecnología 8 (2):27-52.
    We examine the notion of cognitive artifact and its possible application to the animal technic. Although the issue of animal technic is not very much discussed, the case studies focused on the capacity of using and manufacturing tools suggest that some animals deploy cognitive skills. Could the tools employed by animals be considered genuine cases of cognitive artifacts? In this paper we propose a definition of “cognitive artifact” based on the notion of “proper function,” which allows us to develop a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36.  37
    Tractable depth-bounded approximations to some propositional logics. Towards more realistic models of logical agents.A. Solares-Rojas - 2022 - Dissertation, University of Milan
    The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Aspectos da reprodução em bovinos.Deivid Marcel Souza da Silva - 2021 - Dissertation, Centro Universitário - Ages
    RESUMO A bovinocultura sempre esteve atrelada ao desenvolvimento do Brasil e, pensando no avanço, as exigências da máxima eficiência nos sistemas de criação foi pautada na forma de como conseguir realizar a reprodução de bovinos com ênfase na eficiência econômica e reprodutiva. O objetivo deste trabalho é elucidar as principais biotecnologias que auxiliam na maior produtividade reprodutiva de bovinos. Dessa forma, o estudo foi realizado usando artigos do banco de dados do Google acadêmico e SciELO, além de livros do acervo (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. A Educação de Jovens e Adultos como Transformação Social.Emanuel Isaque Cordeiro da Silva & Meuri Rusy Maria do Nascimento - 2017 - Dissertation,
    Monografia apresentada à banca examinadora da Escola Municipal Manuel Teodoro de Arruda, anexa do Colégio Frei Cassiano de Comacchio em Belo Jardim, para a obtenção do título de concluinte do curso de Normal Médio, oferecido pela instituição. A natureza do trabalho, em suma, consiste em apresentar perspectivas de trans formação social para a comunidade de jovens e adultos, o principal programa cunho do trabalho é a Educação de Jovens e Adultos a EJA, e como esse programa intervém na sociabilidade e (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. The Metaphysical Commitments of Logic.Thomas Brouwer - 2013 - Dissertation, University of Leeds
    This thesis is about the metaphysics of logic. I argue against a view I refer to as ‘logical realism’. This is the view that the logical constants represent a particular kind of metaphysical structure, which I dub ‘logico-metaphysical structure’. I argue instead for a more metaphysically lightweight view of logic which I dub ‘logical expressivism’. -/- In the first part of this thesis (Chapters I and II) I argue against a number of arguments that Theodore Sider has given for logical (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.Tim Lyon - 2021 - In Anupam Das & Sara Negri (eds.), Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021. pp. 409-427.
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Nestes Modes, ’Qua’ and the Incarnation.Alexander R. Pruss - 2014 - European Journal for Philosophy of Religion 6 (2):65--80.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Nested Dissection for Sparse Null-Space Bases.Julio Michael Stern & Stephen Vavasis - 1993 - SIAM Journal of Matrix Analysis and Applications 14:766-775.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.Tim Lyon - 2013 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer. pp. 177-194.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  44. (1 other version)Conceivability, possibility, and the mind-body problem.Katalin Balog - 1999 - Philosophical Review 108 (4):497-528.
    This paper was chosen by The Philosopher’s Annual as one of the ten best articles appearing in print in 2000. Reprinted in Volume XXIII of The Philosopher’s Annual. In his very influential book David Chalmers argues that if physicalism is true then every positive truth is a priori entailed by the full physical description – this is called “the a priori entailment thesis – but ascriptions of phenomenal consciousness are not so entailed and he concludes that Physicalism is false. As (...)
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  45. On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  46. Possibly false knowledge.Alex Worsnip - 2015 - Journal of Philosophy 112 (5):225-246.
    Many epistemologists call themselves ‘fallibilists’. But many philosophers of language hold that the meaning of epistemic usages of ‘possible’ ensures a close knowledge- possibility link : a subject’s utterance of ‘it’s possible that not-p’ is true only if the subject does not know that p. This seems to suggest that whatever the core insight behind fallibilism is, it can’t be that a subject could have knowledge which is, for them, possibly false. I argue that, on the contrary, subjects can (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  47. The Dream of Geese Nesting in Trees: An Experiment that Tests an Interpretation.Maxson J. McDowell, Joenine E. Roberts & Nathalie Hausman - manuscript
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Humean Laws and (Nested) Counterfactuals.Christian Loew & Siegfried Jaag - 2019 - Philosophical Quarterly 70 (278):93-113.
    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.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  49. Agential Possibilities.Christian List - 2023 - Possibility Studies and Society.
    We ordinarily think that we human beings have agency: we have control over our choices and make a difference to our environments. Yet it is not obvious how agency can fit into a physical world that is governed by exceptionless laws of nature. In particular, it is unclear how agency is possible if those laws are deterministic and the universe functions like a mechanical clockwork. In this short paper, I first explain the apparent conflict between agency and physical determinism (referring (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Possible World Semantics Meets Metaphysics.Alik Pelman - 2024 - Xlinguae 17 (3) (Special Issue: Phil of Lang):122-134.
    Possible world semantics has been gradually fine-grained over the years. First, simple extensional semantics was fine-grained by relativizing it to worlds considered as counterfactual, thus generating standard possible-world semantics, which was later further fine-grained by relativizing it to worlds considered as actual, thus generating two-dimensional semantics. However, worlds considered as actual were only considered with respect to the empirical facts obtaining in such worlds. This paper shows that no less of an important role is played by another feature of actual (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 980