This paper explores some variants and aspects of multi-quantificational criteria of existence, examining these in the context of the debate between monism and pluralism in analytical philosophy. Assuming familiarity with the findings to date, we seek to apply to these the newly introduced concepts of “substitution” and “substitutional model”. Possible applications of formal theories involving multiple types of existential quantifier are highlighted, together with their methods of construction. These considerations then lead to a thesis asserting the irrelevance of both multi-quantificational (...) criteria and assumptions involving quantificational ontology to the debate between monism and pluralism in ontology. Many quantifiers cannot properly distinguish different modes of existence–as we aim to show by furnishing a general method for constructing counter-examples to any theory that assumes that different types of existential quantifier correspond to different modes of existence. (shrink)

We aim to show from a new perspective that Quine’s ontological relativity, based largely on his so-called “proxy-function argument”, falls short of being a rigorously coherent philosophical conception, as it exhibits significant formal defects. This new perspective enables exposing the shortcomings of Quine's position and suggests a possible reformulation of the original position. Moreover, we argue that his ontological relativity is inconsistent with the empirical data associated with some of our best physical theories, such as quantum mechanics. We refer to (...) fundamental concepts of philosophy and the foundations of mathematics in order to clarify our critique of Quine’s position concerning the relation between formalized theories and both what we can know about the real world and how we come to know it. (shrink)

Stanisław August Poniatowski (1732–1798) was the last king of Poland. He reigned from 1764 to 1795 and, during this time the first Polish constitution, the first in Europe, was established. These excerpts come from Hen’s book My Friend the King (Mój Przyjaciel Król). The book is narrated by the fictional Gaston Fabre, who is a close confidant of the King and is privy to all the turmoil and machinations at Court in months and years preceding the signing of the constitution.

Where you have freedom, the meaning of the word increases, where the word is meaningful, you presuppose freedom." Józef Tischner.

Excerpt from A History of Formal Logic In this edition of the most considerable history Of formal logic yet published, the Opportunity has Of course been taken to make some adjustments seen to be necessary in the original, with the author's full concurrence. Only in 36, however, has the numeration of cited passages been altered owing to the introduction of new matter. Those changes are as follows. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. (...) Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

After the unexpected death of Professor Józef Kałuża at the age of 74 on the 26th of July 2003, not only Polish neuropathology but also Polish philosophy of medical investigations lost one of its most renowned minds. Beginning in 1949, Professor Kałuża studied medical sciences for five years at the Medical Faculty of the Jagiellonian University in Cracow. He did his Ph.D. thesis in neuropathology in the Department of Neuropathology of the Polish Academy of Science. In 1962 he received a (...) Rockefeller Foundation scholarship and spent one year at the National Institutes of Health. In 1981 Professor Kaluza was promoted to a tenured professorship in neuropathology. He is the author of more than 110 articles published in medical periodicals and coauthor of many chapters in medical handbooks. (shrink)

The Struggle for Nature outlines and examines the main aspects of current environmental philosophy including deep ecology, social and political ecology, eco-feminism and eco-anarchism. It criticizes the dependency on science of these philosophies and the social problems engendered by them. Jozef Keulartz argues for a post-naturalistic turn in environmental philosophy. The Struggle for Nature presents the most up-to-date arguments in environmental philosophy, which will be valuable reading for anyone interested in applied philosophy, environmental studies or geography.

Quantum mechanics (QM) predicts probabilities on the fundamental level which are, via Born probability law, connected to the formal randomness of infinite sequences of QM outcomes. Recently it has been shown that QM is algorithmic 1-random in the sense of Martin–Löf. We extend this result and demonstrate that QM is algorithmic $$\omega$$ -random and generic, precisely as described by the ’miniaturisation’ of the Solovay forcing to arithmetic. This is extended further to the result that QM becomes Zermelo–Fraenkel Solovay random on (...) infinite-dimensional Hilbert spaces. Moreover, it is more likely that there exists a standard transitive ZFC model M, where QM is expressed in reality, than in the universe V of sets. Then every generic quantum measurement adds to M the infinite sequence, i.e. random real $$r\in 2^{\omega }$$, and the model undergoes random forcing extensions M[r]. The entire process of forcing becomes the structural ingredient of QM and parallels similar constructions applied to spacetime in the quantum limit, therefore showing the structural resemblance of both in this limit. We discuss several questions regarding measurability and possible practical applications of the extended Solovay randomness of QM. The method applied is the formalization based on models of ZFC; however, this is particularly well-suited technique to recognising randomness questions of QM. When one works in a constant model of ZFC or in axiomatic ZFC itself, the issues considered here remain hidden to a great extent. (shrink)

