Technion
 
         Computer Science Colloquium
 
Time+Place : Tuesday 13/11/2012 14:30 room 337-8 Taub  Bld.
Speaker    : Dov Gabbay
Affiliation: Bar-Ilan University
Host       : Johann Makowsky
Title      : Backward causality in temporal Talmudic logic
 
Abstract   :
We consider conditionals of the form A --> B where A depends on the future
and B on the present and past. We examine models for such conditionals
arising in Talmudic legal cases. We shall study Inverse causality from
future to past, where a future condition can influence a legal event in the
past (this is a man made causality).
 
Short Bio:
=========
Dov Gabbay is prof of logic at Bar Ilan university .
He held regular positions  at Stanford university, Imperial College London,
Max Planck Institute  and Kings college London and held visiting positions
at Univ of Stuttgart, Univ of Munich, Univ of Luxembourg, Univ of Manchester
and London School of Economics.
He has published over 450 research papers and over 30 research monographs on
various areas of applied logic and  edited over 50 Handbooks volumes on
applied logic.
He is founder and Editor -in -Chief of 3 major  logic journals.
At  Bar Ilan he is heading the Talmudic  Logic  group, who so far published
7 research monographs ( out of planned  15-20 ) modelling various aspects of
Talmudic reasoning.
 
Refreshments served from 14:15 on,
 	Lecture starts at 14:30
 
----------------------------------------------------------
Visit our home page-   <http://www.cs.technion.ac.il/~colloq>
 
---------------------------------------------------------
Technion Math. Net (TECHMATH)
Editor: Michael Cwikel   <techm@math.technion.ac.il> 
Announcement from: Hadas Heier   <heier@cs.technion.ac.il>