The paper presents an argument against a "metaphysical'* conception of logic according to which logic spells out a specific kind of mathematical structure that is somehow inherently related to our factual reasoning. In contrast, it is argued that it is always an empirical question as to whether a given mathematical structure really does captures a principle of reasoning. lMore generally, it is argued that it is not meaningful to replace an empirical investigation of a thing by an investigation of its (...) a priori analyzable structure without paying due attention to the question of whether it really is the structure of the thing in question.) It is proposed to elucidate the situation by distinguishing two essentially different realms with which our reason must deal: "the realm of the natural'*, constituted by the things of our empirical world, and "the realm of the formal'*, constituted by the structures that we use as "prisms'* to view, to make sense of, and to reconstruct the world. It is suggested that this vantage point may throw light on many foundational problems of logic. (shrink)

We investigate several ideal versions of the pseudointersection number \(\mathfrak {p}\), ideal slalom numbers, and associated topological spaces with the focus on selection principles. However, it turns out that well-known pseudointersection invariant \(\mathtt {cov}^*({\mathcal I})\) has a crucial influence on the studied notions. For an invariant \(\mathfrak {p}_\mathrm {K}({\mathcal J})\) introduced by Borodulin-Nadzieja and Farkas (Arch. Math. Logic 51:187–202, 2012), and an invariant \(\mathfrak {p}_\mathrm {K}({\mathcal I},{\mathcal J})\) introduced by Repický (Real Anal. Exchange 46:367–394, 2021), we have $$\begin{aligned} \min \{\mathfrak (...) {p}_\mathrm {K}({\mathcal I}),\mathtt {cov}^*({\mathcal I})\}=\mathfrak {p},\qquad \min \{\mathfrak {p}_\mathrm {K}({\mathcal I},{\mathcal J}),\mathtt {cov}^*({\mathcal J})\}\le \mathtt {cov}^*({\mathcal I}), \end{aligned}$$ respectively. In addition to the first inequality, for a slalom invariant \(\mathfrak {sl_e}({\mathcal I},{\mathcal J})\) introduced in Šupina (J. Math. Anal. Appl. 434:477–491, 2016), we show that $$\begin{aligned} \min \{\mathfrak {p}_\mathrm {K}({\mathcal I}),\mathfrak {sl_e}({\mathcal I},{\mathcal J}),\mathtt {cov}^*({\mathcal J})\}=\mathfrak {p}. \end{aligned}$$ Finally, we obtain a consistency that ideal versions of the Fréchet–Urysohn property and the strictly Fréchet–Urysohn property are distinguished. (shrink)

The article addresses two closely related questions: What are the criteria of adequacy of logical formalization of natural language arguments, and what gives logic the authority to decide which arguments are good and which are bad? Our point of departure is the criticism of the conception of logical formalization put forth, in a recent paper, by M. Baumgartner and T. Lampert. We argue that their account of formalization as a kind of semantic analysis brings about more problems than it solves. (...) We also argue that the criteria of adequate formalization need not be based on truth conditions associated with logical formulas; in our view, they are better based on structural (inferential) grounds. We then put forward our own version of the criteria. The upshot of the discussion that follows is that the quest for an adequate formalization in a suitable logical language is best conceived of as the search for a Goodmanian reflective equilibrium. (shrink)

This paper focuses on the push to stabilise society through civil defence education (CDE) in the changing context of nationalism and populism. We analysed the way in which justifications and criticism of civil defence education (CDE) have evolved as an ordering project intended to solve the problems with dangers that were variously defined. We identified two locations of the danger to be tackled by the new CDE – external and specific; and internal and general – which partly correspond to key (...) political events: the migrant and Ukraine crises, and pre-election battles. Transformation of dangers stabilised education’s subservient role while destabilising educators’ position in the public debate. Drawing on relational sociology, qualitative analysis of the Czech media, and interviews, we show that the dangers defined by educational actors are circumvented to be replaced by populist and nationalist problems that were not the problems of the actors who would be most affected by the proposed curricular changes. We suggest looking at contemporary nationalists’ claims in education as a sign that topological arrangements are being reshaped among political, educational, and civic actors in terms of divides, externality, and irrelevance. (shrink)

