Results 61 to 70 of about 503 (185)
Summary: The nature of the spatial background for classical analysis and for modern theories of continuum physics requires more than the partial invariants of locales and cohomology rings for its description. As Maxwell emphasized, this description has various levels of precision depending on the needs of investigation.
openaire +2 more sources
Can we repudiate ontology altogether?
Abstract Ontological nihilists repudiate ontology altogether, maintaining that ontological structure is an unnecessary addition to our theorizing. Recent defenses of the view involve a sophisticated combination of highly expressive but ontologically innocent languages combined with a metaphysics of features—non‐objectual, complete but modifiable states
Christopher J. Masterman
wiley +1 more source
“Mathematics is the Logic of the Infinite”: Zermelo’s Project of Infinitary Logic
In this paper I discuss Ernst Zermelo’s ideas concerning the possibility of developing a system of infinitary logic that, in his opinion, should be suitable for mathematical inferences. The presentation of Zermelo’s ideas is accompanied with some remarks
Pogonowski Jerzy
doaj +1 more source
Symmetry lost: A modal ontological argument for atheism?
Abstract The modal ontological argument for God's existence faces a symmetry problem: a seemingly equally plausible reverse modal ontological argument can be given for God's nonexistence. Here, we argue that there are significant asymmetries between the modal ontological argument and its reverse that render the latter more compelling than the former ...
Peter Fritz +2 more
wiley +1 more source
ABSTRACT I develop an axiomatic system of mereology that accounts for the ways in which musical works can be said to have parts. I distinguish two fundamental modes of composition that musical works exhibit: successive composition, whereby sound events are concatenated in time, and simultaneous composition, whereby sound events occur at the same time ...
Alejandro G. Di Rienzo
wiley +1 more source
A Collapse Result in the Mereology of Properties
ABSTRACT I examine five principles about the metaphysics of properties, each of which has been defended in the literature: (1) the sum of properties is their corresponding conjunctive property, (2) the mereology of properties is classical, (3) properties are individuated by necessary co‐instantiation, (4) sums of objects belonging to different ...
Alejandro G. Di Rienzo
wiley +1 more source
We present an axiomatic and operational theory of quantum mechanics. The theory is founded on the axiomatic and operational approach started in Geneva mainly by Constantin Piron and his students and collaborators and developed further in Brussels by myself and different students and collaborators.
openaire +2 more sources
A Logic for Multi-Agent Conformant Planning Over Transition Systems
Reasoning about actions and information is one of the most active areas of research in artificial intelligence. In this article, we study the reasoning about actions and information in multi-agent conformant planning, which is an essential branch of ...
Peipei Wu, Yanjun Li
doaj +1 more source
Kripke on Gödel Incompleteness
ABSTRACT This paper surveys six of Saul Kripke's highly creative ideas and results on Gödel incompleteness, from when he was an undergraduate to last publications. These include his extension of incompleteness from sentences to predicates, his model‐theoretic proof of incompleteness of arithmetic, his compelling analysis of incompleteness in terms of ...
Daniel Isaacson
wiley +1 more source
Rola aksjomatu w matematyce współczesnej oraz w perspektywie dociekań nad aksjomatem wyboru
We show how philosophy effected the shape of mathematics when the proof of Well-Ordering Principle was formulated by Ernst Zermelo. We also consider the significance of philosophy of mathematics today.
Katarzyna Lewandowska
doaj

