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 http://www.ba-logic.com/publications/
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.
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: http://ba-logic.com/publications/
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: http://ba-logic.com/publications/
# CALL FOR PAPERS : 5th Workshop On Philosophical Logic #
November 23 to November 25, 2016
Argentinean Society of Philosophical Analysis (SADAF)
Buenos Aires, Argentina
• INVITED SPEAKERS
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: firstname.lastname@example.org
(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.
• IMPORTANT DATES
Deadline for reception of submissions: September 25
Communication of acceptance/rejection: October 1
For further information, you can contact us at email@example.com
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: Logic Journal of the IGPL #
Recovery Operators and Logics of Formal Consistency & Inconsistencies
• CALL FOR PAPERS
Submissions must be in clearly-written English. Instructions to Authors are on http://ift.tt/2bcq70d
To submit a contribution send a one page abstract to: firstname.lastname@example.org (c/copy to email@example.com)
Contributing papers are invited from both Philosophers, Logicians, Mathematicians and Computer Scientists.
• FOCUS OF THE PAPERS
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.
• SCOPE OF THE SPECIAL ISSUE
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
• IMPORTANT DATES
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: http://ift.tt/1INg6QQ
30 June: Comprehensive peer review and feedback
31 August: Re-submission deadline
30 September: Publication of the special issue
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.
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!
A Substructural day!
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 (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.
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: http://ba-logic.com/publications/.
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.
After a workshop-week, we resumed our seminars!
*** 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”
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.
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
PROGRAM AVAILABLE HERE
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)
Damian Szmuc (UBA - CONICET)
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.
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"
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!
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!