Just as the accuracy of scientific theories is best tested in extreme physical conditions, it is advisable to verify the accuracy of a recognized conception of language on its extreme parts. Mathematical statements meet this role, thanks to the notion of truth and proof. Michael Dummett’s anti-realism is an enterprise that has attempted on this basis to question the notion of the functioning of language-based primarily on the principle of bivalence, the truth-condition theory of meaning, and the notion that the (...) speaker must be able to demonstrate his knowledge of meaning publicly. In common language practice, one can observe assertions that we can neither verify nor refute in principle. On these so-called undecidable statements, Dummett tried to show that if we apply the traditional description to them, we inevitably reach paradoxical conclusions. Mathematical statements referring to an infinite number may be examples of these assertions. In the submitted paper, I will present Dummett’s position resulting primarily in a manifestation and acquisition argument, according to which it should not be possible to understand undecidable statements at all. In conclusion, however, I will show that his intention – despite many valuable comments – fails, i.e. that there is a way to avoid both arguments while preserving the realistic description of the language in general. Key words: anti-realism, mathematical statements, meaning, Michael Dummett, truth, truth-condition theory of meaning. (shrink)

Recenze knihy:Luca Incurvati, Conceptions of Set and the Foundations of Mathematics. Cambridge University Press, 2020, 238 s.

This paper aims to describe and examine Alfred Tarski's famous semantic conception of truth as well as some of the critiques presented against it. The first part of this paper is divided into five segments: criteria imposed upon every adequate definition of truth are discussed in the first segment; the second is dedicated to Tarski’s Convention T; distinction between object language and metalanguage, as well as Tarski’s attitude toward formalized and colloquial languages, is described in the third segment; fourth segment (...) is devoted to Tarski’s definition of truth using the notion of “satisfaction”; the last segment is the evaluation of Tarski’s solution of paradoxes. In the second part of this paper the selected objections against Tarski’s conception are presented with emphasis on their diversity. (shrink)

The aim of the paper is to introduce the concept of adaptive logics (AL) or rather adaptive logical approach. In the introduction, a motivation and an emergence of AL are briefly discussed. In the second part of the paper, specifics of AL are analysed – especially nonmonotonic character, internal and external dynamics, as well as the structure of AL, namely the distinction between upper limit logic and lower limit logic. In this part, the dynamic proof is also described. Applications of (...) AL are presented in the third part. Three illustrations from three different branches of philosophy are presented. First one is an illustration of description of science – a traditional application of AL. Second one is an illustration of solving a deontic conflict – this is a new direction within in AL which has recently been researched. Third one is an illustration of analyses of metaphors – an example of an unusual application of AL. In the conclusion of the paper, contemporary results of AL are critically evaluated with respect to some problems of the project of AL. (shrink)

Následující text si klade za cíl představit koncepci adaptivních logik (dále AL), či lépe adaptivně logický přístup. Úvodní oddíl textu stručně pojednává o vzniku AL a o motivacích pro tento přístup. Druhý oddíl následně rozebírá specifika AL, především jejich nemonotónní charakter, interní a externí dynamiku, dále pak jejich strukturu, tedy rozlišení mezi upper limit logic a lower limit logic, a představuje pojetí dynamického důkazu. Třetí oddíl ilustruje vybrané aplikace AL ve třech oblastech – v tradiční, totiž při popisu vědy, v (...) moderní, při řešení deontických konfliktů, a v nezvyklé, při analýze metafor. V závěru práce jsou zhodnoceny dosavadní výsledky v rámci celého projektu AL a je poukázáno na některé problémy, které jsou s tímto projektem spjaty. (shrink)

[The Role of Spain in Understanding and Spreading Classical Philosophy.].

Podoba francouzské filosofie druhé poloviny 20. století je silně ovlivněna způsoby koncep- tualizace úlohy těla během vnímání. Tělesnost, která pro vědomí zprostředkovává prožitky, utváří veškeré vztahy člověka k druhým. V díle Simone de Beauvoir je třeba chápat svobodu jako podmíněnou specifickým způsobem prožívání těla člověkem. Cílem tohoto příspěvku je ozřejmit povahu této specifičnosti. Naším výchozím zdrojem k dosažení stanoveného cíle je první novela Beauvoir, Pozvaná (ĽInvitée), kde je v dialozích jednotlivých postav možné nahlédnout nejen povahu specifického způsobu prožívání těla, ale (...) i povahu svobody, která je tímto způsobem podmíněna. (shrink)

Vysokoškolská učebnice člení látku do tří oddílů (K obecným otázkám umění a literatury; Poetika; Geneze literárního díla a literární proces), v nichž se pokouší vyložit teorii literatury z jednotného hlediska a podat klíč kteoretickému objasnění všech literárních děl a řad.

