AbstraktPEŁNY TEKST: PDF References Heidegger Martin, Bycie i czas, przeł. B. Baran, PWN, Warszawa 1994. Hoły-Łuczaj Magdalena, Kształtowalność. Postheideggerowskie pytanie o inny wymiar bycia, Copernicus Center Press, Kraków 2022. Hoły-Łuczaj Magdalena, Radykalny nonantropocentryzm. Martin Heidegger i ekologia głęboka, Wydawnictwa Uniwersytetu Warszawskiego, Warszawa–Rzeszów 2018.

In 1890 William James distinguished two understandings of the self, the self as “Me” and the self as “I”. This distinction has recently regained popularity in cognitive science, especially in the context of experimental studies on the underpinnings of the phenomenal self. The goal of this paper is to take a step back from cognitive science and attempt to precisely distinguish between “Me” and “I” in the context of consciousness. This distinction was originally based on the idea that the former (...) (“Me”) corresponds to the self as an object of experience (self as object), while the latter (“I”) reflects the self as a subject of experience (self as subject). I will argue that in most of the cases (arguably all) this distinction maps onto the distinction between the phenomenal self (reflecting self-related content of consciousness) and the metaphysical self (representing the problem of subjectivity of all conscious experience), and as such these two issues should be investigated separately using fundamentally different methodologies. Moreover, by referring to Metzinger’s theory of phenomenal self-models, I will argue that what is usually investigated as the phenomenal-“I” (following understanding of self-as-subject introduced by Wittgenstein) can be interpreted as object, rather than subject of experience, and as such can be understood as an element of the hierarchical structure of the phenomenal self-model. This understanding relates to recent predictive coding and free energy theories of the self and bodily self from cognitive neuroscience and philosophy. (shrink)

In consequence of significant social, political, economic, and demographic changes several wildlife species are currently growing in numbers and recolonizing Europe. While this is rightly hailed as a success of the environmental movement, the return of wildlife brings its own issues. As the animals arrive in the places we inhabit, we are learning anew that life with wild nature is not easy, especially when the accumulated cultural knowledge and experience pertaining to such coexistence have been all but lost. This book (...) provides a hermeneutic study of the ways we come to understand the troubling impacts of wildlife by exploring and critically discussing the meanings of 'ecological discomforts'. Thus, it begins the work of rebuilding the culture of coexistence. The cases presented in this book range from crocodile attacks to mice infestations, and their analysis consequently builds up an ethics that sees wildlife as active participants in the shaping of human moral and existential reality. This book is of interest not only to environmental philosophers, who will find here an original contribution to the established ethical discussions, but also to wildlife managers, and even to those members of the public who themselves struggle to make sense of encounters with their new wild neighbors. (shrink)

In this paper, we focus on the development of geometric cognition. We argue that to understand how geometric cognition has been constituted, one must appreciate not only individual cognitive factors, such as phylogenetically ancient and ontogenetically early core cognitive systems, but also the social history of the spread and use of cognitive artifacts. In particular, we show that the development of Greek mathematics, enshrined in Euclid’s Elements, was driven by the use of two tightly intertwined cognitive artifacts: the use of (...) lettered diagrams; and the creation of linguistic formulae. Together, these artifacts formed the professional language of geometry. In this respect, the case of Greek geometry clearly shows that explanations of geometric reasoning have to go beyond the confines of methodological individualism to account for how the distributed practice of artifact use has stabilized over time. This practice, as we suggest, has also contributed heavily to the understanding of what mathematical proof is; classically, it has been assumed that proofs are not merely deductively correct but also remain invariant over various individuals sharing the same cognitive practice. Cognitive artifacts in Greek geometry constrained the repertoire of admissible inferential operations, which made these proofs inter-subjectively testable and compelling. By focusing on the cognitive operations on artifacts, we also stress that mental mechanisms that contribute to these operations are still poorly understood, in contrast to those mechanisms which drive symbolic logical inference. (shrink)