In this paper I put forward a thesis regarding the anatomy of “cultural evolution”, in particular the way the “cultural” transmission of behavioral patterns came to piggyback, through us humans, on the transmission effected by genetic evolution. I claim that what grounds and supports this new kind of transmission is a complex behavioral “meta-pattern” that makes it possible to grasp a pattern as something that “ought to be”, i.e. that transforms the pattern into what we can call a rule. (Here (...) I draw especially on the philosophical insights of Wilfrid Sellars.) In this way I interlink empirical research done in evolution theory with some more speculative philosophical theories, thus shedding new light on the former and adding an empirical footing to the latter. (shrink)

In this paper we put forward and defend a view of the nature of logic that we call moderate anti-exceptionalism. In the first part of the paper we focus on the problem of genuine logical validity and consequence. We make use of examples from current debates to show that attempts to pinpoint the one and only authentic logic inevitably either yield irrefutable theories or lead to dead ends. We then outline a thoroughly naturalist account of logical consequence as grounded in (...) rules implicit in human linguistic practices. We insist that there are only two existing kinds of language: natural languages, and artificial languages that have been forged by us. There is thus no room for a "genuine" language and hence for "genuine" logic. We conclude that though logical theories are established—and are liable to criticism—in a similar fashion as those of the sciences, and in this sense logic is not exceptional, to fulfill its mission logic must lay a claim to normative authority over our argumentation and reasoning, which makes its methodology somewhat special. Logical theory is not meant to provide just an explanation, the standards it establishes serve also as a tool, providing for a reinforcement of our rational communication. (shrink)

A review of deVries' and O'Shea's books, both titled "Wilfrid Sellars". By Jaroslav Peregrin.

The heyday of discussions initiated by Searle's claim that computers have syntax, but no semantics has now past, yet philosophers and scientists still tend to frame their views on artificial intelligence in terms of syntax and semantics. In this paper I do not intend to take part in these discussions; my aim is more fundamental, viz. to ask what claims about syntax and semantics in this context can mean in the first place. And I argue that their sense is so (...) unclear that that their ability to act as markers within any disputes on artificial intelligence is severely compromised; and hence that their employment brings us nothing more than an illusion of explanation. (shrink)

This book offers a comprehensive account of logic that addresses fundamental issues concerning the nature and foundations of the discipline. The authors claim that these foundations can not only be established without the need for strong metaphysical assumptions, but also without hypostasizing logical forms as specific entities. They present a systematic argument that the primary subject matter of logic is our linguistic interaction rather than our private reasoning and it is thus misleading to see logic as revealing "the laws of (...) thought". In this sense, fundamental logical laws are implicit to our "language games" and are thus more similar to social norms than to the laws of nature. Peregrin and Svoboda also show that logical theories, despite the fact that they rely on rules implicit to our actual linguistic practice, firm up these rules and make them explicit. By carefully scrutinizing the project of logical analysis, the authors demonstrate that logical rules can be best seen as products of the so called reflective equilibrium. They suggest that we can profit from viewing languages as "inferential landscapes" and logicians as "geographers" who map them and try to pave safe routes through them. This book is an essential resource for scholars and researchers engaged with the foundations of logical theories and the philosophy of language. (shrink)

Variations on the argument “Inferences are moves from meaningful statements to meaningful statements; hence the meanings cannot be inferential roles” are often used as knock-down argument against inferentialism. In this short paper I indicate that the argument is simply a non sequitur.

Odborná práce z oboru hudební teorie. Navazuje na knihu téhož autora "Teoretické základy harmonie s hľadiska vedeckej filozofie", jež vyšla r. 1954. Soustřeďuje pozornost k oněm názorům a teoriím, které jsou z hlediska filosofického ovlivněny idealistickým postojem. V první části sleduje a hodnotí vlivy idealismu na nauku o harmonii v 19. a 20. století, v druhé se obírá předpoklady dialektického materialismu v hudební teorii.

Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics. The main thrust of the book is to show that it is misguided to understand model theory metaphysically and so to try to base formal semantics on something like formal metaphysics; rather, the book states that model theory (...) and similar tools of the analysis of language should be understood as capturing the semantically relevant, especially inferential, structure of language. From this vantage point, the reader gains a new light on many of the traditional concepts and problems of logic and philosophy of language, such as meaning, reference, truth and the nature of formal logic. (shrink)

