Results 21 to 30 of about 8,918 (283)
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
On an Intuitionistic Logic for Pragmatics [PDF]
, 2018 We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justications and its relations with classical logic.
Bellin, Gianluigi +2 more
core +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
, 2007 This essay surveys the different types of infinity that occur in pure and applied mathematics, with emphasis on: 1. the contrast between potential infinity and actual infinity; 2.
Fletcher, P
core +1 more source
Applying an Ethical Lens to the Treatment of People With Multiple Sclerosis
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT The practice of neurology requires an understanding of clinical ethics for decision‐making. In multiple sclerosis (MS) care, there are a wide range of ethical considerations that may arise. These involve shared decision‐making around selection of a disease‐modifying therapy (DMT), risks and benefits of well‐studied medications in comparison to
Methma Udawatta, Farrah J. Mateen
wiley +1 more source
A Topology Optimization Framework for the Inverse Design of Nonlinear Mechanical Metamaterials
Advanced Engineering Materials, EarlyView.This work uses topology optimization to design unit cells for mechanical metamaterials with a prescribed nonlinear stress–strain response. The framework adds contact and postbuckling modeling to synthesize microstructures for three highly nonlinear responses, including pseudoductile behavior, monostable with snap‐through buckling, and bistable ...
Charlie Aveline +2 more
wiley +1 more source
Husserl Between Frege’s Logicism And Hilbert’s Formalism
The Baltic International Yearbook of Cognition, Logic and Communication, 2009 The traditional view regarding the philosophy of mathematics in the twentieth century is the dogma of three schools: Logicism, Intuitionism and Formalism.
Ulrich Majer
doaj +1 more source
Towards the Philosophy of the Lwów School of Mathematics
Philosophia Scientiæ, 2023 The philosophy of scientific research does not always correlate with the declared philosophical views of researchers. In the light of this, we look at the activities of the interwar Lwów School of Mathematics whose leaders were Stefan Banach and Hugo ...
Mykhailo Zarichnyi (Михайло Зарічний)
doaj +1 more source
Nietzsche’s Philosophy of Mathematics [PDF]
, 1999 Nietzsche has a surprisingly significant and strikingly positive assessment of mathematics. I discuss Nietzsche's theory of the origin of mathematical practice in the division of the continuum of force, his theory of numbers, his conception of the finite
Steinhart, Eric
core
Three Remarks on “Reflective Equilibrium“ [PDF]
, 2017 John Rawls’ “reflective equilibrium” ranges amongst the most popular conceptions in contemporary ethics when it comes to the basic methodological question of how to justify and trade off different normative positions and attitudes.
Hübner, Dietmar
core +1 more source