Results for 'epistemología formal'

1000+ found
Order:
  1. La Dinamica Delle Teorie Scientifiche. Strutturalismo Ed Interpretazione Logico-Formale Dell’Epistemologia di Kuhn, with a Preface of C. Ulises Moulines.Tommaso Perrone - 2012 - Franco Angeli.
    Philosophy of science in the 20th century is to be considered as mostly characterized by a fundamentally systematic heuristic attitude, which looks to mathematics, and more generally to the philosophy of mathematics, for a genuinely and epistemologically legitimate form of knowledge. Rooted in this assumption, the book provides a formal reconsidering of the dynamics of scientific theories, especially in the field of the physical sciences, and offers a significant contribution to current epistemological investigations regarding the validity of using (...) (especially: model-theoretic) methods of analysis, as developed principally by Stegmüller, Sneed, Suppes, Moulines, “to bring the airy flights of analytical philosophy back down to earth”, to borrow Stephan Hartmann’s provocative statement. At the same time, the volume represents a comprehensive account of the epistemic content of physical theories, the logic of theory change in science, and specific (inter-)theoretical core aspects of scientific progress, particularly in the form suggested informally by Thomas Kuhn. As C. Ulises Moulines writes in the preface, “there is no other example in present-day literature (in any language) on this topic, i.e. the formal analysis of the ideographic characterization of the dynamics of theories between Kuhn’s theory of science and structural epistemology, that is as systematic and complete as Perrone’s work”. (shrink)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Conocimiento y justificación en la epistemología democrática.Marc Jiménez Rolland - 2018 - In Mario Gensollen & Anna Estany (eds.), Democracia y conocimiento. Aguascalientes, México; Barcelona, España: 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 en resultados formales: el (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  3. Hechos, evidencia y estándares de prueba. Ensayos de epistemología jurídica.Andrés Páez (ed.) - 2015 - Ediciones Uniandes.
    Aunque el derecho probatorio y el derecho procesal se han dedicado desde siempre al estudio de los problemas relacionados con las pruebas y el establecimiento de los hechos en los procesos judiciales, el énfasis ha estado siempre en el aspecto formal, doctrinal y procedimental en detrimento de los fundamentos filosóficos y teóricos. Durante los últimos años ha habido un intento sostenido de explorar estos fundamentos combinando no sólo las herramientas tradicionales proporcionadas por la lógica, la gramática y la retórica, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  4. Introducción. La epistemología y el derecho.Andrés Páez - 2015 - In Hechos, evidencia y estándares de prueba. Ensayos de epistemología jurídica. Ediciones Uniandes. pp. 1-12.
    Aunque el derecho probatorio y el derecho procesal se han dedicado desde siempre al estudio de los problemas relacionados con las pruebas y el establecimiento de los hechos en los procesos judiciales, el énfasis ha estado siempre en el aspecto formal, doctrinal y procedimental en detrimento de los fundamentos filosóficos y teóricos. Durante los últimos años ha habido un intento sostenido de explorar estos fundamentos combinando no sólo las herramientas tradicionales proporcionadas por la lógica, la gramática y la retórica, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  52
    Who Cares About Axiomatization? Representation, Invariance, and Formal Ontologies.R. Ferrario - 2006 - Epistemologia 29 (2):323-342.
    The philosophy of science of Patrick Suppes is centered on two important notions that are part of the title of his recent book (Suppes 2002): Representation and Invariance. Representation is important because when we embrace a theory we implicitly choose a way to represent the phenomenon we are studying. Invariance is important because, since invariants are the only things that are constant in a theory, in a way they give the “objective” meaning of that theory. Every scientific theory gives a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6.  39
    Un alegato a favor del enfoque lógico en la teoría de la argumentación.Marc Jiménez-Rolland - 2020 - Quadripartita Ratio 10:21-35.
    El estudio actual de la argumentación se encuentra distanciado de la lógica. En este artículo sostengo que restaurar el vínculo del estudio de la argumentación con esta disciplina podría resultar benéfico para la metas descriptivas y normativas de este campo de investigación. Tras destacar algunos aspectos del surgimiento la teoría de la argumentación contemporánea, enfatizando la idea de "perspectivas", explico cómo el reconocimiento de sus objetivos y tareas volvió problemática la coexistencia de varios enfoques o aproximaciones para el estudio de (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. Cunoaștere și Informații.Nicolae Sfetcu - 2019 - Drobeta Turnu Severin: MultiMedia Publishing.
    Cunoașterea și informațiile (abordate în ansamblu sau în componentele lor distincte) sunt o preocupare majoră pentru tehnologia informației, sisteme de informații, știința informației și activitatea de informații în general. Procesul obţinerii, prelucrării şi analizei informaţiilor este o preocupare majoră pentru societatea actuală. În acest scop se folosesc procedee şi tehnici specifice pentru culegerea sau generarea de informaţii, prelucrarea acestora prin analiză şi sinteză, generarea de predicţii şi strategii, transmisia şi prezentarea informaţiilor factorilor de decizie, şi stocarea lor. Analiza informațiilor poate (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  8. Temas em filosofia contemporânea II.Becker Arenhart Jonas Rafael, Conte Jaimir & Mortari Cezar Augusto - 2016 - Florianópolis, SC, Brasil: NEL/UFSC - Universidade Federal de Santa Catarina.
    Sumário: 1. El caso del método científico, Alberto Oliva; 2. Un capítulo de la prehistoria de las ciencias humanas: la defensa por Vico de la tópica, Jorge Alberto Molina; 3. La figura de lo cognoscible y los mundos, Pablo Vélez León; 4. Lebenswelt de Husserl y las neurociencias, Vanessa Fontana; 5. El uso estético del concepto de mundos posibles, Jairo Dias Carvalho; 6. Realismo normativo no naturalista y mundos morales imposibles, Alcino Eduardo Bonella; 7. En la lógica de pragmatismo, Hércules (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  64
    Ce este matematica: Ghidul şcolar al înţelegerii conceptuale a matematicii.Catalin Barboianu - 2020 - Targu Jiu: PhilScience Press.
    Aceasta nu este o carte de matematică, ci una despre matematică, care se adresează elevului sau studentului, dar şi dascălului său, cu un scop cât se poate de practic, anume acela de a iniţia şi netezi calea către înţelegerea completă a matematicii predate în şcoală. Tradiţia predării matematicii într-o abordare preponderent procedural-formală a avut ca efect o viziune deformată a elevilor asupra matematicii, ca fiind ceva strict formal, instrumental şi calculatoriu. Pierzând contactul cu baza conceptuală a matematicii, elevii dezvoltă (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  65
    Pluralismo Narrativo para una Economía del Mundo Real. [REVIEW]Agustina Borella - 2018 - Revista Empresa y Humanismo 21:201-208.
    Esta obra se encuadra en la discusión ortodoxia-heterodoxia en economía, en el marco de la epistemología de la economía y dentro de la filosofía de la ciencia. El cuadro general es una discusión metodológica en términos de economía: si los modelos formales mainstream son o no, aquello que nos permite explicar, predecir, y/o alcanzar a comprender algo del mundo social. En este ámbito el texto de Fullbrook se enmarca en la llamada economía heterodoxa, apartándose de la economía mainstream, el (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  79
    La expresión de lo cognoscible y los mundos posibles.Paulo Velez Leon - 2016 - In Jonas Rafael Becker Arenhart, Jaimir Conte & Cezar Augusto Mortari (eds.), Temas em filosofia contemporânea II. Florianópolis/SC, Brasil: Universidade Federal de Santa Catarina. pp. 64-74.
    La noción de mundos posibles, sostiene que nuestro mundo es un mundo entre otros, un subconjunto de todas las cosas que existen. Esto implica aceptar que existen mundos estructuralmente equivalentes con sus propios lenguajes [formales], que entre sí no tienen ningún estatuto privilegiado, p.e., el mundo y lenguaje del arte o el mundo y lenguaje de la física; no obstante, la idea de aceptar otros mundos equivalentes como mundos posibles epistémica y ontológicamente legítimos para acceder y expresar lo cognoscible del (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Epistemologia gravitației experimentale – Raționalitatea științifică.Nicolae Sfetcu - manuscript
    Evoluția testelor gravitaționale dintr-o perspectivă epistemologică încadrată în conceputul de reconstrucție rațională al lui Imre Lakatos, pe baza metodologiei acestuia a programelor de cercetare. Perioada evaluată este foarte vastă, începând cu filosofia naturală a lui Newton și până la teoriile gravitației cuantice din zilele noastre. Pentru a explica mai rațional evoluția complexă a conceptului de gravitație din ultimul secol, propun o extindere naturală a metodologiei programelor de cercetare pe care o folosesc apoi pe parcursul lucrării. Consider că această abordare oferă (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  13. Epistemologia serviciilor de informaţii.Nicolae Sfetcu - manuscript
    Despre analogia existentă între aspectele epistemologice şi metodologice ale activităţii serviciilor de informaţii şi unele discipline ştiinţifice, pledând pentru o abordare mai ştiinţifică a procesului de culegere şi analiză de informaţii din cadrul ciclului de informaţii. Afirm că în prezent aspectele teoretice, ontologice şi epistemologice, în activitatea multor servicii de informaţii, sunt subestimate, determinând înţelegere incompletă a fenomenelor actuale şi creând confuzie în colaborarea inter-instituţională. După o scurtă Introducere, care include o istorie a evoluţiei conceptului de serviciu de informaţii după (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  14. ¿Qué es la epistemología y para qué le sirve al científico?Sergio Morales - 2020 - Scientia in Verba Magazine 6 (1):187-194.
    Definiciones de epistemología hay muchas, al igual que clases y estilos. Sin embargo, más allá de esta diversidad, es necesario contar con una definición básica que guíe nuestra comprensión del tema. Dos serán las preguntas que nos ayuden a ello en este artículo: a) ¿qué es la epistemología? y b) ¿para qué le sirve al científico?
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  15. Epistemologia delle fake news.Tommaso Piazza & Michel Croce - 2019 - Sistemi Intelligenti 31 (3):433-461.
    Questo articolo prende in esame il fenomeno della proliferazione di fake news da un punto di vista filosofico—anzi, per meglio dire, prettamente epistemologico—con particolare attenzione a tre questioni fondamentali: cosa sono le fake news e come debbano essere definite; quali meccanismi ne favoriscono la proliferazione sui social media; chi debba essere ritenuto responsabile e degno di biasimo nel processo sotteso alla generazione, pubblicazione e diffusione di fake news. A partire dall'analisi dei principali lavori nella letteratura filosofica sul tema, ci proponiamo (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  16. Epistemologia delle virtù.Michel Croce - 2017 - Aphex 15.
    In this entry, I offer a critical analysis of virtue epistemology, which is a fundamental collection of recent approaches to epistemology. After a few remarks on the roots of this view, I reconstruct the key features of the two main accounts of virtue epistemology and I discuss how these accounts respond to some traditional epistemological challenges. -/- Questo contributo propone una disamina critica dell’epistemologia delle virtù, una delle correnti più importanti della teoria della conoscenza contemporanea. Dopo un breve affondo sulle (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  17. 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   46 citations  
  18. 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   2 citations  
  19. 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   11 citations  
  20. On Formal Aspects of the Epistemic Approach to Paraconsistency.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2018 - In Max Freund, Max Fernandez de Castro & Marco Ruffino (eds.), Logic and Philosophy of Logic: Recent Trends in Latin America and Spain. London: 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   2 citations  
  21. Mere Formalities: Normative Fictions and Normative Authority.Daniel Wodak - forthcoming - Canadian Journal of Philosophy: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   5 citations  
  22. Formal Inconsistency and Evolutionary Databases.Walter A. Carnielli, João Marcos & Sandra De Amo - 2000 - Logic and Logical Philosophy 8 (2):115-152.
    This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of (...) Inconsistency (LFI) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  23.  54
    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  
  24. Analityczna epistemologia religii ostatnich pięciu dekad.Marek Pepliński - 2011 - Filo-Sofija 11 (15 (2011/4)):919-938.
    There are three chief aims of the paper. First, it presents in short the beginning of the analytic philosophy of religion, its development, issues, and methods. Second, it puts forward a hypothesis that in the last five decades analytic philosophy of religion has been dominated by the epistemological paradigm, i.e. in most cases, any problem in question has been studied as part of the general problem of rationality of religious belief. That situation is changing slowly towards achieving more balance between (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  25. A Formalization of Kant’s Transcendental Logic.Theodora Achourioti & Michiel van Lambalgen - 2011 - Review of Symbolic Logic 4 (2):254-289.
    Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  26. On the Application of Formal Principles to Life Science Data: A Case Study in the Gene Ontology.Jacob Köhler, Anand Kumar & Barry Smith - 2004 - In Proceedings of DILS 2004 (Data Integration in the Life Sciences), (Lecture Notes in Bioinformatics 2994). Berlin: Springer. pp. 79-94.
    Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have important negative consequences for data integration and ontology alignment. We argue that the use of such principles in ontology construction can serve as a valuable tool in error-detection and also in supporting reliable manual curation. We argue also that such principles are a prerequisite for the successful application of advanced data integration techniques such as (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  27. The Authority of Formality.Jack Woods - 2018 - Oxford Studies in Metaethics 13.
    Etiquette and other merely formal normative standards like legality, honor, and rules of games are taken less seriously than they should be. While these standards are not intrinsically reason-providing in the way morality is often taken to be, they also play an important role in our practical lives: we collectively treat them as important for assessing the behavior of ourselves and others and as licensing particular forms of sanction for violations. This chapter develops a novel account of the normativity (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  28. Facts, Formal Objects and Ontology.Kevin Mulligan - 2009 - Swiss Philosophical Preprints.
    What is a fact ? Are there such things ?
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  29. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. Formal Ontology, Common Sense, and Cognitive Science.Barry Smith - 1995 - International Journal of Human-Computer Studies 43 (5-6):641–667.
    Common sense is on the one hand a certain set of processes of natural cognition - of speaking, reasoning, seeing, and so on. On the other hand common sense is a system of beliefs (of folk physics, folk psychology and so on). Over against both of these is the world of common sense, the world of objects to which the processes of natural cognition and the corresponding belief-contents standardly relate. What are the structures of this world? How does the scientific (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  31. 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  
  32. Formal Arithmetic Before Grundgesetze.Richard Kimberly Heck - 2019 - In Philip A. Ebert & Marcus Rossberg (eds.), Essays on Frege's Basic Laws of Arithmetic. Oxford: Oxford University Press. pp. 497-537.
    A speculative investigation of how Frege's logical views change between Begriffsschrift and Grundgesetze and how this might have affected the formal development of logicism.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. 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   4 citations  
  34.  40
    Epistemologia activității de informații.Nicolae Sfetcu - manuscript
    În activitatea de informații, epistemologia este studiul cunoașterii amenințării și a modului în care se înțelege amenințarea în domeniul analizei informațiilor. Majoritatea definițiilor activității de informații nu iau în considerare faptul că statutul normativ epistemic al informațiilor analizate este cunoașterea și nu o alternativă inferioară. Contra-argumentele la statutul epistemologic al activității de informații sunt scopul acestora orientat spre acțiune, și conținutul lor orientat spre viitor. DOI: 10.13140/RG.2.2.23994.75205 .
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35. Formality in Logic: From Logical Terms to Semantic Constraints.Gil Sagi - 2014 - Logique Et Analyse 57 (227).
    In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no longer (...)
    Download  
     
    Export citation  
     
    Bookmark   8 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 (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   9 citations  
  37. Functions in Basic Formal Ontology.Andrew D. Spear, Werner Ceusters & Barry Smith - 2016 - Applied ontology 11 (2):103-128.
    The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or medicine. The benefit of using top-level ontologies in applied ontology can only be realized when each of the categories identified (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  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. Epistemologia e Currículo: registro do II Workshop de Filosofia e Ensino da UFRGS.Gisele Dalva Secco, Ronai Pires da Rocha, Daniel Simão Nascimento, Nastassja Pugliese, Frank Thoma Sautter, Marta Vitória de Alencar & Renato Matoso Brandão - 2015 - Porto Alegre, RS, Brasil: Federal University of Rio Grande do Sul.
    O livro reúne textos apresentados no II Workshop de Filosofia e Ensino, realizado na UFRGS em 2015, com a temática "Epistemologia e Currículo" -/- .
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  80
    Epistemologia gravitației cuantice.Nicolae Sfetcu - manuscript
    Din punct de vedere metodologic, atât Newton cât și Einstein, și ulterior Dirac, au susținut fără rezerve principiul simplității matematice în descoperirea noilor legi fizice ale naturii. Lor li s-au alăturat și Poincaré și Weyl. Eduard Prugovecki afirmă că gravitația cuantică a impus luarea în considerare a unor întrebări epistemologice fundamentale, care pot fi identificate în filosofie cu problema minții-corp și cu problema liberului arbitru. Aceste întrebări au influențat epistemologia mecanicii cuantice sub forma "paralelismului psiho-fizic" al lui von Neumann și (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. Formalizing Darwinism, Naturalizing Mathematics.Fabio Sterpetti - 2015 - Paradigmi. Rivista di Critica Filosofica 33 (2):133-160.
    In the last decades two different and apparently unrelated lines of research have increasingly connected mathematics and evolutionism. Indeed, on the one hand different attempts to formalize darwinism have been made, while, on the other hand, different attempts to naturalize logic and mathematics have been put forward. Those researches may appear either to be completely distinct or at least in some way convergent. They may in fact both be seen as supporting a naturalistic stance. Evolutionism is indeed crucial for a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. The Formal-Structural View Of Logical Consequence.Gila Sher - 2001 - Philosophical Review 110 (2):241-261.
    This paper offers a response to William’s Hanson’s criticism of Sher’s formal-structural conception of logical consequence and logical constants.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  43. A Formal Theory of Substances, Qualities, and Universals.Fabian Neuhaus, Pierre Grenon & Barry Smith - 2004 - In Achille Varzi & Laure Vieu (eds.), Formal Ontology in Information Systems. Proceedings of the Third International Conference. IOS Press.
    One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics for (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  44. Formal Principles and the Form of a Law.Andrews Reath - 2010 - In Andrews Reath & Jens Timmermann (eds.), Kant's Critique of Practical Reason: A Critical Guide. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  45. Some Formal Moments of Truth.Barry Smith - 1982 - In Werner Leinfellner (ed.), Language and Ontology. Vienna: Hölder-Pichler-Tempsky / Reidel. pp. 186-90.
    A preliminary statement of the formal theory of the truthmaker relation advanced in the paper “Truth-makers” (Mulligan, Simons and Smith) in 1984. Correspondence theories of truth have. I give a brief account of some more or less obvious formal characteristics of this almost forgotten basic truthmaker relation. I then attempt to show how this account may be extended to provide elements of a theory of truth which is in keeping with the spirit of Wittgenstein’s Tractatus.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  46. 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   4 citations  
  47. Meaning and Formal Semantics in Generative Grammar.Stephen Schiffer - 2015 - Erkenntnis 80 (1):61-87.
    A generative grammar for a language L generates one or more syntactic structures for each sentence of L and interprets those structures both phonologically and semantically. A widely accepted assumption in generative linguistics dating from the mid-60s, the Generative Grammar Hypothesis , is that the ability of a speaker to understand sentences of her language requires her to have tacit knowledge of a generative grammar of it, and the task of linguistic semantics in those early days was taken to be (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  48. Framework for Formal Ontology.Barry Smith & Kevin Mulligan - 1983 - Topoi 2 (1):73-85.
    The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  49. Tra Epistemologia Ed Etica. L'intuizionismo Moderato di Robert Audi.Angelo Campodonico - 2003 - Rivista di Filosofia Neo-Scolastica 95 (3-4):545-578.
    The article concerns the moderate intuitionism of Robert Audi beteween epistemology and ethics.
    Download  
     
    Export citation  
     
    Bookmark  
  50.  94
    Epistemologia gravitației cuantice canonice – Gravitația cuantică în bucle.Nicolae Sfetcu - manuscript
    În interpretarea gravitației cuantice canonice, gravitația apare ca o pseudoforță geometrică, este redusă la geometria spațio-temporală și devine un simplu efect al curburii spațiu-timpului. Relativitatea generală asociază gravitația cu spațiu-timpul, dar tipul de asociere nu este fixat. În locul interpretării geometrice se poate folosi interpretarea câmpului (geometria spațiu-timp este redusă la un câmp gravitațional, respectiv metrica, considerată drept "doar un alt câmp") sau interpretarea egalitară (o identificare conceptuală a gravitației și spațiu-timpului în relativitatea generală. ). Aceste interpretări alternative reduc diferențele (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000