Results for 'Lógica matemática não-clássica'

1000+ found
Order:
  1.  26
    Sobre a lógica deôntica não-clássica.Leila Z. Puga & Newton C. A. da Costa - 1987 - Critica 19 (55):19-37.
  2.  8
    Silogísticas paraclássicas.E. Lógicas Não-clássicas - forthcoming - Principia.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  18
    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 (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  4.  30
    Silogistas Paraclássicas: Um Estudo de Caso Sabre a Relação ente e Lógica Clássica e Lógicas Não-clássicas.Frank Thomas Sautter - 2009 - Principia: An International Journal of Epistemology 13 (2):185-194.
    A maioria, talvez todas, as lógicas não-clássicas são um amálgama da lógica clássica com elementos extralógicos. Possivelmente esta tese nao possui uma prova geral, mas somente um argumento caso a caso possa ser fomecido. Discuto um caso de paraconsistência que resulta da aplicação de urn "filtro" a duas silogísticas. Essas silogísticas incorporam duas idéias de Nikolai Vasiliev: a idéia de um sistema completo de juízos contrários, e a idéia de juízos duplos. Tarnbém mostro como esses resultados podem ser (...)
    No categories
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  5.  12
    Silogistas Paraclássicas: Um Estudo de Caso Sabre a Relação ente e Lógica Clássica e Lógicas Não-clássicas.Frank Thomas Sautter - 2009 - Principia: An International Journal of Epistemology 13 (2):185-194.
    Most, perhaps all, non-classical logics are a blend of classical logic with extralogical elements. Possibly this thesis has no general proof, and only a casuistic argument can be provided. I discuss a case of paraconsistency that results of applying a “filter” to two syllogistics. These syllogistics incorporate two ideas of Nikolai Vasiliev: the idea of a complete system of contrary judgements, and the idea of double judgements. I also show how these results can be extended to propositional logic, with the (...)
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  6. O Método Dos Tableaux Generalizado E Sua Aplicação Ao Raciocínio Automático Em Lógicas Não Clássicas.Arthur Buchsbaum & Tarcisio Pequeno - 1990 - O Que Nos Faz Pensar:81-96.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. O Intuicionismo E o Problema Com as Provas Não Construtivas.Diego Henrique Figueira de Melo - 2017 - Griot : Revista de Filosofia 15 (1):100-110.
    O presente artigo tem por finalidade avaliar o problema intuicionista com as provas não construtivas na matemática. Para esta posição construtivista o princípio do terceiro excluído, da lógica clássica, não deve operar sobre demonstrações matemáticas. As provas não construtivas não são aceitas, sendo as provas construtivas as únicas com caráter positivo. Após uma breve introdução ao intuicionismo e seu idealizador, o artigo abordará a relação entre o princípio do terceiro excluído e as provas na matemática, para (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Lógica, Ética, Gramática: Wittgenstein e o Método da Filosofia.Nuno Venturinha - 2010 - Lisboa, Portugal: INCM.
    Ludwig Wittgenstein é unanimemente reconhecido como um dos pensadores mais marcantes do século xx, tendo influenciado decisivamente o debate filosófico da contemporaneidade. Apoiando-se não nas edições clássicas mas no espólio do autor, problematizando a formalidade sui generis característica daquele, esta obra propõe-se acompanhar o evoluir do pensamento wittgensteiniano, nos seus diferentes planos, determinando a metodologia que o vai definir, enquanto possibilidade concreta de compreensão da visão filosófica que lhe subjaz. Ao indagar toda a trajectória reflexiva que se estabelece entre o (...)
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  9.  62
    La Lógica Matemática: Una Disciplina En Busca de Encuadre.José Ferreirós - 2010 - Theoria : An International Journal for Theory, History and Fundations of Science 25 (3):279-299.
    We offer an analysis of the disciplinary transformations underwent by mathematical or symbolic logic since its emergence in the late 19 th century. Examined are its origins as a hybrid of philosophy and mathematics, the maturity and institutionalisation attained under the label “logic and foundations,” a second wave of institutionalisation in the Postwar period, and the institutional developments since 1975 in connection with computer science and with the study of language and informatics. Although some “internal history” is discussed, the main (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  26
    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, (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. Aspectos da Lógica de Leonhard Euler/Aspects of Leonhard Euler´s Logic.John Andrew Fossa - 2016 - Pensando - Revista de Filosofia 6 (12):214.
    Investigamos a lógica de Leonhard Euler com ênfase no papel dos “diagramas de Euler”. Concluímos que os referidos diagramas constituem um instrumento intuitivo, embora não sistemático, para determinar validade na silogística tradicional, isto é, a silogística munida de implicações conversacionais. Nisto, contrastam-se com os diagramas de Venn que constituem um instrumento sistemático, porém menos intuitivo, para determinar validade numa silogística mais voltada para os fundamentos da matemática moderna.: We investigate the logic of Leonhard Euler, giving emphasis to the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  12
    Logica matematica, storia E filosofia Della logica.Storia E. Filosofia Della Logica - 2001 - In V. Fano, M. Stanzione & G. Tarozzi (eds.), Prospettive Della Logica E Della Filosofia Della Scienza. Rubettino.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Logica Matematica E Logica Filosofica.Evandro Agazzi - 1986 - Epistemologia 9 (2):281.
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Lógica, Matemática y Filosofía. Análisis Del Pensamiento de George Boole.Angel Ruiz Zuñiga - 1981 - Revista de Filosofía de la Universidad de Costa Rica 49:77-88.
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. La lógica matemática en España.Gerardo Bolado Ochoa, Camino Cañón Loyes & Roger Bosch I. Bastardas - 2009 - In Manuel Garrido (ed.), Teorema: International Journal of Philosophy. Cátedra. pp. 119.
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. La lógica matemática de Russell.Kurt Gödel - 2006 - Teorema: International Journal of Philosophy 25 (2):113-138.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  17.  33
    Lógica Matemática y el Método de Polya para resolver problemas matemáticos.Franklin Galindo - 2022 - Dissertation,
    La siguiente ponencia-taller tiene por finalidad explicar cómo podría aplicarse el Método de George Polya para resolver problemas (matemáticos) en el contexto de la Lógica Matemática, especialmente en la lógica Matemática elemental (la lógica de primer orden con identidad). Es una propuesta pedagógica experimental (además de las ya existentes) que tal vez pueda ser útil para la enseñanza de la lógica matemática en ciencias o en humanidades. Dicha ponencia se presentó (vía web) con (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. La Lógica Matemática: Una Disciplina En Busca de Encuadre.José Ferreirós Domínguez - 2010 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 25 (3):279-300.
    We offer an analysis of the disciplinary transformations underwent by mathematical or symbolic logic since its emergence in the late 19th century. Examined are its origins as a hybrid of philosophy and mathematics, the maturity and institutionalisation attained under the label �logic and foundations,� a second wave of institutionalisation in the Postwar period, and the institutional developments since 1975 in connection with computer science and with the study of language and informatics. Although some �internal history� is discussed, the main focus (...)
     
    Export citation  
     
    Bookmark  
  19. Lógica matemática.JOSE FERRATER MORA - 1955
    Translate
     
     
    Export citation  
     
    Bookmark  
  20. Lógica Matemática.José Ferrater Mora & Hugues Leblanc - 1955 - Revue Philosophique de la France Et de l'Etranger 147:270-272.
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  9
    Lógica Matemática.G. Zubieta R. - 1958 - Journal of Symbolic Logic 23 (3):349-350.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  25
    Lógica Matemática[REVIEW]K. B. L. - 1956 - Review of Metaphysics 10 (1):180-180.
    By confining themselves to elementary principles, the authors manage to cover with an appropriate balance of simplicity and rigor a wider range of materials than is common in so readable an introduction. There is an emphasis on logic as a syntax for language. Though not a text book, the work meets very well the authors' aim of "presenting to Spanish speaking readers, in a succinct, clear, and rigorous manner, the fundamental themes of the discipline."--L. K. B.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  17
    Lógica, matemáticas y conceptualismo.Max Freund Carvajal - 2011 - Signos Filosóficos 13 (25):9-45.
    En este artículo muestro cómo el conceptualismo, como enfoque filosófico, podría ofrecer una motivación para el desarrollo de teorías lógicas y matemáticas. Así, estas teorías encontrarían su justificación filosófica en el conceptualismo.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Filosofía-Lógica-Matemática.Luis Eduardo Suárez Fonseca - 1984 - Universitas Philosophica 2:65-78.
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. Logica matematica, fondamenti della matematica, fondazione della matematica.E. Casari - 1993 - Rivista di Filosofia 84 (1):73-86.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. La lógica matemática en España (1960-1970).Manuel Garrido - 1972 - Teorema: International Journal of Philosophy 2 (6):119-132.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  27. Wittgenstein: lógica, matemáticas y convención.Anastasio Alemán Pardo - 1995 - Revista de Filosofía (Madrid) 14:57-76.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  28.  15
    Dos Tópicos de Lógica Matemática y sus Fundamentos.Franklin Galindo - 2014 - Episteme NS: Revista Del Instituto de Filosofía de la Universidad Central de Venezuela 34 (1):41-66..
    El objetivo de este artículo es presentar dos tópicos de Lógica matemática y sus fundamentos: El primer tópico es una actualización de la demostración de Alonzo Church del Teorema de completitud de Gödel para la Lógica de primer orden, la cual aparece en su texto "Introduction to Mathematical Logic" (1956) y usa el procedimientos efectivos de Forma normal prenexa y Forma normal de Skolem; y el segundo tópico es una demostración de que la propiedad de partición (tipo (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Filoso-Fia, Logica, Matematica (GP Storari,).E. Agazzi, N. Vassallo & George Boole - 2000 - Epistemologia 23 (2):353-355.
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. Anastasio aleman. Logica, matematicas Y realidad.G. E. R. Haddock - 2003 - Philosophia Mathematica 11 (1):108-119.
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  6
    Mircea Tîrnoveanu. Elemente de Logicǎ Matematicǎ. Vol. 1. Logicǎ Propoziţülor Bivalente. Editura Didacticǎ Şi Pedagogicǎ, Bucharest 1964, 519 Pp. [REVIEW]K. Iséki - 1974 - Journal of Symbolic Logic 39 (2):325-327.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  27
    Algunos tópicos de Lógica matemática y los Fundamentos de la matemática.Franklin Galindo - manuscript
    En este trabajo matemático-filosófico se estudian cuatro tópicos de la Lógica matemática: El método de construcción de modelos llamado Ultraproductos, la Propiedad de Interpolación de Craig, las Álgebras booleanas y los Órdenes parciales separativos. El objetivo principal del mismo es analizar la importancia que tienen dichos tópicos para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático. Para cumplir con tal objetivo se trabajará en el ámbito de la Matemática, (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  60
    Rudimentos de Lógica Matemática[REVIEW]F. Marcelo - 1992 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 7 (1-3):1245-1248.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. BURALI-FORTI, C. - Logica matematica. [REVIEW]G. Loria - 1920 - Scientia 14 (27):480.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  35. Burali-forti, C. - Logica Matematica. [REVIEW]G. Loria - 1920 - Scientia, Rivista di Scienza 14 (27):480.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Bibliografía de Lógica Matemática correspondiente al período de 1946-1948.Robert Feys & Staff - 1952 - Revista de Filosofía (Madrid) 11 (41):343.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  19
    Virgilio Giorgianni. Logica matematica e logica giuridica. Rivista internazionale di filosifia dei diritto, ser. 3 vol. 30 , pp. 462–486. [REVIEW]Hector-Nert Castaneda - 1968 - Journal of Symbolic Logic 33 (2):312.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. Review: Virgilio Giorgianni, Logica Matematica e Logica Giuridica. [REVIEW]Hector-Neri Castaneda - 1968 - Journal of Symbolic Logic 33 (2):312-312.
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  15
    Rudimentos de lógica matemática.Lorenzo Peña (ed.) - 1991 - Libros CSIC.
    A systematic introduction to mathematical logic which does not take classical logic for granted. The books develops a system of contradictorial gradualistic logic.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  40.  5
    Casari Ettore. Lineamenti di logica matematica. Giangiacomo Feltrinelli Editore, Milano 1959. Seconda edizione, 1960, 323 pp. Terzà edizione, 1961, 323 pp. [REVIEW]Amedeo G. Conte - 1962 - Journal of Symbolic Logic 27 (1):76-77.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. ¿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 (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. L'argomento ontologico di S. Anselmo e la logica matematica: La ricerca di Dio.G. Zappa - 1997 - Studium 93 (1).
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  27
    Ştefan N. Berţi. Aplicaţii Ale Teoriei Relaţiilor in Logica Matematică . Studii Şi Cercetări Matematice, Vol. 21 , Pp. 3–11. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (4):584.
  44.  17
    La Teoria de Reticulos y Su Aplicación a la Lógica Matemática.Hans Hermes - 1971 - Journal of Symbolic Logic 36 (3):545-546.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  17
    Review: Stefan N. Berti, Aplicatii Ale Teoriei Relatiilor in Logica Matematica (Applications de la Theorie des Relations Dans la Logique Mathematique. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (4):584-584.
  46. José Ferrater Mora y Hughes Leblanc: "Lógica matemática".Eduardo García Máynez - 1956 - Dianoia 2 (2):390.
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  24
    Monteiro Antonio. Construction des Algèbres de Nelson Finies. Notas de Lógica Matemática No. 15, Instituto de Matemática, Universidad Nacional Del Sur, Bahía Blanca 1964, 11 Pp. , Pp. 359–362.). [REVIEW]David Nelson - 1971 - Journal of Symbolic Logic 36 (1):163-163.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  32
    Diana Brignole and Antonio Monteiro. Caractérisation des Algèbres de Nelson Par des Égalités. Notas de Lógica Matematica, No. 20, Instituto de Matematica, Universidad Nacional Del Sur, Bahia Blanca1964, 14 Pp. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):119.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  49.  14
    Roberto Cignoli. Moisil Algebras. Notas de Lógica Matematica, No. 27. Instituto de Matemática, Universidad Nacional Del Sur, Bahía Blanca1970, 47 Pp. [REVIEW]Ph Dwinger - 1975 - Journal of Symbolic Logic 40 (3):464-465.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  17
    Luiz F. T. Monteiro Et Lorenzo González Coppola. Sur Une Construction des Algèbres de Lukasiewicz Trivalentes. Notas de Lógica Matemática N° 17, Instituto de Matemática, Universidad Nacional Del Sur, Bahia Blanca 1964, 17 P.; Zussi Portugaliae Mathematica, Vol. 23 N° 3–4 , P. 157–167. [REVIEW]Eugen Mihăilescu - 1967 - Journal of Symbolic Logic 32 (3):397-398.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000