The cognitive foundations of geometry have puzzled academics for a long time, and even today are mostly unknown to many scholars, including mathematical cognition researchers. -/- Foundations of Geometric Cognition shows that basic geometric skills are deeply hardwired in the visuospatial cognitive capacities of our brains, namely spatial navigation and object recognition. These capacities, shared with non-human animals and appearing in early stages of the human ontogeny, cannot, however, fully explain a uniquely human form of geometric cognition. In the book, (...) Hohol argues that Euclidean geometry would not be possible without the human capacity to create and use abstract concepts, demonstrating how language and diagrams provide cognitive scaffolding for abstract geometric thinking, within a context of a Euclidean system of thought. -/- Taking an interdisciplinary approach and drawing on research from diverse fields including psychology, cognitive science, and mathematics, this book is a must-read for cognitive psychologists and cognitive scientists of mathematics, alongside anyone interested in mathematical education or the philosophical and historical aspects of geometry. (shrink)

Boolean connexive logic is an extension of Boolean logic that is closed under Modus Ponens and contains Aristotle’s and Boethius’ theses. According to these theses a sentence cannot imply its negation and the negation of a sentence cannot imply the sentence; and if the antecedent implies the consequent, then the antecedent cannot imply the negation of the consequent and if the antecedent implies the negation of the consequent, then the antecedent cannot imply the consequent. Such a logic was first introduced (...) by Jarmużek and Malinowski, by means of so-called relating semantics and tableau systems. Subsequently its modal extension was determined by means of the combination of possible-worlds semantics and relating semantics. In the following article we present axiomatic systems of some basic and modal Boolean connexive logics. Proofs of completeness will be carried out using canonical models defined with respect to maximal consistent sets. (shrink)

Oikologia to nauka o domu rozumianym szeroko, w kontekście dialektyki zakorzenienia człowieka w świecie, jako relacja zachodząca między nim a otaczającą go rzeczywistością. Dotyka w swojej analizie m.in. pytań z zakresu etyki środowiska dotyczących ludzkiej ingerencji w strukturę świata i stara się wspierać refleksję i wynikającą z niej postawę pełną wrażliwości na związek człowieka ze środowiskiem. Ekofilozofia, jako dyscyplina podejmująca wieloaspektową problematykę ochrony środowiska z perspektywy filozoficznej refleksji, w centrum zainteresowania stawia również badanie samej relacji łączącej człowieka ze środowiskiem przyrodniczym. (...) Celem artykułu jest wskazanie, iż refleksja oikologiczna może okazać się pomocną perspektywą dla szeroko pojętej ekofilozofii, a więc właśnie dla rozważań skupiających się na odpowiednim ułożeniu wspomnianej interakcji. Przykładem praktycznego problemu, w którym tego typu spojrzenie zostanie zaprezentowane, jest kwestia przestrzeni miejskiej, a konkretniej jej rewitalizacji, ze szczególnym naciskiem na obszary poprzemysłowe, którą w omawianym kontekście ekofilozofii wiąże się przede wszystkim z ideą zrównoważonego rozwoju. (shrink)

Artykuł jest próbą analizy koncepcji minimalistycznej neurofilozofii autorstwa Henrika Waltera w kontekście dyskusji dotyczącej problemu psychofizycznego. Bezpośrednio związana z ową koncepcją teoria o „zróżnicowanej metafizyce” została w tekście powiązana z ideą pluralizmu eksplanacyjnego i ukazana jako metodologiczna alternatywa dla poszukiwania fundamentalnych teorii świadomości. Jednocześnie poza ewentualnymi zaletami metafilozoficznej refleksji podejmowanej w ramach minimalistycznej neurofilozofii zarysowane zostały jej podstawowe ograniczenia i problemy związane m.in. z uznaniem superweniencji za punkt łączący różnorodne stanowiska neurofilozoficzne.

We introduce a principle of local collection for compositional truth predicates and show that it is arithmetically conservative over the classically compositional theory of truth. This axiom states that upon restriction to formulae of any syntactic complexity, the resulting predicate satisfies full collection. In particular, arguments using collection for the truth predicate applied to sentences occurring in any given (code of a) proof do not suffice to show that the conclusion of that proof is true, in stark contrast to the (...) case of the induction scheme. We analyse various further results concerning end-extensions of models of compositional truth and the collection scheme for the compositional truth predicate. (shrink)

