Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Batchelor, Roderick"'
Autor:
Batchelor, Roderick
We present some new methods for logical deduction, based on ideas from ground theory. Roughly speaking, in our calculi a typical deduction will proceed as follows: we first analyse the premiss down to its ultimate grounds; then we discard information
Externí odkaz:
http://arxiv.org/abs/2208.03925
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Batchelor, Roderick
Publikováno v:
Mind, 2011 Jan 01. 120(477), 1-9.
Externí odkaz:
http://dx.doi.org/10.1093/mind/fzr013
Autor:
Batchelor, Roderick
Publikováno v:
Journal of Modern and Contemporary Philosophy; Vol. 6 No. 2 (2018): Dossiê "Colóquio UnB-USP de Lógica e Filosofia da Lógica"; 15-19
Revista de Filosofia Moderna e Contemporânea; Vol. 6 Núm. 2 (2018): Dossiê "Colóquio UnB-USP de Lógica e Filosofia da Lógica"; 15-19
Revista de Filosofia Moderna e Contemporânea; v. 6 n. 2 (2018): Dossiê "Colóquio UnB-USP de Lógica e Filosofia da Lógica"; 15-19
Revista de Filosofia Moderna e Contemporânea; Vol. 6 Núm. 2 (2018): Dossiê "Colóquio UnB-USP de Lógica e Filosofia da Lógica"; 15-19
Revista de Filosofia Moderna e Contemporânea; v. 6 n. 2 (2018): Dossiê "Colóquio UnB-USP de Lógica e Filosofia da Lógica"; 15-19
We propose to define logicality of a simple notion as necessary instantiation. (And then logicality of a complex notion as logicality of all simple notions occurring in it.)
Propomos definir logicalidade de uma noção simples comoinstanciação
Propomos definir logicalidade de uma noção simples comoinstanciação
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=portalunbbra::7c993bca7b1fb06dc715c6ffbbfcfafd
https://periodicos.unb.br/index.php/fmc/article/view/18891
https://periodicos.unb.br/index.php/fmc/article/view/18891
Autor:
Batchelor, Roderick
Publikováno v:
Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::5fcb38dad880398bb6aa02b803fcf0f2
Wiley Online Library
Wiley Online Library
Autor:
Batchelor, Roderick
Publikováno v:
Grazer Philosophische Studien; 2010, Vol. 80 Issue 1, p65-77, 13p
Publikováno v:
Mind. Oct2011, Vol. 120 Issue 480, p1345-1356. 12p.
Autor:
Coggiola, André
We present a deductive method for propositional intuitionistic logic based on tableaux. We prove its soundness and completeness based on given semantical definitions. The classical case is considered as slight variations of the intuitionistic case.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::72f5069bdcba5046b730f43a1cf321da
Autor:
Fabrice Correia, Benjamin Schnieder
Some of the most eminent and enduring philosophical questions concern matters of priority: what is prior to what? What'grounds'what? Is, for instance, matter prior to mind? Recently, a vivid debate has arisen about how such questions have to be under