Results for 'democracia formal'

944 found
Order:
  1. Democracia e o risco da ingovernabilidade.Pedro H. A. Corsini - 2022 - Xxi Semana Acadêmica Do Ppg Em Filosofia da Pucrs: Filosofia Contemporânea Ii.
    O sistema democrático é entendido por Norberto Bobbio em dois vieses: como um conjunto de regras de procedimento para a constituição do governo e para a formação das decisões políticas, isto é, a democracia formal; e a democracia substancial, a qual pressupõe um conjunto de fins ideais — igualdade jurídica, social e econômica — independentemente dos meios adotados para os alcançar. Essas noções distintas se complementam no conceito que o autor explicita, visto que o ideal igualitário que (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Democracia, Cidadania e Direitos Humanos no Brasil.Emanuel Isaque Cordeiro da Silva - manuscript
    O sistema político brasileiro preenche, formalmente, os requisitos mínimos de uma poliarquia, ou seja, um sistema democrático em que o poder é atribuído com base em eleições livres e em que há ampla participação política e concorrência pelos cargos eletivos. Esse sistema implica disputa pelo poder, tolerância à diversidade de opiniões e oposição política. No entanto, o que se percebe na sociedade é que essa estrutura formal não garante a democratização dos recursos socialmente produzidos, como bens, direitos e serviços (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. El desencanto de la democracia en el Perú contemporáneo.Johel Pozo Tinoco - 2022 - Discursos Del Sur Revista De Teoría Crítica En Ciencias Sociales 8:195-222.
    Actualmente existe un reconocimiento, por parte de la población, de que vivimos bajo un régimen democrático, pero al mismo tiempo se expresa un notable descontento sobre su eficiencia. La literatura especializada cuenta con múltiples criterios de definición de la democracia que permiten abordar aspectos como el marco legal, el sistema de elecciones, los procesos de participación, así como los derechos fundamentales y los derechos humanos. Pese a esta riqueza de contenido, en el país predomina un enfoque procedimental que pone (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Expressões Históricas da Democracia.Emanuel Isaque Cordeiro da Silva - manuscript
    Emanuel Isaque Cordeiro da Silva1 [email protected] WhatsApp: (81) 97109-4655 -/- Somente a partir do século XX, a democracia passou a ser considerada por muitos um critério de legitimação da vida política. Ao longo de sua trajetória, o pensamento democrático se modificou, incorporando e abolindo diferentes elementos. Desse modo, duas expressões da democracia, a direta e a representativa, tiveram lugar na história ocidental. Democracia direta Na democracia clássica, em Atenas, todos aqueles que fossem considerados cidadãos podiam e (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Teoria Democrática Contemporânea.Emanuel Isaque Cordeiro da Silva - manuscript
    A partir do século XIX, a teoria democrática foi desenvolvida com base no confronto entre duas doutrinas políticas: o liberalismo e o socialismo. O liberalismo é um projeto que defende as limitações dos poderes governamentais, buscando a proteção dos direitos econômicos, políticos, religiosos e intelectuais dos membros da sociedade. Ou seja, para os liberais o poder do Estado deve ser limitado, pois eles acreditam que a verdadeira liberdade depende da menor interferência possível do Estado e das leis nesses direitos. A (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Conocimiento y justificación en la epistemología democrática.Marc Jiménez Rolland - 2018 - In Ana Estanny & Mario Gensollen (eds.), Democracia y conocimiento. Univerisdad Autónoma de Aguascalientes, Universitat Autònoma de Barcelona, IMAC. pp. 153-182.
    Una de las bifurcaciones en el debate contemporáneo sobre la legitimidad de la democracia explora si ésta ofrece ventajas distintivamente epistémicas frente a otras alternativas políticas. Quienes defienden la tesis de la democracia epistémica afirman que la democracia es instrumentalmente superior o equiparable a otras formas de organización política en lo que concierne a la obtención de varios bienes epistémicos. En este ensayo presento dos (grupos de) argumentos a favor de la democracia epistémica, que se inspiran (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Teoria Democrática Moderna.Emanuel Isaque Cordeiro da Silva - manuscript
    Em meados do século XVI, surgiu a ideia de autonomia do indivíduo, que deu origem ao individualismo e ao liberalismo político. A concepção de democracia que se desenvolveu com base nesses princípios assumiu um perfil bastante diferente daquele utilizado na Grécia antiga. Se antes a democracia estava diretamente ligada à ideia de igualdade, em sua nova versão passou a ser relacionar primordialmente com a ideia de liberdade. Em decorrência dos ideais desenvolvidos naquele momento histórico, o principal dilema político (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. 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  
  9. La democracia como derecho fundamental: Ideas sobre un modelo de democracia integral.Jesus Enrrique Caldera-Ynfante - 2018 - Revista Opción 34 (18):584-624.
    La democracia es calificada normativamente como un derecho fundamental, relacionado con la dignidad humana (proyecto de vida, condiciones para funcionar en sociedad y vida sin daños); con forma de derecho subjetivo (titular, obligado y núcleo esencial) y un consenso de dogmática constitucional sobre su relevancia, integrado por elementos procedimentales -formación de mayorías- junto a la faceta sustancial –goce de los DDHH fundamentales de su ámbito de protección- como medio y fin para el logro del florecimiento humano y la felicidad (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  10. La democracia integral: un derecho fundamental hacia el logro de la dignidad humana, el proyecto de vida valioso y la felicidad social.Jesus Enrrique Caldera-Ynfante - 2019 - Bogotá, Colombia: Ediciones Nueva Jurídica.
    La democracia en el texto es vista desde una perspectiva integral u onmicomprensiva que complementa la parte instrumental (procedimiento electoral) con la sustancial (goce efectivo de derechos humanos) basado en la concienciación de una real dignidad humana que permita que la persona realice su proyecto de vida, disfrute de sus derechos y funcione efectivamente en la sociedad dentro del Estado democrático constitucional: la interrelación e interdependencia entre democracia, dignidad humana y Estado constitucional de derecho resulta para el autor (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. La democracia y la multitud: Spinoza contra Negri.Sandra Leonie Field - 2021 - Revista Argentina de Ciencia Política 1 (26):1-25.
    Spanish translation of Field, S. L. (2012). 'Democracy and the multitude: Spinoza against Negri'. Theoria: A Journal of Social and Political Theory, 59(131), 21-40. Translated by María Cecilia Padilla and Gonzalo Ricci Cernadas. Negri celebra una concepción de la democracia en la que los poderes concretos de los individuos humanos no se alienan sino que se agregan: una democracia de la multitud. Pero ¿cómo puede actuar la multitud sin alienar el poder de nadie? Para contestar esta dificultad, Negri (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Democracia e representação: Rousseau vs. Stuart Mill.Gustavo Hessmann Dalaqua - 2022 - In Carolina Biernat & Nahuel Vassallo (eds.), Historia Contemporánea. Problemas, debates y perspectivas. Editorial de la Universidad Nacional del Sur. pp. 1391-1411.
    Trata-se de relacionar as duas posições concorrentes que pautaram o debate sobre representação e democracia na filosofia moderna. Em um primeiro momento, reconstruiremos a crítica à representação, feita por Jean-Jacques Rousseau, no Contrato social (1762). A incompatibilidade entre democracia e representação postulada neste livro apoia-se nos seguintes pressupostos: 1) a soberania consiste unicamente na vontade; 2) a representação é uma forma de delegação. Em um segundo momento, investigaremos a defesa da democracia representativa, feita por John Stuart Mill, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Formal Ontology.Jani Hakkarainen & Markku Keinänen - 2023 - Cambridge: Cambridge University Press.
    Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  14. La democracia y el valor político de la tolerancia.Fuentes/Caro Eduardo Andres - 2015 - Filosofia Unisinos 16 (2):164-182.
    It is a widespread opinion that toleration, as a political practice, has merely instrumental value. The aim of this paper is to defend, on the contrary, that toleration has political value in itself. In more specific terms, I will claim that it is valuable in itself in virtue of its intrinsic relationship with democracy. Toleration is a constituent of democracy inasmuch as it is necessary for the existence of a democratic administration of political power. I will show that that relation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Democracia, desinformación y conocimiento político: algunas aclaraciones conceptuales.Rubén Marciel - 2022 - Dilemata 38:65-82.
    In this article I try to shed some light on the complex relation between democracy, political knowledge, and disinformation. To do so, I first define three related concepts which, once clarified, could facilitate our understanding of the problems digital democracies face. First, drawing from the general notion of competence, I define civic competence. Then, drawing from the general notion of knowledge, I define political knowledge. Finally, and drawing from the general notion of information, I define democratically relevant information. After clarifying (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16.  51
    Democracia e individualismo : a igualdade como princípio organizador.Walter Valdevino - 2012 - Porto Alegre: EDIPUCRS.
    As democracias ocidentais contemporâneas caracterizam-se pelo consenso a respeito da defesa dos direitos individuais fundamentais. O princípio da igualdade, tanto em sua formulação jurídica quanto em sua expressão social, tem por objetivo fazer com que fatores como poder econômico, influência política, origem familiar e preferências pessoais não possam promover desigualdades que não possuem justificativa moral. O princípio da liberdade tem por objetivo garantir espaço para a autonomia e a livre expressão individual. O conflito entre esses dois princípios, como se sabe, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Formal Biology and Compositional Biology as Two Kinds of Biological Theorizing.Rasmus Grønfeldt Winther - 2003 - Dissertation, Indiana University, Hps
    There are two fundamentally distinct kinds of biological theorizing. "Formal biology" focuses on the relations, captured in formal laws, among mathematically abstracted properties of abstract objects. Population genetics and theoretical mathematical ecology, which are cases of formal biology, thus share methods and goals with theoretical physics. "Compositional biology," on the other hand, is concerned with articulating the concrete structure, mechanisms, and function, through developmental and evolutionary time, of material parts and wholes. Molecular genetics, biochemistry, developmental biology, and (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  18. Democracia como compromisso: uma alternativa à oposição entre democracia epistêmica e democracia agonística.Gustavo Hessmann Dalaqua - 2020 - In Marta Nunes da Costa (ed.), Representação: variações de um conceito. Liber Ars. pp. 101-120.
    Relativamente difundida na teoria democrática contemporânea, a dicotomia entre democracia epistêmica e democracia agonística é endossada por autores como Luis Felipe Miguel, Chantal Mouffe e Nadia Urbinati. De acordo com eles, a ideia de que a deliberação democrática possa funcionar como uma troca de argumentos racionais que visa à verdade é incompatível com o reconhecimento do conflito como um componente basilar da política. Tudo se passa, pois, como se a abordagem epistêmica estivesse fadada a obliterar a dimensão agonística (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Normative Formal Epistemology as Modelling.Joe Roussos - forthcoming - The British Journal for the Philosophy of Science.
    I argue that normative formal epistemology (NFE) is best understood as modelling, in the sense that this is the reconstruction of its methodology on which NFE is doing best. I focus on Bayesianism and show that it has the characteristics of modelling. But modelling is a scientific enterprise, while NFE is normative. I thus develop an account of normative models on which they are idealised representations put to normative purposes. Normative assumptions, such as the transitivity of comparative credence, are (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  20. Capitalismo, democracia y porvenir: la factibilidad democrática en el capitalismo moderno.Ignacio Moreno Fluxà - 2017 - Otrosiglo 1 (1):62-73.
    Las recientes crisis económicas han dejado en evidencia las fisuras del sistema económico capitalista y, con ello, se vuelve menester que el debate penetre en la raíz misma del sistema económico, donde se halla la fuente de los problemas. Así, cabe preguntarse hasta qué punto el capitalismo contemporáneo ha determinado el devenir histórico de las democracias occidentales. ¿Puede hablarse de sistemas democráticos propiamente tales dentro de los regímenes capitalistas modernos? A partir de la idea de democracia en Derrida y (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. A questão da democracia na República de Platão. Deyvisson - manuscript
    O presente trabalho pretende investigar a questão da democracia na República de Platão buscando demonstrar os seus principais aspectos, além de fazer uma breve análise das constituições que antecederam a democracia, apresentadas na obra em questão, tendo como meta entender o quão longe estar a democracia de ser uma forma de governo boa, além de compreender os motivos de Platão criticar, na República, tal forma de governo. Embora o presente estudo não pretenda esgotar toda a perspectiva platônica, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. The formal sciences discover the philosophers' stone.James Franklin - 1994 - Studies in History and Philosophy of Science Part A 25 (4):513-533.
    The formal sciences - mathematical as opposed to natural sciences, such as operations research, statistics, theoretical computer science, systems engineering - appear to have achieved mathematically provable knowledge directly about the real world. It is argued that this appearance is correct.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  23. Can “Formal Theology” Ground a Religion for Science, or, a Religion for Scientists?Johan Gamper - manuscript
    In my old manuscript “Formal Theology” that now is out as a preprint I show that science and theology can be founded upon the same set of basic assumptions. I now follow up this idea with the thought that Formal Theology may be used to ground also a religion. “Religion“, in this regard, as related to beliefs. I’m not going into any details, neither concerning the original manuscript, nor this new idea. The important thing, I think, is to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Democracia, Diversidad, Disgenics, Muerte: el colapso inexorable de las sociedades modernas.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    Estados Unidos y el mundo están en proceso de colapso por el crecimiento excesivo de la población, la mayor parte del siglo pasado, y ahora todo, debido a la gente del tercer mundo. El consumo de recursos y la adición de 4.000 millones más alrededor de 2100 colapsarán la civilización industrial y provocarán hambre, enfermedades, violencia y guerra a una escala asombrosa. La tierra pierde al menos el 1% de su suelo superior cada año, por lo que a medida que (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Formal logic: Classical problems and proofs.Luis M. Augusto - 2019 - London, UK: College Publications.
    Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  26. A Formal Account of AI Trustworthiness: Connecting Intrinsic and Perceived Trustworthiness.Piercosma Bisconti, Letizia Aquilino, Antonella Marchetti & Daniele Nardi - forthcoming - Aies '24: Proceedings of the 2024 Aaai/Acmconference on Ai, Ethics, and Society.
    This paper proposes a formal account of AI trustworthiness, connecting both intrinsic and perceived trustworthiness in an operational schematization. We argue that trustworthiness extends beyond the inherent capabilities of an AI system to include significant influences from observers' perceptions, such as perceived transparency, agency locus, and human oversight. While the concept of perceived trustworthiness is discussed in the literature, few attempts have been made to connect it with the intrinsic trustworthiness of AI systems. Our analysis introduces a novel schematization (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Designometry – Formalization of Artifacts and Methods.Soenke Ziesche & Roman Yampolskiy - manuscript
    Two interconnected surveys are presented, one of artifacts and one of designometry. Artifacts are objects, which have an originator and do not exist in nature. Designometry is a new field of study, which aims to identify the originators of artifacts. The space of artifacts is described and also domains, which pursue designometry, yet currently doing so without collaboration or common methodologies. On this basis, synergies as well as a generic axiom and heuristics for the quest of the creators of artifacts (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Pregeometry, Formal Language and Constructivist Foundations of Physics.Xerxes D. Arsiwalla, Hatem Elshatlawy & Dean Rickles - manuscript
    How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Indivisible. Democracia y terror en tiempos de Bush y Obama.Martín Plot - 2011 - Buenos Aires, Argentina: Prometeo.
    En los capítulos que conforman este trabajo, me propuse analizar la relación entre los efectos de los atentados terroristas del 11 de sep- tiembre de 2001 y el funcionamiento de la democracia estadounidense. La estrategia seguida fue, en varias oportunidades, la de contrastar los acontecimientos y procesos ocurri- dos en los Estados Unidos con la experiencia de las dictaduras del Cono Sur sudamericano de los años setenta y comienzos de los ochenta; en particular con el caso argentino.
    Download  
     
    Export citation  
     
    Bookmark  
  30. Formal thought disorder and logical form: A symbolic computational model of terminological knowledge.Luis M. Augusto & Farshad Badie - 2022 - Journal of Knowledge Structures and Systems 3 (4):1-37.
    Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Formal Methods.Richard Pettigrew - manuscript
    (This is for the Cambridge Handbook of Analytic Philosophy, edited by Marcus Rossberg) In this handbook entry, I survey the different ways in which formal mathematical methods have been applied to philosophical questions throughout the history of analytic philosophy. I consider: formalization in symbolic logic, with examples such as Aquinas’ third way and Anselm’s ontological argument; Bayesian confirmation theory, with examples such as the fine-tuning argument for God and the paradox of the ravens; foundations of mathematics, with examples such (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. (1 other version)Mundo da Vida, Ethos Democrático e Mundialização: A Democracia Deliberativa segundo Habermas.de Oliveira Nythamar - 2008 - Dois Pontos 5 (2):233-254.
    O artigo procura mostrar em que sentido a democracia deliberativa proposta pela teoria discursiva de Jürgen Habermas dá conta do problema dos reducionismos econômicos e juridificantes da mundialização ou globalização, entendida como uma colonização técnico-sistêmica do mundo da vida. Recorrendo a sua concepção de um ethos democrático transnacional embasado na soberania popular, a teoria habermasiana logra resgatar o caráter normativo da mundialização através da irredutibilidade de valores humanos como a liberdade, a dignidade e os direitos humanos, inerentes às mais (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Heidegger, Formal Indication, and Sexual Difference.Eric S. Nelson - 2022 - Eksistenz. Philosophical Hermeneutics and Intercultural Philosophy 1 (1):65-77.
    This contribution unfolds an existential-ontological response to the question of sexual difference in the context of Heidegger’s formally indicative concept of “Dasein.” The question of Dasein’s “neutrality” concerns how formal indication formalizes, empties, and neutralizes the givenness of factical human existence. Ostensibly “given” biological and anthropological facts, such as sexual difference, are interpreted from an emptied and neutralized perspective that appears abstract and fictional to Heidegger’s critics. How, then, is the “neutrality” of formalizing emptying related to the “facticity” of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. A formal ontology of artefacts.Gilles Kassel - 2010 - Applied ontology 5 (3):223-246.
    This article presents a formal ontology which accounts for the general nature of artefacts. The objective is to help structure application ontologies in areas where specific artefacts are present - in other words, virtually any area of activity. The conceptualization relies on recent philosophical and psychological research on artefacts, having resulted in a largely consensual theoretical basis. Furthermore, this ontology of artefacts extends the foundational DOLCE ontology and supplements its axiomatization. The conceptual primitives are as follows: artificial entity, intentional (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  35. On formal aspects of the epistemic approach to paraconsistency.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2018 - In Marco Ruffino, Max Freund & Max Fernández de Castro (eds.), Logic and philosophy of logic. Recent trends from Latin America and Spain. College Publications. pp. 48-74.
    This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  36. A Formal-Logical Approach to the Concept of God.Ricardo Sousa Silvestre - 2021 - Manuscrito. Revista Internacional de Filosofia 44 (4):224-260.
    In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. Formal and Transcendental Logic- Husserl's most mature reflection on mathematics and logic.Mirja Helena Hartimo - 2021 - In Hanne Jacobs (ed.), The Husserlian Mind. New Yor, NY: Routledge. pp. 50-59.
    This essay presents Husserl’s Formal and Transcendental Logic (1929) in three main sections following the layout of the work itself. The first section focuses on Husserl’s introduction where he explains the method and the aim of the essay. The method used in FTL is radical Besinnung and with it an intentional explication of proper sense of formal logic is sought for. The second section is on formal logic. The third section focuses on Husserl’s “transcendental logic,” which is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Formalizing Euclid’s first axiom.John Corcoran - 2014 - Bulletin of Symbolic Logic 20 (3):404-405.
    Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Building Ontologies with Basic Formal Ontology.Robert Arp, Barry Smith & Andrew D. Spear - 2015 - Cambridge, MA: MIT Press.
    In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...)
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  40. (1 other version)Formal Ontology as an Operative Tool in the Theories of the Objects of the Life-World.Horacio Banega - 2012 - Symposium 16 (2):64-88.
    Formal ontology as it is presented in Husserl`s Third Logical Investigation can be interpreted as a fundamental tool to describe objects in a formal sense. It is presented one of the main sources: chapter five of Carl Stumpf`s Ûber den psycholoogischen Ursprung der Raumovorstellung (1873), and then it is described how Husserlian Formal Ontology is applied in Fifth Logical Investigation. Finally, it is applied to dramatic structures, in the spirit of Roman Ingarden.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. A Formal Theory of Democratic Deliberation.Hun Chung & John Duggan - 2020 - American Political Science Review 114 (1):14-35.
    Inspired by impossibility theorems of social choice theory, many democratic theorists have argued that aggregative forms of democracy cannot lend full democratic justification for the collective decisions reached. Hence, democratic theorists have turned their attention to deliberative democracy, according to which “outcomes are democratically legitimate if and only if they could be the object of a free and reasoned agreement among equals” (Cohen 1997a, 73). However, relatively little work has been done to offer a formal theory of democratic deliberation. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Formal Ontology for Natural Language Processing and the Integration of Biomedical Databases.Jonathan Simon, James M. Fielding, Mariana C. Dos Santos & Barry Smith - 2005 - International Journal of Medical Informatics 75 (3-4):224-231.
    The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move beyond (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  43. The Formalization of Arguments.Robert Michels - 2020 - Dialectica 74 (2).
    The purpose of this introduction is to give a rough overview of the discussion of the formalization of arguments, focusing on deductive arguments. The discussion is structured around four important junctions: i) the notion of support, which captures the relation between the conclusion and premises of an argument, ii) the choice of a formal language into which the argument is translated in order to make it amenable to evaluation via formal methods, iii) the question of quality criteria for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Cidadania Formal e Cidadania Real: Divergências e Direitos Infantis.Emanuel Isaque Cordeiro da Silva - manuscript
    Cidadania Formal e Cidadania Real: Divergências e Direitos Infantis -/- 1 Introdução sobre o que seria cidadania -/- Para o clássico sociólogo francês Durkheim, a ideia de cidadania é questão de coesão social, isto é, essa coesão social nada mais é do que uma ideia de um Estado que mantém os indivíduos unidos (mais parecido com a ideia do fascismo em seus primórdios, que consistia basicamente na união do povo como um feixe), integrados a um grupo social, ou simplesmente, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Formal ontology for biomedical knowledge systems integration.J. M. Fielding, J. Simon & Barry Smith - 2004 - Proceedings of Euromise:12-17.
    The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology will greatly benefit software application ontologies. To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this, we aim to move (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Mere formalities: fictional normativity and normative authority.Daniel Wodak - 2019 - Canadian Journal of Philosophy 49 (6):1-23.
    It is commonly said that some standards, such as morality, are ‘normatively authoritative’ in a way that other standards, such as etiquette, are not; standards like etiquette are said to be ‘not really normative’. Skeptics deny the very possibility of normative authority, and take claims like ‘etiquette is not really normative’ to be either empty or confused. I offer a different route to defeat skeptics about authority: instead of focusing on what makes standards like morality special, we should focus on (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  47. Formal Approaches to the Ontological Argument.Ricardo Silvestre & Jean-Yves Beziau - 2018 - Journal of Applied Logics 5 (7):1433-1440.
    This paper introduces the special issue on Formal Approaches to the Ontological Argument of the Journal of Applied Logics (College Publications). The issue contains the following articles: Formal Approaches to the Ontological Argument, by Ricardo Sousa Silvestre and Jean-Yves Béziau; A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant, by Ricardo Sousa Silvestre; A Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument, by John Rushby; A Tractarian Resolution (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. The Formal Cause in the Posterior Analytics.Petter Sandstad - 2016 - Filozofski Vestnik 37 (3):7-26.
    I argue that Aristotle’s account of scientific demonstrations in the Posterior Analytics is centred upon formal causation, understood as a demonstration in terms of essence (and as innocent of the distinction between form and matter). While Aristotle says that all four causes can be signified by the middle term in a demonstrative syllogism, and he discusses at some length efficient causation, much of Aristotle’s discussion is foremost concerned with the formal cause. Further, I show that Aristotle had very (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  64
    Democracia.Thomas Christiano & Gustavo Dalaqua - 2021 - In Everton Maciel (ed.), Textos selecionados de filosofia política. Ed. UFPel: NEPFIL Online.
    Tradução do verbete "Democracy", publicado por Thomas Christiano na Stanford Encyclopedia of Philosophy, acrescida de um apêndice.
    Download  
     
    Export citation  
     
    Bookmark  
  50. Dignidad humana, democracia integral y constitucionalismo humanista: pilares del desarrollo humano integral.Jesús E. Caldera Ynfante (ed.) - 2023 - Benevento, Italia: Universidad Giustino Fortunato - Editoriale Scientifica.
    Se analiza la relación de la dignidad humana con el derecho fundamental a la democracia y la configuración del constitucionalismo humanista, vigente desde la segunda postguerra mundial, como pilares de la procura del desarrollo humano integral (DHI) a partir de la premisa contenida en el derecho convencional internacional y el derecho interno de los países de Occidente sobre derechos humanos: todas las personas somos iguales en dignidad y derechos. Se describe la dignidad humana desde la perspectiva dogmático-jurídica, acuñada por (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 944