Stephenson (2022) has argued that Kant’s thesis that all transcendental truths are transcendentally a priori knowable leads to omniscience of all transcendental truths. His arguments depend on luminosity principles and closure principles for transcendental knowability. We will argue that one pair of a luminosity and a closure principle should not be used, because the closure principle is too strong, while the other pair of a luminosity and a closure principle should not be used, because the luminosity principle is too strong. (...) Stephenson’s argument also depends on a factivity principle for transcendental knowability, which we will argue to be false. (shrink)

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

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

A number of well-developed theories shed light on the question, under what circumstances our beliefs enjoy epistemic justification. Yet, comparatively little is known about epistemic defeat--when new information causes the loss of epistemic justification. This book proposes and defends a detailed account of epistemic defeaters. The main kinds of defeaters are analyzed in detail and integrated into a general framework that aims to explain how beliefs lose justification. It is argued that defeaters introduce incompatibilities into a noetic system and thereby (...) prompt a structured re-evaluation process that makes a justified reinstatement of the defeated belief impossible. The account is then applied to the topic of disagreement, where it is used in an argument for conciliationism, as well as a new explanation for higher-order defeat. Throughout the book, the notion of defeat is the center of attention, while a number of new issues are discussed at the intersections of defeat and justification. Specifically, new problems are raised for broadly internalist accounts of defeat, a fully descriptive reliabilist account of defeat is provided, and the case for normative defeat is revisited. (shrink)

The Natural Philosophy of Jan Bayer The main focus of this study is a reconstruction of the natural philosophy of the early modern Prešov's scholar Jan (Johannes) Bayer (1630–1674), with special regard to its Mosaic profile. After a critical reading of the research done on Bayer up to this point, the author concludes that Bayer’s natural-philosophical work, as such, has not yet been satisfactorily analyzed, nor has its connection to its supposedly two most important sources, Francis Bacon and Jan Amos (...) Comenius, been sufficiently explored. The study therefore concentrates on a critical analysis of Bayer’s interpretation of creation and his natural history, which are then both situated in the philosophical context of their time. The author then notes that although Bayer’s project of erecting an original and on the (especially Aristotelian) tradition independent Mosaic natural philosophy ended in failure, the thinker’s work can be assessed as a valuable attempt to synthesize Baconian and Comenian motifs while at the same time reflecting broader intellectual contexts of the period. (shrink)

Analogien lassen sich aus unserem vernünftigen Nachdenken und Argumentieren kaum wegdenken. Ganz zurecht stellen sie eines der klassischen Themen der Argumentationstheorie dar. Doch wie genau sollte die argumentative Rolle von Analogien in Argumentrekonstruktionen dargestellt werden? Das ist die Leitfrage dieses Beitrags. Zunächst wird mit Michael Dummetts Schach-Analogie ein prominentes Beispiel dargestellt und eine genauere Charakterisierung des Analogiebegriffs vorgeschlagen. Danach wird die gängigste Rekonstruktionsform von Analogien diskutiert, das Analogieargument, und in einigen Punkten verfeinert. Vor diesem Hintergrund schlägt der Beitrag eine zweite, (...) alternative Rekonstruktionsform vor, in der zwei analoge Argumente an die Stelle eines einzelnen Analogiearguments treten. Nachdem diese beiden Rekonstruktionsformen an einem weiteren berühmten Beispiel vorgeführt wurden, an Peter Singers Teich-Analogie, wird diskutiert, wie sich diese beiden Varianten gegenseitig ergänzen und welche Stärken und Schwächen sie haben. Es zeigt sich, dass Analogien nicht nur in Form von Analogieargumenten einen zentralen Topos eines Einzelarguments darstellen. Darüber hinaus kann die Untersuchung analoger Argumente bereits selbst als argumentationstheoretische Topik verstanden werden. (shrink)

