| 2026-02-15 |
Non-duality
concept sources |
sí |
— (el archivo generado va en la transcripción) |
no dualidad; Advaita; Madhyamaka; Eckhart; La Grieta de
Dios. Ver: Crítica
del principio de identidad · Identidad |
| 2026-05-27 |
The
problem of individuation |
sí |
— |
individuación; identidad; Łukasiewicz; Anscombe; Popper. Ver: Elementos
básicos de la realidad cuántica · Identidad |
| 2026-05-29 |
Metaphysical
foundations of logic |
sí |
— |
fundamentos metafísicos; ser; universales; identidad; necesidad.
Ver: Metaphysical
foundations of logic (2) · Pluralidad
de lógicas y ontología |
| 2026-05-29 |
Metaphysical
foundations of logic (2) |
sí |
— |
raíces de la lógica; correspondencia; universales; identidad;
necesidad. Ver: Metaphysical
foundations of logic · Ser
predicativo y existencial |
| 2026-08-03 |
Elementos
básicos de la realidad cuántica |
sí |
— |
interpretaciones cuánticas; partículas idénticas; cuasi-conjuntos;
Priest; discernibilidad débil. Ver: Lógica
empírica y mecánica cuántica · The problem
of individuation |
| 2026-08-10 |
Defining
aporia |
sí |
— |
aporía; paradojas; Löwenheim-Skolem; Nāgārjuna; teoría de
categorías. Ver: Maillard Borges · Gödel
incompleteness theorem hypotheses |
| 2026-09-18 |
Gödel
incompleteness theorem hypotheses |
sí |
— |
incompletitud; Gödel; Prov(x); aritmética verdadera;
autorreferencia. Ver: Pruebas
diagonales de Cantor, Gödel y Tarski · Calculus
of inductive constructions |
| 2026-09-28 |
Lógica
empírica y mecánica cuántica |
sí |
— |
revisabilidad de la lógica; Quine-Putnam-Priest; lógica cuántica;
regresión; empirismo. Ver: Justificación
a priori de conocimientos empíricos · Elementos
básicos de la realidad cuántica |
| 2026-10-06 |
Justificación
a priori de conocimientos empíricos |
sí |
Justificar
a priori el conocimiento empírico · rel. A
priori, Quine y carga teórica |
a priori; a posteriori; racionalismo; escepticismo; justificación.
Ver: Lógica
empírica y mecánica cuántica · Maillard Borges |
| 2026-10-08 |
Lean
dependent type theory |
— |
rel. Aprender
Lean 4 |
Lean 4; teoría de tipos dependientes; asistentes de prueba;
Curry-Howard; formalización. Ver: Calculus
of inductive constructions · Lean 4
tutorial |
| 2026-10-10 |
Lógica
en sistemas biológicos |
sí |
Lógica en
sistemas biológicos |
regulación génica; lógica booleana; señalización; formalización;
razonamiento. Ver: Reglas y
conceptos formales · RNA
vs DNA types (Lawvere) |
| 2026-10-10 |
Inteligencia
y uso de IA |
sí |
IA,
inteligencia y quién gana |
IA generativa; inteligencia; lenguaje; desigualdad; uso de LLMs.
Ver: Reglas y
conceptos formales · LLM
understanding |
| 2026-10-11 |
Maillard
Borges |
sí |
Aporías
reflexivas de marco (amplía) |
aporía reflexiva de marco; Wittgenstein; Kripke; Maillard; Borges.
Ver: Maillard
Borges · Identidad |
| 2026-10-12 |
Lean 4
tutorial |
— |
Aprender
Lean 4 |
Lean 4; tutorial; tácticas; tipos; pruebas. Ver: Calculus
of inductive constructions · Lean
dependent type theory |
| 2026-10-14 |
Calculus
of inductive constructions |
sí |
— |
CIC; impredicatividad; Curry-Howard; tipos inductivos; axiomas. Ver:
Gödel
incompleteness theorem hypotheses · Lean
dependent type theory |
| 2026-10-14 |
Crítica
del principio de identidad |
sí |
Mapa
de las grietas lógicas · Críticas
al principio de identidad |
principio de identidad; lógicas no clásicas; grietas lógicas; lo
absoluto; Nāgārjuna. Ver: Identidad · Pluralidad
de lógicas y ontología |
| 2026-10-14 |
Pluralidad
de lógicas y ontología |
sí |
Pluralismo
lógico y plano ontológico |
pluralismo lógico; ontología; lógica y mundo; lógicas rivales;
normatividad. Ver: Crítica
del principio de identidad · Metaphysical
foundations of logic |
| 2026-10-15 |
Conciencia
aporética |
sí |
— |
conciencia; aporía; problema difícil; explicación científica;
reflexividad. Ver: Maillard Borges · LLM
understanding |
| 2026-10-15 |
Identidad |
sí |
Bibliografía
básica: Deleuze, identidad y lógica |
identidad; Deleuze; Nāgārjuna; taoísmo; Whitehead. Ver: Crítica
del principio de identidad · Maillard Borges |
| 2026-10-15 |
Reglas
y conceptos formales |
sí |
Cómo
razonan los LLMs |
razonamiento de LLMs; reglas formales; probabilidad; conceptos;
sistemas aprendidos. Ver: LLM understanding ·
Alucinaciones en
LLMs |
| 2026-10-17 |
Categorías
aristotélicas y el ser |
sí |
rel. La
sustancia aristotélica sobrevive a sus críticos |
categorías; ser; analogía; léxico griego; Bekker. Ver: Ser
predicativo y existencial · Aristóteles |
| 2026-10-17 |
LLM
understanding |
sí |
Cómo
razonan los LLMs |
comprensión; LLMs; Searle; conciencia; límites del lenguaje. Ver: Reglas y
conceptos formales · Conciencia
aporética |
| 2026-10-17 |
Ser
predicativo y existencial |
sí |
— |
ser predicativo; ser existencial; esencia; límites de la lógica;
existencia. Ver: Categorías
aristotélicas y el ser · Metaphysical
foundations of logic |
| 2026-10-17 |
Alucinaciones
en LLMs |
sí |
— |
alucinaciones; LLMs; fiabilidad; mitigación; verificación. Ver: Reglas y
conceptos formales · LLM
understanding |
| 2026-10-18 |
Monografías
sobre Aristóteles |
sí |
— |
bibliografía; monografías en castellano; metafísica; ontología;
aporías. Ver: Aristóteles · Aubenque:
la pregunta por el ser es aporética |
| 2026-10-19 |
Writing a
philosophy book |
sí |
— |
método de escritura; skills; CLAUDE.md; flujo de investigación;
libro. Ver: Defining
aporia |
| 2026-10-21 |
Aristóteles |
sí |
rel. La
sustancia aristotélica sobrevive a sus críticos |
sustancia; hilemorfismo; universales; gramática griega; apofatismo.
Ver: Aristóteles:
sustancia primera · Categorías
aristotélicas y el ser |
| 2026-10-26 |
Monografías
sobre el Parménides |
sí |
— |
Parménides de Platón; bibliografía; formas; unidad; dialéctica. Ver:
Zeno’s
argument, premise two |
| 2026-10-26 |
Nietzsche:
arte, éxtasis y lo dionisiaco |
sí |
Nietzsche:
el arte, el éxtasis, lo sublime y lo dionisíaco |
Nietzsche; Rausch; dionisíaco; lo sublime; Eckhart. Ver: Rasgos
del lenguaje místico y Sells |
| 2026-10-29 |
Aristóteles:
sustancia primera |
sí |
La
sustancia aristotélica sobrevive a sus críticos |
ousía; sustancia primera; sustancia segunda; formalización;
críticas. Ver: Aristóteles · Categorías
aristotélicas y el ser |
| 2026-10-29 |
Zeno’s
argument, premise two |
sí |
rel. Rickless,
Plato’s Forms in Transition |
Zenón; pluralidad; Parménides; Rickless; teoría «higher». Ver: Monografías
sobre el Parménides |
| 2026-10-29 |
Aporías
y premisas filosóficas |
sí |
Rickless,
Plato’s Forms in Transition |
aporía; Rickless; Parménides; Tercer Hombre;
autopredicación; regreso infinito. |
| 2026-10-30 |
Pruebas
diagonales de Cantor, Gödel y Tarski |
sí |
Copiar y
nombrar (superado por el mapa de correspondencias) |
argumentos diagonales; Lawvere; Cantor; Tarski; autorreferencia.
Ver: Rosetta
Stone y teorema de punto fijo · Gödel
incompleteness theorem hypotheses |
| 2026-11-01 |
Lógica
aristotélica vs moderna |
sí |
— |
silogística; lógica moderna; Łukasiewicz; Aristóteles;
formalización. Ver: Términos
vs proposiciones según Łukasiewicz |
| 2026-11-01 |
Términos
vs proposiciones según Łukasiewicz |
sí |
— |
lógica de términos; lógica de proposiciones; Łukasiewicz; estoicos;
Aristóteles. Ver: Lógica
aristotélica vs moderna |
| 2026-11-01 |
Definición
de la lógica |
sí |
rel. Pluralismo
lógico y plano ontológico |
definición de la lógica; circularidad; demarcación; pluralidad;
consecuencia válida. |
| 2026-11-02 |
Rosetta
Stone y teorema de punto fijo |
sí |
Lenguajes
formales y categorías vs. mística |
piedra de Rosetta; Baez-Stay; punto fijo; silencio; mística. Ver: Pruebas
diagonales de Cantor, Gödel y Tarski · Rasgos
del lenguaje místico y Sells |
| 2026-11-03 |
«RNA vs DNA types» (sin transcripción; chat) |
— |
Lawvere’s
fixed point theorem: from λ-calculus to biology (es su
transcripción) |
Lawvere; punto fijo; λ-cálculo; biología; tipos de ARN/ADN. Ver: Pruebas
diagonales de Cantor, Gödel y Tarski · Lógica en
sistemas biológicos |
| 2026-11-05 |
Aubenque:
la pregunta por el ser es aporética |
sí |
Aubenque:
la teología no funda la unidad de la ciencia del ser |
Aubenque; aporía del ser; teología; unidad de la ciencia del ser;
Metafísica E1/Λ. Ver: Monografías
sobre Aristóteles · Categorías
aristotélicas y el ser |
| 2026-11-05 |
Rasgos
del lenguaje místico y Sells |
sí |
rel. Lenguajes
formales y categorías vs. mística |
lenguaje místico; Sells; apofasis; desdecir; Eckhart. Ver: Rosetta
Stone y teorema de punto fijo · Nietzsche:
arte, éxtasis y lo dionisiaco |
| 2026-11-05 |
Papers
sobre el teorema de Yanofsky |
sí |
rel. Lenguajes
formales y categorías vs. mística, Lawvere:
del λ-cálculo a la biología |
Lawvere; Yanofsky; Soto-Andrade y Varela; punto fijo;
bibliografía. |
| 2026-11-05 |
Eckhart’s
commentary on Exodus |
sí |
— |
Eckhart; Expositio libri Exodi; traducciones; McGinn;
bibliografía. |
| 2026-11-05 |
Teorema
de Lawvere y aporías de marco |
sí |
Aporías
reflexivas de marco (secciones «Puente» y «Otras piezas»); rel. Copiar y
nombrar, Lenguajes
formales y categorías vs. mística |
Lawvere; punto fijo; aporías reflexivas de marco; Priest;
Parménides; mística; diagrama. Ver: Papers
sobre el teorema de Yanofsky · Pruebas
diagonales de Cantor, Gödel y Tarski |