There may be various reasons for claiming that meaning is normative, and additionally, very different senses attached to the claim. However, all such claims have faced fierce resistance from those philosophers who insist that meaning is not normative in any nontrivial sense of the word. In this paper I sketch one particular approach to meaning claiming its normativity and defend it against the anti-normativist critique: namely the approach of Brandomian inferentialism. However, my defense is not restricted to inferentialism in any (...) narrow sense for it encompasses a much broader spectrum of approaches to meaning, connected with the Wittgensteinian and especially Sellarsian view of language as an essentially rule-governed enterprise; and indeed I refrain from claiming that the version of inferentialism I present here is in every detail the version developed by Brandom. (shrink)

There has been much controversy over the completeness and unity of Euripides᾽Heraclidaein the last two centuries. Hermann᾽s characterization of the play as a heavily mutilated piece, which was adopted by Kirchhoff, Wilamowitz, Nauck and Murray, prevailed for a long time. Wilamowitz's thesis that theHeraclidaewas revised by the ancient director found its adherents. It was Günther Zuntz who led the general offensive against this widely accepted opinion and whose critical scrutiny reversed the view of the play. According to Zuntz, the play (...) has come down to us substantially as it was written. The alleged mutilation, as well as the specific dramatic technique, shortness and swiftness of theHeraclidae, also influenced the general evaluation of the play as a minor or odd piece. It was Günter Zuntz again and also Franz Stoessl who reconstituted the reputation of theHeraclidae. Today Euripides᾽Heraclidaeis studied and recognized as a classicalHikesiedrama, a play deeply rooted in Athenian ideology and in the social and religious context of fifth-century Athens, and representing various aspects of communal life. Since the play has been interpreted and scrutinized from a very wide range of perspectives, I do not aim at a radically new general interpretation of theHeraclidae, but I would like to make a short remark on an aspect of it which has, as far as I know, been neglected or only briefly referred to: the term ἀμηχανία in crucial passages of the play, which signifies, or rather describes, a situation which is desperate, hopeless, and with no way out. I would like to show that for the characters in theHeraclidaewho follow the ideal of justice, in contrast to those who prefer profit, no situation is hopeless, even as it was not for Heracles, who managed to do things which could be evaluated as impossible. On the other hand, those who opt for the Heraclean ideal have to prepare to face the ultimate challenges. (shrink)

V tomto článku se zabývám konceptem SI (superinteligence) a s ní spojeným problémem kontroly. Podle určité skupiny teoretiků umělé inteligence stojíme na prahu události, která může radikálně změnit povahu technologického pokroku a lidské společnosti obecně. Touto událostí má být takzvaná technologická singularita, která je často spojována se vznikem první větší než lidské inteligence. Lidé jako Nick Bostrom varují před nebezpečím, které pro nás vznik SI znamená a upozorňují, že musíme co nejdříve najít metody kontroly této inteligence. Podle Bostroma a dalších (...) nebezpečí SI vyplývá z její povahy. Já na jedné straně posuzuji, jak SI může vzniknout, a na druhé straně soudím smysluplnost problému kontroly. Vznik SI vyplývá ze vzniku umělé inteligence. Proto soustřeďuji podstatnou část textu argumentům pro její vznik. Ukazují jak se Bostrom a další nechávají unést jedním problematickým argumentem. Dále podrobuji jejich pozici klasické kritice umělé inteligence. Prezentuji, jak stále lpí na problematických domněnkách svých předchůdců. Zejména soustřeďuji svoji kritiku na tvrzení, že SI bude mít jeden konečný cíl, který bude interpretovat. Toto tvrzení označuji jako antitetické, a to představě, že SI bude obecnou inteligencí. V závěru z mojí argumentace vyvozuji, že problém kontroly zaměňuje dva jiné různé problémy „kontroly.“. (shrink)

