Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Logical constants and inv… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Logical constants and invariance

Konferensbidrag (offentliggjort, men ej förlagsutgivet)
Författare Fredrik Engström
Publicerad i INSTITUT MITTAG-LEFFLER SEMINAR
Publiceringsår 2009
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Språk en
Ämnesord Logical constants, quantifiers, invariance
Ämneskategorier Matematisk logik, Logik, Teoretisk filosofi

Sammanfattning

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.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?