Eduardo Barrio

Last updated

Eduardo Barrio

Eduardo Barrio is an Argentine logician.

Work

Since 2005 he is professor of logic at University of Buenos Aires and researcher at CONICET. He works in philosophy of logic, mainly interested in the notion of truth , especially in semantic paradoxes and the expressive limits of formal languages. He also works on non-classical logic, higher-order logic, and unrestricted quantification. He is also editor-in-chief of the collection "Enciclopedia Lógica", published by EUDEBA, which includes the first Spanish translation of the L. T. F. Gamut's work Logic, Language, and Meaning. [1]

Contents

He was visiting professor at MIT, CUNY, Oxford University and MCMP. As of 2020, Barrio is currently the director of BA-Logic. [2]

He has published three books: La Verdad Desestructurada, Las Lógicas de la Verdad, (both published by EUDEBA) and Paradojas, Paradojas y más Paradojas (published by Collage Pu.). He has several articles published by the best journals in the area: for example, in Synthese, Review of Symbolic Logic, Journal of Philosophical Logic, Logic Journal of the IGPL, Studia Logica and Analysis. [3] [4] [5] [6] [7] [8] [9] [10] [11]

Projects

Bibliography

Related Research Articles

A paraconsistent logic is an attempt at a logical system to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing "inconsistency-tolerant" systems of logic which reject the principle of explosion.

In classical logic, intuitionistic logic and similar logical systems, the principle of explosion, or the principle of Pseudo-Scotus, is the law according to which any statement can be proven from a contradiction. That is, from a contradiction, any proposition can be inferred; this is known as deductive explosion.

Game semantics is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes.

In logic, anti-psychologism is a theory about the nature of logical truth, that it does not depend upon the contents of human ideas but exists independent of human ideas.

In philosophy, verisimilitude is the notion that some propositions are closer to being true than other propositions. The problem of verisimilitude is the problem of articulating what it takes for one false theory to be closer to the truth than another false theory.

Carew Arthur Meredith, usually cited as C. A. Meredith, was an influential Irish logician, who worked in Trinity College, Dublin from 1943 to 1964. His work on condensed detachment is influential in modern research.

<span class="mw-page-title-main">Jean-Yves Béziau</span> Logician