O nějaké činnosti v rámci nějakého lidského společenství říkám, že je řízená pravidly , jsou‐li určité způsoby provozování této činnosti systematicky brány členy tohoto společenství, nebo nějakou jeho podskupinou, za správné, a jiné za nesprávné. Braní za správné či nesprávné (neboli normativní postoje ) beru v podstatě za dále neanalyzovatelné behaviorální vzorce, není to tedy pojem, který by primárně odkazoval k něčemu jako je kognitivní výbava účastníků, rozhodně nepředpokládá nic takového, jako že jsou tyto postoje věcí něčeho jako jsou plnohodnotná (...) přesvědčení. Hlavními symptomy těchto vzorců jsou určité typy reakcí na to, co dělají druzí; v extrémním případě snaha jim v děláním určitých věcí za každou cenu zabránit či je k němu naopak přimět. Často jde ale o mnohem subtilnější projevy "souhlasu" či "nesouhlasu" (od různých forem "odměn" a "trestů" po všelijaké náznaky "souznění" a "nevole") – projevy, které se člověk v rámci začleňování do lidských společenství učí rozpoznávat jako jisté "společenské tření", které ho v tom, co by měl a neměl dělat, usměrňuje. (shrink)

Tomáš Marvan Otázka významu: Cesty analytické filosofie jazyka. 1. vyd. Praha: Togga, 2010, ISBN 978-80-87258-33-0, 150 stran.

In his proof of the first incompleteness theorem, Kurt Gödel provided a method of showing the truth of specific arithmetical statements on the condition that all the axioms of a certain formal theory of arithmetic are true. Furthermore, the statement whose truth is shown in this way cannot be proved in the theory in question. Thus it may seem that the relation of logical consequence is wider than the relation of derivability by a pre-defined set of rules. The aim of (...) this paper is to explore under which assumptions the Gödelian statement can rightly be considered a logical consequence of the axioms of the theory in question. It is argued that this is the case only when the all the theorems of the theory in question are understood as statements of the same kind as statements of arithmetic and statements about provability in the theory, and only if the language of the theory contains logical expressions allowing to include certain predicates of meta-language in the language of the theory. (shrink)

In Meaning and Structure, Peregrin argues that recent and contemporary (post)analytic philosophy, as developed by Quine, Davidson, Sellars and their followers, is largely structuralistic in the very sense in which structuralism was originally tabled by Ferdinand de Saussure. The author reconstructs de Saussure's view of language, linking it to modern formal logic and mathematics, and reveals close analogies between its constitutive principles and the principles informing the holistic and neopragmatistic view of language put forward by Quine and his followers. Peregrin (...) also indicates how this view of language can be made compatible with what is usually called 'formal semantics'. Drawing on both the Saussurean tradition and recent developments in analytic philosophy of language, this book offers a unique study of the ways in which the concept of meaning can be seen as consisting in the concept of structure. (shrink)

The perennial question – What is meaning? – receives many answers. In this paper I present and discuss inferentialism – a recent approach to semantics based on the thesis that to have ( such and such ) a meaning is to be governed by ( such and such ) a cluster of inferential rules . I point out that this thesis presupposes that looking for meaning requires seeing language as a social institution (rather than, say, a psychological reality). I also (...) indicate that this approach may be seen as a new embodiment of the old ideas of structuralism. (shrink)

Cieľom článku je nanovo reflektovať činnosť jednej z najslávnejších ženských filozofiek, Hip­parchie z Maróneie. Naším zámerom je ukázať, prečo sa stala v porovnaní s inými ženami antiky taká významná a v mnohom signifikantná pre ďalší vývoj procesu ženskej eman­cipácie. Hlavným svedectvom je pre nás fragment SSR V I 1 od Diogena Laertského, ktorý kladieme do súvislosti s ďalšími antickými správami o Antisthenovi a raných kynikoch. Dve hlavné témy Diogenovho svedectva sú Kratétova svadba s Hipparchiou a spor Hipparchie s Theodórom. Vo (...) výklade poukazujeme na momenty, v ktorých je filozofická osobnosť Hip­parchie nadčasová a inšpiratívna aj pre súčasnosť. (shrink)

In accordance with current philosophical opinions, four classical and one more recently proposed types of methods frequently used in theoretical natural science are specified here together with the corresponding sources of inspiration. More precisely, abstract models, thought experiments, mathematical hypotheses and metaphors are dealt with here as classical types of methods, whereas hybrids of mathematical hypotheses and thought experiments represent more recent methodic group. In addition, this paper describes the relationships of the introduced types of methods to the (i) three-floor (...) hierarchy of scientific theories, (ii) examples of ancient or recent discoveries and (iii) recent usage of computers. (shrink)

