Logica Ludus

Abstract

(1) Syntaktická součást vymezuje, co je výrokem (a obecněji výrazem) jazyka, který stojí v základě tohoto kalkulu; (2) Axiomatická součást vymezuje, který výrok je správně odvoditelný ze kterých jiných výroků (a tím i které výroky jsou teorémy daného kalkulu); a (3) sémantická součást vymezuje, jaký má který výraz denotát a zda, či relativně k jaké interpretaci je který výrok pravdivý (a tím i které výroky jsou tautologiemi tohoto kalkulu1).

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2010-12-22

Downloads
15 (#805,409)

6 months
1 (#1,027,696)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references