I argue that on Aristotle’s account practical thinking is thinking whose origin (archē) is a desire that has as its object the very thing that one reasons about how to promote. This feature distinguishes practical from productive reasoning since in the latter the desire that initiates it is not (unless incidentally) a desire for the object that one productively reasons about. The feature has several interesting consequences: (a) there is only a contingent relationship between the desire that one practically reasons (...) about how to satisfy and the action one decides on; (b) practical thinking and action cannot be separated from the agent, whereas productive thinking and production can be outsourced to someone else. The view has consequences also for the distinction between action and production. Finally, I illustrate the usefulness and correctness of my account of practical thinking by using it to shed new light on Aristotle’s claim that the virtuous agent must decide on her virtuous actions ‘for themselves’. (shrink)

Like most goods‐producing sectors in the West, modern health‐care systems have been profoundly changed by globalization and the neoliberal policies that attend it. Since the 1970s, the role of the welfare state has been considerably reduced; funding and management of health systems have been subjected to wave upon wave of reorganization and assimilated to the private sector. At the same time, neoliberal policy has imposed the notion of patient empowerment, thus turning patients into consumers of health. The literature on nursing (...) has accordingly reported on the significant repercussions on all aspects of the profession, from delivery of care and treatment, through training for new nurses, to legislated policy reforms regarding the role and responsibilities of modern nurses. In light of these developments, this paper analyses and theorizes about the way the injection of neoliberal policy is linked to and affects the practice of nursing. Drawing on a number of Nietzschean arguments, we begin with an exploration of the complex effects of neoliberalism, bureaucratization, and technocratization on the health system and the practice of nursing. Our main theoretical point here is that neoliberal policy engenders and promotes a neoliberal tide, which results in the conversion of the values that drive modern nursing practice. We then examine this tide in the light of Nietzsche's concepts. Starting with an analysis based on the ontology of the will to power, we show that nurses are dominated by neoliberal values embedded in technocratic and bureaucratic ideologies. Finally, we argue that the application of neoliberal policy constitutes a form of domestication from which one might potentially be freed through the Nietzschean concept of transvaluation of values. This transvaluation, as its freeing from some of the neoliberal tide, may be accomplished in accordance with a hierarchy of specific life‐affirming values for nursing culture and practice. (shrink)

Braddon-Mitchell and Miller put forward the claim that the relation of being-the-same-person is gradable: a person can be the same person tomorrow as today, but only half the same. To justify their thesis, they propose a model of persons that is intended to be metaphysically neutral. This article sets out to show that such a model implicitly contains strong metaphysical assumptions that run contrary to the authors’ own statements. Using Roman Ingarden’s phenomenological ontology, we aim to demonstrate that within the (...) model in question persons exist intentionally, where this leads to a caricature rather than an adequate account of persons. In opposition to Braddon-Mitchell and Miller, we argue that the justification presented for the thesis of the gradability of the relation of being-the-same-person in fact makes it reasonable to demand that an adequate model of persons be posited. We present Kurt Lewin’s holistic topological-dynamic model, and show that in this context it is not being-the-same-person that is gradable, but rather the characteristic (of persons) that is dimension. Thus, we reject the thesis of the gradability of the relation of being-the-same-person involved in personal identity. (shrink)

We give an almost explicit presentation of exotic functions corresponding to some exotic smooth structure on topologically trivial R4. The construction relies on the model-theoretic tools from the previous paper. We can formulate unexpected, yet direct connection between ‘‘localized’’ exotic small R4’s and some noncommutative spaces. The formalism of QM can be interpreted in terms of exotic smooth R4’s localized in spacetime. A new way of looking at the problem of decoherence is suggested. The 4-dimensional spacetime itself has built-in means (...) which may enforce a kind of decoherence. (shrink)

The greatest challenge with which the Readers of my book had to cope with was the problem of ontological presence. In Srzednicki’s conception ontological presence has two dimensions: a logical and an onto-factual one.Every cognitive perspective is always contingent but this contingency must be limited somehow. Srzednicki restores the ontological dimension of cognition (crossed out by traditional epistemology and philosophy), but avoids ontological fundamentalism. His conception gives rise to a new model of metaphysics understood not as the most general theory (...) of being or a general theory of cognition but as the non-epistemic closure of all epistemological projects and theoretical discourses.The main parameters of the epistemic closure can only be reconstructed theoretically in the logical space of the observer. This non-epistemic closure is marked by three categorical constraints: ontological, formative and normative.Srzednicki overcomes Wittgenstein’s skepticism by understanding transcendentalism much more deeply. (shrink)

The beauty contest game is widely used to study the determinants of strategic thinking. Here, we examine the role of theory of mind in strategic reasoning by comparing both performance and the reas...

