Edgar Andrade-Lotero

• PhD in Logic
• Professor (Associate) at Universidad del Rosario

Humans routinely form groups to achieve goals that no individual can accomplish alone. Group coordination often brings to mind synchrony and alignment, where all individuals do the same thing (e.g., driving on the right side of the road, marching in lockstep, or playing musical instruments on a regular beat). Yet, effective coordination also typica...

The division of linguistic labour (DLL), initially theorized by philosophers, has gained the attention of cognitive scientists in the last decade. Contrary to some controversial philosophical accounts of DLL, we propose that it is an extended mind strategy of offloading conceptual understanding onto other people. In this article, we empirically exp...

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 allo...

In this experiment we created the conditions for the emergence of a division in a cognitive task, mediated by language, instantiated in an image classification task. Participants received points for correctly labeling dogs. Accurate labeling required participants to draw distinctions between two pairs of highly confusable pairs of breeds: Norwich v...

The task is a two-player game in which players interact with 64 tiles arranged in an 8x8 grid. The grid can either hide a unicorn beneath one of the tiles or else it can be absent from the grid. Either event can occur with equal probability. At the beginning of each round, the computer chooses whether or not there is a unicorn, and if there is one,...

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...

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...

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...

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...

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...

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...

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,...

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...

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...