Analogien lassen sich aus unserem vernünftigen Nachdenken und Argumentieren kaum wegdenken. Ganz zurecht stellen sie eines der klassischen Themen der Argumentationstheorie dar. Doch wie genau sollte die argumentative Rolle von Analogien in Argumentrekonstruktionen dargestellt werden? Das ist die Leitfrage dieses Beitrags. Zunächst wird mit Michael Dummetts Schach-Analogie ein prominentes Beispiel dargestellt und eine genauere Charakterisierung des Analogiebegriffs vorgeschlagen. Danach wird die gängigste Rekonstruktionsform von Analogien diskutiert, das Analogieargument, und in einigen Punkten verfeinert. Vor diesem Hintergrund schlägt der Beitrag eine zweite, (...) alternative Rekonstruktionsform vor, in der zwei analoge Argumente an die Stelle eines einzelnen Analogiearguments treten. Nachdem diese beiden Rekonstruktionsformen an einem weiteren berühmten Beispiel vorgeführt wurden, an Peter Singers Teich-Analogie, wird diskutiert, wie sich diese beiden Varianten gegenseitig ergänzen und welche Stärken und Schwächen sie haben. Es zeigt sich, dass Analogien nicht nur in Form von Analogieargumenten einen zentralen Topos eines Einzelarguments darstellen. Darüber hinaus kann die Untersuchung analoger Argumente bereits selbst als argumentationstheoretische Topik verstanden werden. (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 paper is written in Czech.] The aim of this article is to briefly introduce and critically analyze the dialogue between phenomenology and contemporary theories of embodied cognition in relation to the study of affectivity. The author explains how these theoretical approaches interpret the dynamic relationship between affective experiences on the one hand and bodily behavior and intersubjectively observable processes taking place in the environment on the other. He first summarizes the positions of Joel Krueger and Giovanna Colombetti, who draw (...) on the theories of extended cognition and enactivism, and then compares them with Merleau-Ponty’s phenomenological approach. In this way, there are found to be inconsistencies in Krueger’s and Colombetti’s approaches, whose resolution, in the author’s opinion, requires the working out of a rigorously “relational” interpretation of affectivity. From this point of view, affectivity is not understood as an internal phenomenon causally linked to external material factors, but strictly as a dynamic relationship between a sense-making agent and his or her meaningful environment. (shrink)

Semantic externalism in the style of McDowell and Evans faces a puzzle formulated by Pryor: to explain that a sentence such as 'Jack exists' is only a posteriori knowable, despite being logically entailed by the seemingly logical truth 'Jack is self-identical', and hence being itself a logical truth and therefore a priori knowable. Free logics can dissolve the puzzle. Moreover, Pryor has argued that the existentially hedged 'If Jack exists, then Jack is self-identical', when properly formalised, is a logical truth (...) in a system of neutral free logic and therefore a priori knowable, while it does not entail that Jack exists. The latter holds also for negative free logic. In response, Yeakel has argued that on any system of neutral free logic existence hedges will either entail some unwanted existence claims or they will not entail some wanted existence claims. The dilemma also holds for any non-positive free logic. It will be shown that the extension of one of the systems of neutral free logic with a truth operator escapes Yeakel's dilemma, whereas no other non-positive free logic when extended with the truth operator does the same (or it breaks quantifier exchangeability). (shrink)

According to Eugen Fink, a thorough elucidation of the meaning of play has the capacity to lead us towards an understanding of the world as a totality. In order to go beyond Plato’s understanding of play as an inferior copy of serious action, Fink provides an analysis of the cultic game. This form of playing cannot be said to be the origin of all play, but it enables us to demonstrate how the act of playing transcends circumscribed beings inside the (...) world and provides a relationship with a higher whole, in which the community participating in the play is encompassed. A masked shaman does not represent a particular god, but brings to presence the action of gods upon humans as such. Thus, the cultic game is a symbol of a more important reality, not an inferior representation of an individual reality. This, however, is still not a sufficiently radical interpretation of the ontological dimension of play: the whole is only understood as an action of gods, i.e. mediately. Fink strives to demonstrate on the cont... (shrink)

The bulk of the present book has not been published previously though Chapters II and IV are based in part on two earlier papers of mine: "The Influence of Harald H!1lffding's Philosophy on Niels Bohr's Interpretation of Quantum Mechanics", which appeared in Danish Yearbook of Philosophy, 1979, and "The Bohr-H!1lffding Relationship Reconsidered", published in Studies in History and Philosophy of Science, 1988. These two papers comple ment each other, and in order to give the whole issue a more extended treatment (...) I have sought, in the present volume by drawing on relevant historical material, to substantiate the claim that H!1lffding was Bohr's mentor. Besides containing a detailed account of Bohr's philosophy, the book, at the same time, serves the purpose of making H!1lffding' s ideas and historical significance better known to a non-Danish readership. During my work on this book I have consulted the Royal Danish Library; the National Archive of Denmark and the Niels Bohr Archive, Copenhagen, in search of relevant material. I am grateful for permission to use and quote material from these sources. Likewise, I am indebted to colleagues and friends for commenting upon the manuscript: I am especially grateful to Professor Henry Folse for our many discussions during my visit to New Orleans in November-December 1988 and again here in Elsinore in July 1990. (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)

Er bleibt in der juristischen Diskussion aber doch weitgehend ohne scharfere Konturen. Jan Schapp hat sich dieser Thematik seit 1992 in einer Reihe rechtsphilosophischer Aufsatze angenommen, die er hier in einer Sammlung zuganglich macht.