This textbook carefully develops the main ideas and techniques of statistical and thermal physics and is intended for upper-level undergraduate courses. The authors each have more than thirty years' experience in teaching, curriculum development, and research in statistical and computational physics. Statistical and Thermal Physics begins with a qualitative discussion of the relation between the macroscopic and microscopic worlds and incorporates computer simulations throughout the book to provide concrete examples of important conceptual ideas. Unlike many contemporary texts on thermal physics, (...) this book presents thermodynamic reasoning as an independent way of thinking about macroscopic systems. Probability concepts and techniques are introduced, including topics that are useful for understanding how probability and statistics are used. Magnetism and the Ising model are considered in greater depth than in most undergraduate texts, and ideal quantum gases are treated within a uniform framework. Advanced chapters on fluids and critical phenomena are appropriate for motivated undergraduates and beginning graduate students. Integrates Monte Carlo and molecular dynamics simulations as well as other numerical techniques throughout the text Provides self-contained introductions to thermodynamics and statistical mechanics Discusses probability concepts and methods in detail Contains ideas and methods from contemporary research Includes advanced chapters that provide a natural bridge to graduate study Features more than 400 problems Programs are open source and available in an executable cross-platform format Solutions manual. (shrink)

'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)

Cook and Reckhow [5] pointed out that $\mathcal {N}\mathcal {P} \neq co\mathcal {N}\mathcal {P}$ iff there is no propositional proof system that admits polynomial size proofs of all tautologies. The theory of proof complexity generators aims at constructing sets of tautologies hard for strong and possibly for all proof systems. We focus on a conjecture from [16] in foundations of the theory that there is a proof complexity generator hard for all proof systems. This can be equivalently formulated (for p-time (...) generators) without a reference to proof complexity notions as follows:•There exists a p-time function g stretching each input by one bit such that its range $rng(g)$ intersects all infinite $\mathcal {N}\mathcal {P}$ sets.We consider several facets of this conjecture, including its links to bounded arithmetic (witnessing and independence results), to time-bounded Kolmogorov complexity, to feasible disjunction property of propositional proof systems and to complexity of proof search. We argue that a specific gadget generator from [18] is a good candidate for g. We define a new hardness property of generators, the $\bigvee $ -hardness, and show that one specific gadget generator is the $\bigvee $ -hardest (w.r.t. any sufficiently strong proof system). We define the class of feasibly infinite $\mathcal {N}\mathcal {P}$ sets and show, assuming a hypothesis from circuit complexity, that the conjecture holds for all feasibly infinite $\mathcal {N}\mathcal {P}$ sets. (shrink)

This paper reviews some of the ethical issues associated with the administration of long and intrusive questionnaires and interview schedules, particularly to people whose mental health is compromized. The author argues that this approach to research is potentially abusive and challenges its acceptance as the best method of obtaining relevant data. Recommendations focus on collaboration between the National Research Ethics Service, patient representatives and the research community in order to develop more humane approaches to help understand the needs of vulnerable (...) patients. (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)

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)

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)

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)

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 paper clarifies Merleau-Ponty’s original account of “higher-order” cognition as fundamentally embodied and enacted. Merleau-Ponty’s philosophy inspired theories that deemphasize overlaps between conceptual knowledge and motor intentionality or, on the contrary, focus exclusively on abstract thought. In contrast, this paper explores the link between Merleau-Ponty’s account of motor intentionality and his interpretations of our capacity to understand and interact productively with cultural symbolic systems. I develop my interpretation based on Merleau-Ponty’s analysis of two neuropathological modifications of motor intentionality, the case (...) of the brain-injured war veteran Schneider, and a neurological disorder known as Gerstmann’s syndrome. Building on my analysis of Schneider’s sensorimotor compensatory performances in relation to his limitations in the domains of algebra, geometry, and language usage, I demonstrate a strong continuity between the sense of embodiment and enaction at all these levels. Based on Merleau-Ponty’s interpretations, I argue that “higher-order” cognition is impaired in Schneider insofar as his injury limits his sensorimotor capacity to dynamically produce comparatively more complex differentiations of any given phenomenal structure. I then show how Merleau-Ponty develops and specifies his interpretation of Schneider’s intellectual difficulties in relation to the ambiguous role of the body, and in particular the hand, in Gerstmann’s syndrome. I explain how Merleau-Ponty defends the idea that sensorimotor and quasi-representational cognition are mutually irreducible, while maintaining that symbol-based cognition is a fundamentally enactive and embodied process. (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)

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.

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)