'What is real?' has been one of the key questions of philosophy since its beginning in antiquity. But it is not just a question that philosophers ask. This Very Short Introduction discusses what reality is by looking at a variety of arguments, theories, and thought-experiments from philosophy, physics, and cognitive science.

This paper briefly discusses the relations between logic and metalogic in history. Metalogic is understood as a reflection on logic in its various senses, particularly sensu stricto (formal, mathematical) and sensu largo (formal logic plus semantic plus methodology of science). It is shown that metalogic in its contemporary understanding arose after mathematical logic had become a mature discipline. Special passage is devoted to metalogic in Poland. The last part of the paper discussed so-called logocentric predicament.

1. Die erste Hälfte des Kommentars, mit Ausnahme der Kapitel über die Weltseele.

This paper investigates the basis arguments of so-called legal logic and their relation to logic in its standard meaning. There is no doubt that legal arguments belong to logic in the wide sense (sensu largo), but their reduction to schemes of formal logic (logica sensu stricto) is a controversial issue. It can be demonstrated that only some legal arguments fall under explicit rules of formal logic, that is, having a deductive character. Most such reasoning is fallible, and its correctness depends (...) on appealing to extra-logical principles taken from legal norms. For instance, if we say, “If it is permitted more, then it is permitted less” (argumentum a maiori ad minus), we assume that the concepts expressed by the words “more” and “less” are already defined. (shrink)

The relevance of metamathematical researches for philosophy of math- ematics is an indubitable matter. In the paper I shall speak about impli- cations of metamathematics for general philosophy, especially for classical epistemological problems. Let us start with a historical observation con- cerning Hilbert's programme, the rst research programme in metamathe- matics as a separate study of formal systems. This programme was strongly in uence by epistemological considerations. In fact, Hilbert wanted to se- cure all classical mathematics against inconsistencies and this (...) aim had be achieved with the help of nitary consistency proof. Hilbert's claim is like the Cartesian project of reduction of all concepts to clarae et distinctae ideae. The epistemological commitment of original Hilbert's programme may be treated as a prelim- inary heuristic motivation for looking for epistemological implications of metamathematical results. It seems reasonable to examine in this respect three so-called limitative theorems: the rst Godel's incompleteness theo- rem , the second Godel's incom- pleteness theorem consistency of S, cannot be proved in S, providing that S is consistent) and Tarski's undenability theorem ; \S" stands for formal system containing elementary number theory. From the above-mentioned theorems we obtain an important, from philosophical point of view, conclusion: semantics of S cannot be expressed in S. Now, I shall present three applications of limitative theorems to the analysis of classical epistemological problems. (shrink)

This is a collection of essays about logic and its applications to various philosophical problems. In general, it is argued that logic constitutes an important device of philosophical analysis. Concerning the nature of logic the author defends the thesis that first-order logic is the logic. Among the philosophical problems to which logic is applied in the essays are: truth, consistency, realism, foundations of semantics, psychologism, undetermination of theories by empirical data, modalities, value concepts, identity, vagueness, God's existence, transcendentals, legal reasoning, (...) category mistakes, bivalence, the cognitive relation, and meaningfulness. (shrink)

Summary This article focuses on the Tacitist thought shared by Justus Lipsius and Hugo Grotius. Contrary to what his later works might suggest, in the years before the Dutch political crisis of 1618, Grotius appears willing to look at history and contemporary politics in terms of the Tacitist and reason-of-state-based categories defined in Lipsius's political works. A specific Lipsian inspiration seems present in Grotius's Amsterdam address of 1616, and his analysis of the early Dutch Revolt in the Annales et Historiae (...) is determined by categories of thought which at the time were identified with Lipsius's intellectual legacy. (shrink)

