To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Logical constants and inv… - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Logical constants and invariance

Conference contribution
Authors Fredrik Engström
Published in INSTITUT MITTAG-LEFFLER SEMINAR
Publication year 2009
Published at Department of Philosophy, Linguistics and Theory of Science
Language en
Keywords Logical constants, quantifiers, invariance
Subject categories Mathematical logic, Logic, Theoretical philosophy

Abstract

According to Tarski an operation on a domain should be counted as a logical constant iff it is invariant under all permutations of the domain, thus defining logic as the study of permutation invariant operations. Tarski's thesis has been heavily criticized (on good grounds) for generating way to many logical constants. In the last twenty years there have been some alternative suggestions for characterizing logical constancy in terms of invariant operators. I will try to give an introduction to this field and also prove some new results.

Page Manager: Webmaster|Last update: 9/11/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?