We build a topological model, based on intuitionistic logic, for multi-agent biological systems (such as _Physarum polycephalum_, bacterial colonies or any other swarm), reacting to external nourishment stimuli. Our construction follows the topological description of brain activity, where particles (neurons) are activated by an external environment, represented by a topological space _X_ with an open cover \(\{U_i:i\in I\}\). The brain builds the model of this external space via the nerve (trace) of a topological space _X_. Here the body of _Physarum (...) polycephalum_ or a swarm made of networks of tubular structures represents a nerve (trace) of _X_ also which means that _Physarum polycephalum_ or a swarm gains orientation in the space of external stimuli even in the absence of any neural system. The logic of living organisms is based on open subsets of _X_ and thus can be represented by Heyting algebra (i.e. intuitionistically). We also consider the generalisation of the nerve construction to a categorical context, where the category is determined by the network structures of multi-agent biological system. This model can be generalised up to simulating the behaviour of any swarm by means of intuitionistic logic. (shrink)

In this paper the final stages of the historical process of the emergence of actual infinity in mathematics are considered. The application of God’s point of view – i.e. the possibility to create mathematics from a divine perspective, i.e. from the point of view of an eternal, timeless, omniscience and unlimited subject of cognition – is one of the main factors in this process. Nicole Oresme is the first man who systematically used actual infinity in mathematical reasoning, constructions and proofs (...) in geometry. (shrink)

The discussion paper synthesises the insights shared during a keynote panel at the 26th International Philosophy of Nursing Conference, themed “Reimagining a nursing ecosystem in an uncertain world.” It delves into the substantial impact uncertainty has on nursing, offering innovative strategies for reconceptualization. Through a critical examination of evidence‐based practice, the tendency to homogenise nursing is discussed, prompting advocacy for a Nietzschean political framework as a form of resistance and emancipation. Drawing inspiration from Donna Haraway, a transition from individualistic to (...) relational approaches is needed, especially amidst social and economic instability. Furthermore, the integration of caritas and Indigenous epistemologies underscore the significance of cultural sensitivity in nursing. Meanwhile, Ubuntu philosophy champions empathy and collective values, while a convergence of Eastern and Western philosophical traditions promises to enrich nursing practice. Ultimately, the panellists advocate for overcoming rigid ideologies in favour of a pluralistic approaches, ontologies, epistemologies and ethics to address contemporary challenges, and signal for a philosophical reorientation to engage uncertainty and reshape nursing roles in an ever‐evolving and world. (shrink)

This paper is devoted to the reconstruction of the implicit logic of Plato’s Par-menides. The reconstructed logic, F, makes it possible to form a new semi-intuitionistic system of logic of predicates, FN. The axioms of Peano Arithmetic (PA) and an axiom of infinity follow from FN. Therefore, FN can be seen as a new attempt at the realization of Frege’s logicist program. Some very strong systems can be seen as other variants of FN, e.g. Leśniewski’s ontology. The hypothesis from Parmenides (...) II contains proof of the existence of the two highest principles, i.e. the One and the Dyad, their mutual relationship, their relations to other things, and the reasoning regarding the mutual relationship follows some exact formal rules. Six types of Plato’s negation of a predicate are defined. The system is a first-order logic with non-classical negation of a predicate (local negation) that is non-definable by classical sentential negation. Therefore, the implicit logic of Plato’s Parmenides differs from classical syllogistics (formed in the Łukasiewicz’s style) as well as from the classical predicate calculus. (shrink)

We demonstrate “economies of experience” in eye-movement patterns—that is, optimization of eye-movement patterns aimed at more efficient and less costly visual processing, similar to the priming-induced formation of sparser cortical representations or reduced reaction times. Participants looked at Mooney-type, degraded stimuli that were difficult to recognize without prior experience, but easily recognizable after exposure to their undegraded versions. As predicted, eye-movement dispersion, velocity, and the number of fixations decreased with each stimulus presentation. Further analyses showed that this effect was contingent (...) on recognition, and the selection of information from the stimulus could be informed by the identity of the presented object. Finally, our study demonstrates that after exposure to the undegraded version of the stimulus, eye-movement patterns associated with its degraded and undegraded versions become more similar. This suggests that eye-movement patterns can evolve to facilitate the optimal processing of a given stimulus via experience-driven perceptual learning. (shrink)

