A lógica de Buridan: testabilidade e modelos
DOI:
https://doi.org/10.36517/Argumentos.31.15Keywords:
Buridan. Carnap. Mental models. Necessity. Reduction.Abstract
A teoria da modalidade que Buridan desenvolve está vinculada com diferentes proposições. Este trabalho aborda uma dessas proposições. O objetivo é mostrar que, se o operador de necessidade incluído nela é ignorado, a proposição permite derivar, dentro da lógica de predicados de primeira ordem, uma sentença de redução com as características requeridas no framework de Carnap. Ademais, o artigo tenta argumentar que o mencionado operador de necessidade pode ser compreendido não apenas em um sentido técnico (como a lógica modal faz), mas também do modo como um indivíduo inocente (sem treinamento em lógica modal) poderia interpretá-lo. Estes últimos argumentos são dados a partir da teoria dos modelos mentais.
References
BYRNE, R. M. J.; JOHNSON-LAIRD, P. N. If and or: Real and counterfactual possibilities in their truth and probability. Journal of Experimental Psychology: Learning, Memory and Cognition, v. 46, n. 4, p. 760-780, 2020.
CARNAP, R. Meaning and Necessity: A Study in Semantics and Modal Logic. Chicago: The University of Chicago Press, 1947.
CARNAP, R. Testability and meaning. Philosophy of Science, v. 3, n. 4, p. 419-471, 1936.
CARNAP, R. Testability and meaning – Continued. Philosophy of Science, v. 4, n. 1, p. 1-40, 1937.
DAGYS, J.; GIEDRA, H.; PABIJUTAITĖ, Ž. Inferences between Buridan’s modal propositions. Problemos, n. 101, p. 31-41, 2022.
ESPINO, O.; BYRNE, R. M. J.; JOHNSON-LAIRD, P. N. Possibilities and the parallel meanings of factual and counterfactual conditionals. Memory & Cognition, n. 48, p. 1263-1280, 2020.
HODGES, W.; JOHNSTON, S. Medieval modalities and modern method: Avicenna and Buridan. IfCoLog Journal of Logics and Their Applications, v. 4, n. 4, p. 1029-1073, 2017.
JOHNSTON, S. A formal reconstruction of Buridan’s modal syllogism. History and Philosophy of Logic, v. 36, n. 1, p. 2-17, 2015.
JOHNSON-LAIRD, P. N.; BYRNE, R. M. J. Conditionals: A theory of meaning, pragmatics, and inference. Psychological Review, v. 109, n. 4, p. 646-678, 2002.
JOHNSON-LAIRD, P. N.; RAGNI, M. Possibilities as the foundation of reasoning. Cognition, n. 193, p. 1-19, 2019.
KHEMLANI, S.; BYRNE, R. M. J.; JOHNSON-LAIRD, P. N. Facts and possibilities: A model-based theory of sentential reasoning. Cognitive Science, v. 42, n. 6, p. 1887-1924, 2018.
KHEMLANI, S.; HINTERECKER, T.; JOHNSON-LAIRD, P. N. The provenance of modal inference. In: Gunzelmann, G.; Howes, A.; Tenbrink, T.; Davelaar, E. J. (Eds.). Computational Foundations of Cognition. Austin: Cognitive Science Society, 2017.
LÓPEZ-ASTORGA, M. A bilateral reduction sentence for modulation. Balkan Journal of Philosophy, v. 14, n. 2, p. 109-114, 2022a.
LÓPEZ-ASTORGA, M. Fourteen modal theorems consistent with the theory of mental models. Prometeica Revista de Filosofía y Ciencias, n. 25, p. 39-50, 2022b.
QUELHAS, A. C.; RASGA, C.; JOHNSON-LAIRD, P. N. A priori true and false conditionals. Cognitive Science, v. 41, n. 55, p. 1003-1030, 2017.
READ, S. Introduction. In: Buridan, J. Treatise on Consequences. New York: Fordham University Press, 2015.
Downloads
Published
Issue
Section
License
Argumentos magazine is licensed under an International Creative Commons Attribution License.
The Magazine uses CC BY inclusion
1) The authors retain the copyright granted to the magazine or the right to initial publication, with the work regularly licensed under the Creative Commons Attribution, which allows the sharing of the work with acknowledgment of authorship and initial publication in this magazine.
2) The authors are authorized to contract additional applicable contracts, for non-exclusive distribution of the version of the work published in this journal (for example, publication in the institutional repository or as a chapter of the book), recognition of authorship and initial publication in this journal.
3) Authors are authorized and encourage to publish and distribute their work online (for example, in institutional repositories or on their personal pages) at any time before or during the editorial process, as they can generate productive changes, as well as increase the impact and reference of published work.
.jpg)
._._3.png)
1.jpg)
._._._.png)
