Eduardo Barrio, Federico Pailos & Damian Szmuc forthcoming in the Logic Journal of the IGPL!

The paper entitled "A Paraconsistent Route by Semantic Closure", written by Eduardo Barrio, Federico Pailos and Damian Szmuc discusses the application of the so-called Goodship Project in order to obtain non-trivial functionally complete transparent theories of truth built on top of paraconsistent logics.

To have a look at this and other recent publications of the members of the Buenos Aires Logic Group, you can visit

Some pictures of our Reading Group sessions

Federico Matías Pailos discussing the paper "Theories of truth and the maxim of minimal mutilation" by Ole Thomassen Hjortland, and Paula Teijeiro presenting "Many-valued logic of informal provability" by Rafal Urbaniak and Pawel Pawlowski in our Reading Group.

Damian Szmuc forthcoming in the Journal of Applied Non-Classical Logics!

The paper "Defining LFIs and LFUs in extensions of infectious logics", written by Damian Szmuc has been accepted for publication in the Journal of Applied Non-Classical Logics!

The paper discusses subsystems of the logics of nonsense, due to Bochvar and Hallden, and proposes to extend them with a classical negation, thereby defining an extensive collection of new Logics of Formal Inconsistency and Logics of Formal Undeterminedness.

To check the abstract of this essay, and to have a look at the most recent publications of the members of the Buenos Aires Logic Group, you can visit:

Eduardo Barrio, Lucas Rosenblatt and Diego Tajer forthcoming in Synthese!

The paper "Capturing naive validity in the Cut-Free approach", written by Eduardo Barrio, Lucas Rosenblatt, and Diego Tajer, has been accepted for publication in Synthese!

The paper shows that the usual theories of validity cannot capture most meta-inferences, and discusses some possible ways of avoiding this problem by strengthening the Validity rules.

To check the abstract of their essay, and to have a look at the most recent publications of the members of the Buenos Aires Logic Group, you can visit:

[CALL FOR PAPERS] 5th Workshop On Philosophical Logic

# CALL FOR PAPERS : 5th Workshop On Philosophical Logic #

November 23 to November 25, 2016
Argentinean Society of Philosophical Analysis (SADAF)
Buenos Aires, Argentina

Roy Cook (University of Minnesota, USA)
Hitoshi Omori (Kyoto University, Japan)
Dave Ripley (University of Connecticut, USA)
Zach Weber (University of Otago, New Zeland)

The goal of this workshop is to bring together researches in philosophy of logic to investigate issues broadly related to the topics of truth, paradoxes and nonclassical logic.

Submissions should include two files, to be sent to the following address:

(1) One containing a title and an abstract of the paper for assessment of approximately 1000 words.

(2) The other containing the title of the paper, the author’s name, her/his institutional affiliation and her/his e-mail.

Submissions will be refereed by a scientific committee.

Accommodation (but not travel expenses) will be covered, depending on available funding.

Deadline for reception of submissions: September 25
Communication of acceptance/rejection: October 1

For further information, you can contact us at

Federico Pailos (UBA – CONICET)
Lucas Rosenblatt (UBA – CONICET)
Diego Tajer (UBA – CONICET)

• About the Workshop
The series of workshops organized by BA LOGIC aims to analyze different topics in Philosophical Logic, mainly connected with semantic paradoxes, theories of truth and non-classical logics.

[CALL FOR PAPERS] Special Issue of Logic Journal of the IGPL

# CALL FOR PAPERS: Logic Journal of the IGPL #

Special issue:
Recovery Operators and Logics of Formal Consistency & Inconsistencies

