Jaroslav Peregrin

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.

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.

In recent years, I have published a number of papers addressing various aspect of inferentialism. These papers, I believe, do provide for a relatively multifaceted picture of (my version of) this enterprise; though still a picture that is in some respects patchy. This has made me start working on this book – it should bring my ideas of various aspects and dimensions of inferentialism to a desirable synthesis. Building the individual chapters, I usually start from taking parts of my published papers as basic building blocks, putting them togethether and then trying to make them fit together with each other, and with the rest of the book, seamlessly. As a result, material from the older papers gets upgraded so that the chapters no longer contain many pieces of the papers in their original form. As inferentialism is a new and unsettled matter, I am not only putting forward some new ideas, but in some cases I also have to put together new frameworks to enable me to articulate these ideas intelligibly in the first place. I think that doing this with a reasonable outcome is not possible without some feadback. I do get some from my colleagues, but I will be grateful to anybody who would like to comment on anything presented here.

Normativity is one of the keywords of contemporary philosophical discussions (which partly reincarnate traditional debates about the differences between Geisteswissenschaften and Naturwissenschaften ). But are the philosophers who argue for the irreducible role of normativity within accounts for human societies obliged to assume, as Stephen Turner has recently put it, the existence of a "non‐natural, non‐empirical stuff that is claimed to be necessarily, intrinsically there and to in some sense account for the actual"?

Analytic philosophy is based on the assumption that our world is a world grasped in terms of (this or another) language and that the question of the character of any entity is closely connected with the question of the linguistic grasp of that entity. The father of this philosophical trend was Gottlob Frege: he showed the way to capture the semantic aspect of language in a systematic way without resorting into psychologism; he also showed that logical analysis can be an extremely powerful tool for capturing meaning. Frege's teaching was further developed by Bertrand Russell, Rudolf Carnap, Ludwig Wittgenstein, Willard Van Quine and other philosophers. This philosophy, in connection with which the term linguistic turn is also often mentioned, is characterized by viewing language as a means of picturing the world and truth as the correspondence between statement and reality. Whereas some of the analytic philosophers (Carnap, Alfred Tarski) understood the relation between language and the world as a matter of a better or worse adaptation of the structure of language to the autonomous structure of the world, others (Wittgenstein, Quine, Nelson Goodman) realized that the structure of the world is always a matter of the language we use approaching the world

The paper presents a demarcation of a “minimalistic” concept of logical form, which nevertheless largely agrees with the way the term “logical form” is commonly used in contemporary logic and philosophy of logic. We see logical forms as formulas of formal languages assigned to (compounds of) sentences of a natural language (perhaps modulo notational variance). We thus reject the views of logical forms as underlying structures of thoughts or of the material reality that surrounds us. The assignment of the forms, we claim, aims at envisaging the logical (especially inferential) properties of the analyzed sentences, arguments, or other texts, as the analyzing formulas wear them, as it were, on their sleeves. Hence we suggest an “expressivist” and a pragmatic understanding of logical forms - they are used to expose (and fix) logical properties of sentences in textual contexts and the way of their employment is determined by the goals of the particular studies.

Wilfrid Sellars's analysis of the concept of meaning led, in effect, to the conclusion that the meaning of an expression is its inferential role. This view is often challenged by the claim that inference is a matter of syntax and syntax can never yield us semantics. I argue that this challenge is based on the confusion of two senses of "syntax"; and I try to throw some new light on the concept of inferential role. My conclusion is that the Sellarsian view that something can have meaning only if it is subject to inferences is viable, and that inferential role is a plausible explication of meaning. However I also argue, pace Sellars, that the inferential nature of meaning does not prevent us from engaging in the enterprise of Carnapian formal semantics

Ve své polemice s mou recenzí jeho knihy Tomáš Marvan argumentuje, že debatu mezi realismem a relativismem (či konstruktivismem) lze rozřešit, a to prostřednictvím důkazů ve prospěch realismu. V tomto příspěvku vysvětluji, že podle mne realismus nemůže být prokázán, protože to není teze, kterou by bylo možné dokazovat, ale spíše něco jako kantovská „regulativní idea“. In his polemic reply to my review of his book Tomáš Marvan argues that the debate between realism and relativism (or constructivism) can be resolved, especially by means of evidence in favor of realism. In this contribution I explain that according to me realism cannot be demonstrated, because it is not a thesis that could be supported by evidence, but rather something as a Kantian "regulative idea".

Ve své nové knížce Kauzalita činitele Petr Dvořák argumentuje, že svoboda vůle existuje, a tudíž musíme přijmout nějakou formu indeterminismu; a předkládá návrh odpovídajícího pojmového rámce. Já se naproti tomu domnívám, že ač svoboda vůle skutečně existuje, neměli bychom proto opouštět determinismus; hlásím se tedy k určité formě kompatibilismu. Podle mého druhu kompatibilismu tomu ovšem není tak, že by se svoboda vůle dala vtěsnat do deterministického rámce. Domnívám se, že řešení je v přijetí toho, že při výkladu skutečnosti nevystačíme s jediným pojmovým rámcem – konkrétně že na člověka se můžeme dívat jako na organismus (skrze deterministický a fyzikalistický rámec), ale také jako na osobu (skrze rámec, který je „prodchnut normativitou“).