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). | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articles
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-12-22Total downloads1 ( #274,652 of 549,069 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