The recent progress in the development of autonomous cars has seen ethical questions come to the forefront. In particular, life and death decisions regarding the behavior of self-driving cars in trolley dilemma situations are attracting widespread interest in the recent debate. In this essay we want to ask whether we should implement a mandatory ethics setting for the whole of society or, whether every driver should have the choice to select his own personal ethics setting. While the consensus view seems (...) to be that people would not be willing to use an automated car that might sacrifice themselves in a dilemma situation, we will defend the somewhat contra-intuitive claim that this would be nevertheless in their best interest. The reason is, simply put, that a PES regime would most likely result in a prisoner’s dilemma. (shrink)

Modern societies are characterized by a division of epistemic labor between laypeople and epistemic authorities. Authorities are often far more competent than laypeople and can thus, ideally, inform their beliefs. But how should laypeople rationally respond to an authority’s beliefs if they already have beliefs and reasons of their own concerning some subject matter? According to the standard view, the beliefs of epistemic authorities are just further, albeit weighty, pieces of evidence. In contrast, the Preemption View claims that, when one (...) discovers what an authority believes, it is not permissible to rely on any of one’s own reasons concerning the subject matter. The original version of this view, as proposed by Linda Zagzebski, has recently been severely criticized for recommending blind trust and for abandoning even minimal standards for critical thinking. In our paper, we defend a new version of the Preemption View—Defeatist Preemptionism—in a way that differs radically from Zagzebski’s. We argue that our view can be derived from certain widely accepted general epistemic principles. In particular, we claim that preemption can be identified as a special case of source sensitive defeat. Moreover, we argue that Defeatist Preemptionism does not lead to the undesirable consequences that critics ascribe to the Preemption View. The paper thus articulates the foundations and refinements of the Preemption View, such that it adequately captures the phenomenon of epistemic authority and the rational requirements related to it. (shrink)

It is a frequent assumption that—via superluminal information transfers—superluminal signals capable of enabling communication are necessarily exchanged in any quantum theory that posits hidden superluminal influences. However, does the presence of hidden superluminal influences automatically imply superluminal signalling and communication? The non-signalling theorem mediates the apparent conflict between quantum mechanics and the theory of special relativity. However, as a ‘no-go’ theorem there exist two opposing interpretations of the non-signalling constraint: foundational and operational. Concerning Bell’s theorem, we argue that Bell employed (...) both interpretations, and that he finally adopted the operational position which is associated often with ontological quantum theory, e.g., de Broglie–Bohm theory. This position we refer to as “effective non-signalling”. By contrast, associated with orthodox quantum mechanics is the foundational position referred to here as “axiomatic non-signalling”. In search of a decisive communication-theoretic criterion for differentiating between “axiomatic” and “effective” non-signalling, we employ the operational framework offered by Shannon’s mathematical theory of communication, whereby we distinguish between Shannon signals and non-Shannon signals. We find that an effective non-signalling theorem represents two sub-theorems: Non-transfer-control theorem, and Non-signification-control theorem. Employing NTC and NSC theorems, we report that effective, instead of axiomatic, non-signalling is entirely sufficient for prohibiting nonlocal communication. Effective non-signalling prevents the instantaneous, i.e., superluminal, transfer of message-encoded information through the controlled use—by a sender-receiver pair —of informationally-correlated detection events, e.g., in EPR-type experiments. An effective non-signalling theorem allows for nonlocal quantum information transfer yet—at the same time—effectively denies superluminal signalling and communication. (shrink)

The aim of this article is to look at an early 17th-century analysis of a prince’s management of an ‘agglomerate polity’ in order to obtain a view of its chief focuses, concerns, and terms of analysis. Four main types of issues appear (apart from Grotius’ general analysis of Philip’s person and policies, which are also discussed): 1. Acceptation and legitimacy of a prince who was perceived to ignore local customs, rights and interests of his various territories; 2. The king’s representatives (...) and intermediaries, their (mis)management of their task, or the King’s (mis)management of them; 3. The conflicting demands of international politics; 4. Controlling armies and the connected issue of financial resources. The ‘Tacitean’ mode of writing history was regarded as the most ‘true’ and ‘revealing’ historiography in Grotius’ time. However Tacitean perceptiveness and analysis were not about what historians today regard as deeper historical processes and causation (like those associated with the ‘philosophic’ histories from the Enlightenment onwards, e.g. in Edward Gibbon), but about understanding personal motives and (hidden) immediate causes and intentions behind particular events and decisions. This historic differences in historical explanation should be taken into account when judging the value of Grotius’ history of his own time. (shrink)

