Results 71 to 80 of about 1,091 (205)
Leibniz entre logicisme, formalisme et intuitionnisme ?
Philosophia ScientiæLeibniz has often been presented as one of the precursors of logicism or formalism but more rarely a precursor of intuitionism. He was a staunch defender of the Tertium non datur, reasoning in forma and blind thought, so at first glance he appears far ...
David Rabouin
doaj +1 more source
Advanced Engineering Materials, EarlyView.Sustainability assessment requires methodologies that appropriately distinguish between additive and non‐additive material properties. A toxicity‐weighted scoring system is developed and applied that accounts for the disproportionate influence of highly toxic constituents through nonlinear weighting functions, providing more realistic estimates than ...
Seth Mehalic +2 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.This article explores the transformative potential of symbolic artificial intelligence (AI) in the field of materials science, particularly in leveraging experimental data. The article presents several symbolic AI models and discusses their applications in materials science.
Ahmed Amrani +7 more
wiley +1 more source
Studia Gilsoniana, 2016 The article aims at uncovering reasons why philosophy may become conducive to dogmatism which inevitably leads to the failure of philosophy. In the light of Gilson’s considerations contained in his The Unity of Philosophical Experience, the author ...
Michael Nnamdi Konye
doaj
Nóema, 2013 La critica che Ludwig Wittgenstein muove ai presupposti filosofici del dibattito sui fondamenti della matematica si estende oltre le tematiche specifiche di tale dibattito ed investe un’intera tradizione di pensiero. Dietro alle argomentazioni di Frege e
Emanuele Rainone
doaj +1 more source
Toward Full Interoperability in Materials Science: Integrating Workflows With Knowledge Graphs
Advanced Engineering Materials, EarlyView.The connection of conceptual workflow design, portable execution, and ontology‐based semantics leading to provenance‐rich knowledge graphs are main contributors to interoperability in materials science and a prerequisite to AI‐assisted orchestration and for interoperable Materials Acceleration Platforms.
Jan Janssen +14 more
wiley +1 more source
Conceptual thinking in Hegel’s [PDF]
Argument, 2013 Analytical philosophy after Frege’s logicism and Russell’s logical atomism presupposes sortal domains of individual “entities” for which we already have defined their identities and elementary predicates. Such “things” exist only in ideal “possible world”
Pirmin STEKELER-WEITHOFER
doaj
La naturaleza de la Matemática, sus concepciones y su influencia en el salón de clase
Educación y Ciencia, 2011 Aunque en las últimas dos décadas la situación tiende a cambiar, históricamente se ha tenido la creencia de que para enseñar matemáticas sólo se requiere el buen dominio de los temas, sin tener en cuenta que implícitamente hay una actitud frente a la ...
Alfonso Jiménez Espinosa
doaj +1 more source
Advanced Engineering Materials, EarlyView.This perspective reframes additive manufacturing for electrical machines as a qualification‐limited materials and architecture design problem. It links process–structure–property–performance relationships to magnetic, conducting, dielectric, and thermal property windows, highlighting where AM can enable segmented magnetic circuits, permanent magnet ...
Dénes Fodor, Loránd Szabó
wiley +1 more source
Notes on types, set and logicism, 1930-1950 [PDF]
, 1997 The present paper is a contribution to the history of logic and its philosophy toward the mid-20th century. It examines the interplay between logic, type theory and set theory during the 1930s and 40s before the reign of first-order logic, and the ...
Ferreirós Domínguez, José Manuel
core +1 more source