zpravodaj ČSKI
aktuální číslo
přednáška
archiv
  - 2019
  - 2018
  - 2017
  - 2016
  - 2015
  - 2014
  - 2013
  - 2012
  - 2011
  - 2010
  - 2009
  - 2008
  - 2007
  - 2006
  - 2005
  - 2004
  - 2003
  - 2002
  - 2001
  - 2000
  - 1999
  - 1998
  - 1997
  - 1996
  - 1995
  - 1994
 
 
zpravodaj ČSKI - leden 2013 [ pdf ]
[ zaslat oznámení o přednášce ]
leden|únor|březen|duben|květen|červen|říjen|listopad|prosinec


datum: 16.1.2013 v 14:00
název: The algebraic structure of Intermediate Syllogisms
přednášející: Esko Turunen
místo konání: UI, 2.patro, místnost č.318

souhrn: In his book 'Intermediate Quantifiers' (2000) Philip L. Peterson introduced 3 quantifiers 'Almost-all', 'Most' and 'Many' and extended Aristotelian syllogisms containing the two classical one ('All' and 'Some'), to a syllogistic system containing 5 quantifiers (and their negative counterparts). Peterson gave a set theoretical semantics to his new quantifiers and proved that, out of the 4000 possible intermediate syllogisms, there are 105 valid one, 24 of the being the classical Aristotelian syllogisms. In this talk we show that Peterson's syllogisms can be associated with simple MV-algebra values which determine the validity/invalidity of each syllogism. We also shortly discuss possible extensions of syllogistic systems and, finally, we propose a simple way to deal with multi valued syllogisms.