The purpose of this article is to show, by the example of Hugo Grotius's Annales et Historiae de rebus Belgicis (AH), that the nature and content of the concept of Tacitism (Tacitist, Tacitean) in the period around 1600 was markedly different from modern perceptions of the style and political purport of Tacitus's works. This gap between current and early-modern conceptions of Tacitus is important to bear in mind for intellectual historians dealing with early-modern intellectual currents such as Reason of State, (...) Neo-Stoicism, Tacitism, and others. This article first describes how the Tacitean style is characterised in literary criticism around 1600; then it explores the qualities of Hugo Grotius's imitation of Tacitus from the 17th-century perspective and from that of some main aspects of the present-day view of Tacitus. It concludes that Grotius's imitation shows Tacitus's style in a characteristically 17th-century mirror, in that it puts emphasis on Tacitean syntax, brevity and choice of words (the stylistic micro-level), as well as on political iudicium and Reason of State, but omits imitation of the narrative and structural qualities of Tacitus's composition, and their implications, which are central to modern interpretations. ☆ This article is part of the outcome of a research project on Grotius's Annales et Historiae conducted at the Radboud University Nijmegen in 2004–2008 with a VENI-grant from the Dutch research organisation NWO. I thank Corinna Vermeulen, Marc van der Poel, Hans Blom and HEI's anonymous referees for their comments on this piece. (shrink)

This book compiles and reviews the most prominent linguistic theories into a single source that serves as an essential reference for future solutions to one of the most important challenges of our age.

Students of Thomas Aquinas have so far lacked a comprehensive study of his doctrine of the transcendentals. This volume fills this lacuna, showing the fundamental character of the notions of being, one, true and good for his thought. The book inquires into the beginnings of the doctrine in the thirteenth century and explains the relation of the transcendental way of thought to Aquinas's conception of metaphysics. It analyzes 'Being', 'One', 'True', 'Good' and 'Beautiful' individually and discusses their importance for the (...) philosophical knowledge of God. Medieval Philosophy and the Transcendentals: The Case of Thomas Aquinas is intended as a contribution to the question 'What is philosophy in the Middle Ages?' It argues that the doctrine of the transcendentals is essential for understanding medieval philosophy. (shrink)

This book provides for the first time a complete history of the doctrine of the transcendentals and shows its importance for the understanding of philosophy in the Middle Ages.

Is knowledge-how, or “practical” knowledge, a species of knowledge-that, or “theoretical” knowledge? There is no comfortable position to take in the debate around this question. On the one hand, there are counterexamples against the anti-intellectualist thesis that practical knowledge is best analysed as an ability. They show that having an ability to ϕ is not necessary for knowing how to ϕ. On the other hand, the intellectualist analysis of practical knowledge as a subspecies of theoretical knowledge is threatened by its (...) own set of counterexamples, which convincingly establish that practical knowledge lacks many of the typical characteristics of theoretical knowledge. Most strikingly it does not even appear to require a belief. In this paper, I develop an account of practical knowledge that avoids these counterexamples. It also manages to preserve both the status of such knowledge as a cognitive achievement and its apparently close conceptual relation to abilities. I start with the counterexamples against the necessity of abilities for practical knowledge and show that they fail because they underestimate the cognitive demands of attempts. I then make use of the logic of dispositions to bridge the gap that counterexamples against the necessity of abilities for practical knowledge open. It is argued that, instead of the ability to ϕ, it is a specific disposition to have the ability to ϕ that constitutes practical knowledge about ϕ. The resulting theory is an anti-intellectualist position that preserves essential intellectualist motivations and thus should be satisfactory for proponents of both views. (shrink)