Walter Carnielli (CLE-UNICAMP) (
Eduardo Barrio (CONICET-UBA) (

Submissions must be in clearly-written English. Instructions to Authors are on

To submit a contribution send a one page abstract to: (c/copy to

Contributing papers are invited from both Philosophers, Logicians, Mathematicians and Computer Scientists.

We invite papers that share a strong conceptual interest in the logics of formal inconsistency and formal inconsistency (LFIs) as tools to recovery some concept that traditionally cannot be expressed by plain logic (the paradigmatic case being paraconsistent logics). We are specially interested in papers that develops different applications of consistency and inconsistency operators to capture notions such as just truth, accidentally true, classicality, strong negation, indeterminateness, etc.

All papers related to Logics of Formal Inconsistencies those falling into the categories below are welcome:
- Consistency, Classicality and Recovery Operators
- Avoiding Hierarchies of Languages with Paraconsistent Logics
- Capturing Classical Logic using LFIs
- Recovery Operators in non-classical logics Many-valued
- Paraconsistent Logics with strong negation
- Modalities and Consistency Operators.
- Cut-elimination and Paraconsistency
- Non-transitive Logics and Inconsistencies
- Truth-Functionality and Paraconsistency

15 August 2016: Release of the Call for papers
31 October 2016: Deadline for expression of interest and abstract submissions (500 word abstracts)
15 February 2017: Feedback / Invitation to submit full text submissions
31 March: Full text submissions deadline. All details on text submissions can be found under:
30 June: Comprehensive peer review and feedback
31 August: Re-submission deadline
30 September: Publication of the special issue

Mariela Rubin @ Reading Group and Federico Pailos @ WIP Seminar

On Friday August 5 Mariela Rubin discussed Denis Bonnay and Dag Westerståhl's paper "Compositionality Solves Carnap’s Problem" in our Reading Group. After that, we enjoyed Federico Pailos' presentation of his paper "A naive validity predicate for a dialetheist theory" in our Work In Progress Seminar.


A glimpse of a Tutorial that Gonzalo Rodríguez-Pereyra (Oxford University, UK) gave last week in SADAF, on the philosophy and formal properties of the grounding relation.

The Tutorial comprised an exposition of Gonzalo's paper "Grounding is not a Strict Order" (that appeared in the Journal of the American Philosophical Association) and a critical discussion of Jonathan Schaffer's paper "What Not to Multiply Without Necessity" (recently published in the Australasian Journal of Philosophy)


A very focused Bruno Da Ré, presenting his joint work with Paula Teijeiro, titled "Interval Type-2 Fuzzy Logic: Semantic paradoxes and Vagueness" at the July 22 meeting of our Work In Progress Seminar.


Lucas Rosenblatt discussing in great detail the paper "Transfinite Numbers in Paraconsistent Set Theory" by Zach Weber, in a recent meeting of our Reading Group.

Stephan Hartmann (Co-Director of the MCMP) @ Work In Progress Seminar

A wonderful visit!

On Friday July 15, at our Work In Progress Seminar, Stephan Hartmann (co-Director of the Munich Center for Mathematical Philosophy (MCMP)) gave a talk titled "Learning from Conditionals". It was a great presentation!

We are very happy about this visit and are looking forward to continue the fruitful collaboration between MCMP and the Buenos Aires Logic Group


A Substructural day!

Last Friday, July the 1st, Bruno Da Ré discussed Rohan French's paper "Structural Reflexivity and the Paradoxes of Self-Reference" in our Reading Group.

After that, in our Work In Progress Seminar, Federico Pailos presented his proposal of using a consistency operator to get accurate translations of certain three-sided sequents for Strict-Tolerant logics

Lucas Rosenblatt @ WIP and Damian Szmuc @ Reading Group

Lucas Rosenblatt (CONICET - UBA) presenting his paper "Inferentialism and Naive Validity" in our Work In Progress Seminar, on Friday June 3, and Damián Szmuc (CONICET - UBA) discussing Thomas Ferguson's work "Cut-Down Operations on Bilattices" in the Reading Group, on Friday May 27.

Paula Teijeiro @ WIP Seminar

Paula Teijeiro (CONICET - UBA) presented her ideas and results about Tonk, Supervaluationism and mixed consequences in the latest session of our Work In Progress Seminar.

Diego Tajer and Federico Pailos forthcoming in Logique et Analyse!

"Validity in a dialetheist framework" by Diego Tajer and Federico Pailos is forthcoming in Logique et Analyse!

The paper presents new perspectives on non-classical validity predicates for paraconsistent logics.

To check the abstract of their essay, and to have a look at the most recent publications of the members of the Buenos Aires Logic Group, you can visit:

Federico Pailos @ Logic&Meta (Workshop organized by Graham Priest), CUNY Graduate Center

The Buenos Aires Logic Group, in New York!

Federico Pailos (University of Buenos Aires - CONICET) will be giving a talk, titled "A Recovery Operator for Non-transitive Theories" in the Logic & Metaphysics Workshop organized by Graham Priest at the Graduate Center, CUNY. For more information click here.

Eduardo Barrio @ Reading Group and Ariel Roffe @ WIP Seminar


After a workshop-week, we resumed our seminars!

Eduardo Barrio discussed Restall's ideas about logical pluralism and proofs in the Reading Group, and Ariel Roffe presented his paper "Optimality and Fitness" in our Work in Progress Seminar.

Pictures of the 3rd Workshop CLE - BA Logic @ IIF-SADAF

The 3rd Workshop CLE-BA Logic has come to an end!


It was a great academic and scientific meeting that allowed Brazilian and Argentinean researchers to share ideas and discuss works in the thematic intersection of both groups' agendas.Below, you may find the Program and some pictures along with some photos of our great speakers.

*** Wednesday/Miércoles/Quarta-Feira, 20 April/Abril/Abril ***
10:00 – 11:00 Walter Carnielli (CLE and IFCH–Unicamp): “Probability, Consistency and Determinateness: a Bold Betting”
11:00 – 12:00 Eduardo Barrio (CONICET – UBA): “A Recovery Operator for Non-Transitive Approaches”
12:00 – 15:00 Lunch
15:00 – 16:00 Edson Bezerra (CLE): “Society Semantics for 4-valued Lukasiewicz Logic”
16:00 – 17:00 Paula Teijeiro and Bruno Da Ré (CONICET – UBA): “Sorites, Curry and omega inconsistency”
17:00 – 17:30 Coffee Break
17:30 – 18:30 Abilio Rodrigues (CLE-UNICAMP and DF- UFMG, Belo Horizonte): “Reinterpreting bivalued semantics for intuitionistic and paraconsistent logics”
18:30 – 19:30 Eleonora Cresto (CONICET – UNTREF): “Ungrounded payoffs. A tale of unconditional love and unrepentant hate”

*** Thursday/Jueves/Quinta-Feira, 21 April/Abril/Abril ***
10:00 – 11:00 Juliana Bueno (CLE and FT–Unicamp): “Portraits of a logic and their algebraic soul”
11:00 – 12:00 Diego Tajer (CONICET – UBA): “Logic and rational requirements”
12:00 – 15:00 Lunch
15:00 – 16:00 Bruno Costa Coscarelli (CLE): “An Account of Morfism for Paraconsistent Environments”
16:00 – 17:00 Damián Szmuc (CONICET – UBA): “Aboutness-preserving arguments and conceptivist LFIs”
17:00 – 17:30 Coffee Break
17:30 – 18:30 Marcelo Coniglio (CLE and IFCH–Unicamp): “Towards an algebraic theory of non-algebraizable logics: the case of mbC”

*** Friday/Viernes/Sexta-Feira, 22 April/Abril/Abril ***
10:00 – 11:00 Henrique Antunes (CLE): “On Existence, Inconsistency and Indispensability”
11:00 – 12:00 Bruno Ramos Mendonça (CLE): “A Fraïssé-Hintikka theorem for LFIs”
12:00 – 15:00 Lunch
15:00 – 16:00 Carlos Oller (UBA – UNLP): “El argumento de Slater contra la negación paraconsistente a la luz de los modelos no-estándar de Carnap”
16:00 – 17:00 Ana Claudia Golzio (CLE): “Swap structures for some non-normal modal logics”
17:00 – 17:30 Coffee Break
17:30 – 18:30 Rafael Testa (CLE): “Advances and new perspectives in Paraconsistent Belief Revision”
18:30 – 19:30 Lucas Rosenblatt and Bruno Da Ré (CONICET – UBA): “Contraction, multiplicative quantifiers and omega paradoxes”

Thomas Schindler @ WIP and Lucas Rosenblatt @ Reading Group

Last Friday, Lucas Rosenblatt (CONICET - UBA) discussed Dave Ripley's "Naive set theory and non-transitive logic" in the Reading Group, and Thomas Schindler (University of Cambridge, UK) presented his paper "A type-free theory of classes" in our Work In Progress Seminar.

3rd Workshop CLE - Buenos Aires Logic Group @ IIF-SADAF

Centro de Lógica, Epistemologia e História da Ciência (Brazil)
Buenos Aires Logic Group (Argentina)
April 20 to April 22, 2016
SADAF, Buenos Aires, Argentina


We are glad to announce the Third Workshop CLE – Buenos Aires Logic Group, following the first and second workshops held, respectively, on August 4 and August 5 2014 in SADAF (Buenos Aires, Argentina) and between March 31 and April 3 2015, in CLE-UNICAMP (Campinas, Brazil).

The goal of this workshop is to discuss work in progress made in the thematic intersection of both research groups and to further the relationship between the Argentinean and Brazilian researchers interested in Logic and the application of formal methods to Philosophy.


Eduardo Barrio (UBA - CONICET)
Federico Pailos (UBA - CONICET)

Walter Carnielli (CLE and DF- IFCH- UNICAMP)
Marcelo E. Coniglio (CLE and DF- IFCH- UNICAMP)

Organizing Manager:
Damian Szmuc (UBA - CONICET)

Joaquin Toranzo @ Reading Group and Ramiro Caso @ WIP Seminar

Joaquin Toranzo discussed Tim Button's article "Knot and Tonk" in the Reading Group, and Ramiro Caso presented his paper "Rescuing untyped pluralism" in our Work In Progress Seminar.

Lavinia Picollo @ WIP Seminar and Bruno Da Re @ Reading Group




On March 11, Lavinia Picollo presented her paper "Truth and Second-order quantification" in our WIP Seminar, and Bruno Da Re discussed Andreas Fjellstad ideas about Naive modus ponens and the failure of transitivity in the Reading Group.

Zardini and Redmond @ BA LOGIC WIP Seminar

0 (1) 

Last Friday we had two great guests at our WIP Seminar!

Elia Zardini (University of Lisbon, Portugal) presented his paper "Instability and Contraction" and Juan Redmond (University of Valparaíso, Chile) gave his talk titled "Dialogical Harmony: Tonk, constructive type theory and rules for anonymous players"

Zardini @ BA LOGIC WIP Seminar


Last Friday Elia Zardini (University of Lisbon) opened --with a nice musical touch-- the 2016 season of our Work In Progress Seminar with his talk "Against the World"

Elia Zardini at the Buenos Aires Logic Group

The philosopher and logician Elia Zardini (University of Lisbon) is visiting the Buenos Aires Logic Group for two weeks.

He is going to be part of our Work In Progress seminar. His talks are titled "Against the World" (February 26th) and "Instability and Contraction" (March 4th). Both talks will take place in SADAF (Bulnes 642) at 17:30hs.

See you there!

A new year begins with a redesigned website!

Welcome to the Buenos Aires Logic Group website! Here we will share with you academic news and announcements for events that will take part in our beloved city, as well as post our latest works.

We are very excited about 2016 and hope it will be a great year.

To keep in touch with us, we encourage you to also check our Facebook Page, where we will keep you posted weekly with new information!