Partenaires

logo Equipe Chspam
Logo Laboratoire Logo équipe Rehseis
CNRS
Logo Université Paris-Diderot Logo Université Paris1-Panthéon-Sorbonne


Search

On this website

On the whole CNRS Web


Home > Archives > Workshops and Colloquie 1996–2012 > Workshops 2011-2012 > Ancient and Arabic Logic

Ancient and Arabic Logic

Thu. March 29, 2012, 10:00–16:00, Room Malevitch (483A), University Paris Diderot*



Workshop organized with seminar
“Sciences et Savoirs de l’Antiquité à l’Age classique”


Organiser: Ahmed Hasnaoui (SPHERE–CHSPAM).



10:00–12:00
Prof. Per Martin-Löf (Stockholm University, Royal Swedish Academy of Sciences)


Aristotle’s distinction between apophansis and protasis in the
light of the distinction between assertion and proposition in contemporary
logic.


Abstract: The distinction between apophansis and protasis seems to have been lost already in the Alexandrian commentator tradition (Ammonius, Philoponus), a loss which influenced both Arabic and Medieval logic. It will be argued that what caused the loss was Aristotle’s own definition of the logos apophantikos, that is, the declarative sentence, as one "in which truth or falsity inheres".



14:00 – 16:00
Prof. Wilfrid Hodges (Emeritus Professor Queen Mary, University of London, British Academy)


The grammar of meanings underlying Ibn Sina’s logic

Abstract: Ibn Sina, almost certainly following a tradition going back to
Porphyry, reduced the prerequisites for logic to a minimum by basing it on
our intuitive understanding of meanings. He saw meanings as organised
into a kind of dependency grammar, which in his logic plays a similar role
to Begriffsschrift in Frege’s logic. This gave him a handle for extending
logic radically, for example to sentences with complex patterns of
quantifiers.



* Laboratoire SPHERE, UMR 7219,
CNRS – Université Paris Diderot (Paris 7),
Campus Paris Rive gauche (PRG), building Condorcet,
4, rue Elsa Morante or 10, rue A. Domon et L. Duquet, 75013 Paris. Plan.
Metro line 14, RER C : stop Bibliothèque François Mitterrand