Results for 'lógica formal'

1000+ found
Order:
  1. La lógica formal leibniziana.Cabañas Leticia & Esquisabel Oscar M. - forthcoming - In Roldán Concha (ed.), Congreso internacional: Conocer, dialogar, inventar y transformar, Donostia/San Sebastián, Universidad del País Vasco, 17-21 de junio 2013. Universidad del País Vasco.
    Quiere Leibniz construir un cálculo lógico de un nuevo género, un cálculo formal que aporte rigor en los procedimientos demostrativos. A tal efecto considera necesaria una ampliación de la lógica tradicional. Frente a la organización apodíctica de Aristóteles, busca un nuevo método científico que no proceda sólo deductivamente desde una certeza expresada mediante axiomas, sino según una lógica heurística, y por lo tanto no clásica, que incluya un conjunto de procedimientos no silogísticos para inventar o producir nuevos (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Pensar como operación – Acerca de los presupuestos e implicaciones de la lógica formal moderna.Max Gottschlich - 2017 - Revista de Estudios Kantianos 2 (1):9-19.
    La lógica formal no es una ciencia que se encuentre libre de presupuestos. Más bien, su representación de la forma lógica se basa en presupuestos a los cuales la lógica misma no llega. Este artículo se propone aclararlos. Para ello, en un primer momento, consideraremos las determinaciones fundamentales de la forma lógica. En un segundo paso, esta consideración será profundizada a partir del análisis del concepto lógico-formal de “concepto”. Con él se plantean problemas que (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Para Todxs: Natal - uma introdução à lógica formal.P. D. Magnus, Tim Button, Robert Loftis, Robert Trueman, Aaron Thomas Bolduc, Richard Zach, Daniel Durante, Maria da Paz Nunes de Medeiros, Ricardo Gentil de Araújo Pereira, Tiago de Oliveira Magalhães, Hudson Benevides, Jordão Cardoso, Paulo Benício de Andrade Guimarães & Valdeniz da Silva Cruz Junior - 2022 - Natal-RN: PPGFIL-UFRN.
    Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.
    Download  
     
    Export citation  
     
    Bookmark  
  4. Lógica y ontología formal.Barry Smith - 2004 - In . Grupo de Acción Filosófica (Gaf), Buenos Aires.
    La lógica es para Husserl una ciencia de la ciencia, una ciencia de lo que todas las ciencias tienen en común respecto de sus modos de validación. De este modo, la lógica trata por un lado con leyes universales relacionadas con la verdad, la deducción, la verificación y la falsación; y, por otro lado, con leyes relacionadas con la teoría como tal, y con lo que produce la unidad teorética. Ambos tipos de leyes se refieren por una parte (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5.  83
    Lógica, lenguajes formales y modalidad.Otávio Bueno & Melisa Vivanco - 2023 - Andamios 20 (53):45-60.
    This paper examines two alleged limitations in the use of formal languages: on the one hand, the trade-offs between expressive and inferential power, and on the other, the phenomenon of system imprisonment. After reconceptualizing the issue, we consider the role played by modality in the understanding of certain aspects of mathematical structures and argue for its centrality.
    Download  
     
    Export citation  
     
    Bookmark  
  6. Logica e ontologia formale nelle «Logische Untersuchungen» di Husserl.Barry Smith - 1991 - Rivista di Filosofia 83 (1):53-70.
    Per Husserl, come per Bolzano, la logica e una dottrina della sdenza. Husserl prende pero piu sul serio l'idea che le teorie scientifiche siano costituite dagli atti mentali di soggetti conoscenti. Quella che segue e un' esposizione della concezione husserliana della logica e della scienza, fondata appunto sugli atti; essa approdera a una delineazione dell'idea husserliana di «ontologia formale».
    Download  
     
    Export citation  
     
    Bookmark  
  7. Lógica: Una introducción sistemática e histórica.Agustina Borzi & Camillo Fiore - forthcoming - In Claudia Mársico & Rodrigo Illarraga (eds.), Un introductorio recorrido filosófico al pensamiento científico: historia, epistemología, lógica y sociedad. Buenos Aires: Teseo Press.
    En este capítulo ofrecemos una introducción sistemática e histórica a la lógica, disciplina que contribuyó en gran medida a la producción del conocimiento en general y a la formación del pensamiento científico en particular. La primera sección contiene la introducción sistemática: primero, presentamos las distintas disciplinas que forman parte de la lógica en el sentido amplio del término; luego, identificamos a la lógica en sentido canónico o estricto como el estudio la validez; por último, explicamos en qué (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. ¿qué Tan Matemática Es La Lógica Matemática?Axel Barceló Aspeitia - 2003 - Dianoia 48 (51):3-28.
    La lógica matemática es matemática en cuanto que usa herramientas matemáticas. En este sentido, la lógica matemática es matemática en el mismo sentido que lo es, digamos, la mecánica newtoniana. En ambos casos, el método es matemático, pero las ciencias mismas no lo son, pues su objeto de estudio pertenece a una realidad objetiva e independiente. En particular, las herramientas matemáticas que usa la lógica simbólica contemporánea —tanto en su simbolismo como en su cálculo— se crearon originalmente (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9.  57
    La lógica modal como herramienta metodológica en epistemología.Jose Alejandro Fernández Cuesta - 2022 - Human Review. International Humanities Review / Revista Internacional de Humanidades 1 (11).
    In this paper we intend to offer a first approach to the incorporation of certain formal tools in the elucidation of some issues discussed in epistemological contexts. The aim is not to offer an exhaustive resolution of these problems but merely to point out the usefulness of modal semantics when applied to different fields. Here we will show how a series of skeptical arguments eventually involve a modal (counterfactual) structure, which we will try to generalise into a useful scheme. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Las lógicas heterodoxas y el problema de la unidad de la lógica.Francisco Miró Quesada Cantuarias - 1978 - In Lógica: Aspectos formales y filosóficos. Pontificia Universidad Católica del Perú. pp. 13-44.
    El presente trabajo es un ensayo sobre lo que, en los últimos años, se ha empezado a llamar "lógica filosófica". La lógica filosófica se origina como consecuencia del progresivo rigor formal de la lógica tradicional. Este rigor ha conducido, en contra de lo que se esperaba, a problemas de significado filosófico fundamental y de profundidad abismal. Son muchos los problemas que interesan a la lógica filosófica, pero, en opinión del autor, el más importante apenas ha (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Sobre a Formalização Lógica de Mudança de Teorias e Anomalias Científicas.Ricardo Silvestre - 2017 - ARGUMENTOS - Revista de Filosofia 1 (17):72-91.
    Neste trabalho, é apresentada uma investigação do que poderia ser chamado de formalização lógica do processo de mudança de teorias devido a anomalias. Por anomalia entende-se um fato observado que faz parte do escopo explanatório de uma teoria, mas que vai de encontro à previsão da mesma. Uma abordagem clássica para restaurar o poder explicativo de uma teoria ameaçada por uma anomalia é a postulação de hipóteses novas e provisórias que, em conjunto com as demais hipóteses auxiliares originais, sejam (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. La Lógica de Gottlob Frege: 1879-1903.Joan Bertran-San Millán - 2016 - Dissertation, Universitat de Barcelona
    In this dissertation I offer a global and detailed reconstruction of the logic developed by Gottlob Frege throughout his career. Even though Frege's logic suffered profound modifications from his initial formulation in Begriffsschrift to its revised version in Grundgesetze, the significant differences between these two works have been rarely taken at face value. I not only argue that these differences exist, but I also explain how they should be understood in the light of the evolution of Frege's thought. First, I (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. The Non-categoricity of Logic (I). The Problem of a Full Formalization (in Romanian).Constantin C. Brîncuș - 1956 - In Henri Wald & Academia Republicii Populare Romîne (eds.), Probleme de Logica. Editura Academiei Republicii Populare Romîne. pp. 137-156.
    A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the preservation of the standard (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Identidade, Indiscernibilidade e Lógica.Kherian Gracher - 2015 - Fundamento 1 (10):21-40.
    Is identity fundamental to formal systems? Even if a system have no the identity relation, is that concept is not assumed in any way – whether in a metalinguistic or intuitive level? In this paper we shall discuss this issue. Otávio Bueno (2014, 2016) argues against the elimination of identity, holding that this concept is fundamental and non-eliminable (even in does systems that claim to do so). Décio Arenhart Krause and Jonas (2015), by the other hand, have a number (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. ¿Es posible entender la determinación de un concepto como una relación de orden en la lógica dialéctica de Hegel?Eduardo Dib - 2020 - Zenodo Profile by Eduardo Dib.
    By the beginning of the 19th century Hegel's dialectic turned contradiction (conceived as unity of a concept with its determined negation) into distinguished inference. In the course of 20th century a family of systems known as "paraconsistent" formalized dialectical logic according to the contemporary paradigm of inference, oriented to truth-preserving, and not powered anymore solely by contradiction. In this way, nevertheless, Hegel's idea of logic as unfolding of concepts ordered by degree of "determination" reached at every step of the process, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Argumentaciones y lógica.J. Corcoran - 1994 - Agora 13 (1):27.
    Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Regimuri ale cantitatii in logica formala.Gheorghe-Ilie Farte - 1999 - Iasi: Editura Fundatiei "Stefan Lupascu".
    Download  
     
    Export citation  
     
    Bookmark  
  18. Los monstruos kaplanianos y la lógica de los demostrativos.Tomas Barrero - 2023 - Ideas y Valores. Revista Colombiana de Filosofía 72 (181):221-244.
    ¿Cómo puede la lógica representar expresiones indéxicas como “yo”, “aquí” y “ahora”? ¿Cómo no debe representarlas? Examino estas dos preguntas a partir de la Lógica de los Demostrativos (LD) de Kaplan y su impopular prohibición de operadores monstruosos. A pesar de algunos defectos de formulación, sostengo que dicha prohibición está guiada por una poderosa visión de las relaciones lógicas de validez entre oraciones con indéxicos que desafía la concepción tradicional de consecuencia lógica como preservación de la verdad (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Revisão de Crenças Paraconsistente baseada em um operador formal de consistência.Rafael Testa - 2014 - Dissertation, University of Campinas
    A Revisão de Crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O sistema AGM, trabalho mais influente desta área apresentado por Alchourrón, Gärdenfos e Makinson, postula critérios de racionalidade para os diferentes tipos de mudança de crenças e oferece construções explícitas para tais - a equivalência entre os postulados e operações é chamado de teroema da representação. Trabalhos recentes mostram como o paradigma AGM pode ser compatível com diferentes lógicas não-clássicas, o que é chamado de AGM-compatibilidade (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  20. Some Pioneering Formal Reconstructions of Diodorus' Master Argument.Vladimir Marko - 1999 - Logica Et Methodologica 5:67-111.
    The article deals with some current pioneering formal reconstructions and interpretations of the problem well known in antiquity as The Master Argument. This problem is concerning with enrichment of formal logical systems with modal and temporal notions. The opening topic is devoted to reconstruction of Arthur Prior. while the other here included approach to the problem arc mostly reactions. revisions or additions to this one.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Continuidade na lógica de Leibniz.Vivianne Moreira - 2010 - Analytica (Rio) 14 (1):103-137.
    This paper is intended to examine Leibniz's Principle of Continuity, as well as the conditions of its application in leibnizian infinitesimal calculus, in the light of some aspects of formal language developed by Leibniz. It aims at evaluating whether, and to what extent, that principle can be justified on the basis of the logic of Leibniz.
    Download  
     
    Export citation  
     
    Bookmark  
  22. Înțeles, sens și referință în filosofia limbajului și logica filosofică.Nicolae Sfetcu - 2019 - Drobeta Turnu Severin: MultiMedia Publishing.
    Filosofia limbajului are legătură cu studiul modului în care limbajul nostru se implică și interacționează cu gândirea noastră. Studierea logicii și relația dintre logică și vorbirea obișnuită poate ajuta o persoană să își structureze mai bine propriile argumente și să critice argumentele celorlalți. Înțelesul este modul în care pot fi considerate în mod corespunzător cuvinte, simboluri, idei și convingeri, definiția sa depinzând de teoria abordată, precum teoria corespondenței, teoria coerenței, teoria constructivistă, teoria consensului sau teoria pragmatică. Există mai multe explicații (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. ¿Existen las Máquinas Aceleradas de Turing? Paradojas y posibilidades lógicas.Jose Alejandro Fernández Cuesta - 2023 - Techno Review. International Technology, Science and Society Review 13 (1):49.74.
    Las máquinas aceleradas de Turing (ATMs) son dispositivos capaces de ejecutar súper-tareas. Sin embargo, el simple ejercicio de definirlas ha generado varias paradojas. En el presente artículo se definirán las nociones de súper-tarea y ATM de manera exhaustiva y se aclarará qué debe entenderse en un contexto lógico-formal cuando se pregunta por la existencia de un objeto. A partir de la distinción entre posibilidades lógicas y físicas se disolverán las paradojas y se concluirá que las ATMs son posibles y (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Proposta di nuovi simboli per la Mereologia Formale.Pierluigi Graziani - 2014 - In Elena Casetta & Valeria Giardino (eds.), Mettere a fuoco il mondo. © ISONOMIA – Epistemologica, University of Urbino. pp. 106-111.
    La storia della nascita, utilizzo e declino delle notazioni scientifiche costituisce un’area di indagine importante che può aiutare le nostre analisi del pensiero scientifico e la sua evoluzione. […] this history constitutes a mirror of past and present conditions in mathematics which can be made to bear on the notational problems now confronting mathematics. The successes and failures of the past will contribute to a more speedy solutions of the notational problems of the present times.Questa storia, ovviamente, coinvolge anche le (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. 2007. Notes on the Founding of Logics and Metalogic: Aristotle, Boole, and Tarski. Eds. C. Martínez et al. Current Topics in Logic and Analytic Philosophy / Temas Actuales de Lógica y Filosofía Analítica. Imprenta Univeridade Santiago de Compostela.John Corcoran - 2007 - In C. Martínez (ed.), Current Topics in Logic and Analytic Philosophy /. pp. 145-178.
    Download  
     
    Export citation  
     
    Bookmark  
  26. Parafrasando Vignaux. Il posto della logica nella storia del pensiero medievale.Dino Buzzetti - 2019 - In Fabrizio Amerini, Simone Fellina & Andrea Strazzoni (eds.), _Tra antichità e modernità. Studi di storia della filosofia medievale e rinascimentale_. Raccolti da Fabrizio Amerini, Simone Fellina e Andrea Strazzoni. Parma: E-theca OnLineOpenAccess Edizioni. pp. 974-1044.
    A sound historiographical account of the role of logic in the development of medieval philosophical and theological reflection requires a thorough examination of its historical roots and its theoretical implications. An apparent historiographical bias, due to the idea that only the development of contemporary formal logic enables a proper reconstruction of the whole history of logic, can be exposed by taking into account the case of the medieval discussions on the topics, starting from their late-antiquity legacy. An attentive inspection (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Teoría y práctica. La trayectoria intelectual de Manuel Sacristán Luazón.Miguel Manzanera Salavert - 1994 - Madrid, España: UNED (Universidad Nacional de Educación a Distancia).
    Manuel Sacristán Luzón (1925-1985) fue un intelectual con varios intereses de estudio, que trabajó la lógica formal, para introducirla en la cultura española de mediados de siglo, la filosofía de la ciencia y la metodología de las ciencias sociales, tomando como marco de su investigación el materialismo histórico. Fue también un influyente dirigente de la oposición contra la dictadura de Franco, militando en el PSUC/PCE (Partido Socialista Unificado de Cataluña/ Partido Comunista de España). En sus últimos años centró (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Análisis situacional y racionalismo crítico en Karl Popper.Agustina Borella - 2006 - Selección de Trabajos de Las XII Jornadas de Epistemología de Las Ciencias Económicas 1.
    El presente trabajo intenta profundizar en la noción de racionalidad y la lógica de la situación de Karl Popper en el marco del debate entre “economía sustantiva” y “economía formal o instrumental”. Con tal propósito realizaremos una breve aproximación histórica al concepto de racionalidad económica señalando los distintos aportes de diversos autores a la cuestión. Este marco histórico permitirá encuadrar el planteo que Karl R. Popper hace de la lógica de la situación como metodología de las ciencias (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Redução Plena do Deôntico ao Ôntico.Diogo Lindner - 2008 - Dissertation, Universidade Federal de Santa Maria
    A presente dissertação tem como objetivo uma apresentação da proposta de Charles Kielkopf, de tradução da lógica deôntica standard em uma lógica normal alética e de seusresultados quanto à construção de um sistema de lógica deôntica que capture conceitos eprincípios kantianos como necessidade causal e as formulações do Imperativo Categórico acerca do Reino da Natureza e do Reino dos Fins. Uma vez que este processo resulta em uma interpretação de aspectos da filosofia kantiana, optou-se inicialmente por uma (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. 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, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Logiczne podstawy ontologii składni języka.Urszula Wybraniec-Skardowska - 1988 - Studia Filozoficzne 271 (6-7):263-284.
    By logical foundations of language syntax ontology we understand here the construction of formalized linguistic theories based on widely conceived mathematical logic and dependent on two trends in language ontology. The formalization includes exclusively the syntactic aspect of logical analysis of language characterized categorially according to Ajdukiewicz's approach [1935, 1960]. Any categorial language L is characterized formally on two levels: on one of them it concerns the language of expression-tokens, on the other one - that of expression-types. Accepting the view (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. The coincidentia oppositorum in Cusanus (1401–1464), Lanza del Vasto (1901–1981) and beyond.Antonino Drago - 2010 - Epistemologia 33:305-328.
    Nella storia della metafisica è stato un grande problema come chiarire l’idea della coincidentia oppositorum (la coincidenza degli opposti) di Cusano, il quale è riconosciuto comunque da Cassirer come il primo epistemologo del pensiero moderno, in particolare come colui che ha saputo conquistare l’infinito alla mente umana. Dopo alcuni secoli, ha avuto una grande importanza una idea simile a quella di Cusano, la dialettica di Hegel, la quale aggiunge una negazione ad una prima frase negata per ottenere una sintesi in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Vantagens e limitações das ontologias formais na área biomédica.Stefan Schulz, Holger Stenzhorn, Martin Boeker & Barry Smith - 2009 - RECIIS: Revista Electronica de Comunicacao Informacao, Inovacao Em Saude 3 (1).
    Propomos uma tipologia dos artefatos de representação para as áreas de saúde e ciências biológicas, e a associação dessa tipologia com diferentes tipos de ontologia formal e lógica, chegando a conclusões quanto aos pontos fortes e limitações da ontologia de diferentes tipos de recursos lógicos, enquanto mantemos o foco na lógica descritiva. Consideramos quatro tipos de representação de área: (i) representação léxico-semântica, (ii) representação de tipos de entidades, (iii) representação de conhecimento prévio, e (iv) representação de indivíduos. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Reasoning About Uncertain Conditionals.Niki Pfeifer - 2014 - Studia Logica 102 (4):849-866.
    There is a long tradition in formal epistemology and in the psychology of reasoning to investigate indicative conditionals. In psychology, the propositional calculus was taken for granted to be the normative standard of reference. Experimental tasks, evaluation of the participants’ responses and psychological model building, were inspired by the semantics of the material conditional. Recent empirical work on indicative conditionals focuses on uncertainty. Consequently, the normative standard of reference has changed. I argue why neither logic nor standard probability theory (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  36. Cunoaștere și Informații.Nicolae Sfetcu - 2016 - 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  
     
    Export citation  
     
    Bookmark   6 citations  
  37. La expresión de lo cognoscible y los mundos posibles.Paulo Velez Leon - 2016 - In Becker Arenhart Jonas Rafael, Conte Jaimir & Mortari Cezar Augusto (eds.), Temas em filosofia contemporânea II. Florianópolis, SC, Brasil: NEL/UFSC - 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  
     
    Export citation  
     
    Bookmark  
  38. Reseña de un desencuentro: Adorno lector de Hegel.Hector Ferreiro - 2022 - Apeiron 17:255-279.
    Adorno asocia la concepción hegeliana del espíritu a la concepción en última instancia formal de la subjetividad de Kant y del Fichte de la Grundlage. La subjetividad no puede ser infinita: al sujeto siempre se le opone el objeto. Aunque pretende superar el subjetivismo de la concepción kantiana y fichteana del sujeto, la unidad del sujeto y el objeto que define al "espíritu" de Hegel es todavía un sujeto; fuera de este sujeto resiste siempre algo no-idéntico que le es (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. El Programa original de David Hilbert y el Problema de la Decibilidad.Franklin Galindo & Ricardo Da Silva - 2017 - Episteme NS: Revista Del Instituto de Filosofía de la Universidad Central de Venezuela 37 (1):1-23.
    En este artículo realizamos una reconstrucción del Programa original de Hilbert antes del surgimiento de los teoremas limitativos de la tercera década del siglo pasado. Para tal reconstrucción empezaremos por mostrar lo que Torretti llama los primeros titubeos formales de Hilbert, es decir, la defensa por el método axiomático como enfoque fundamentante. Seguidamente, mostraremos como estos titubeos formales se establecen como un verdadero programa de investigación lógico-matemático y como dentro de dicho programa la inquietud por la decidibilidad de los problemas (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Book of Abstracts: Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning.Walter A. Carnielli, Rafael Testa & Juliana Bueno-Soler - 2016 - Campinas, SP, Brasil: CLE-Unicamp.
    “Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Razão e irracionalidade na representação do conhecimento.Walter A. Carnielli & Mamede Lima Marques - 1991 - Trans/Form/Ação 14:165-177.
    How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solution would (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Hechos, evidencia y estándares de prueba. Ensayos de epistemología jurídica.Andrés Páez (ed.) - 2015 - Bogotá, D.C., Colombia: 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  60
    Cunoașterea Științifică, Volumul 2, 2023.Nicolae Sfetcu - 2023 - Cunoașterea Științifică 2.
    Revista Cunoașterea Științifică este o publicație trimestrială din domeniile științei și filosofiei, și domenii conexe de studiu și practică. -/- Cuprins: -/- EDITORIALE / EDITORIALS -/- Dan D. FARCAȘ Limite ale cunoașterii în cuvânt, logică, matematică și teorii Limits of knowledge in words, logic, mathematics and theories Nicolae SFETCU Cunoașterea științifică – Metodologii Scientific knowledge – Methodologies Nicolae SFETCU Știința schimbărilor climatice The science of climate change Nicolae SFETCU Știință sau pseudoștiință? Science or Pseudoscience? -/- ȘTIINȚE NATURALE / NATURAL SCIENCE (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. La teoría del conocimiento de Hegel en el Manuscrito de 1821 sobre Filosofía de la Religión.Hector Ferreiro - 2014 - In Alberto Mario Damiani, Ileana Beade, Martín Arias Albisu & Marilín Gómez (eds.), Actas del Segundo Simposio de Filosofía Moderna. Rosario: UNR Editora. pp. 129-137.
    Las fuentes principales para la reconstrucción de la teoría del conocimiento de Hegel en su Sistema maduro son la filosofía del espíritu subjetivo y la Lógica subjetiva o Lógica del Concepto. En este respecto, la filosofía del Espíritu Absoluto ocupa en principio, dentro de la estrategia general adoptada por Hegel para exponer su pensamiento gnoseológico, un lugar periférico; sin embargo, toda vez que las formas del Espíritu Absoluto, esto es, el Arte, la Religión y la Filosofía, son para (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. La Pointure du Symbole.Jean-Yves Beziau (ed.) - 2014 - Petra.
    Dans un texte désormais célèbre, Ferdinand de Saussure insiste sur l’arbitraire du signe dont il vante les qualités. Toutefois il s’avère que le symbole, signe non arbitraire, dans la mesure où il existe un rapport entre ce qui représente et ce qui est représenté, joue un rôle fondamental dans la plupart des activités humaines, qu’elles soient scientifiques, artistiques ou religieuses. C’est cette dimension symbolique, sa portée, son fonctionnement et sa signification dans des domaines aussi variés que la chimie, la théologie, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. Produção de conhecimento: uma característica fundamental das sociedades humanas.Emanuel Isaque Cordeiro da Silva - manuscript
    Produção de conhecimento: uma característica fundamental das sociedades humanas -/- 1. As diferentes formas de conhecimento A espécie humana não se limita a sobreviver no mundo. Ela também procura entendê-lo e modificá-lo de acordo com as diferentes formas como percebe a realidade. Essa busca, que articula a realidade objetiva e a subjetiva, é a matriz sobre a qual se constrói o que convencionamos chamar de conhecimento. Podemos definir o conhecimento como toda compreensão e prática adquiridas, cuja memória e transmissão permitem (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Management, analize, planuri și strategii de afaceri.Nicolae Sfetcu - 2016 - Drobeta Turnu Severin: MultiMedia Publishing.
    Cartea prezintă modele de afaceri, management, analize și strategii care ajută la dezvoltarea și punerea în valoare a unei organizații, în contexte specifice economice, sociale, culturale sau de altă natură, prin elaborarea și implementarea unor planuri personalizate. Capacitatea unei organizații de a procesa informații este în centrul competențelor organizatorice și manageriale, iar strategiile unei organizații trebuie să fie proiectate pentru a îmbunătăți funcționalitatea și eficiența corporativă și, întrucât sistemele de management care furnizează această capabilitate au devenit formalizate și automatizate, competențele (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Teoria cauzală a referinței a lui Saul Kripke.Nicolae Sfetcu - manuscript
    În Numire și necesitate Kripke a propus o teorie cauzală a referinței, conform căreia un nume se referă la un obiect prin virtutea unei conexiuni cauzale cu obiectul, mediată de comunitățile vorbitorilor. El afirmă, de asemenea, că numele proprii, spre deosebire de majoritatea descrierilor, sunt desemnări rigide (numele propriu se referă la obiectul numit în orice lume posibilă în care obiectul există). Ideile din Numire și necesitate au evoluat în timp, dezvoltându-se pe baza cercetărilor formale anterioare în teoria modelelor pentru (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. O raciocínio abdutivo no contexto da explicação científica.Ulisses Eliano - 2022 - Dissertation, Unicamp - Universidade Estadual de Campinas
    Este trabalho tem como principal objetivo apresentar uma abordagem lógico-formal capaz de apreender alguns aspectos do raciocínio abdutivo – o raciocínio responsável pela criação de hipóteses explicativas para fatos surpreendentes -, mediante tanto as noções filosófico-conceituais da canônica abdução peirceana quanto as de explicação científica. No caso desta última, procurarei evidenciar, inicialmente, pontos de contraste entre as concepções de explicação científica de Aristóteles e de Carl Hempel, a fim de elucidar, de modo mais satisfatório, em que medida, de fato, (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000