other_source/claude/logicas

Documentos

• 1. Dialéctica eleática y socrático-platónica (*dialektikḗ*, *élenchos*)
• 10. Teoría india del debate (*vāda*, *jalpa*, *vitaṇḍā*)
• 100. Lógica conexiva
• 101. Supervaluacionismo (semántica de supervaluaciones)
• 102. Lógica condicional (contrafácticos)
• 103. Teoría de tipos de Martin-Löf y correspondencia Curry-Howard {#sec:103-teoria-de-tipos-de-martin-lof-y-correspondencia-curry-howard}
• 104. Lógica de Hoare y lógica dinámica
• 105. Teoría de las falacias
• 106. Semántica de Montague (lógica intensional)
• 107. Programación lógica y principio de resolución
• 108. Bilógica
• 109. Lógica de la demostrabilidad (GL, Gödel-Löb) {#sec:109-logica-de-la-demostrabilidad-gl-godel-lob}
• 11. Rectificación de los nombres (*zhèngmíng*)
• 110. FDE, lógica de cuatro valores de Belnap y Dunn (*first-degree entailment*)
• 111. Lógica erotética (lógica de las preguntas)
• 112. Lógicas temporales computacionales (LTL, CTL)
• 113. Lógicas descriptivas
• 114. Lógica informal
• 115. LP (lógica de la paradoja) y dialeteísmo
• 116. Lógicas no monótonas
• 117. Lógica natural y lógica de términos
• 118. Lógica plural (cuantificación plural)
• 119. Pragma-dialéctica
• 12. Lógica estoica (*dialektikḗ*; *anapódeiktoi*, *thémata*)
• 120. Revisión de creencias AGM
• 121. Lógicas adaptativas
• 122. Lógica lineal
• 123. Cálculo de construcciones y asistentes de prueba
• 124. Lógica IF (*independence-friendly*)
• 125. Lógica epistémica dinámica
• 126. Lógica de la justificación (lógica de las pruebas, LP de Artemov)
• 127. Argumentación abstracta
• 128. Esquemas argumentativos
• 129. Lógica de la separación y lógica BI
• 13. Mīmāṃsā: hermenéutica de los mandatos védicos
• 130. Teoría homotópica de tipos y fundamentos univalentes
• 131. Lógica *ezumezu* y reflexión complementaria *ibuanyidanda*
• 14. Escepticismo pirrónico: equipolencia y suspensión del juicio (*isosthéneia*, *epochḗ*)
• 15. Hermenéutica talmúdica: las *middot* de Hillel y de R. Ismael
• 16. *Catuṣkoṭi* (tetralema) y dialéctica madhyamaka
• 17. Lógica de Galeno: síntesis peripatético-estoica y silogismos relacionales (*Institutio logica*)
• 18. Nyāya: lógica y epistemología del *Nyāya Sūtra*
• 19. Lógica de los comentaristas neoplatónicos (Porfirio; escuelas de Atenas y Alejandría)
• 2. Tópica, refutaciones sofísticas y retórica de Aristóteles (*tópoi*, *enthýmēma*)
• 20. *Anekāntavāda*, *nayavāda* y *syādvāda* jainas
• 21. Lógica y epistemología budistas de Dignāga y Dharmakīrti (*pramāṇa*, *hetuvidyā*)
• 22. Lógica boeciana y tradición latina tardoantigua (Apuleyo, Mario Victorino, Boecio)
• 23. Lógica siríaca (el *Organon* en siríaco)
• 3. Silogística categórica o asertórica de Aristóteles (*syllogismós*)
• 4. Silogística modal y teoría de la modalidad de Aristóteles (*anankaîon*, *endechómenon*)
• 5. Lógica peripatética (Teofrasto y Eudemo; comentario de Alejandro de Afrodisias)
• 57. Álgebra de la lógica (Boole, De Morgan, Jevons, Schröder)
• 58. Lógica de Peirce (relativos, cuantificación, grafos existenciales, abducción)
• 59. *Begriffsschrift* y logicismo (Frege)
• 6. Escuela de los Nombres (*míngjiā*) y disputadores (*biànzhě*)
• 60. Lógica matemática de Peano (*Formulario*)
• 61. Lógica fenomenológica (Husserl)
• 62. Lógica intuicionista
• 63. Teoría de tipos de *Principia Mathematica* (Russell y Whitehead)
• 64. Lógica imaginaria (no aristotélica) de Vasiliev
• 65. Lógica modal
• 66. Sistemas de Leśniewski (Prototética, Ontología, Mereología)
• 67. Lógica de primer orden clásica
• 68. Lógicas polivalentes
• 69. Lógica del *Tractatus* (Wittgenstein)
• 7. Canónica e inferencia por semejanza epicúreas (*kanonikḗ*; *kath' homoiótēta*)
• 70. Lógica inductiva y probabilidad lógica
• 71. Formalismo y programa de Hilbert (metamatemática y teoría de la demostración)
• 72. Lógica combinatoria
• 73. Lógica del lugar (*basho no ronri*, *bashoteki ronri*)
• 74. Lógica de Gödel-Dummett (LC) {#sec:74-logica-de-godel-dummett-lc}
• 75. Cálculo lambda
• 76. Semántica tarskiana (verdad y consecuencia lógica)
• 77. Lógica de la especie (*shu no ronri*)
• 78. Sintaxis lógica y principio de tolerancia (Carnap)
• 79. Deducción natural y cálculo de secuentes
• 8. Lógica megárica y escuela dialéctica (*dialektikoí*)
• 80. Lógica cuántica
• 81. Lógica minimal (*Minimalkalkül*)
• 82. Lógica de la investigación (Dewey)
• 83. Lógicas trivalentes de Kleene y Bochvar
• 84. Lógica de orden superior y teoría simple de tipos (Church)
• 85. Lógica del *soku-hi* (*sokuhi no ronri*)
• 86. Lógicas paraconsistentes
• 87. Lógica constructiva con negación fuerte (lógica de Nelson)
• 88. Lógica deóntica
• 89. Lógica del tercero incluido (*logique du tiers inclus*)
• 9. Lógica mohista: Cánones y Dialéctica mohista (*Mòjīng*, *Mò biàn*) {#sec:9-logica-mohista-canones-y-dialectica-mohista-mojing-mo-bian}
• 90. Lógica relevante
• 91. Lógica libre
• 92. Lógica temporal (lógica de los tiempos verbales)
• 93. Lógicas subestructurales y cálculo de Lambek
• 94. Lógica dialógica y semántica de juegos
• 95. Modelo de Toulmin
• 96. Nueva retórica
• 97. Lógica epistémica
• 98. Lógica categórica y de topos
• 99. Lógica difusa (*fuzzy logic*)