TALKS AT CONFERENCES
if a link does not work using the left button of your mouse, use the right button
*************************************************************
2023
*************************************************************
New perspectives on Anomalies in the Sciences
October 5 and 6, 2023, Rio de Janeiro, Brazil
Logical Treatment of Anomalies
September 13, 2023, Assisi, Italy
The Logic of Silence
*************************************************************
4th World Congress on Logic and Religion - WoCoLoR4
September 3-8, 2023, Sinaia, Romania
Religious Symbolism and Symbolic Logic
*************************************************************
39th Congress of ASPLF - Association des Sociétés de Philosophie de Langue
Française – LE MOUVEMENT
August 22-26, 2023, Neuchâtel, Switerland
Un Hexagone pour le Mouvement
*************************************************************
>
17th edition of the International Congress on Logic, Methodology and Philosophy of Science and Technology - CLMPST 2023
July 24-29, 2023, Buenos Aires, Argentina
Two different ways to conceive and define the notion of contradiction
*************************************************************
Logic in Question X
April 24-25, 2023, Sorbonne, Paris, France
Is p and ¬p a contradiction?
*************************************************************
São Paulo School of Advanced Science on Contemporary Logic, Rationality, and Information
February 6-17, 2023, Campinas, Brazil
Philosophical paraconsistency
*************************************************************
5th World Logic Day
January 14, 2023
The importance of logic for humanity
*************************************************************
2022
*************************************************************
Panel Discussion in Memories of Saul Kripe
November 29, 2022, Mexican Academy of Logic, Mexico
Souvenirs da Saul Kripke
*************************************************************
Symposium on Universal Logic
November 11, 2022, New Delhi, India
Universal Logic : A General Framework to Unify the Diversity of Logical Systems
*************************************************************
3rd World Congress on Logic and Religion - WoCoLoR3
November 4-8, 2022, Varanasi, India
The Notion of God, Existence and Contradiction
*************************************************************
Logic and Applications 2022 - LAP 2022
September 26-30, 2023, Dubrovnik, Croatia
Pure Implicational Intuitionistic Logic ? Framework and Problems
*************************************************************
13th International Conference on the Theory and Application of Diagrams - DIAGRAMS 2022
September 13-17, 2022, Rome, Italy
Square of Opposition: Theory and Applications (tutorial)
*************************************************************
7th World Congress on the Square of Opposition - SQUARE 2022
September 9-13, 2022, Leuven, Belgium
A Hexagon to Clarify Kant’s Two Dualities: Analytic/Synthetic ? A Priori/A Posteriori
*************************************************************
The Sixth World Congress of Paraconsistency in Torun (WCP6)
- The Second Stanislaw Jaskowski Memorial Symposium
September 5-8, 2022, Torun, Poland
What is contradiction?
*************************************************************
12th Congress Symmetry: Art and Science
July 11-16, 2022, Porto, Portugal
Ambiguous symmetry: the typical case of human beings
*************************************************************
Sense and the Making of Sense
June 2-4, 2022, St Peterburg, Russia
The Pyramid of Meaning
*************************************************************
Philosophical Schools After 1950
May 9-10, 2022, Warsaw, Poland
30 years of Experience with the Brazilian School of Logic
*************************************************************
S7th World Congress and School on Universal Logic - UNILOG'2022
April 1-11, 2022, Chania, Grete, Greece,
The Mystery of the Fifth Logical Notion - Alice in the Wonderful Land of Logical Notions
*************************************************************
4th World Logic Day
January 14, 2022
The exceptionality of logic
*************************************************************
2021
*************************************************************
Day in Honor of Professor Jean-Pierre Desclés (Former director of the Department of Mathematics and Informatics of the Sorbonne)
October 2, 2021, Sorbonne, Paris
Is logic exceptional?
*************************************************************
The Fourth International Conference on Intelligence Science- ICIS2021
February 24-27, 2021, Durgapur, West Bengal, India
The Hexagon of Intelligence
*************************************************************
3rd World Logic Day
January 14, 2021, Weclome celebration
History of the World Logic Day
*************************************************************
2020
*************************************************************
Second Congress of Russian Society for History and Philosophy of Science
November 27-29, 2020, St Petersburg, Russia
What is an axiom?
*************************************************************
2nd World Logic Day
January 14, 2020, Rio de Janeiro, Brazil
Logic is not logic
*************************************************************
2019
*************************************************************
XVIII Latin Americam Symposium on Mathematical Logic
December 16-20, 2019, Concepcion, Chili,
The Core of the Completeness Theorem
*************************************************************
Symmetry: Art and Science -11th Congress and Exhibition
Special Theme: Tradition and Innovation in Symmetry - Katachi
November, 25-30, 2019, Kanazawa, Japan
Symmetry of Opposition
*************************************************************
Newton da Costa, 16+09+2019 = 90
Workshop at the University of São Paulo, Brazil
September 16, 2019, São Paulo, Brazil
Arbitrariness Symbolic Key"
*************************************************************
14th World Congress of Semiotics IASS/AIS - TRAJECTORIES
September 9-13, 2019, Buenos Aires, Argentina
The Arbitrariness of the Sign in Question - 100 years or Arbitrariness
*************************************************************
Metamathematical Questions of Judgement and Decision: in Formal Systems and Natural Language
A week-end with Greg and Virginia Chaitin
August 24-25, 2019, Paraty, Brazil
Axiomatization and Incompleteness
*************************************************************
16th CLMPST - Congress of Logic, Methodology and Philosophy of Science and Technology
August 5-10, 2019, Prague, Czech Republic
Tarski’s two notions of consequence
*************************************************************
Kurt Gödel's Legacy: Does Future lie in the Past?
July 25-27, 2019, Vienna, Austria
Antisymmetry, Causality and Time
*************************************************************
19th Brazilian Logic Conference
May 6-10, 2019, João Pessoa, Brazil
Is it Possible to Prove the Existence of God in First-Order Logic?
*************************************************************
Logic in Question 9
April 15-16, 2019, Sorbonne, Paris, France
What is an Axiom?
*************************************************************
1st World Logic Day
January 14, 2019, Rio de Janeiro, Brazil
The Exceptionality of Logic
*************************************************************
2018
*************************************************************
Workshop in Honor of Francisco Antônio Dória
December 8-9, 2018, Rio de Janeiro, Brazil
What is an Axiom?
*************************************************************
6th World Congress on the Square of Opposition
November 1-5, 2018, Orthodox Academy of Crete, Greece
Turnstile Figures of Opposition
*************************************************************
18th Congress of the ANPOF
Associação Nacional de Pós-Graduação em Filosofia
October 22-26, 2018, Vitória, Brazil
Fallacies ad Exemplum
*************************************************************
Non-Classical Logic. Theory and Applications - Ninth edition,
September 24–27, 2018; Torun, Poland
Paraconsistent propositions: philosophical and mathematical aspects
*************************************************************
XXIV World Congress of Philosophy - Learning to Be human
August 13-20, 2018, Beijing, China
Beyond dichotomy
*************************************************************
XXIV World Congress of Philosophy - Learning to Be human
August 13-20, 2018, Beijing, China
Political Correctness - Toward a Global Ethos
*************************************************************
41st International Wittgenstein Symposium
August 5-11, 2018, Kirchberg, Austria
Classical propositional logic in the Tractatus versus elsewhere
*************************************************************
6th World Congress and School on Universal Logic – UNILOG’2018
June, 16-26, 2018, Vichy, France
In which sense symbolic logic is symbolic?
*************************************************************
Logic in Question VIII
May 14.15, 2018, Paris, France
Identity and equality in Mathematics, Logic and Politics
*************************************************************
The Love Symposion
March 31, 2018, Rio de Janeiro, Brazil
5 forms of love
*************************************************************
37th Congress of ASPLF - Association des Sociétés de Philosophie de Langue
Française – L’IMAGINATION
March 26-31, 2018, Rio de Janeiro, Brazil
Peut-on imaginer l'impossible et/ou l'inconcevable?
*************************************************************
Mathematics and Culture, 2nd International Congress
January 8-11, 2018, Kolkata, India
Identity and equality in Mathematics, Logic and Politics
*************************************************************
2017
*************************************************************
Mathematics, Logic and Language in Schopenhauer
December 7-8, 2017, Hagen, Germany
The Logic of Schopenhauer
*************************************************************
3rd ISRALOG: Research Workshop of the Israel Science Foundation
October 15-17, 2017, Haifa, Israel
Subtractive Paraconsistent Logic
*************************************************************
2nd World Congress on Logic and Religion
June 18-22, 2017, Warsaw, Poland
Is there any logic in the best of all possible worlds?
*************************************************************
HOMO LOGICUS II
L'ENFANCE DE LA LOGIQUE, LOGIQUES « NATIVES »
June 15-16, 2017, Paris, France
Jean Piaget, le développement de l'intelligence et de la logique
*************************************************************
Logic In Question 7
June 13-14, 2017, Paris, France
MANY 1 - A Transversal Imaginative Journey across the Realm of Mathematics
*************************************************************
XVIII Brazilian Logic Conference
May 8-12, 2017, Pirenópolis, Brazil
Logical structures from a model-theoretical point viewpoint
*************************************************************
FORMAL METHODS AND SCIENCE IN PHILOSOPHY II
May 4-6, 2017, Dubrovnik, Croatia
Cats that are not cats
*************************************************************
Consequence and Paradox
Between Truth and Proof
March 2-3, 2017, Tübingen, Germany
Beyond Truth and Proof
*************************************************************
2016
*************************************************************
42nd Association for Moral Education Annual Conference
December 8-11, 2016, Harvard, Cambridge, MA, USA
The Challenge of Political Correctness
************************************************************
Workshop on modal logic
Novembre 17, 2016, Santiago, Chile
Possibility, Contingency and the Hexagon of Modalities
************************************************************
5th World Congress on the Square of Opposition
Novembre 11-15, 2016, Easter Island, Chile
Applications of the Square of Opposition
*************************************************************
First International Conference on Intelligence Science - ICIS2016
October 30, Novembre 2, 2016, Chengdu, China
Logic and Intelligence
*************************************************************
17th Congress of the ANPOF
Associação Nacional de Pós-Graduação em Filosofia
October 17-21, 2016, Aracaju, Brazil
What is a propositional variable?
*************************************************************
Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE
September 12-15, 2016, Campinas, Brazil
Paraconsistent Logic and Contradiction
*************************************************************
8th INTERNATIONAL CONFERENCE- NON-CLASSICAL LOGICS THEORY AND APPLICATIONS
September 5-7, 2016, Lodz, Poland
Paraconsistent Logic - From A to Z
*************************************************************
ISSC 2016 - INTERNATIONAL CONFERENCE- THE LOGICS OF IMAGE: VISUALIZATION, ICONICITY, IMAGINATION AND HUMAN CREATIVITY
July 25-30, 2016, Santorini, Greece
Possibility, Imagination and Conceptualization
*************************************************************
IJCAR 2016 - 8TH JOINT INTERNATIONAL CONFERENCE ON AUTOMATED REASONING - COMPOSITIONAL MEANING IN LOGIC [GeTFun 4.0]
July 1-2, 2016, Coimbra, Portugal
The structure of modal completeness
*************************************************************
SUMMER SCHOOL IN COGNITIVE SCIENCES
June 20 - July 1st, 2016, Montreal, Canada Portugal
Can logic make us more rational?
*************************************************************
THE 12TH INTERNATIONAL CONFERENCE “LOGIC TODAY: DEVELOPMENTS AND PERSPECTIVES”
June 22-24, 2016, St. Petersburg, Russia
Is the principle of contradiction a consequence of xx = x ?
*************************************************************
Logic in Question VI
June 13-14, Sorbonne, Paris, France
L'analyse conceptuelle prototypique
*************************************************************
The 29th International FLAIRS Conference
May 16-18, 2016, Key Largo, Florida, USA
Application of Paraconsistent Logic to Technology (Poster)
*************************************************************
2015
*************************************************************
The 1st World Congress on Analogy
November 4-6, 2015, Puebla, Mexico
The Logical Hexagon of Analogy: Structuring the Relations between Difference, Identity and Similarity
*************************************************************
Logicity - Philosophy of Logic Workshop
September 8-9, 2015, Mexico City, Mexico
Logic is not logic
*************************************************************
IX Principia International Symposium
Possible worlds and their applications in philosophy and the sciences
August 17-20, 2015, Florianópolis, Brazil
What is a possible world?
Award Ceremony First Newton da Costa prize of Logic
*************************************************************
Logic Colloquium 2015
August, 3-8, 2015, Helsinki, Finland
Round squares are no contradiction
*************************************************************
Workshop History and Philosophy of Logic Notations
August, 1-2, 2015, Tallinn, Estonia
Semiotics of Modern Logic
*************************************************************
5th Wolrd Congress and School on Universal Logic
June 20-30, 2015, Istanbul, Turkey
Opening and Closing Sessions
*************************************************************
10th Panhellenic Logic Symposium
June 11-15, 2015, Karlovasi, Samos, Greece
Introduction to
Universal Logic
*************************************************************
Logic in Question V
June 8-9, 2015, Paris, France
Un cercle carré n'est pas une contradiction
************************************************************
44th Annual Meeting of the Society for Exact Philosophy - SEP
May 22-24, 2015, Hamilton, Canada
Paraconsistent Logic and Contradictory Viewpoints
*************************************************************
1st Wolrd Congress on Logic and Religion
April 1-5, 2015, João Pessoa, Brazil
Is God Paraconsistent?
3rd Workshop LOGIA – Logic and Artiificial Intelligence
March 27, 2015, Fortaleza, Brazil
The Future of Logic
*************************************************************
2nd International Colloquium on Colours and Numbers
March 23-26, 2015, Fortaleza, Brazil
Interaction between oppositions and colours
*************************************************************
2014
*************************************************************
16th Congress of the ANPOF
Associação Nacional de Pós-Graduação em Filosofia
October 27-31, 2014, Campos do Jordão, Brazil
Names of Logics
*************************************************************
35th Congress of the ASPLF
Association des Sociétés de Philosophie de Langue Française
August 26-30, 2014, Rabat, Morocco
Le Possible et l'Impossible - Au-delà de la Dichotomie
*************************************************************
Logic and Utopia
July, 26, 2014, Andros Island, Greece
Logic, Imagination and Possibility
*************************************************************
GeTFun 2.0. Compositional Meaning in Logic
Part of the Vienna Summer of Logic
July, 22-23, 2014, Vienna, Austria
Non truth-functional bivalent logics extending classical bivalent logics
*************************************************************
III Latin American Analytic Philosophy Conference and III Conference of the Brazilian Society for Analytic Philosophy
May 27-30, 2014, Fortaleza, Brazil
Round Squares are no Contradictions
and
Dices: a Hazardous Symbol for Chance?
*************************************************************
Logic in Question IV
May 13-14, 2014, Paris, France
Le Symbolisme en Logique
************************************************************
4th World Congress on the Square of Opposition
May 5-9, 2014, Vatican
Square of Opposition: Past, Present and Future
*************************************************************
International Congress on History and Philosophy of Mathematics
Tribute to Sir Ashutosh Mookherjee
February 20-22, 2014, Kolkata, Inida
Bourbaki and Modern Mathematics
*************************************************************
How far can we Believe in our World of Everyday Experience
February 18, 2014, Kolkata, India
Identity and Reality
*************************************************************
5th World Congress on Paraconsistent Logic
February 13-17, 2014, Kolkata, India
Paraconsistent Logic and Contradictory Viewpoint
*************************************************************
2013
*************************************************************
Philosophy, Science and Paraconsistency
December 12-13, 2013, Campinas, Brazil
What can and should be a Paraconsistent Negation?
*************************************************************
Philosophy, Science and Paraconsistency
December 12-13, 2013, Campinas, Brazil
Towards an Encyclopaedia of Logic
*************************************************************
27th Congress of the Interamerican Society of Philosophy
October 07-11, 2013, Salvador, Brazil
Defining Human Beings
*************************************************************
23rd World Congress of Philosophy
August 04-10, 2013, Athens, Greece
Possible worlds : a Fashionable Nonsense?
*************************************************************
23rd World Congress of Philosophy
August 04-10, 2013, Athens, Greece
Round table on imagination
*************************************************************
Logic in Question III
May 2-3, 2013, Paris, France
Should we teach logic in highschool?
*************************************************************
March 29 Abril 7, Rio de Janeiro, Brazil
Why Study Logic?
*************************************************************
The Place of Philosophy of Science at Lisbon University
February 12.15, 2013, Lisbon, Portugal
Philosophy, Logic and Mathematics
*************************************************************
2012*************************************************************
Logic: Between Semantics and Proof Theory
A Workshop in Honor of Prof. Arnon Avron's 60th Birthday
November 01-02, 2012, Tel Aviv, Israel
Linking Proof and Truth through Abstract Logic
*************************************************************
Nikolai Vasiliev's Logical Legacy and Modern Logic
October 24-25, 2012, Moscow, Russia
The Square of Oppostion and Imaginary Logic
*************************************************************
First International Conference on Logic and Relativity
Honoring István Németi's 70th birthday
September 08-12, 2012, Budapest, Hungary
The Relativity and Universality of Logic
*************************************************************
Philosophy and Mathematics of Uncertainity and Vagueness
August 06-15, 2012, Campinas, Brazil
Natural Paraconsistent Negations
*************************************************************
3rd World Congress on the Square of Opposition
June 26-30, 2012, Beirut, Lebanon
Under Sign of the Hexagon
*************************************************************
Logic in Question II
May 2-3, 2011, Paris, France
Logic and Imagination
*************************************************************
2011
*************************************************************
LNAT2 : Logic Diagrams
Their History and Reality in Language and Cognition
December 21-22, 2011, Brussels, Belgium
Going beyond Dichotomy with the Square and the Hexagon of Opposition
*************************************************************
Workshop on logic and truth
November 29-30, 2011, Brasilia, Brazil
Logic is not logic
The Power of the hexagon
*************************************************************
VII Principia International Symposium
August 15-18, 2011, Florianópolis, Brazil
Arbitrary Signs vs. Powerful Symbols
*************************************************************
XVI EBL - Brazilian Logic Conference
May 9-13, 2011, Petrópolis, Brazil
Deconstruction of Negation
*************************************************************
Logic in Question I
May 2-3, 2012, Paris, France
Logic is not logic
*************************************************************
2010
*************************************************************
Jornadas Rolando Chuaqui
November 10-12, 2010, Valparaiso, Chile
Is Logic Universal?
*************************************************************
Journées Alain Badiou
October 12-14, 2010, Paris, France
Badiou et les Modèles
*************************************************************
LRR10 - Logic, Reasoning and Rationality
September 20-22, 2010, Ghent, Belgium
Rules of the Game
*************************************************************
Cutting the "Not": Workshop on Negativity and Reflexivity
September 10-12, 2010, Maastricht, The Netherlands
From Classical Negation to Paranormal Negation
*************************************************************
1st World Conference on Metaphysical Logic
August 16-19, 2010, Sao Paulo, Brazil
Logic, Reasoning, Reality
*************************************************************
2nd World Congress on the Square of Opposition
June 17-20, 2010, Corte, Corsica
The Power of the Hexagon
*************************************************************
3rd World Congress and School on Universal Logic
Abril 18-25, 2010, Lisbon, Portugal
Perspectives on Universal Logic
*************************************************************
2009
*************************************************************
4th World Conference on Metaphysics
November 5-7, 2009, Rome, Italy
Louis Rougier 's conception of logic and metaphysics
*************************************************************
Epistemology of Economical Sciences
October 1-2, 2009, Buenos Aires, Argentina
The Logical Geometry of Economy
*************************************************************
Science, Truth and Consistency
August 23-28, 2009, Campinas Brazil
From Paraconsistency to Universality – a Logical Odissey
*************************************************************
6th Smirnov's Readings
June 17-19, 2009, Moscow, Russia
What is a logic ?
*************************************************************
1st LogComb Workshop
May 20-22, 2009, Fortaleza, Brazil
Universal Logic and Anti-Classical Logic
*************************************************************
Logical Aspects of Negation
April 20-21, 2009, Natal, Brazil
Cats that are not Cats
*************************************************************
International Workshop on Metaphysics with Kit Fine
April 13-14, 2009, Fortaleza, Brazil
Is Reality Contradictory ?
*************************************************************
2008
*************************************************************
Logic Now and Then
November 5-7, 2008, Brussels, Belgium
Some - Geometrical Representations of the Quantifiers
*************************************************************
WCP4 - The Fourth World Congress on Paraconsistency
July 13-18, 2008, Melbourne, Australia
The World of Paraconsistency
*************************************************************
AAP 2008 - Annual Congress of the Australasian Association of Philosophy
July 6-11, 2008, Melbourne, Australia
The Logic of of Imagination
*************************************************************
Workshop with Saul Kripke on Possible Worlds
June 5, 2008, Neuchâtel, Switzerland
What is a possible world?
*************************************************************
ECAP08 - 6th European Conference on Computing and Philosophy
June 16-18, 2008, Montpellier, France
Extensions of the square of opposition and their applications
*************************************************************
International Workshop on Truth Values
May 29 - June 2008, Dresden, Germany
The Structure of Truth-Values
*************************************************************
XV EBL - 15th Brazilan Meeting on Logic
XIV - 14th Latin-American Symposium on Mathematical Logic
May 11-17, 2008, Paraty, Brazil
From Formal Logic to Universal Logic
*************************************************************
2007
*************************************************************
Imagination - Interdisciplinary Congress
December 17-18, 2007, Neuchâtel, Switzerland
Logic and Imagination
*************************************************************
Identity and Structure
December 7-8, 2007, Brussels, Belgium
Identity, Logic and Structure
*************************************************************
Identification Problems in Unusual Contexts
(Non-classical logics and/or set theories)
December 6, 2007, Brussels, Belgium
Identity in Propositional Logic
*************************************************************
2nd World Congress on Universal Logic
August 20-22, 2007, Xi'an, China
Universal Logic and Modern Logic
*************************************************************
13th International Congress of Logic,
Methodology and Philosophy of Science
August 8-15, 2007, Beijing, China
Imagination and Possibility
*************************************************************
15th Annual Meeting of the European
Society for Philosophy and Psychology
July 9-12, 2007, Geneva, Switzerland
Imagination in Perspective
*************************************************************
CombLog'07 - International Workshop on
Combination of Logics
July 4, 2007, Neuchâtel, Switzerland
Combination of Logics and Universal Logic
*************************************************************
1st World Congress on the Square of Opposition
June 1-3, 2007, Montreux, Switzerland
The O-corner, Paraconsistent Logic and the Polyhedron of Opposition
*************************************************************
2nd Congress of the SPS (Society for Philosophy of Science)
March 29-31, 2007, Geneva, Switzerland
Universal Logic and the Unity of Science
*************************************************************
2006
*************************************************************
31st Congress of the French Speaking Associations of Philosophy
August 29 - September 2, Budapest, 2006, Hungary
Mysterious Identity
*************************************************************
International Conference of Mathematicians ICM-2006
August 22-30, 2006, Madrid, Spain
Universal Logic: Towards a general theory of logics
Winner of the Prize in the section Logic and Foundations
*************************************************************
XIII Latin American Symposium on Mathematical Logic
August 7-12, 2006, Oaxaca, Mexico
Absolute maximality
*************************************************************
Annual Meeting of the Swiss Society of Philosophy
What is philosophy?
May, 19-20, 2006, Neuchâtel, Switzerland
Philosophy and Logic
*************************************************************
Applications of Algebra to Logic and Informatics X
March, 6-12, 2006, Zakopane, Poland
Universal Algebra and Universal Logic
*************************************************************
2005
*************************************************************
3rd Indian International Conference on Artificial Intelligence
December, 17-19, 2005, Pune, India
Combining Conjunction with Disjunction
*************************************************************
In between Logic, Informatics and Biology:
Godel, Turing and Von Neumann
December, 9-10, 2005, Nice, France
Brain, Association and Truth
*************************************************************
The Impact of Categories - 60 Years of Category Theory
in Historical and Philosohical Retrospect
October 10-14, 2005, Paris, France
Set Theory and Category Theory: Rivalry or Complementarity?
************************************************************
Paradox: Logical, Cognitive and Communicative Aspects
November, 4-6, 2005, Riga, Latvia
Pardoxes and Transitivity
*************************************************************
Krisis: II Forum of Contemporary Philosophy
August 29 - September 3, 2005, Rio de Janeiro, Brazil
Science in Crisis
*************************************************************
Fourth Principia International Symposium - The Philosophy of Donald Davidson
August 8-11, 2005, Florianopolis, Brazil
The Formal Character of Logic
*************************************************************
Semantics and Meaning - Workshop with Saul Kripke
July 25-28, 2005, Campinas, Brazil
Kripke structures without possible worlds
*************************************************************
Proof in Mathematics: Logic, History and Philosophy
May 24-28, 2005, Lille, France
From Metamathematics to Universal Logic
*************************************************************
Identity: Ontological Perspectives
May 25-27, 2005, Amsterdam, The Netherlands
Identity, between Triviality and Absurdity
*************************************************************
From Philosophy of Logic to Philosophical logic: the Case of Bivalence
April 28-29, 2005, Nancy, France
La bivalence à tort et à raison
*************************************************************
Contemporary Perspectives on Logicism
April 21-23, 2005, Neuchâtel, Switzerland
Morpho-logicism and beyond
*************************************************************
1st World Congress and School on Universal Logic
March 26 - April 3, 2005, Montreux, Switzerland
Turorial: Introduction to Universal Logic
Round table: Present and Future of Universal Logic
**************************************************************
1st Meeting of the Society of Philosophy of Science - SPS
January 21-22, 2005, Paris, France
The Notion of Sublogic
**************************************************************
2004
*************************************************************
Third Philosophy Day - UNESCO
November 18, 2004, Paris, France
Universities and Globalization
**************************************************************
11th Brazilian National Meeting of Philosophy - ANPOF
October 18-22, 2004, Salvador, Brazil
The Game of Truth
**************************************************************
Louis Rougier (1889-1982): Life and Work of a Committed Philosopher
October 6-9, 2004, Geneva, Switzerland
Rougier, critic of Aristotle
**************************************************************
Logic, Ontology, Aesthetics - The Golden Age of Polish Philosophy
September 23-26, 2004, Montreal, Canada
Tarski on Consequence and Consequence
**************************************************************
Workshop on Combination of Logics: Theory and Applications
August 28-30, 2004, Lisbon, Portugal
A Paradox in the Combination of Logics
**************************************************************
Australasian Association for Philosophy’s Annual Conference 2004
July 4-9, 2004, South Molle Isalnd, Australia
Three Definitions of Human Being
**************************************************************
Russian Logical Meeting
June 20-22, 2004, Saint Petersburg, Russia
Politomy
The 9th Annual Conference ************************************************************** Philosophy between logical unity/plurality ************************************************************** XII SLALM – Latin-American Symposium on Mathematical Logic ************************************************************** 2003 ************************************************************* Sopha Colloquium - Language, Thought and Action ************************************************************** CMSRA III - Computational Models for Scientific ************************************************************** 21st World Congress of Philosophy ************************************************************** 12th International Congress of Logic, III World Congress on Paraconsistency ************************************************************** LOGICA 2003 International Symposium ************************************************************** 4th Smirnov’s Reading ************************************************************** The 31th Annual Meeting of the Society for Exact Philosophy
The 8th Annual Conference ************************************************************** FOTFS IV - Foundations of the Formal Sciences IV ************************************************************** 2002 ************************************************************* Quantification – Annual Meeting of the Swiss Society for Logic and Philosophy of Sciences ************************************************************** PILM 2002 - Philosophical Insights into Logic and Mathematics: ************************************************************** 14th European Summer School in Logic, Language and Information – ESSLI ************************************************************** 8th Wollic (Workshop on Logic, Language, Information and Computation) ************************************************************** 3rd South-American Meeting of Philosophy and History of Sciences ************************************************************** Foundation of Sciences – Meeting dedicated to the 80th Birthday of Patrick Suppes ************************************************************** 2001 ************************************************************* Australasian Association of Philosophy Conference’2001 (New Zealand Division) ************************************************************** Annual Meeting of the Australasian Logic Society’2001 ************************************************************** Second Principia International Symposium ************************************************************** Annual Meeting of the Australasian Association of Philosophy’2001 ************************************************************** International Conference on Artificial Intelligence – IC-AI’2001-08-28 ************************************************************** Smirnov’s Readings – 3th International Conference ************************************************************** Annual Meeting of the Society for Exact Philosophy ************************************************************** 2000 ************************************************************* 12th European Summer School in Logic, Language and Information – ESSLI ************************************************************** Logic Colloquium 2000 – ASL European Summer Meeting ************************************************************** 6th Barcelona Logic Meeting ************************************************************** Association for Symbolic Logic – 2000 Annual Meeting ************************************************************** 2nd World Congress on Paraconsistency ************************************************************** 1999 ************************************************************* 1st Southern African Summer School and Workshop on Logic, Universal Algebra and Theoretical Computer Science ************************************************************** 11th International Congress of Logic, Methodology and Philosophy of Science ************************************************************** 1st Principia International Symposium ************************************************************** 5th Wollic (Workshop on Logic, Language, Information and Computation) ************************************************************** 11th Brazilian Meeting of Logic ************************************************************** 1998 ************************************************************* 8th National Brazilian Meeting of Philosophy - ANPOF ************************************************************** 20th World Congress of Philosophy ************************************************************** Stanislaw Jaskowski Memorial Symposium ************************************************************** 4th Bariloche Meeting of Philosophy ************************************************************** Pratica’98 (Proof, Type and Categories) ************************************************************** Visions of Science - Meeting with Sokal and Bricmont ************************************************************** Logic, Proofs and Algorithms ************************************************************** 1997 ************************************************************* 4th Brazilian Meeting of Analytic Philosophy ************************************************************** 20th Brazilian Congress of Applied and Computational Mathematics ************************************************************** 4th Wollic (Workshop on Logic, Language, Information and Computation) ************************************************************** 1st World Congress on Paraconsistency ************************************************************** 27th International Symposium on Multiple-Valued Logic ************************************************************** 2nd Annual Conference on Applications of Logic in Philosophy and Foundations ofMathematics ************************************************************** 1996 ************************************************************* 3rd Bariloche Meeting of Philosophy ************************************************************** 3rd Wollic (Workshop on Logic, Language, Information and Computation) ************************************************************** 11th Brazilian Meeting of Logic ************************************************************** Pratica’96 (Proof, Type and Category) ************************************************************** 1995 ************************************************************* 9th Brazilian Meeting of Philosophy, ************************************************************** 1994 ************************************************************* Logica’94- 8th International Symposium ************************************************************** 1993 ************************************************************* Logica’93- 7th International Symposium ************************************************************** 1992 ************************************************************* 38th Conference of History of Logic, ************************************************************** 9th Latin American Symposium on Mathematical Logic, ************************************************************** 1991 ************************************************************* 7th Brazilian Congress on History of Sciences ************************************************************** 1st International Symposium on History of Science and Epistemology
Applications of Logic in Philosophy and the Foundations of Mathematics
April 26-30, 2004, Karpacz, Poland
Does logic need axioms?
and mathematical unity/plurality
February 20-21, 2004, Nice, France
From universal algebra to universal logic
January 7-16, 2004, San Jose, Costa Rica
De Morgan Logic
September 26-28, 2003, Montreal, Canada
Possible Worlds: a Fashionable Nonsense?
Reasoning and Applications
September 14-15, 2003, Buenos Aires, Argentina
Semantic Computation of Truth based on Associations already Learned
August 10-17, 2003, Istambul, Turkey
Round table on paraconsistent logic
Methodology and Philosophy of Science
August 7-13, 2003, Oviedo, Spain
The Stellar Dodecahedron of Oppositions
**************************************************************
July 28-31, 2003, Toulouse, France
Classification of Paraconsistent Logics
June 17-20, 2003, Kravsko , Czech Republic
On the Relations and Confusions between the Principles of Bivalence, Contradiction and Excluded Middle
May 28-31, 2003, Moscow, Russia
New Light at the Square of Opposition and its Nameless Corner
Language – Truth - Logic
May15-18, 2003, Vancouver, Canada
New Light at the Square of Opposition and its Nameless Corner
**************************************************************
Applications of Logic in Philosophy and the Foundations of Mathematics
May 6-10, 2003, Karpacz, Poland
A New Four-Valued Approach to Modal Logic
The History of the Concept of the Formal Sciences
February 14-17, 2003, Bonn, Germany
The Formal Character of logic
October 7-10, 2002, Neuchâtel, Switzerland
Quantification, Constant and Variable
The History and Outcome of Alternative Semantics and Syntax
September 30 - October 4, 2002, Nancy, France
Many-valued and Kripke Semantics
August 5-16, 2002, Trento, Italy
Paraconsistent Logic from a Modal Viewpoint
July 30 - August 2, 2002, Rio de Janeiro, Brazil
Non Truth-Functional Bivalent Semantics
May 27-30, 2002, Aguas de Lindoia, Brazil
Theories and Models
April 22-23, 2002, Florianopolis, Brazil
Congruence and Identity
December 3-8, 2001, Auckland, New Zealand
Nominal and Ontological Identity
November 28-30, 2001, Wellington, New Zealand
A Four-Valued Modal Logic
August 6-10, 2001, Florianópolis, Brazil
Identity, Cardinality and Entity
July 1-6, 2001, Hobart, Australia
Universal Logic: How to gather the multiplicity of logics and compare different logics?
June 25-28, 2001, Las Vegas, USA
The Logic of Confusion
May 24-27, 2001, Moscow, Russia
What is Classical Propostional Logic?
May 11-14, 2001, Montreal, Canada
Sentence, Proposition and Identity
August 6-18, 2000, Birmingham, England
Introduction to Paraconsistent Logic (Introductory Course)
July 23-31, 2000, Paris, France
Universal Logic : Towards a General Theory of Logics
July 5-8, 2000, Barcelona, Spain
Universal Logic : Towards a General Theory of Logics
June 3-7, 2000, Champaign, USA
Universal Logic : Towards a General Theory of Logics
Juquehy, Brazil, May 8-10, 2000
Are Paraconsistent Negations Negations ?
December 1-10, 1999, Johannesburg, South Africa
From Paraconsistent Logic to Universal Logic
August 20-26,1999, Cracow, Poland
The Philosophical Import of Polish Logic
August 9-12, 1999 Florianopolis, Brazil
Are there any Logical Principles?
May, 24-28, 1999, Itatiaia, Brazil
A Sequent Calculus for Lukasiewicz’s Three Valued Logic
May, 24-28, 1999, Itatiaia, Brazil
Singular Terms in Mathematical Logic
September 26-29, 1998, Caxambu, Brazil
Round table on Translations between Logics
August 10-16, 1998, Boston USA
Do Sentences Have Identity ?
July 15-18, 1998, Torun, Poland
The Paraconsistent Logic Z
June 24-27, 1998, San Carlos de Bariloche, Argentina
Philosophy and Logic : Asset and Perspectives
June 18-19, 1998, Rio de Janeiro, Brazil
Logical Rules and Logical Laws
April 27-28, 1998, São Paulo, Brazil
Round table on Logic and Language
April 15-18, 1998, Campinas, Brazil
Sequents and Bivaluations
October 6-9, 1997, Florianopolis, Brazil
Philosophical Aspects of Non Classical Logic
September 8-12, 1997, Gramado, Brazil
Neojunction : between Conjunction and Disjunction
August 20-22, 1997, Fortaleza, Brazil
Classical Negation can be Expressed by One of its Halves
July 30 - August 2, 1997, Ghent, Belgium
What is Paraconsistent Logic ?
May 28-30, 1997, Antigonish, Canada
What is Many-Valued logic ?
April 24-27, 1997, Karpacz, Poland
Universal Logic in Perspective
August 29-31, 1996, San Carlos de Bariloche, Argentina,
Present Philosophical Tendencies
May 8-10, 1996, Salvador, Brazil
Paraconsistent Model Theory
May 6-10, 1996, Salvador, Brazil
The Mathematical Structure of Logical Syntax
April 24-25, 1996, Rio de Janeiro, Brazil,
Rules, Derived Rules, Permissible Rules and the Various Types of Systems of Deduction
September 3-7, 1995, São Paulo, Brazil
Applications of Paraconsistent Logic to Justice and Law
June 6-10, 1994, Liblice, Czech Republic
Universal Logic
June 1-4, 1993, Liblice, Czech Republic
Du Pont’s paradox and the Problem of Intensional Logic
November 17-18, 1992, Cracow, Poland
On the Formalization of the Principium Rationis Sufficientis
August 10-14, 1992, Bahía Blanca, Argentina
Valuation Theory
November 26-30, 1991, Agua de Lindoia, Brazil
The Principium Rationis Sufficientis and logic according to Schopenhauer
October 8-10, 1991, Piracicaba
The evolution of logic