Growth modelling is of interest to scientists in various disciplines. In our article, we will collect 17 models designed for growth modelling, appraise these models and contribute to the discussion of their applicability. The merit of the paper lies in studying the convergence properties of nonlinear regression in selected models. Our studies will be performed mainly concerning the quality of the obtained estimates, which are closely related to the intrinsic curvature of the model according to Bates and Watts. This curvature (...) determines the size of the linearization domains. Only if the initial solution is in this domain, then the convergence of the estimate in nonlinear regression is guaranteed. The primary goal is to design a methodology for selecting a growth model. We will demonstrate fruitfulness of our methodology on the weight measurements of 10 calves under 25 months of age from cowsheds in the village Záluží in the Czech Republic. Estimated parameters of growth curves, sizes of linearization domain, calculated residues and coefficients of determination indices will be the subject of discussion. (shrink)

Inferentialism is the conviction that to be meaningful in the distinctively human way, or to have a 'conceptual content', is to be governed by a certain kind of inferential rules. The term was coined by Robert Brandom as a label for his theory of language; however, it is also naturally applicable (and is growing increasingly common) within the philosophy of logic.

Inferentialism, which I am going to present in detail in the following sections, is the view that meanings are, roughly, roles that are acquired by types of sounds and inscriptions in virtue of their being treated according to rules of our language games, roughly in the sense in which wooden pieces acquire certain roles by being treated according the rules of chess. The most important consequences are that (i) a meaning is not an object labeled (stood for, represented ...) by (...) an expression; and that (ii) meaning is normative in the sense that to say that an expression means thus and so is to say that it should be used so and so. The founding father of inferentialism is Brandom (1994; 2000). (However, nothing in this paper hinges on the fact that the version of inferentialism defended here is identical with Brandom's). This position provokes two kinds of objections. First there are general objections towards the very normativity of meaning, which do not target especially inferentialism; these I have addressed elsewhere 1. Besides this, there are objection targeted more specifically at inferentialism. Probably the most discussed specimen of such objections is the objection - repeatedly raised especially by Jerry Fodor and Ernest LePore and others - to the effect that though meanings should be compositional, the compositionality of inferential roles is unattainable. This is the kind of objection I am going to deal with here 2. (Hand in hand with this objection then go various allegations of circularity of inferentialism, which we will also discuss.) To do this, I will exploit the long-standing comparison of language to chess, as it seems particularly helpful for making the inferentialist account of language plausible3. This comparison, to be sure, has its limits beyond which it may become severely misleading; but as long as we keep them in mind, it can serve us very well. (shrink)

In this ambitious exploration of humanity and civilizations throughout history, major historical events and processes in the history of mankind are looked at in order to understand the "currents" of history. Jaroslav Krejc analyzes the whole history of civilization and considers historical events such as feudalism and the development of science. By bringing both sociological and historical insights to this broad subject, and particular attention to different types of knowledge (such as religion and its impact state law labor and (...) ownership), the book offers insights into the future of civilization and shifting global power. (shrink)

While according to the inferentialists, meaning is always a kind of inferential role, proponents of other approaches to semantics often doubt that actual meanings, as they see them, can be generally reduced to inferential roles. In this paper we propose a formal framework for considering the hypothesis of the.

Článok je pokusom o interpretáciu Platónovho dialógu Faidón vo svetle prvých Sókratových slov, ktoré v ňom zaznievajú. Sókratova krátka úvaha o vzťahu príjemného a nepríjemného je vzápätí vsadená do kontextu konfrontácie filozofického a básnického typu explanácie. Zaujímavé je, že Sókratov komentár k snu, ktorý ho kedysi vyzval k praktizovaniu múzického umenia, neprezentuje oba prístupy ako navzájom sa vylučujúce, ale skôr ako komplementárne. V tejto perspektíve je možné čítať Faidóna ako náčrt „vysokej“ filozofie oddelených ideí, a zároveň ako výzvu o jej (...) doplnenie „nižšou“ filozofiou zmesí. (shrink)