The notion of implicit commitment has played a prominent role in recent works in logic and philosophy of mathematics. Although implicit commitment is often associated with highly technical studies, it remains an elusive notion. In particular, it is often claimed that the acceptance of a mathematical theory implicitly commits one to the acceptance of a Uniform Reflection Principle for it. However, philosophers agree that a satisfactory analysis of the transition from a theory to its reflection principle is still lacking. We (...) provide an axiomatization of the minimal commitments implicit in the acceptance of a mathematical theory. The theory entails that the Uniform Reflection Principle is part of one’s implicit commitments, and sheds light on why this is so. We argue that the theory has significant epistemological consequences in that it explains how justified belief in the axioms of a theory can be preserved to the corresponding reflection principle. The theory also improves on recent analyses of implicit commitment based on truth or epistemic notions. (shrink)

The current paper studies the formal properties of the Global Reflection Principle, to wit the assertion “All theorems of$\mathrm {Th}$are true,” where$\mathrm {Th}$is a theory in the language of arithmetic and the truth predicate satisfies the usual Tarskian inductive conditions for formulae in the language of arithmetic. We fix the gap in Kotlarski’s proof from [15], showing that the Global Reflection Principle for Peano Arithmetic is provable in the theory of compositional truth with bounded induction only ($\mathrm {CT}_0$). Furthermore, we (...) extend the above result showing that$\Sigma _1$-uniform reflection over a theory of uniform Tarski biconditionals ($\mathrm {UTB}^-$) is provable in$\mathrm {CT}_0$, thus answering the question of Beklemishev and Pakhomov [2]. Finally, we introduce the notion of a prolongable satisfaction class and use it to study the structure of models of$\mathrm {CT}_0$. In particular, we provide a new model-theoretical characterization of theories of finite iterations of uniform reflection and present a new proof characterizing the arithmetical consequences of$\mathrm {CT}_0$. (shrink)

The article concerns two axiom systems of Słupecki for the functionally complete three-valued propositional logic: W1–W6 and A1–A9. The article proves that both of them are inadequate—W1–W6 is semantically incomplete, on the other hand, A1–A9 governs a functionally incomplete calculus, and thus, it cannot be a semantically complete axiom system for the functionally complete three-valued logic.

A method of constructing Hilbert-type axiom systems for standard many-valued propositional logics was offered by Rosser and Turquette. Although this method is considered to be a solution of the problem of axiomatisability of a wide class of many-valued logics, the article demonstrates that it fails to produce adequate axiom systems. The article concerns finitely many-valued propositional logics of Łukasiewicz. It proves that if standard propositional connectives of the Rosser–Turquette axiom systems are definable in terms of the propositional connectives of Łukasiewicz’s (...) logics, and thus, they are normal ones, then every Rosser–Turquette axiom system for a finite-valued Łukasiewicz’s logic is semantically incomplete. (shrink)

This paper is a follow-up to [4], in which a mistake in [6] was corrected. We give a strenghtening of the main result on the semantical nonconservativity of the theory of PT−with internal induction for total formulae${$, denoted by PT−in [9]). We show that if to PT−the axiom of internal induction forallarithmetical formulae is added, then this theory is semantically stronger than${\rm{P}}{{\rm{T}}^ - } + {\rm{INT}}\left$. In particular the latter is not relatively truth definable in the former. Last but not (...) least, we provide an axiomatic theory of truth which meets the requirements put forward by Fischer and Horsten in [9]. The truth theory we define is based on Weak Kleene Logic instead of the Strong one. (shrink)

The aim of the article is to analyze the relationship between Singapore and the People’s Republic of China in the light of the current policy of the President of the United States Donald Trump. The point of reference for the presented analysis is the foreign policy of the former President Barack Obama, based on the strategy known as “pivot to Asia” – the strategic turnabout of the United States to the Asia-Pacific region. One of its main objectives was the signing (...) of a multilateral agreement on the establishment of a free trade zone, the Trans-Pacific Partnership (TPP), bringing together 12 countries. The main subject of the present analysis is to examine the impact of Donald Trump’s decision of January 2017 to withdraw from the TPP trade agreement on the relations between the remaining signatories of the agreement, as well as to examine Beijing’s actions, which may seek to increase its sphere of influence in Asia through the breakdown of TPP. The main part of the research is focused on the triangle politics concept in international politics, which will include China, Singapore and the United States. Besides the two largest economic powers, Singapore is included because of its membership in the TPP and ASEAN, and due to its strong economy and its population (predominantly) of Chinese origin it can be viewed as the “fifth column” or may otherwise play a role in the Greater China concept. (shrink)

