Steven Vallejo Ortiz
Filósofo / Lógica formal
Philosopher / Formal logic
Pensar antes de construir.
Think before you build.
Filósofo de formación analítica, formándome en la Universidad de Antioquia. Trabajo en lógica formal y simbólica, epistemología, filosofía de la mente y de la inteligencia artificial, y ética. Mi pregunta de fondo es antigua y precisa: qué es comprender, y dónde termina el cálculo y empieza el sentido. No estudio la lógica solo para conocerla: la escribo hasta hacerla correr en una máquina.
Philosopher of analytic training, studying at the Universidad de Antioquia. I work in formal and symbolic logic, epistemology, philosophy of mind and of artificial intelligence, and ethics. My underlying question is old and precise: what it means to understand, and where computation ends and meaning begins. I do not study logic only to know it — I write it until it runs on a machine.
«La abstracción no es alejarse del problema. Es verlo desde la altura exacta.»
"Abstraction is not stepping away from the problem. It is seeing it from exactly the right height."
La filosofía me dio el método antes que cualquier técnica: definir bien el problema antes de escribir una sola línea. Casi siempre, lo que llamamos un problema difícil es un problema mal planteado. La abstracción es la herramienta para verlo con claridad —ni demasiado cerca, donde el detalle ahoga, ni demasiado lejos, donde se pierde lo concreto—, sino desde la altura exacta en que el problema por fin se deja mirar entero.
Philosophy gave me a method before any technique: define the problem well before writing a single line. Almost always, what we call a hard problem is a badly posed one. Abstraction is the tool for seeing it clearly — neither too close, where detail drowns it, nor too far, where the concrete is lost — but from exactly the height at which the problem finally lets itself be seen whole.
Hubo un momento en que dejé de construir solo para otros y empecé a construir para entender. De ese trabajo en silencio nacieron el lenguaje de lógica ejecutable ST, el blog «Abstracción» y una serie de proyectos donde la filosofía no es decoración: es el motor. La soledad del que trabaja a fondo no es tristeza; es la condición en que el pensamiento por fin tiene espacio.
There was a point when I stopped building only for others and started building in order to understand. From that quiet work came the executable-logic language ST, the blog "Abstracción", and a series of projects where philosophy is not decoration — it is the engine. The solitude of working in depth is not sadness; it is the condition in which thought finally has room.
Cálculo proposicional y de predicados, sistemas de prueba y semántica. Es el eje central de mi formación y de mi trabajo.
Propositional and predicate calculus, proof systems and semantics. The central axis of my training and of my work.
Análisis del lenguaje y del argumento; las condiciones del conocimiento, la justificación y la verdad. Claridad y precisión por encima de la retórica vacía.
Analysis of language and argument; the conditions of knowledge, justification and truth. Clarity and precision above empty rhetoric.
Qué es comprender, qué hace una máquina cuando «razona», y dónde están los límites entre cómputo y sentido.
What it means to understand, what a machine does when it "reasons", and where the limits between computation and meaning lie.
Razón práctica, decisión y diálogo. El Gorgias como brújula: la diferencia entre persuadir y mostrar lo verdadero.
Practical reason, decision and dialogue. The Gorgias as compass: the difference between persuading and showing what is true.
No son teorías sueltas: son los hilos que recorren mi escritura y mis proyectos.
Not loose theories: they are the threads running through my writing and my projects.
No estudiar la lógica, implementarla. Si la lógica formal puede correr en una máquina, ¿qué dice eso sobre el pensamiento?
Not studying logic, implementing it. If formal logic can run on a machine, what does that say about thought?
El agente que ejecuta frente al chatbot que conversa; el criterio que ninguna máquina fabrica. Multiplica fuerza, no fabrica criterio.
The agent that executes versus the chatbot that converses; the judgment no machine manufactures. It multiplies force, it does not manufacture judgment.
La abstracción no es alejarse del problema; es verlo desde la altura exacta.
Abstraction is not stepping away from the problem; it is seeing it from exactly the right height.
La palabra que hace pensar frente a la que solo quiere ganar. ¿De qué sirve convencer si no se sabe mostrar lo verdadero?
The word that makes one think versus the one that only wants to win. What use is convincing if one cannot show what is true?
De Maturana y Varela a Luhmann y a los sistemas multiagente; la economía como sistema complejo.
From Maturana and Varela to Luhmann and multi-agent systems; the economy as a complex system.
Cuándo algo cuenta como conocimiento. Si no puedes operacionalizar un concepto, no generas conocimiento verificable.
When something counts as knowledge. If you cannot operationalize a concept, you do not produce verifiable knowledge.
CQRS, microservicios, observabilidad: no como meros trade-offs técnicos, sino como compromisos ontológicos sobre cómo se separa y se revela la intención.
CQRS, microservices, observability: not as mere technical trade-offs, but as ontological commitments about how intention is separated and revealed.
ST es un lenguaje de lógica formal ejecutable: un DSL con más de 30 perfiles lógicos, un SAT solver propio (CDCL), teoría de tipos (MLTT) y más de 6.333 pruebas, bilingüe ES/EN. Es la pieza más ambiciosa de mi obra y el cruce exacto entre la filosofía analítica y la ingeniería: tomar un argumento, formalizarlo y dejar que la máquina lo evalúe. Su complemento, auto.logic, convierte lenguaje natural en lógica formal ejecutable sin IA, con NLP basado en reglas (11 perfiles lógicos, ~200 marcadores discursivos). El núcleo lógico de ST late dentro del agente Agora.
ST is an executable formal-logic language: a DSL with 30+ logic profiles, a custom SAT solver (CDCL), type theory (MLTT) and 6,333+ tests, bilingual ES/EN. It is the most ambitious piece of my work and the precise crossing of analytic philosophy and engineering: take an argument, formalize it, and let the machine evaluate it. Its companion, auto.logic, turns natural language into executable formal logic with no AI, using rule-based NLP (11 logic profiles, ~200 discourse markers). The logical core of ST runs inside the Agora agent.
Donde la filosofía, la lógica y la ingeniería se piensan como un mismo problema. Una selección de artículos.
Where philosophy, logic and engineering are thought as one problem. A selection of articles.
2023 · Medium
2024 · Medium
2024 · Mapea OOP = Aristóteles, funcional = platonismo, serverless = Berkeley.
2024 · Maps OOP = Aristotle, functional = Platonism, serverless = Berkeley.
Agrupadas por nivel cualitativo, sin porcentajes.
Grouped by qualitative level, no percentages.
«Dejé de querer tener razón. Empecé a ver.»
"I stopped wanting to be right. I started to see."Steven Vallejo Ortiz
Donde la filosofía no es decoración, sino el motor: lógica ejecutable, vida artificial, fenomenología y simulación.
Where philosophy is not decoration but the engine: executable logic, artificial life, phenomenology and simulation.
DSL con 30+ perfiles lógicos, SAT solver CDCL, teoría de tipos MLTT y 6.333+ tests. La pieza más ambiciosa del portafolio; núcleo lógico de Agora.
DSL with 30+ logic profiles, a CDCL SAT solver, MLTT type theory and 6,333+ tests. The most ambitious piece; the logical core of Agora.
github.com/stevenvo780/STConversión de lenguaje natural a lógica formal ejecutable sin IA, con NLP basado en reglas: 11 perfiles lógicos, ~200 marcadores discursivos, cero dependencias, bilingüe.
Natural language to executable formal logic with no AI, using rule-based NLP: 11 logic profiles, ~200 discourse markers, zero dependencies, bilingual.
github.com/stevenvo780/auto.logicPlataforma educativa para enseñar lógica formal de forma interactiva, apoyada en el ecosistema ST.
Educational platform to teach formal logic interactively, built on the ST ecosystem.
github.com/stevenvo780/LogicEducationPlataforma universitaria de griego antiguo (Next.js 15): analizador morfológico, diccionario etimológico y corpus anotado.
University platform for Ancient Greek (Next.js 15): morphological analyzer, etymological dictionary and annotated corpus.
github.com/stevenvo780/helenikosPlataforma distribuida de agentes IA cuyo razonamiento se apoya en el núcleo lógico de ST; un agente que ejecuta acciones, no solo conversa.
Distributed AI-agent platform whose reasoning rests on the ST logical core; an agent that executes actions, not just chats.
agora.elenxos.comTesis ABM+ODE: motor de simulación con protocolo de validación ablativo (EDI), 40 casos, 30 órdenes de magnitud. AUC-ROC 0,886 frente a 0,600 de ARIMA. App en vivo.
ABM+ODE thesis: a simulation engine with an ablative validation protocol (EDI), 40 cases, 30 orders of magnitude. AUC-ROC 0.886 vs ARIMA's 0.600. Live app.
estructuras-preontologicas.vercel.appMotor ABM+ODE para medir el «cierre operativo» de hiperobjetos (clima, epidemias, deforestación): 29 casos, métrica EDI original, tests de permutación vectorizados.
ABM+ODE engine to measure the "operational closure" of hyperobjects (climate, epidemics, deforestation): 29 cases, an original EDI metric, vectorized permutation tests.
github.com/stevenvo780/TesisJacobContenidosSimulación de Medellín: ABM + PDE en GPU + aprendizaje por refuerzo (PyTorch), con análisis filosófico husserliano y foucaultiano. El contrapunto cálido a la lógica formal.
A simulation of Medellín: ABM + GPU PDE + reinforcement learning (PyTorch), with Husserlian and Foucauldian analysis. The warm counterpoint to formal logic.
github.com/stevenvo780/FenomenologiaUrbanaPresentación interactiva con simulaciones en vivo (TensorFlow.js, Three.js, Juego de la Vida) que conecta la IA con la filosofía de la mente.
An interactive presentation with live simulations (TensorFlow.js, Three.js, Game of Life) connecting AI with the philosophy of mind.
github.com/stevenvo780/Redes...Motor de vida artificial: ABM con 30+ subsistemas y RAG sobre un corpus lingüístico propietario; render Phaser 3, backend WebSocket a 50 Hz.
Artificial-life engine: ABM with 30+ subsystems and RAG over a proprietary linguistic corpus; Phaser 3 rendering, WebSocket backend at 50 Hz.
Ver en GitHubView on GitHubMundo simulado ABM+PDE+RAG sobre un corpus lingüístico propietario, con mecánicas de vínculo entre agentes.
Simulated world ABM+PDE+RAG over a proprietary linguistic corpus, with bonding mechanics between agents.
Ver en GitHubView on GitHubMotor de vida artificial con máquinas de estado, planificación por objetivos, campos de difusión/reacción y economía interna; WebSocket a 50 Hz.
Artificial-life engine with state machines, goal planning, reaction–diffusion fields and an internal economy; WebSocket at 50 Hz.
Ver en GitHubView on GitHub20+ simulaciones híbridas (ABM+ODE+SEIR) para validar computacionalmente la teoría filosófica del hiperobjeto, con métrica EDI.
20+ hybrid simulations (ABM+ODE+SEIR) to computationally validate the philosophical theory of the hyperobject, with the EDI metric.
github.com/stevenvo780/hiper-objeto-simulacionesLaboratorio interactivo de autopoiesis y vida artificial basado en la coevolución.
Interactive laboratory of autopoiesis and artificial life based on co-evolution.
github.com/stevenvo780/duo-eternoSimulación del comportamiento de un universo bajo reglas físicas específicas; emergencia como entrenamiento.
A simulation of a universe's behavior under specific physical rules; emergence as training.
github.com/stevenvo780/emergentismo-tesisExploración de propiedades emergentes en el Juego de la Vida de Conway.
Exploration of emergent properties in Conway's Game of Life.
github.com/stevenvo780/emergencia-juego-de-conweySimulación de sistemas adaptativos emocionales (Python).
Simulation of emotional adaptive systems (Python).
github.com/stevenvo780/teoria-MASOESEstudios y experimentos en teoría de la complejidad.
Studies and experiments in complexity theory.
github.com/stevenvo780/complejidad-teoriaModelo de un sistema económico desde la teoría de sistemas: la economía como sistema complejo.
A model of an economic system from systems theory: the economy as a complex system.
github.com/stevenvo780/teoria-sistemasSimulación de comunicación celular mediante teoría de la información.
Simulation of cellular communication through information theory.
github.com/stevenvo780/teoria-informacionAnálisis y simulaciones en teoría de juegos.
Analysis and simulations in game theory.
github.com/stevenvo780/teoria-de-juegosExploración de la teoría del caos a través del atractor de Lorenz.
Exploration of chaos theory through the Lorenz attractor.
github.com/stevenvo780/teoria-caosEstudios en teoría de la decisión.
Studies in decision theory.
github.com/stevenvo780/teoria-desicionExploración del espacio de reglas de los autómatas celulares.
Exploration of the rule space of cellular automata.
github.com/stevenvo780/teoria-ruliatEstudios de fenómenos emergentes relacionados con la temperatura.
Studies of emergent phenomena related to temperature.
github.com/stevenvo780/emergencia-experimento-temperaturaModelado de sistemas de transporte ferroviario.
Modeling of railway transport systems.
github.com/stevenvo780/SistemaDeTrasporteTrenesComunidad intelectual virtual en Discord para el intercambio de ideas en filosofía, ciencia, literatura y arte. La plaza de los jueves: la palabra que hace pensar, en la práctica.
A virtual intellectual community on Discord for exchanging ideas in philosophy, science, literature and art. The Thursday agora: the word that makes one think, in practice.
cafeteriadelcaos.comVersión optimizada de la red social de debates filosóficos.
Optimized version of the social network for philosophical debate.
cafeteria-del-caos-front-next.vercel.appPrograma para gestionar y moderar debates de forma estructurada.
A tool to manage and moderate debates in a structured way.
github.com/stevenvo780/debatesUtilDisertaciones filosóficas: gnosticismo, ignosticismo, y filosofía y programación.
Philosophical dissertations: Gnosticism, ignosticism, and philosophy and programming.
medium.com/@stevenvallejo780