Results for 'Indicação Formal'

958 found
Order:
  1.  35
    (1 other version)Modalidade existencial e indicação formal: elementos para um conceito existencial de moral.Róbson Ramos dos Reis - 2000 - Human Nature 2 (2):273-300.
    No presente artigo são examinadas duas noções centrais da fenomenologia-hermenêutica apresentadas em Ser e tempo de Martin Heidegger: os conceitos de indicação formal e de possibilidade existencial. Ambas as noções são postas em conexão com a problemática da filosofia moral, ou seja, sustenta-se a tese de que um conceito existencial de moral contém problemas e uma metodologia específica, originados da indicação formal da estrutura ontológica do Dasein enquanto possibilidade existencial. O autor também afirma que a modificação (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  43
    Verdade E indicação formal: A hermenêutica dialógica do primeiro Heidegger.Róbson Ramos Dos Reis - 2001 - Veritas – Revista de Filosofia da Pucrs 46 (4):607-620.
    No presente artigo, é apresentado um aspecto central da concepção heideggeriana da fenomenologia nos escritos posteriores a 1919, que, à luz dos textos disponíveis na Gesamtausgabe de Martin Heidegger, revela um componente dialógico específico do método filosófico. A tese de que os conceitos e enunciados próprios da filosofia têm um caráter indicativo-formal conduz a uma noção de verdade filosófica, que tem na recepção produtiva e conversacional das sinalizações formais o seu traço definitório. Associada com a noção especulativa de jogo, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  18
    A noção de indicação formal: uma questão de método?Mario Fleig - 2011 - Natureza Humana 13 (2):116-126.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  16
    Traços Hermenêuticos Para a Compreensão Do Fenômeno Do Sagrado Em Heidegger.Daniel S. Toledo - 2011 - Kínesis - Revista de Estudos Dos Pós-Graduandos Em Filosofia 3 (5):198-224.
    Este artigo apresenta uma reunião dos principais elementos potencialmente hermenêuticos presentes em quatro momentos ao longo do pensamento de Martin Heidegger: a indicação formal, a ciência do possível, a verdade e o acontecimento de apropriação. Estes elementos serão apresentados e conjugados visando favorecer a linguagem poética como modalidade de acesso ao fenômeno do sagrado.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  1
    As Funções Proibitivo-Referencial e Reversivotransformacional da Noção Heideggeriana de Indicações Formais.Juliana Missaggia - 2014 - Kínesis - Revista de Estudos Dos Pós-Graduandos Em Filosofia 6 (12):145-155.
    Esse artigo examina as chamadas “funções” das indicações formais heideggerianas, tal como desenvolvidas pelo filósofo nos anos 20. Primeiramente, é apresentado o modo como a função proibitivo-referencial e a função reversivo-transformacional desempenham um papel fundamental no projeto elaborado por Heidegger nesse período. A seguir, são analisadas suas implicações filosóficas, como a modificação da concepção tradicional de fenomenologia e sua aproximação do aspecto existencial da atividade filosófica.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Fenomenologia zoocêntrica e normatividade.Róbson Ramos dos Reis - 2019 - Natureza Humana 21 (1).
    o objetivo do presente artigo consiste em apresentar, em linhas gerais, as características da noção de normatividade, que resulta da fenomenologia do paramundo de animais delineada esquematicamente por Heidegger no “Conceitos Fundamentais da Metafísica”. Iniciarei com a reconstrução da fenomenologia do paramundo dos animais, que tem como foco a determinação formal de três momentos: os comportamentos, os seus correlatos ambientais e a estrutura antecipatória do âmbito de acessibilidade do organismo. Em seguida, caracterizarei a normatividade no paramundo a partir dos (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Recombinant dna: Science. Ethics. And politics.Samuel B. Formal - 1978 - In John Richards, Recombinant DNA: science, ethics, and politics. New York: Academic Press. pp. 127.
  8.  7
    The Pathogenicity of Escherichia CoIi.Samuel B. Formal - 1978 - In John Richards, Recombinant DNA: science, ethics, and politics. New York: Academic Press. pp. 127.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  18
    Dov M. Gabbay and John Woods.Formal Approaches To Practical - 2002 - In Dov M. Gabbay, Handbook of the logic of argument and inference: the turn towards the practical. New York: Elsevier.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. Indicação bibliográfica.Jose Carlos Ruy - 1992 - Princípios 23:64.
    No categories
     
    Export citation  
     
    Bookmark  
  11. Da indicação dos problemas da metafísica para a metafísica como problema: uma discussão heideggeriana.Flávio de Oliveira Silva - 2017 - Natureza Humana 18 (2).
    As reflexões de Heidegger em relação à metafísica são particularmente importantes não apenas para se compreender devidamente seu pensamento filosófico, mas, sobretudo, para estimar a contribuição que tais reflexões propiciaram para o redimensionamento da concepção de filosofia no século XX. Nessa perspectiva, este trabalho explicita aspectos importantes do percurso filosófico de Heidegger em relação ao conceito de metafísica. Argumenta-se que, nos textos escritos até os anos 1930, Heidegger visava discutir e apresentar os problemas da metafísica na pretensão de elaborar as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Motion and the dialectical view of the world.in Formal Logic - 1990 - Studies in Soviet Thought 39:241-255.
    No categories
     
    Export citation  
     
    Bookmark  
  13.  19
    caracteristica-actividad. See part-whole relation/steps-activity causal relation certainty in. See certainty.Basic Formal Ontology - 2010 - In Alain Auger & Caroline Barrière, Probing Semantic Relations: Exploration and Identification in Specialized Texts. John Benjamins. pp. 149.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. The following classification is pragmatic and is intended merely to facilitate reference. No claim to exhaustive categorization is made by the parenthetical additions in small capitals.Psycholinguistics Semantics & Formal Properties Of Languages - 1974 - Foundations of Language: International Journal of Language and Philosophy 12:149.
  15.  7
    398 Sachindex.Formale Existenz Siehe Aktuale - 2003 - In Uwe Meixner & Albert Newen, Seele, Denken, Bewusstsein: zur Geschichte der Philosophie des Geistes. Walter de Gruyter. pp. 397.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. Versuch einer Kritik der logischen Vernunft.Formale Und Transzendentale Logik - 1929 - Jahrbuch für Philosophie Und Phänomenologische Forschung 10.
    No categories
     
    Export citation  
     
    Bookmark  
  17.  18
    O nous e a indicação da vida fáctica.Roberto Wu - 2011 - Natureza Humana 13 (1):102-116.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  92
    Formal Philosophy: Selected Papers of Richard Montague.Richard Montague - 1974 - New Haven,: Yale University Press.
  19.  25
    Opinião Pública No Twitter: Análise da Indicação de Alexandre de Moraes Ao Stf.Felipe Bonow Soares & Raquel Recuero - 2017 - Logeion Filosofia da Informação 3 (2):18-37.
    Este estudo busca discutir e analisar a construção da opinião pública no Twitter, tomando como estudo de caso a nomeação de Alexandre de Moraes para substituir Teori Zavascki como ministro do Supremo Tribunal Federal. A base teórica é formada a partir das relações entre o conceito de esfera pública e os sites de redes sociais. Para realizar esta análise, foram adotados métodos mistos, baseados na análise de contingência e na análise de redes. O corpus deste estudo é composto por 15.125 (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  15
    Formal Logic (1847).Augustus De Morgan - 2018 - Franklin Classics.
    This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...)
    Direct download  
     
    Export citation  
     
    Bookmark   33 citations  
  21.  37
    Formal models of language learning.Steven Pinker - 1979 - Cognition 7 (3):217-283.
  22.  20
    Formal Logic, or the Calculus of Inference, Necessary and Probable.Augustus de Morgan - 1847 - London, England: Taylor & Walton.
  23.  28
    The Formal Analysis of Normative Systems.Alan Ross Anderson - 1956 - New Haven, CT, USA: Yale University, International Laboratory, Sociology Dept.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   40 citations  
  24.  50
    Formal semantics and logic.Bas C. Van Fraassen - 1971 - New York,: Macmillan.
  25. Formal and material consequence.Stephen Read - 1994 - Journal of Philosophical Logic 23 (3):247 - 265.
  26. Formal features of compositionality.Wilfrid Hodges - 2001 - Journal of Logic, Language and Information 10 (1):7-28.
    We consider two formalisations of the notion of a compositionalsemantics for a language, and find some equivalent statements in termsof substitutions. We prove a theorem stating necessary and sufficientconditions for the existence of a canonical compositional semanticsextending a given partial semantics, after discussing what features onewould want such an extension to have. The theorem involves someassumptions about semantical categories in the spirit of Husserl andTarski.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   59 citations  
  27. The Formal Mechanics Of Mind.Stephen M. Thomas - 1978 - Ithaca, N.Y.: Harvester Press.
  28.  41
    A Formal Characterisation Of Institutionalised Power.Andrew Jones & Marek Sergot - 1996 - Logic Journal of the IGPL 4 (3):427-443.
    We extend the monotonic and regular modal logics to the multi-modal cue, and give semantical characterization w.r.t. a semantics of minimal frames. For this we introduce a calculus over neighbourhoods and we obtain simpler conditions than those from the literature.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  29.  37
    Formal systems for some branches of intuitionistic analysis.G. Kreisel - 1970 - Annals of Mathematical Logic 1 (3):229.
  30.  38
    Formal Methods in the Philosophy of Natural Science.Thomas Müller - 2010 - In Thomas Uebel, Stephan Hartmann, Wenceslao Gonzalez, Marcel Weber, Dennis Dieks & Friedrich Stadler, The Present Situation in the Philosophy of Science. Springer. pp. 111--123.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  31.  9
    Formal verification of ethical choices in autonomous systems.Louise Dennis, Michael Fisher, Marija Slavkovik & Matt Webster - 2016 - Robotics And Autonomous Systems 77:1-14.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  32. A Formal Apology for Metaphysics.Samuel Baron - 2018 - Ergo: An Open Access Journal of Philosophy 5.
    There is an old meta-philosophical worry: very roughly, metaphysical theories have no observational consequences and so the study of metaphysics has no value. The worry has been around in some form since the rise of logical positivism in the early twentieth century but has seen a bit of a renaissance recently. In this paper, I provide an apology for metaphysics in the face of this kind of concern. The core of the argument is this: pure mathematics detaches from science in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33.  99
    A formal framework for representing mechanisms?Alexander Gebharter - 2014 - Philosophy of Science 81 (1):138-153.
    In this article I tackle the question of how the hierarchical order of mechanisms can be represented within a causal graph framework. I illustrate an answer to this question proposed by Casini, Illari, Russo, and Williamson and provide an example that their formalism does not support two important features of nested mechanisms: (i) a mechanism’s submechanisms are typically causally interacting with other parts of said mechanism, and (ii) intervening in some of a mechanism’s parts should have some influence on the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  34. Basic concepts of formal ontology.Barry Smith - 1998 - In Nicola Guarino, Formal Ontology in Information Systems. IOS Press. pp. 19-28.
    The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of boundary, continuity (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  35.  26
    Medieval Formal Logic: Obligations, Insolubles and Consequences.Mikko Yrjönsuuri - 2001 - Dordrecht, Netherland: Springer Verlag.
    Central topics in medieval logic are here treated in a way that is congenial to the modern reader, without compromising historical reliability. The achievements of medieval logic are made available to a wider philosophical public then the medievalists themselves. The three genres of logica moderna arising in a later Middle Ages are covered: obligations, insolubles and consequences - the first time these have been treated in such a unified way. The articles on obligations look at the role of logical consistence (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  36. Beyond Formal Structure: A Mechanistic Perspective on Computation and Implementation.Marcin Miłkowski - 2011 - Journal of Cognitive Science 12 (4):359-379.
    In this article, after presenting the basic idea of causal accounts of implementation and the problems they are supposed to solve, I sketch the model of computation preferred by Chalmers and argue that it is too limited to do full justice to computational theories in cognitive science. I also argue that it does not suffice to replace Chalmers’ favorite model with a better abstract model of computation; it is necessary to acknowledge the causal structure of physical computers that is not (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  37.  84
    Formal Notes on the Substitutional Analysis of Logical Consequence.Volker Halbach - 2020 - Notre Dame Journal of Formal Logic 61 (2):317-339.
    Logical consequence in first-order predicate logic is defined substitutionally in set theory augmented with a primitive satisfaction predicate: an argument is defined to be logically valid if and only if there is no substitution instance with true premises and a false conclusion. Substitution instances are permitted to contain parameters. Variants of this definition of logical consequence are given: logical validity can be defined with or without identity as a logical constant, and quantifiers can be relativized in substitution instances or not. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  38. Formal fallacies and other invalid arguments.James Willard Oliver - 1967 - Mind 76 (304):463-478.
  39. Formal principles and the form of a law.Andrews Reath - 2010 - In Andrews Reath & Jens Timmermann, Kant's 'Critique of Practical Reason': A Critical Guide. New York: Cambridge University Press.
    One aim of the Critique of Practical Reason is to establish that reason alone can determine the will. To show that it can, it suffices to show that there are practical principles given by reason alone – what Kant terms ‘practical laws’, or (roughly) requirements of reason on action. Chapter I of the Analytic accomplishes this aim by arguing that the moral law is an authoritative practical principle given as a ‘fact of reason’. The chapter begins in section 1 with (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  40.  81
    Formal Approach to the Metaphysics of Perspectives: Points of View as Access.Juan J. Colomina-Almiñana - 2018 - Cham: Springer Verlag.
    This book offers a metaphysical development of the notion of perspective. By explaining the functional nature of point of view, and by providing a concrete definition of point of view as a window through which to see the world, it offers a scientific realist theory that explains that points of view are real structures that ground properties and objects as well as perspectives. The notion of point of view has been of key importance in the history of philosophy, and different (...)
    No categories
  41.  34
    Formal Theories of Occurrences and Substitutions.René Gazzari - 2022 - Bulletin of Symbolic Logic 28 (2):261-263.
  42.  65
    Formal and effective autonomy in healthcare.A. P. Schwab - 2006 - Journal of Medical Ethics 32 (10):575-579.
    This essay lays the groundwork for a novel conception of autonomy that may be called “effective autonomy”—a conception designed to be genuinely action guiding in bioethics. As empirical psychology research on the heuristics and biases approach shows, decision making commonly fails to correspond to people’s desires because of the biases arising from bounded cognition. People who are classified as autonomous on contemporary philosophical accounts may fail to be effectively autonomous because their decisions are uncoupled from their autonomous desires. Accordingly, continuing (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  43. Formal ontology.Nino Cocchiarella - 1991 - In Hans Burkhardt & Barry Smith, Handbook of metaphysics and ontology. Munich: Philosophia Verlag. pp. 640--647.
  44. Formal properties of "now" revisited.Una Stojnic & Daniel Altshuler - 2021 - Semantics and Pragmatics 14.
    The traditional view is that 'now’ is a pure indexical, denoting the utterance time. Yet, despite its initial appeal, the view has faced criticism. A range of data reveal 'now’ allows for discourse-bound (i.e., anaphoric) uses, and can occur felicitously with the past tense. The reaction to this has typically been to treat ‘now’ as akin to a true demonstrative, selecting the prominent time supplied by the non-linguistic context or prior discourse. We argue this is doubly mistaken. The first mistake (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  20
    Formal semantics for mutual belief.Marco Colombetti - 1993 - Artificial Intelligence 62 (2):341-353.
  46. (1 other version)Formal Philosophy. [REVIEW]Richard Montague - 1975 - Canadian Journal of Philosophy 4 (3):573-578.
    No categories
     
    Export citation  
     
    Bookmark   246 citations  
  47.  28
    Are formal explanations mere placeholders or pointers?Shamauri Rivera, Sam Prasad & Sandeep Prasada - 2023 - Cognition 235 (C):105407.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  51
    Do Formal Advance Directives Affect Resuscitation Decisions and the Use of Resources for Seriously Ill Patients?Joan M. Teno, Joanne Lynn, Russell S. Phillips, Donald Murphy, Stuart J. Youngner, Paul Bellamy, Alfred F. Connors Jr, Norman A. Desbiens, William Fulkerson & William A. Knaus - 1994 - Journal of Clinical Ethics 5 (1):23-30.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  49.  14
    Formal methods.Evert Willem Beth - 1962 - New York,: Gordon & Breach.
  50.  60
    A formal model of interpersonal inference.Michael Moutoussis, Nelson J. Trujillo-Barreto, Wael El-Deredy, Raymond J. Dolan & Karl J. Friston - 2014 - Frontiers in Human Neuroscience 8.
1 — 50 / 958