Over the past decade work engagement has gained both business and academia attention. With growing number of studies and meta-analyses the concept of work engagement is one of the pillars of positive work and organizational psychology. This systematic review presents the current state of research on work engagement in Poland. Results confirmed that work-engagement studies have not yet reached the threshold to conduct meta-analysis. The review of measurement methods and synthesis of findings allows to identify strengths and gaps in Polish (...) studies. Discussion of limitations and biases in current research is accompanied with urge to overcome them and develop thriving stream of research on work engagement. (shrink)

Celem artykułu jest prezentacja i krytyczna analiza koncepcji uczuć egzystencjalnych, autorstwa współczesnego filozofa psychiatrii o orientacji fenomenologicznej — Matthew Ratcliffe’a. Uczucia egzystencjalne są specjalną klasą stanów afektywnych, nadającą emocjonalnego zabarwienia subiektywnemu doświadczeniu rzeczywistości. Mają one charakter przedrefleksyjny i stanowią niejawne tło świadomości fenomenalnej, które w potocznym doświadczeniu pozostaje poza polem uwagi. Uczucia te mają ścisły związek z emocjami, determinując typy przedmiotów intencjonalnych zawartych w stanach emocjonalnych i wyznaczając repertuar możliwych do doświadczenia emocji. Najważniejsze uczucia egzystencjalne, które wyróżnia Ratcliffe, to: (1) (...) poczucie rzeczywistości, czyli przedrefleksyjne i fenomenalne wrażenie o realnym istnieniu świata jako takiego; (2) poczucie przynależności, czyli przedrefleksyjne i fenomenalne wrażenie własnego istnienia i osadzenia w świecie pośród osób i rzeczy. Te dwie kategorie stanowią fundamentalne składowe pierwszoosobowego doświadczenia podmiotu, wyznaczając tym samym jego relację do innych ludzi oraz rzeczywistości w jej najbardziej ogólnym sensie. W artykule przedstawiam główne cechy i typy uczuć egzystencjalnych. Zwracam także uwagę na szczególną rolę psychopatologii w analizie i uzasadnianiu istnienia tego zjawiska. W związku z tym, za Ratcliffem, opisuję w jaki sposób określone aspekty uczuć egzystencjalnych ulegają dezintegracji w przebiegu epizodów zaburzeń psychicznych, takich jak depresja czy schizofrenia. Pokazuję także różnicę pomiędzy fenomenologicznym i poznawczo-behoawioralnym podejściem do zaburzeń psychicznych. Powołując się na badania neurobiologiczne staram się wskazać potencjalne neuronalne korelaty uczuć egzystencjalnych. Tekst wieńczą krytyczne uwagi na temat koncepcji uczuć egzystencjalnych w ujęciu Matthew Ratcliffe’a. Rozwiązanie zidentyfikowanych wad i niedociągnięć tej teorii filozoficznej zarazem nakreśla przyszłe perspektywy jej rozwoju. (shrink)

The aim of the paper is to discuss the idea of dialogue with nature. Even though the idea of dialogue with animals, plants – even objects of inanimate nature – is well known, it has usually been treated as an expression of a naive or folk view. Yet, it has recently gained in importance as an idea that is used to describe an ecological approach to natural environment and tends to be treated as a foundation for an ecological culture. A (...) noteworthy contribution to the reconsideration of the concept of human-nature dialogue has also been given by a number of contemporary philosophers who have offered an environmental reinterpretation of phenomenology and hermeneutics based on, among other things, Martin Buber’s concept of the I-You relationship. The paper will focus on two aspects of the concept of dialogue, namely on its epistemological and ethical implications. Following Erazim Kohák’s theory, which will be presented as a key figure of a particular manner of speaking about nature, one that leads to ecological personalism. (shrink)

