Edgar Andrade-Lotero

Edgar Andrade-Lotero
Universidad del Rosario | UR · School of Engineering Science and Technology

PhD in Logic

About

13
Publications
3,809
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
42
Citations
Introduction
Edgar Andrade-Lotero currently works at the Faculty of Natural Sciences and Mathematics, Universidad del Rosario. Edgar does research in Logic and Philosophy of Language. His current project is 'Division of Linguistic Labor and Collective Behavior.'
Additional affiliations
July 2006 - present
Universidad del Rosario
Position
  • Lecturer
Education
August 2007 - May 2012
University of Amsterdam
Field of study
  • Logic
August 2004 - February 2006
University of Amsterdam
Field of study
  • Logic
June 1996 - June 2002
National University of Colombia
Field of study
  • Mathematics

Publications

Publications (13)
Article
Full-text available
Often members of a group benefit from dividing the group's task into separate components , where each member specializes their role so as to accomplish only one of the components. While this division of labor phenomenon has been observed with respect to both manual and cognitive labor, there is no clear understanding of the cognitive mechanisms all...
Article
Full-text available
In this paper we criticize a widespread practice in the teaching, use, and dissemination of first-order logic in non-mathematical environments. This practice consists in the presentation of the truth-conditions of logical formulas by means of sentences in natural language-e.g., if 's' represents Socrates and 'H' represents the property of being hum...
Article
Full-text available
El propósito de este texto es presentar de manera precisa, aunque introductoria, los conceptos básicos de algunos modelos epidemiológicos en redes que al tomar en cuenta los patrones de contacto entre individuos contrastan con el modelo sir, en el cual la transmisión sólo depende de la densidad de individuos en cada uno de los estadios de la enferm...
Article
Full-text available
We investigate the relations among Brandom’s three dimensions of semantic inferential articulation, namely, incompatibility entailments, committive consequences, and permissive consequences. In his unpublished manuscript “Conceptual Content and Discursive Practice” Brandom argues that (1) incompatibility entailment implies committive consequence, a...
Article
Full-text available
Edgar Andrade-Lotero onderzocht twee modellen van taalkundige informatie. Hij richt zich met name op de filosofische vooronderstellingen van deze modellen. Eén van deze modellen is afkomstig uit de formele semantiek; het andere model is gebaseerd op een specifiek onderzoek naar de rol van tekens in onze gebruiken. Andrade-Lotero beargumenteert dat...
Article
Full-text available
We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete. Our case study will be Corcoran’s deductive system D for Aristotelian syllogistic and some of the different semantic systems for syllogistic that have been proposed in the literature. We...
Article
Full-text available
In this paper we propose to investigate the mutual relations among Brandom's three dimensions of semantic inferential articulation, namely, incompatibility en- tailment, committive, and permissive consequences. Brandom (Unpub.) argues (1) that incompatibility entailment implies committive consequence, and (2) that committive consequence in turn imp...
Article
Full-text available
This article studies the mathematical properties of two systems that model Aristotle's original syllogistic and the relationship obtaining between them. These systems are Corcoran's natural deduction syllogistic and Łukasiewicz's axiomatization of the syllogistic. We show that by translating the former into a first-order theory, which we call TRD,...
Article
Full-text available
Aristotelian syllogistic has been formalized for some time now by means of a natural deduction system, called D by John Corcoran. In a classical paper, Corcoran proves a completeness theorem for such a system. His proof involves the use of a reduced system, called RD, that is easier to handle and turns out to be equivalent to D. The question remain...
Article
Full-text available
Meaning and Form in Event Calculus Edgar Andrade Abstract: This thesis is two fold. The first part deals with an existence proof of a formal algorithm that takes a narrative discourse and returns its semantic repre sentation in the Event Calculus (EC from now on). This algorithm uses Discourse Representation Theory, and takes on the form of a trans...

Projects

Project (1)
Project
With this project we expect to contribute to a generativist explanation of a communal linguistic repertoire with Division of Linguistic Labor: we want to give an account of how a community of speakers that are experts with respect to some terms but laymen with respect to others generates a communal repertoire that binds every speaker in the community and can be exploited by all of them.