The paper deals with the work Philosophia Sacra: Or The Principles of Natural Philosophy. Extracted from Divine Revelation, published in 1753 by the relatively unknown English clergyman Samuel Pike (circa 1717 – 1773). This work falls within the tradition of the so-called Mosaic physics, a specific Early Modern endeavor to build natural philosophy based on a literal reading of the Holy Scriptures, particularly the first chapters of the book of Genesis attributed to Moses – hence the term “Mosaic.” For this (...) reason, at the beginning of the paper, the author seeks to introduce the fundamental ideas of this movement as expressed by its key proponents, namely L. Daneau, O. Casmann, and K. Aslakssøn. In the subsequent analysis of Pike’s natural-philosophical conception, the author highlights its specific features, including obvious Newtonian influences on the one hand (Pike’s work was written about a century and a half later than the texts of the ‘founding fathers’ of Mosaic physics and must have been influenced by the contemporary discourse). On the other hand, Pike’s work exhibits strong, albeit implicit, similarities with the ideas of J. A. Comenius, another thinker associated with Early Modern Mosaic physics (and often considered its most significant representative, which are explored in the concluding part of the text. It can be said that Pike’s work appears as a remarkable and highly original culmination of the Mosaic natural philosophy tradition, combining a range of seemingly unexpected, if not outright contradictory, motifs. (shrink)

Emergent quantum mechanics (EmQM) explores the possibility of an ontology for quantum mechanics. The resurgence of interest in realist approaches to quantum mechanics challenges the standard textbook view, which represents an operationalist approach. The possibility of an ontological, i.e., realist, quantum mechanics was first introduced with the original de Broglie-Bohm theory, which has also been developed in another context as Bohmian mechanics. This Editorial introduces a Special Issue featuring contributions which were invited as part of the David Bohm Centennial symposium (...) of the EmQM conference series (www.emqm17.org). Questions directing the EmQM research agenda are: Is reality intrinsically random or fundamentally interconnected? Is the universe local or nonlocal? Might a radically new conception of reality include a form of quantum causality or quantum ontology? What is the role of the experimenter agent in ontological quantum mechanics? The Special Issue also includes research examining ontological propositions that are not based on the Bohm-type nonlocality. These include, for example, local, yet time-symmetric, ontologies, such as quantum models based upon retrocausality. This Editorial provides topical overviews of thirty-one contributions which are organized into seven categories to provide orientation. (shrink)

This study deals with the concept of natura as it is presented in Comenius’s Pansophia. Since Comenius’s concept of nature is inseparable from his anthropological views, the paper discusses also his anthropology. Man is considered here an integral part of the material world which, however, through his immortal mind and its three infinite components surpasses the material world and rises above it. Man, especially in his limitlessness and freedom of human will, resembles God. The human individual thus becomes not only (...) the creation of God, but the partner and collaborator of God, insofar as the process of completing the work of Creation is concerned. The outcomes of human activity are called the world of human creation, the world of morality and the world of the spirit, in which nature is brought to perfection. The final part of the study focuses on the concept of natura humana which is important in the whole Consultatio catholica, not only in the Pansophia. Despite all difficulties in interpretation, Comenius’s concept of human nature can be reconstructed. According to Comenius the basis of human nature is the openness of human existence founded on the free and unrestricted will. © FILOSOFIA, 2014. (shrink)

The effects of public announcements, private communications, deceptive messages to groups, and so on, can all be captured by a general mechanism of updating multi-agent models with update action models, now in widespread use. There is a natural extension of the definition of a bisimulation to action models. Surely enough, updating with bisimilar action models gives the same result (modulo bisimulation). But the converse turns out to be false: update models may have the same update effects without being bisimilar. We (...) propose action emulation as a notion of equivalence more appropriate for action models, and generalizing standard bisimulation. It is proved that action emulation provides a full characterization of update effect. We first concentrate on the general case, and next focus on the important case of action models with propositional preconditions. Our notion of action emulation yields a simplification procedure for action models, and it gives designers of multi-agent systems a useful tool for comparing different ways of representing a particular communicative action. (shrink)

This study aims to corroborate Merleau-Ponty’s interpretations of fundamental ideas from Saussure’s linguistics by linking them to works that were independently elaborated by Jan Mukařovský, Czech structuralist aesthetician and literary theorist. I provide a comparative analysis of the two authors’ theories of language and their interpretations of thought as fundamentally determined by language. On this basis, I investigate how they conceive linguistic innovation and its translation into changes in the constituted language and other social codes and institutions. I explain how (...) they elaborate on Saussure’s idea of language as a system of oppositions by interpreting cultural innovation as a systematic variation of pre-established social norms and, similarly, linguistic innovation as gesturing within language. Connectedly, I show how Mukařovský’s works help clarify Merleau-Ponty’s focus on the gestural dimension of language. By discussing the two thinkers’ arguments in favour of linguistic innovation, I explore what could be called phenomenological limits of structuralism. (shrink)

Abstract:We analyzed co-citation patterns in 332,498 articles published in Anglophone psychology journals between 1946 and 1990 to estimate (1) when cognitive psychology first emerged as a clearly delineated subdiscipline, (2) how fast it grew, (3) to what extent it replaced other (e.g., behaviorist) approaches to psychology, (4) to what degree it was more appealing to scholars from a younger generation, and (5) whether it was more interdisciplinary than alternative traditions. We detected a major shift in the structure of co-citation networks (...) between approximately 1955 and 1975 and draw novel conclusions about the developments commonly referred to as "the cognitive turn.". (shrink)

Cognitive Science, Volume 46, Issue 9, September 2022.

We define a first-order theory FIN which has a recursive axiomatization and has the following two properties. Each finite part of FIN has finite models. FIN is strong enough to develop that part of mathematics which is used or has potential applications in natural science. This work can also be regarded as a consistency proof of this hitherto informal part of mathematics. In FIN one can count every set; this permits one to prove some new probabilistic theorems.

Educating the gaze is easily understood as becoming conscious about what is 'really' happening in the world and becoming aware of the way our gaze is itself bound to a perspective and particular position. However, the paper explores a different idea. It understands educating the gaze not in the sense of 'educare' (teaching) but of 'e-ducere' as leading out, reaching out. E-ducating the gaze is not about getting at a liberated or critical view, but about liberating or displacing our view. (...) It is not about becoming conscious or aware , but about becoming attentive , about paying attention . E-ducating the gaze, then, is not depending on method, but relying on discipline; it does not require a rich methodology, but asks for a poor pedagogy, i.e. for practices which allow to expose ourselves. One example of such practice is that of walking. Consequently e-ducating the gaze could be about an invitation to go walking. This idea is explored b way of a comment on two quotations, one by Walter Benjamin and one by Michel Foucault. (shrink)

Knowing the subjective perspective of other agents, how the world manifests itself to them, through the prism of their specific embodiment and situated, remains beyond the limits of our direct cognition and sometimes even imagination. Simulations using virtual reality technology (VR) can partially bring us closer to the embodied perspective of other agents. This technology enables the experience of another body, as one’s own and causal, during the phenomenon of virtual embodiment. The user can be situated in a simulated environment (...) specific to the agent and experience it through the prism of modified sensory modalities (e.g., using the sense of echolocation in the case of a bat). However, the possibilities of simulation are significantly limited by technological and biological factors. The purposes of this text are to review currently developed simulations of being another agent and to analyze the potential of VR technology to experience the embodied perspective of other agents as one’s own. (shrink)

In this paper it is shown that addition of certain reductions to the standard cut removing reductions of deductions in prepositional logic makes prepositional logic non-normalizable. From this follows that some provable propositions in prepositional logic has no direct proof.