Jean-Yves Beziau (French:[bezjo]; born January 15, 1965, in Orléans, France is a Swiss Professor in logic at the University of Brazil, Rio de Janeiro, and Researcher of the Brazilian Research Council. He is permanent member and former president of the Brazilian Academy of Philosophy. Before going to Brazil, he was Professor of the Swiss National Science Foundation at the University of Neuchâtel in Switzerland and researcher at Stanford University working with Patrick Suppes.

Intellectual honesty is an applied method of problem solving characterised by an unbiased, honest attitude, which can be demonstrated in a number of different ways:

<span class="mw-page-title-main">Gualtiero Piccinini</span> Italian–American philosopher (born 1970)

Gualtiero Piccinini is an Italian–American philosopher known for his work on the nature of mind and computation as well as on how to integrate psychology and neuroscience. He is Curators' Distinguished Professor in the Philosophy Department and Associate Director of the Center for Neurodynamics at the University of Missouri, St. Louis.

Dialogical logic was conceived as a pragmatic approach to the semantics of logic that resorts to concepts of game theory such as "winning a play" and that of "winning strategy".

In philosophy, Weyl's tile argument, introduced by Hermann Weyl in 1949, is an argument against the notion that physical space is "discrete", as if composed of a number of finite sized units or tiles. The argument purports to show a distance function approximating Pythagoras' theorem on a discrete space cannot be defined and, since the Pythagorean theorem has been confirmed to be approximately true in nature, physical space is not discrete. Academic debate on the topic continues, with counterarguments proposed in the literature.

The following is a list of works by philosopher Graham Priest.

In logic, an infinite-valued logic is a many-valued logic in which truth values comprise a continuous range. Traditionally, in Aristotle's logic, logic other than bivalent logic was abnormal, as the law of the excluded middle precluded more than two possible values for any proposition. Modern three-valued logic allows for an additional possible truth value and is an example of finite-valued logic in which truth values are discrete, rather than continuous. Infinite-valued logic comprises continuous fuzzy logic, though fuzzy logic in some of its forms can further encompass finite-valued logic. For example, finite-valued logic can be applied in Boolean-valued modeling, description logics, and defuzzification of fuzzy logic.

Richard Bradley is a South African philosopher. He is a professor at the London School of Economics and Political Science, a project leader at the Centre for Philosophy of Natural and Social Science, and the former editor of the journal Economics and Philosophy.

Dutch philosophy is a broad branch of philosophy that discusses the contributions of Dutch philosophers to the discourse of Western philosophy and Renaissance philosophy. The philosophy, as its own entity, arose in the 16th and 17th centuries through the philosophical studies of Desiderius Erasmus and Baruch Spinoza. The adoption of the humanistic perspective by Erasmus, despite his Christian background, and rational but theocentric perspective expounded by Spinoza, supported each of these philosopher's works. In general, the philosophy revolved around acknowledging the reality of human self-determination and rational thought rather than focusing on traditional ideals of fatalism and virtue raised in Christianity. The roots of philosophical frameworks like the mind-body dualism and monism debate can also be traced to Dutch philosophy, which is attributed to 17th century philosopher René Descartes. Descartes was both a mathematician and philosopher during the Dutch Golden Age, despite being from the Kingdom of France. Modern Dutch philosophers like D.H. Th. Vollenhoven provided critical analyses on the dichotomy between dualism and monism.

Russell Marcus is a philosopher specializing in philosophy of mathematics and the pedagogy of philosophy. He is Chair of Philosophy at Hamilton College and president of the American Association of Philosophy Teachers.

<span class="mw-page-title-main">Adriane Rini</span> Philosopher and professor at Massey University, New Zealand

Adriane Allison Rini is an academic and professor of philosophy at Massey University in New Zealand. Her research interests include Aristotelian logic, modal logic, and the history of logic.

Heather Battaly is a professor of philosophy at the University of Connecticut specializing in virtue epistemology and epistemic virtues and vices. She is editor-in-chief of the Journal of Philosophical Research and the Journal of the American Philosophical Association.

David Liggins is a philosopher at the University of Manchester with research interests in metaphysics and philosophy of mathematics.

Joseph Melia is a philosopher working in the areas of philosophy of mathematics, modal logic and possible worlds. He has made important contributions to the debate over the Quine–Putnam indispensability argument, where he argues for a "weaseling" approach to mathematical nominalism. He has also argued against modalism and the modal realism of David Lewis.

References

  1. Gamut, L. T. F. (2004). "Enciclopedia Lógica". Introducción a la lógica. Buenos Aires: EUDEBA.
  2. BA-Logic, WIP Seminar, Retrieved 03 July 2018
  3. Rahman, Shahid; Clerbout, Nicolas; Barrio, Eduardo Alejandro (2018). "Introducing consistency in a dialogical framework for paraconsistent logic" (PDF). Logic Journal of the IGPL. 28 (5): 953–972. doi:10.1093/jigpal/jzy069. S2CID   46791557. Archived from the original (PDF) on 7 March 2019.
  4. Barrio, Eduardo Alejandro (1 December 2010). "Theories of Truth without Standard Models and Yablo's Sequences". Studia Logica. 96 (3): 375–391. doi:10.1007/s11225-010-9289-8. ISSN   1572-8730. S2CID   14479264.
  5. Szmuc, Damian Enrique; Pailos, Federico Matias; Barrio, Eduardo Alejandro (1 August 2017). "A paraconsistent route to semantic closure" (PDF). Logic Journal of the IGPL. 25 (4): 387–407. doi:10.1093/jigpal/jzx009. ISSN   1367-0751.
  6. Barrio, Eduardo Alejandro; Pailos, Federico; Szmuc, Damian (1 October 2018). "Substructural logics, pluralism and collapse". Synthese. 198: 4991–5007. doi:10.1007/s11229-018-01963-3. ISSN   0039-7857. S2CID   52899227.
  7. Barrio, Eduardo; Ré, Bruno Da (2 January 2018). "Truth without standard models: some conceptual problems reloaded". Journal of Applied Non-Classical Logics. 28 (1): 122–139. doi:10.1080/11663081.2017.1397326. ISSN   1166-3081. S2CID   51872227.
  8. Barrio, Eduardo Alejandro; Pailos, Federico Matias; Szmuc, Damian Enrique (1 August 2017). "A paraconsistent route to semantic closure" (PDF). Logic Journal of the IGPL. 25 (4): 387–407. doi:10.1093/jigpal/jzx009. ISSN   1367-0751.
  9. Barrio, Eduardo; Rosenblatt, Lucas; Tajer, Diego (October 2015). "The Logics of Strict-Tolerant Logic". Journal of Philosophical Logic. 44 (5): 551–571. doi:10.1007/s10992-014-9342-6. hdl: 11336/109322 . ISSN   0022-3611. S2CID   29217719.
  10. Barrio, E.; Rodriguez-Pereyra, G. (1 January 2015). "Truthmaker Maximalism defended again" (PDF). Analysis. 75 (1): 3–8. doi:10.1093/analys/anu121. ISSN   0003-2638.
  11. Barrio, Eduardo; Rosenblatt, Lucas; Tajer, Diego (1 September 2016). "Capturing naive validity in the Cut-free approach". Synthese. 199: 707–723. doi:10.1007/s11229-016-1199-5. ISSN   0039-7857. S2CID   46977307.