In this study two strands of inferentialism are brought together: the philosophical doctrine of Brandom, according to which meanings are generally inferential roles, and the logical doctrine prioritizing proof-theory over model theory and approaching meaning in logical, especially proof-theoretical terms.

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)

This book addresses the hasty development of modern logic, especially its introducing and embracing various kinds of artificial languages and moving from the study of natural languages to that of artificial ones. This shift seemed extremely helpful and managed to elevate logic to a new level of rigor and clarity. However, the change that logic underwent in this way was in no way insignificant, and it is also far from an insignificant matter to determine to what extent the "new logic" (...) only engaged new and more powerful instruments to answer the questions posed by the "old" one, and to what extent it replaced these questions with new ones. Hence, this movement has generated brand new kinds of philosophical problems that have still not been dealt with systematically. Philosophy of Logical Systems addresses these new kinds of philosophical problems that are intertwined with the development of modern logic. Jaroslav Peregrin analyzes the rationale behind the introduction of the artificial languages of logic; classifies the various tools which were adopted to build such languages; gives an overview of the various kinds of languages introduced in the course of modern logic and the motifs of their employment; discusses what can actually be achieved by relocating the problems of logic from natural language into them; and reaches certain conclusions with respect to the possibilities and limitations of this "formal turn" of logic. This book is both an important scholarly contribution to the philosophy of logic and a systematic survey of the standard logical systems that were established during the short history of modern logic. (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)

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

Recent decades are marked by the upswing of the use of the term “normativity“ not only in philosophical discussions, but increasingly also within reports of empirical scientists. This may invoke the question how far these developments overlap and in how far they go past each other. A significant overlap might lead to an interesting coalescence of the two approaches to norms, which may provide for a ”naturalization” of some philosophical speculations about normativity, putting them on a firmer foundation, while offering (...) the empirical scientists some new impulses for directing their research. In this paper I give an overview of some recent empirical results concerning human normativity and I point out a certain philosophical tradition, rooted especially in the works of Wittgenstein, Sellars and Brandom, which treats normativity so that it becomes more or less compatible with these results. (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.

I propose that logic may be seen as a science of patterns—however, not in the sense in which mathematics is a science of patterns, but rather in the sense in which physics is. The proposal is that logic identifies, explores, and fixes the inferential patterns which de facto govern our argumentative practices. It can be seen, I argue, as picking up the patterns and working from them toward the state of reflective equilibrium, where the laws it aims at are explicitly (...) articulated. Due to the normativity of logic, this process is not quite the same as that in which a natural science works its way from data to its laws; however, there is no reason why it should be seen as proceeding via a mysterious "a priori analysis.” Instead, it should proceed in the intersubjective space in which the sciences are practiced. (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)

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)

This paper is a follow up of the author’s programme of characterizing Ramsey classes of structures by a combination of model theory and combinatorics. This relates the classification programme for countable homogeneous structures to the proof techniques of the structural Ramsey theory. Here we consider the classes of topological and metric spaces which recently were studied in the context of extremally amenable groups and of the Urysohn space. We show that Ramsey classes are essentially classes of finite objects only. While (...) for Ramsey classes of topological spaces we achieve a full characterization, for metric spaces this seems to be at present an intractable problem. (shrink)

Theories of language in the twentieth century tend towards one of two radically different models. One paradigm holds that expressions ‘stand for’ entities and their meanings are the entities stood for by them. According to the other, expressions are rather tools of interaction and their meanings are their functions within the interaction, their aptitudes to serve it in their distinctive ways.

Ve svém článku 'Hledání hyperintenzionality' se Bjorn Jespersen pokusil rekapitulovat a zdůvodnit způsob, jakým TIL vykládá pojem významu. Jakkoli si myslím, že se Jespersenovi (nikoli jenom v tomto článku) daří TIL předvádět způsobem srozumitelným i přitažlivým i pro outsidery..