In the following paper we propose a model-theoretical way of comparing the “strength” of various truth theories which are conservative over $$ PA $$. Let $${\mathfrak {Th}}$$ denote the class of models of $$ PA $$ which admit an expansion to a model of theory $${ Th}$$. We show (combining some well known results and original ideas) that $$\begin{aligned} {{\mathfrak {PA}}}\supset {\mathfrak {TB}}\supset {{\mathfrak {RS}}}\supset {\mathfrak {UTB}}\supseteq \mathfrak {CT^-}, \end{aligned}$$ where $${\mathfrak {PA}}$$ denotes simply the class of all models of (...) $$ PA $$ and $${\mathfrak {RS}}$$ denotes the class of recursively saturated models of $$ PA $$. Our main original result is that every model of $$ PA $$ which admits an expansion to a model of $$ CT ^-$$, admits also an expansion to a model of $$ UTB $$. Moreover, as a corollary to one of the results (brought to us by Carlo Nicolai) we conclude that $$ UTB $$ is not relatively interpretable in $$ TB $$, thus answering the question from Fujimoto (Bull Symb Log 16:305–344, 2010). (shrink)

This article explores the conception of self-knowledge in book 10 of Augustine’s De Trinitate. Augustine starts from the worry in Plato’s Meno that one cannot search for something entirely unknown and engages with Plotinus, Ennead 5.3 in developing his own understanding of the mind’s self-knowledge. He concludes that this knowledge is paradoxical in nature: it is necessary and, at the same time, futile; and it is separated from the knowledge of God. Augustine reaches this point by rejecting the Aristotelian identity (...) of the knower with the known, as well as by grounding self-knowledge in the fact of the mind’s intimate presence to itself. Ultimately, self-knowledge appears to be an ‘objectless’ knowledge, a knowledge that the mind exists rather than knowledge of what the mind is. (shrink)

The purpose of this essay is to present and analyse the basic assumptions of Leszek Nowak’s conception of the unity of science. According to Nowak, the unity of science is manifested in the common application of the method of idealisation in scientific research. In accordance with his conception, regardless of the discipline they represent, researchers go through the same stages in building a theory. Two key ones among them are: introducing idealising assumptions into the representation and then their concretisation. In (...) this view, idealisation is the basis of the scientific method, while other cognitive procedures complement it. Nowak’s conception has particular relevance in the context of the dispute between naturalism and anti-naturalism and in the context of the continuing rift between social scientists and natural scientists. It calls into question the anti-naturalist thesis of the ontological uniqueness of social sciences and the resulting methodological consequences. I argue that Nowak’s conception is a cognitively valuable contribution to the contemporary epistemology of science, but it also has weaknesses, mainly due to the limitations of applying the idealisation-concretisation scheme in research practice. For it turns out, as I point out in this essay, that many idealising assumptions are not subject to concretisation and that concretisations do not always condition an increase in the explanatory and/or predictive power of the representations. (shrink)

Estetyka przyrody jest współcześnie ważnym działem estetyki filozoficznej. Jej przedstawiciele zgodnie twierdzą, że doświadczenie estetyczne jest istotne z punktu widzenia ekologii i w tym sensie, estetyka przyrody ma konsekwencje dla etyki środowiskowej. Celem artykułu jest analiza koncepcji doświadczenia estetycznego przyrody, która wyłania się z environmental aesthetics, oraz pokazanie, że tak rozumiane doświadczenie estetyczne, tzn. jako zmysłowe doświadczenie przyrody qua przyrody oraz jako doświadczenie przyrody on its own terms, jest tożsame z postawą etyczną, pojętą jako postawa, pozwalająca dostrzec w przyrodzie sferę (...) inną-niż-ludzką, której wartości nie sposób sprowadzić bez reszty do wartości instrumentalnej. (shrink)

One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem for logic S is one of them. Our paper introduces a solution of this metalogical issue.

Aphasia is an acquired impairment of language functions resulting from a brain lesion. It is usually accompanied by deficits in non-linguistic cognitive processes. This study aimed to investigate in patients with aphasia the complex interrelationships between selected cognitive functions: auditory speech comprehension, working memory, and temporal information processing in the millisecond time range. Thirty right-handed subjects aged from 27 to 82 years suffering from post-stroke aphasia participated in the study. Verbal working memory and spatial working memory were assessed with: a (...) receptive verbal test and the Corsi Block-Tapping Test, respectively. Both these WM tests used the forward tasks and backward tasks. Auditory comprehension was assessed by receptive language tests, and TIP efficiency was assessed by auditory perception of temporal order in the millisecond time range. We observed better performance of forward WM tasks than backward ones, independently of the type of material used. Furthermore, the severity of auditory comprehension impairment correlated with the efficiency on both forward and backward VWM tasks and the backward SWM task. Further analysis revealed that TIP plays a crucial role only in the latter task. These results indicate the divergent pattern of interactions between WM and TIP depending on the type of WM tasks. Level of verbal competency appeared to play an important role in both VWM tasks, whereas TIP appeared to be important for SWM, but only on the backward task. (shrink)

