Results 21 to 30 of about 1,604 (278)
Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
Bulletin of the Section of Logic, 2020 We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as the basis.
Satoru Niki
doaj +1 more source
Mathematics and the real world
Koers : Bulletin for Christian Scholarship, 2000 In this article the initial discussion of the untenability of the distinction between “pure” and “applied" mathematics is followed by looking at alternative approaches regarding the relationship between mathematics and the “real world” - with ...
D.F.M. Strauss
doaj +1 more source
Pragmatic and dialogic interpretations of bi-intuitionism. Part I [PDF]
, 2014 We consider a ``polarized'' version of bi-intuitionistic logic [5, 2, 6, 4] as a logic of assertions and hypotheses and show that it supports a ``rich proof theory'' and an interesting categorical interpretation, unlike the standard approach of C ...
D. Chiffi +8 more
core +2 more sources
Review of Ethical Intuitionism: Re-evaluations [PDF]
, 2006 This piece is a short review of a volume of papers on ethical intuitionism (Ethical Intuitionism: Re-evaluations, ed. Philip Stratton-Lake, Oxford University Press, 2002)
Väyrynen, Pekka
core +2 more sources
Evidentialism in Farabi's Epistemology [PDF]
Theosophia IslamicaFarabi, as a philosopher who presented the Aristotelian tradition in the Islamic world in a distinctive way, combining it with Neoplatonism and Platonism, also retained a large part of Aristotelian epistemology in his own cognitive system.
Jalal Paykani
doaj +1 more source
Analysis, 1982 Perennial philosophers' hopes are unlikely victims of swift, natural deduction. Yet anti-realism has been thought one. Not hoping for anti-realism myself I here show it, lest it be underestimated, to survive the following argument, adapted from W. D.Hart ('Access and Inference', Proceedings of the Aristotelian Society, sup. vol. LIII (1979) pp.
openaire +2 more sources
, 1979 Intuitionism derives philosophically from Kant\u27s Conceptualism -- the object of the mathematical knowledge only have reality within the mind, they do not have reality apart from our thinking.
Perciante, Terence H.
core +1 more source
Clarifying ethical intuitionism [PDF]
, 2015 In recent years there has been a resurgence of interest in Ethical Intuitionism, whose core claim is that normal ethical agents can and do have non-inferentially justified first-order ethical beliefs.
Cowan, Robert, Robert Cowan
core +1 more source
Multimodal Data‐Driven Microstructure Characterization
Advanced Engineering Materials, EarlyView.A self‐consistent autonomous workflow for EBSP‐based microstructure segmentation by integrating PCA, GMM clustering, and cNMF with information‐theoretic parameter selection, requiring no user input. An optimal ROI size related to characteristic grain size is identified.
Qi Zhang +4 more
wiley +1 more source
, 2013 An opinionated encyclopedia entry detailing and evaluating the utilitarian engagement with ...
Skelton, Anthony
core +1 more source