Logic is usually presented as a tool of rational inquiry; however, many logicians in fact treat logic so that it does not serve us, but rather governs us – as rational beings we are subordinated to the logical laws we aspire to disclose. We denote the view that logic primarily serves us as logica serviens, while denoting the thesis that it primarily governs our reasoning as logica dominans. We argue that treating logic as logica dominans is misguided, for it leads (...) to the idea of a “genuine” logic within a “genuine” language. Instead of this, we offer a naturalistic picture, according to which the only languages that exist are the natural languages and the artificial languages logicians have built. There is, we argue, no language beyond these, especially none that would be a wholesome vehicle of reasoning like the natural languages and yet be transparently rigorous like the artificial ones. Logic is a matter of using the artificial languages as idealized models of the natural ones, whereby we pinpoint the laws of logic by means of zooming in on a reflective equilibrium. (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)

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)

The question how to turn the principles implicitly governing the concept of truth into an explicit definition of the concept hence coalesced with the question how to get a finite grip on the infinity of T-sentences. Tarski's famous and ingenious move was to introduce a new concept, satisfaction, which could be, on the one hand, recursively defined, and which, on the other hand, straightforwardly yielded an explication of truth. A surprising 'by-product' of Tarski's effort to bring truth under control was (...) the breathtaking finding that truth is in a precisely defined sense ineffable, that no non trivial language can contain a truth-predicate which would be adequate for the very 4 language. This implied that truth proved itself to be strangely 'language-dependent': we can have a concept of truth-in-L for any language L, but we cannot have a concept of truth applicable to every language. In a sense, this means, as Quine put it, that truth belongs to "transcendental metaphysics", and Tarski's 'scientific' investigations seem to lead us back towards a surprising proximity of some more traditional philosophical views on truth. 3. TARSKI'S THEORY AS A PARADIGM So far Tarski himself. Subsequent philosophers then had to find out what his considerations of the concept of truth really mean and what are their consequences; and this now seems to be an almost interminable task. (shrink)

Phototoxicity frequently occurs during live fluorescence microscopy, and its consequences are often underestimated. Damage to cellular macromolecules upon excitation light illumination can impair sample physiology, and even lead to sample death. In this review, we explain how phototoxicity influences live samples, and we highlight that, besides the obvious effects of phototoxicity, there are often subtler consequences of illumination that are imperceptible when only the morphology of samples is examined. Such less apparent manifestations of phototoxicity are equally problematic, and can change (...) the conclusions drawn from an experiment. Thus, limiting phototoxicity is a prerequisite for obtaining reproducible quantitative data on biological processes. We present strategies to reduce phototoxicity, e.g. limiting the illumination to the focal plane and suggest controls for phototoxicity effects. Overall, we argue that phototoxicity needs increased attention from researchers when designing experiments, and when evaluating research findings. (shrink)

We know that lots of things are correct. (Helping people in need is correct. Moving the bishop diagonally when playing chess is correct. Adding 7 to 5 to make 12 is correct.) But where does this correctness come from? I argue that correctness is best seen as something we humans created in the process of forming our societies. This, admittedly, is speculative; but aside of this, there are facts that are more than speculations. In particular, I argue that our correctness (...) is based on normative attitudes, though these often determine only the criteria of correctness, letting the criteria to then determine what is correct independently of our will. Thus it holds both that correctness is wholly our creation and that it is independent of us in the sense that things may be correct even if we do not know that they are (or, indeed, think them incorrect). (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)

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)

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)

If a firm provides incentives by promoting those who have performed well in a job, it may transfer them to a job to which they are not well suited and agents are promoted to their levels of incompetence. Tournaments are an alternative to reputation as a means of ensuring that firms reward good performance when performance is unverifiable.

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.

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)

The topic of this paper is the question whether there is a logic which could be justly called the logic of inference. It may seem that at least since Prawitz, Dummett and others demonstrated the proof-theoretical prominency of intuitionistic logic, the forthcoming answer is that it is this logic that is the obvious choice for the accolade. Though there is little doubt that this choice is correct (provided that inference is construed as inherently single-conclusion and complying with the Gentzenian structural (...) rules), I do not think that the usual justification of it is satisfactory. Therefore, I will first try to clarify what exactly is meant by the question, and then sketch a conceptual framework in which it can be reasonably handled. I will introduce the concept of 'inferentially native' logical operators (those which explicate inferential properties) and I will show that the axiomatization of these operators leads to the axiomatic system of intuitionistic logic. Finally, I will discuss what modifications of this answer enter the picture when more general notions of inference are considered. (shrink)