Lucía Tanús

UNAM Universidad Nacional Autónoma de México, Instituto de Investigaciones Filosóficas, Graduate Student

UNAM Universidad Nacional Autónoma de México, Philosophy, Undergraduate

Followers

Following

Public Views

I recently graduated from an MA at UNAM with a thesis on the axiom of Permutation and its (in)validity in relevance logics.

Some other of my research interests are substructural logics, connexive logics, and pretty much any controversial take on philosophy of logic.
Supervisors: Luis Estrada-González

less

Interests

Uploads

Drafts by Lucía Tanús

El falsacionismo y el ejercicio crítico de la ciencia

Delimitar lo que será considerado como teoría científica y lo que no es un desafío vigente para l... more Delimitar lo que será considerado como teoría científica y lo que no es un desafío vigente para la filosofía de la ciencia. Karl Popper desarrolla el falsacionismo tomando en cuenta este problema y, posteriormente, la discusión es retomada por Imre Lakatos, quien cuestiona la teoría poppe-riana y la desarrolla. Popper y Lakatos se enfrentan al problema de definir lo que se considerará como una buena teoría científica, Las posturas de Popper y Lakatos se contraponen al enfrentar el problema de definir lo que es una buena teoría científica, sin embargo, no obstante esa distensión, ambas propuestas proporcionan buenas directrices sobre lo que se espera que las teorías científicas logren. Con ello, inauguran nuevos debates en eí ambito de la filosofía de la ciencia e, idealmente, en eí ambito científico. 1. Introducción La posibilidad de distinguir a los enunciados científicos de aquellos otros que sólo aparentan serlo ha sido una de las tareas primordiales de la Filosofía de la Ciencia. Probablemente el criterio de demarcación que parece más intuitivo es la verificación puesto que la corroboración de los enunciados que constituyen alguna teoría científica juega un papel importante al momento de evaluarla, a este criterio se le conoce como verificacionismo; sin embargo, el verificacionismo no es lá unica forma de proceder cuando se desea confirmar una teoría, y la propuesta de Karl Popper es relevante en este asunto debido a que se contrapone a este método. Debido a lo innovadora que puede resultar la teoría de Popper, es de esperarse que surjan posiciones contrarias y la postura de Lakatos es una de las más relevantes a este respecto. Se puede considerar que Popper inicia una discusión defendiendo una idea que llega a parecer poco convencional y probablemente por ello es tan emblemática: el falsacionismo. La verificabilidad de las teorías científicas es un tema por demás interesante y el falsacionismo de Popper es especialmente atrayente puesto que pone en duda los criterios de demarcación, desafiando lo que se consideraba como una buena teoría científica. Por ello, en este escrito buscaré exponer un poco en qué consiste el falsacionismo de Popper expuesto en Conjeturas y refutaciones para luego contrastarlo con el falsacionismo recuperado por Imre Lakatos en La metodología de los programas de investigación científica buscando responder si es necesario que las teorías científicas sean corroboradas por los hechos, y así analizar los puntos a favor y en contra de la propuesta popperiana procurando evidenciar que las teorías científicas más adecuadas deben ser prohibitivas.

Download

Papers by Lucía Tanús

The irrelevance of Permutation

The axiom schema of Permutation may look like an innocent axiom but I want to argue in this paper... more The axiom schema of Permutation may look like an innocent axiom but I want to argue in this paper why it should not be considered relevantly valid. A good reason to suspect of Permutation is the absence of the axiom in most relevance logic systems. To show how Permutation is in fact relevantly invalid, I will first talk about why Permutation may appear to be relevantly valid when we consider the usual relevantist properties. After, I will propose an alternative reading of those properties in which I treat them as specifications over proofs. Finally, I will suggest another relevantist property which will help me show why the axiom of Permutation is relevantly invalid.

format_quoteMany relevance logic systems reject Permutation, suggesting reasons for its invalidity are often indirect rather than direct relevance objections.format_quote

Download

Variable Sharing in Connexive Logic

Variable Sharing in Connexive Logic, 2021

However broad or vague the notion of connexivity may be, it seems to be similar to the notion of ... more However broad or vague the notion of connexivity may be, it seems to be similar to the notion of relevance even when relevance and connexive logics have been shown to be incompatible to one another. Relevance logics can be examined by suggesting syntactic relevance principles and inspecting if the theorems of a logic abide to them. In this paper we want to suggest that a similar strategy can be employed with connexive logics. To do so, we will suggest some properties that seem to be hinted at in Nelson's work. Following this strategy will ideally shed some light over the notion of content and will also help make a clear comparison between relevance and connexive logics.

Download

Lucía Tanús

Uploads

Drafts by Lucía Tanús

Papers by Lucía Tanús

Log In