Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "forcing" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Logika racjonalności. W stronę modalnego platonizmu matematycznego
The Logic of Rationality. Towards Modal Mathematical Platonism
Autorzy:
Wilczek, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/691018.pdf
Data publikacji:
2011
Wydawca:
Copernicus Center Press
Tematy:
Alfred N. Whitehead
Alfred Tarski
logical consequence
ZFC
second-order set theory
forcing
modal logics
field of rationality
structuralism
platonism
Opis:
In this article Whitehead’s philosophy of mathematics is characterized as a Structural Second-Order Platonism and it is demonstrated that the Whiteheadian ontology is consistent with modern formal approaches to the foundation of mathematics. We follow the pathway taken by model-theoretically and semantically oriented philosophers. Consequently, it is supposed that all mathematical theories (understood as deductively closed set of sentences) determine their own models. These models exist mind-independently in the realm of eternal objects. From the metatheoretical point of view the hypothesis (posed by Józef Życiński) of the Rationality Field is explored. It is indicated that relationships between different models can be described in the language of modal logics and can further be axiomatized in the framework of the Second Order Set Theory. In conclusion, it is asserted that if any model (of a mathematical theory) is understood, in agreement with Whitehead’s philosophy, as a collection of eternal objects, which can be simultaneously realized in a single actual occasion, then our external world is governed by the hidden pattern encoded in the field of pure potentialities which constitute the above mentioned Field of Rationality. Therefore, this work can be regarded as the first step towards building a Logic of Rationality.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2011, 49; 98-122
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Topology and models of ZFC at early Universe
Autorzy:
Król, Jerzy
Asselmeyer-Maluga, Torsten
Powiązania:
https://bibliotekanauki.pl/articles/690832.pdf
Data publikacji:
2019
Wydawca:
Copernicus Center Press
Tematy:
Cosmological model
exotic R4 and S3 × R in cosmology
4-exotic smoothness
models of ZFC
topological model for inflation
topological model for neutrino masses
forcing
QM lattice of projections
Opis:
Recently the cosmological evolution of the universe has been considered where 3-dimensional spatial topology undergone drastic changes. The process can explain, among others, the observed smallness of the neutrino masses and the speed of inflation. However, the entire evolution is perfectly smooth from 4-dimensional point of view. Thus the raison d’être for such topology changes is the existence of certain non-standard 4-smoothness on R4 already at very early stages of the universe. We show that the existence of such smoothness can be understood as a byproduct of the quantumness of the origins of the universe. Our analysis is based on certain formal aspects of the quantum mechanical lattice of projections of infinite dimensional Hilbert spaces where formalization reaches the level of models of axiomatic set theory.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2019, 66; 15-33
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies