In this paper, we present Carnap’s modal logic C, which is one of the first attempts to use the concept of possible world (that of state description in the Carnapian original terminology) in shaping the semantics for modalities. Some older technical results, which concern the logic C, are summarized, namely two different kinds of axiomatization of C, one unusual characterization of C as the only set of formulae having one special property, and semantical and syntactical relations of C to S5. The fact that C is not closed under the universal substitution is shortly discussed. Finally, the predicate version of C, which is not axiomatizable, is defined., V tomto příspěvku prezentujeme Carnapovu modální logiku C, která je jedním z prvních pokusů o využití konceptu možného světa (státního popisu v karnapské původní terminologii) při formování sémantiky modalit. Jsou shrnuty některé starší technické výsledky, které se týkají logiky C, a to dva různé druhy axiomatizace C, jedna neobvyklá charakterizace C jako jediná množina vzorců s jednou speciální vlastností a sémantické a syntaktické vztahy C až S5. Krátce je diskutována skutečnost, že C není uzavřena pod univerzální substitucí. Nakonec je definována predikátová verze C, která není axiomatizovatelná., and Vít Punčochář
The aim of this paper is to provide a semantic criterion of the difference between indicative and subjunctive conditionals. The criterion is motivated mainly by Stalnaker’s explanation of the difference, which, however, is formulated outside semantics. The Stalnaker-Lewis ''ontic'' semantics for conditionals will be transformed into an epistemic framework which will enable us to view the difference as a semantic one. As a consequence, we will be able to say that indicative and subjunctive conditionals differ in their logics., Cílem příspěvku je poskytnout sémantické kritérium rozdílu mezi indikativními a subjunktivními podmínkami. Kritérium je motivováno především Stalnakerovým vysvětlením rozdílu, který je však formulován mimo sémantiku. Stalnaker-Lewisova ,,ontická'' sémantika pro podmínky bude transformována do epistemického rámce, který nám umožní vnímat rozdíl jako sémantický. V důsledku toho budeme schopni říci, že indikativní a subjunktivní podmínky se liší ve své logice., and Vít Punčochář
The aim of this paper is to consider a possibility of understanding assertibility as a semantic concept. This leads to a nonstandard view of the relation and borderline between semantics and pragmatics. For the language of classical propositional logic entailment will be defined as a relation which preserves assertibility rather than truth and it will be shown that this enables us to model some linguistic phenomena in an adequate way., Cílem příspěvku je zvážit možnost pochopení asertivity jako sémantického konceptu. To vede k nestandardnímu pohledu na vztah a hranici mezi sémantikou a pragmatikou. Pro jazyk klasické výrokové logiky bude definice definována jako vztah, který zachovává spíše asertivitu než pravdu a bude ukázáno, že to nám umožňuje adekvátně modelovat některé jazykové jevy., and Vít Punčochář