A general duality connecting the level of a formal theory and of a metatheory is proposed. Because of the role of natural numbers in a metatheory the existence of a dual theory is conjectured, in which the natural numbers become formal in the theory but in formalizing non-formal natural numbers taken from the dual metatheory these numbers become nonstandard. For any formal theory there may be in principle a dual theory. The dual shape of the lattice of projections over separable (...) Hilbert space is exhibited. The crucial ingredient of this dual theory is set-theoretical (Cohen) forcing. Then, some attempts have been made to exhibit the dual shape of the exotic smooth (small) structures on topological ℝ4. There are striking similarities of both pictures. Nonstandard solutions of the equations of motion of 10-dimensional superstring of IIB type are described as a model theoretic extension of standard ones. Based on Brans conjecture one can predict the existence of sources of gravity in 4 dimensions. By their dual origins they carry quantum information as well. The generalized Maldacena conjecture appears naturally, which sheds light on a definition of background independent string theory. (shrink)

We show that in 4-spacetime modified at very short distances due to the weakening of classical logic, the higher dimensions emerge. We analyse the case of some smooth topoi, and the case of some class of pointless topoi. The pointless topoi raise the dimensionality due to the forcing adding “string” objects and thus replacing classical points in spacetime. Turning to strings would be something fundamental and connected with set theoretical forcing. The field theory/strings dualities originate at the set theoretical level (...) of the theories. It is argued that this fundamental level can help solving some difficulties of the physical dualities. (shrink)

This paper presents sources pertinent to the transmission of Euclid’s Elements in Western medieval civilization. Some important observations follow from the pure description of the sources concerning the development of mathematics, e.g., the text of the Elements was supplemented with new axioms, proofs and theorems as if an “a priori skeleton” lost in Dark Ages was reconstructed and rediscovered during the late Middle Ages. Such historical facts indicate the aprioricity of mathematics.

Reproduction has entered a new ice age: the ability to cryopreserve reproductive cells, tissue and embryos are fundamentally changing our understanding of what it means to be a reproductive citizen. This book explores the ways in which opinions of desirable reproductive futures are feared or are being welcomed by advances in freezing technologies, with the authors situating their discussions of cryo-fertility primarily within the Scandinavian region, asking: * How does cryopreservation help mobilize particular understandings of reproductive time, reproductive rights and (...) reproductive autonomy? * What values are embedded within Scandinavian laws that seek to regulate cryotechnologies? * How do men and women who freeze their gamets imagine the preservation of their material? -/- These questions demand a collaborative approach. The authors empirically cut across the areas of bioethics/law, practices/experiences and culture/commerce in order to pin down often comples and far-reaching answers. (shrink)

I argue that, for Aristotle, virtue of character is a state of the non-rational part of the soul that makes one prone to making and acting on decisions in virtue of that part’s standing in the right relation to (correct) reason, namely, a relation that qualifies the agent as a true self-lover. In effect, this central feature of virtue of character is nothing else than love of practical wisdom. As I argue, it not only explains how reason can hold direct (...) authority over non-rational desires but also why Aristotle defines virtue of character as hexis prohairetikē. (shrink)

I argue for a standpoint that—against various kinds of naturalism—epistemology is a complete philosophical science. Epistemology is theoretically and methodologically self-sufficient. It has its good described subject, its characteristic research methods and its exactly described goal. The subject of epistemology is broadly comprehended cognition (knowledge)—cognition (knowledge) is comprehended as action as well as result. Among various methods peculiar to philosophy it is necessary to distinguish first of all phenomenological, transcendental and analytical methods. However, the main goal of epistemology has been (...) and still is a solution of the objective cognition issue—the problem of cognition adequacy and of its transcendence. Epistemology can achieve this goal only when: (1) it resists the temptation of its subject naturalization; (2) against the propositional theory of truth it operates a broad concept of cognition; (3) against manykinds of representationism (mediatism) it does not resign from the concept of direct cognition, i.e. view of presentationism. Thanks to reference to source cognitions and direct knowledge the realistic world view is also defendable. (shrink)

Existing literature on equity considerations for climate change mitigation and adaptation has almost exclusively focused on fair burden sharing between nations. However, disparities among regions a...

This article presents some modern philosophical reasons that lay behind the introduction of the concept of the hermeneutical horizon to explain scientific change; cf. [1], chapter 17. These reasons reveal arbitrariness of sociological variabilism following from its elimination of the objective intellectual factors, essential in knowledge creation.

In this study, the implementation effects of a staff development program on cooperative learning (CL) for Dutch elementary school teachers were studied. A pre?test?post?test non?equivalent control group design was used to investigate program effects on the instructional behaviours of teachers. Based on observations of teacher behaviour during cooperative lessons, a statistically significant treatment effect was found for the following instructional behaviours: structuring positive interdependence, individual accountability, social skills and evaluation of the group process. Training effects were also found for the (...) combination of CL with the model of direct instruction and the activation of prior knowledge of social skills. Moreover, teachers in the experimental group scored statistically significantly higher than the teachers in the control group on the activation of prior academic knowledge. (shrink)