Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Jiří Raclavský"'
Autor:
Petr Kuchyňka, Jiří Raclavský
Publikováno v:
Journal of Logic and Computation.
The present paper provides a completeness proof for a system of higher-order logic framed within partial type theory. The framework is a modification of Tichý’s extension of Church’s simple type theory, equipped with his innovative natural deduc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::19427a2b149a0e3de205396496e0a707
https://doi.org/10.1093/logcom/exac089
https://doi.org/10.1093/logcom/exac089
Autor:
Jiří Raclavský
Publikováno v:
Logic and Logical Philosophy. :1-37
The present paper offers the rule of existential generalization (EG) that is uniformly applicable within extensional, intensional and hyperintensional contexts. In contradistinction to Quine and his followers, quantification into various modal contex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b2574f86173f33346daa39f0c701536
https://doi.org/10.12775/llp.2021.011
https://doi.org/10.12775/llp.2021.011
Autor:
Jiří Raclavský
The present paper addresses several puzzles related to the Rule of Existential Generalization, (EG). In solution to these puzzles from the viewpoint of simple type theory, I distinguish (EG) from a modified Rule of Existential Quantifier Introduction
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::57a1e48b4a7fb16b76ddcc01c7eeb30c
http://arxiv.org/abs/2204.06726
http://arxiv.org/abs/2204.06726
Autor:
Jiří Raclavský
Publikováno v:
KRITERION – Journal of Philosophy. 31:76-100
The paper examines Loar's and Bach's defence of Nominal Description Theory against Kripkean Modal Argument (MA). Using formal tools of hyperintensional logic, I discriminate three kinds of nominal description which are possible substitutes for a prop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0e8df15dd1745208e895c9d92476902e
https://doi.org/10.1515/krt-2017-310106
https://doi.org/10.1515/krt-2017-310106
Autor:
Jiří Raclavský
Publikováno v:
Prolegomena : Časopis za filozofiju
Volume 17
Issue 1
Volume 17
Issue 1
Williamson, Linsky, Paseau and others proposed a solution to Church- Fitch’s knowability paradox that is based on typing knowledge; however, it received some criticism. Carrara and Fassio objected that the approach has no paradox-independent motiva
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______951::95bfd8158a747286e45f74b0f0a74629
https://hrcak.srce.hr/212752
https://hrcak.srce.hr/212752
Autor:
Jiří Raclavský
Publikováno v:
Logic and Logical Philosophy.
I examine the familiar quadruple of categorical statements “Every F is/is not G.”, “Some F is/is not G.” as well as the quadruple of their modal versions “Necessarily, every F is/is not G.”, “Possibly, some F is/is not G.”. I focus on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d8df9a6b3504d6a3ebc694b5c4844880
https://doi.org/10.12775/llp.2017.026
https://doi.org/10.12775/llp.2017.026
Autor:
Jiří Raclavský
Publikováno v:
Studies in Universal Logic ISBN: 9783319450612
In this study, we examine modern reading of the Square of Opposition by means of intensional logic. Explicit use of possible world semantics helps us to sharply discriminate between the standard and modal (‘alethic’) readings of categorical state
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8d2c8522ebd601ab9813c0b46d6e6497
https://doi.org/10.1007/978-3-319-45062-9_8
https://doi.org/10.1007/978-3-319-45062-9_8
Autor:
Jiří Raclavský
Publikováno v:
Human Affairs. 21:249-261
Strawson’s work seems to contain both pragmatic and semantic concepts of presupposition. The former concept has largely been studied by many philosophers and linguists, while the latter has not been properly investigated (van Fraassen being an exce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a169de8e66b7614c353c2833f7b098b3
https://doi.org/10.2478/s13374-011-0026-4
https://doi.org/10.2478/s13374-011-0026-4
Autor:
Jiří Raclavský
Publikováno v:
Studia Neoaristotelica. 6:234-246
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::59542a2d976f5d39ee5f66e1e70a3adb
https://doi.org/10.5840/studneoar2009624
https://doi.org/10.5840/studneoar2009624
Autor:
Jiří Raclavský
Publikováno v:
Prolegomena : Časopis za filozofiju
Volume 13
Issue 2
Jiří Raclavský
Volume 13
Issue 2
Jiří Raclavský
The Barber Paradox is often introduced as a popular version of Russell’s paradox, though some philosophers and logicians (e.g. Church) have denied their similarity, even calling the Barber paradox a pseudoparadox. In the first part of the paper, we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8b2ed583c120028f62172493be26d0a9
https://hrcak.srce.hr/file/191533
https://hrcak.srce.hr/file/191533