ABSTRACTThis is a critical examination of Bryan Van Norden’s latest book, Taking Back Philosophy: A Multicultural Manifesto. Van Norden’s call for more diversification in philosophical curricula points to an important problem, that is, the predominance of a Western perspective in global philosophy departments. However, the notion of multiculturalism advocated by Van Norden reveals certain limitations when it comes to addressing the structural preconditions that render possible the dominant position of the Western perspective. One possible alternative for the multiculturalist approach might (...) be a global perspective. The recent development of global history and its methodological frames might prove effective in weakening the Western bias in academic philosophy. (shrink)

Due to the famous methodenstreit it is often well argued that Menger’s approach to social sciences can be seen as anti-historical, as according to him pure empirical studies are insufficient to establish a firm economic theory. By suggesting that some theorems have to precede historical studies, Menger may be seen as a representative of the a priori tradition in scientific method. The modern method in the mainstream of economic thinking is also to a large extent anti-historical and a priori, but (...) because of its lack of realism and extensive reliance on very limiting assumptions. The main strength of the Mengerian anti-historical approach is lesser faith in imaginary constructs, implying a higher degree of realism in theorizing. (shrink)

The subject embodied in the designed environment. Analysis of the use of the affordance concept in architecture: James Gibson’s ecological psychology is considered as one of the research subtraditions within embodied cognition. Gibson emphasizes the nature of the agent-environment interaction through the development of the theory of affordances. According to this idea, affordances are relational properties of the environment that enable a specific action for the agent. Currently this concept is being applied in many different contexts. This paper considers the (...) application potential of affordance in architectural studies as a tool that analyses the agent’s interaction with the environment. In this context, the affordance category can be a tool that allows one to take into account the importance of space for the shaping of behavior and interactions between its users, without falling into architectural determinism. The main aim of this study is to analyze affordances as a category that, despite its diversity and vagueness, can play an important role in the embodied view of architecture. The first part of the article is an attempt to synthetically place affordances in the context of embodied cognition and to point out the basic philosophical interpretations and discussions related to Gibson’s concept. In the next part, we situate the concept of affordances in the context of design practice. We also present the pros and cons of applying affordances to this ground. The last section in presenting the concept of affordances is considered within the background of the embodied current in architecture. (shrink)

This article contributes to the discussion regarding the relationship between idealisation, de-idealisation and cognitive scientific progress. In this, I raise the question of the significance of the gradual de-idealisation procedure for constructing political science theories. I show that conceptions that assume the reversibility of the idealisation process can be an extremely useful theoretical perspective in reconstructions of political science modelling and analyses of scientific progress in political science. I base my position on the results of the methodological reconstruction of Richard (...) Jankowski’s theory of voting. My reconstruction and results of empirical studies show that by gradually removing simplifying assumptions, models can emerge that more accurately identify the determinants of the voting decision and the corresponding relationships. In the case I analysed, the transition from coarse-grained to fine-grained models likely demarcates the line of scientific progress. (shrink)

The modeling of the human mind based on quantum effects has been gaining considerable interest due to the intriguing possibility of applying non-local interactions in the studies of consciousness. Inasmuch as the majority of the pertinent studies are restricted to the exclusive analysis of mental phenomena, the quantum model of mind proposed by Roger Penrose constitutes a part of a much larger scheme of the ultimate unification of physics. Penrose's efforts to find the 'missing science of consciousness' presuppose the non-algorithmic (...) character of human thinking inferred from Gödel's incompleteness theorem. This is supposed to combine with the anticipated non-algorithmic character of the future quantum gravity theory involving the objective reduction of a quantum mechanical state vector. By surveying contemporary achievements of cognitive sciences as well as the development of Penrose's conjectures, presented in his recent work The Road to Reality, we wish to show that his non-algorithmic quantum model of human mind is contingent upon the fundamental philosophical assumption of the mathematicity of the Universe. (shrink)