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)

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)

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)

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)

What do we learn when we find out that an argument is logically incorrect? If logically incorrect means the same as not logically correct, which in turn means not having a valid logical form, it seems that we do not learn anything too useful—an argument which is logically incorrect can still be conclusive. Thus, it seems that it makes sense to fix a stronger interpretation of the term under which a logically incorrect argument is guaranteed to be wrong. In this (...) paper, we show that pinpointing this stronger sense is much trickier than one would expect; but eventually we reach an explication of the notion of logical incorrectness which we find non-trivial and viable. (shrink)

Článek reflektuje Hayekovy výklady o povaze pravidel. Ukazuje, že jeho pojetí pravidel je extrémně široké a vazba mezi pravidly a pravidelnostmi je nepřijatelně úzká. Následně je nastíněno alternativní - užší - vymezení pojmu pravidla. Nakonec je podrobeno kritice Hayekovo příliš úzké chápání pojmu normativních pravidel a je navrženo jeho širší vymezení.

In 'A Coherence Theory of Truth and Knowledge', Donald Davidson argues that it is not possible for us to be massively mistaken in our beliefs. The argument is based on the possibility of an omniscient interpreter who uses the method of radical interpretation to attribute beliefs, since an omniscient interpreter who uses this method will attribute largely true beliefs to those he is inteipreting. In this paper we investigate some of the assumptions behind this argument, and we argue that these (...) assumptions are incompatible with Davidson's view that the object of a belief is its cause. If Davidson wants to keep his interpretationist theory of mind, he should therefore abandon that view. (shrink)

Though, at first sight, logical formalization of natural language sentences and arguments might look like an unproblematic enterprise, the criteria of its success are far from clear and, surprisingly, there have only been a few attempts at making them explicit. This paper provides a picture of the enterprise of logical formalization that does not conceive of it as a kind of translation from one language (a natural one) into another language (a logical one), but rather as a construction of a (...) 'map' of (a piece of) the 'inferential landscape' of the natural language. The criteria that appear to govern the enterprise are labeled as those of reliability, ambitiousness, transparency and parsimony. These criteria, it is argued, do not provide for an excavation of a ready-made logical structure, but rather help us achieve a "reflective equilibrium" between the normative authority of logic and the answerability of logic to a natural language. (shrink)

This article strives to provide an original conceptual frame- work that should open a way to clarification of general philosophical debates on rules and norms. It makes a clear distinction between rules understood as social facts grounded on specific relation- ships between social subjects and rules understood as linguistic entities. Norms are taken as specific social rules and divided into three different types: social constitutive norms, particular constitutive norms, and institutional norms. Attention is also devoted to relation between normality and (...) normativity, to the role of permissions and to specific features of technological ‘rules’. In the last part of the article the outlined conceptual apparatus is employed for analysis of two passages from Wittgenstein’s Investigations. (shrink)

This article strives to provide an original conceptual frame- work that should open a way to clarification of general philosophical debates on rules and norms . It makes a clear distinction between rules (and norms) understood as social facts grounded on specific relation- ships between social subjects and rules (norms) understood as linguistic entities. Norms are taken as specific social rules and divided into three different types: social constitutive norms, particular constitutive norms, and institutional norms . Attention is also devoted (...) to relation between normality and normativity, to the role of permissions and to specific features of technological ‘rules’ . In the last part of the article the outlined conceptual apparatus is employed for analysis of two passages from Wittgenstein’s Investigations. (shrink)

Philosophers like G.H. von Wright and D. Makinson have pointed to serious challenges regarding the foundations of deontic logic. In this paper, I suggest that to deal successfully with these challenges a reconsideration of the research program of the discipline is useful. Some problems that have troubled this particular field of logical study for decades may disappear or appear more tractable if we view them from the perspective of a language game introduced by D. Lewis involving three characters: the Master, (...) the Slave and the Kibitzer. The adoption of this perspective opens a natural approach to a new layout of the domain of deontic studies. I propose dividing deontic logic into six sub-areas which are distinguished by their focus on the different idioms typical of the individual players, by conceiving the language game as either being static or as dynamic and by the aims of the logical inquiry. What kind of insights the proposed perspective provides is illustrated by an analysis of the so-called Ross paradox—a problem that has troubled deontic logic since its origins and, though it was many times pronounced solved, still keeps coming back ‘alive and kicking’. (shrink)

Finland is internationally known as one of the leading centers of twentieth century analytic philosophy. This volume offers for the first time an overall survey of the Finnish analytic school. The rise of this trend is illustrated by original articles of Edward Westermarck, Eino Kaila, Georg Henrik von Wright, and Jaakko Hintikka. Contributions of Finnish philosophers are then systematically discussed in the fields of logic, philosophy of language, philosophy of science, history of philosophy, ethics and social philosophy. Metaphilosophical reflections on (...) the nature of philosophy are highlighted by the Finnish dialogue between analytic philosophy, phenomenology, pragmatism, and critical theory. (shrink)

[Logical analysis and language as a code].

The paper turns attention to some very general questions that concern the nature of logic – it deals with the problem of the identity of logic. It suggests that we can view the notion of value as one through which we can approach the elusive issues which surround the question of the nature of logic. The first part of the paper addresses the question of the value of logic as a discipline. In other words – it aims at answering the (...) question what is (or could/should be) the benefit of exercising logic. The second part focuses on the question of what role values play (or could/should play) ‘inside’ of logic. It suggests that the elusive and general term “value” can perhaps turn out quite useful in the project of delineation of the realm of logic. The conclusion can be formulated in the provocative slogan: logic can be seen as a kind of general formal theory of values. (shrink)

[The inscrutability of language and objectivity].

The paper is a critical reaction to a research paper that appeared in Argumentation. It suggests that Goodman’s delineation of the concept of argument for purposes of disciplines like logic is unsatisfactory in several respects. Identifying arguments as sets of propositions is highly problematic. Moreover, Goodman’s delineation is excessively vague and it may commit us to the claim that sequences of sentences which are commonly treated as expressing arguments do not, in fact, represent arguments.

[On the objective and the still more objective].

The paper raises doubts concerning tenability of the platonistic conception of linguistic meaning. It gives examples of some problems that philosophers who employ entities from the realm of platonic objects as a kind of unexplained explainer tend to neglect.

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. (shrink)

In his article How Wide Is the Gap Between Facts and Values? N. Rescher aspires to clarify the long-lasting discussion on the ‘is-ought’ gap by providing a framework in which the related arguments can be perspicuously articulated. He then argues that even if the logical gap may bereal, the transition from factual premises to value conclusions is smoothly mediated by trivially true value statements. We scrutinize Rescher’s argumentation and show defects in the presented lines of reasoning. In particular, we argue (...) that his tripartite division of statements, as well as his emphasis on the role of evaluative truisms, introduce serious problems that escape Rescher’s attention. We thus conclude that he failed to achieve his goals. (shrink)

Svoboda, V. a kol. Logika a přirozený jazyk. Praha: Filosofia, 2010, 300 stran.

Recently, psychologists have explored moral concepts including obligation, blame, and ability. While little empirical work has studied the relationships among these concepts, philosophers have widely assumed such a relationship in the principle that “ought” implies “can,” which states that if someone ought to do something, then they must be able to do it. The cognitive underpinnings of these concepts are tested in the three experiments reported here. In Experiment 1, most participants judge that an agent ought to keep a promise (...) that he is unable to keep, but only when he is to blame for the inability. Experiment 2 shows that such “ought” judgments correlate with judgments of blame, rather than with judgments of the agent’s ability. Experiment 3 replicates these findings for moral “ought” judgments and finds that they do not hold for nonmoral “ought” judgments, such as what someone ought to do to fulfill their desires. These results together show that folk moral judgments do not conform to a widely assumed philosophical principle that “ought” implies “can.” Instead, judgments of blame play a modulatory role in some judgments of obligation. (shrink)

In this article ‡ we show how the universe of HST, Hrbaček set theory admits a system of subuniverses which keep the Replacement, model Power set and Choice, and also keep as much of Saturation as it is necessary. This gives sufficient tools to develop the most complicated topics in nonstandard analysis, such as Loeb measures.

Plato’s Ion is primarily ethical rather than epistemological, investigating the implications of transgressing one’s own epistemic limits. The figures of Socrates and Ion are juxtaposed in the dialogue, Ion being a laughable, comic, ethically inferior character who cannot recognize his own epistemic limits, Socrates being an elevated, serious, ethically superior character who exhibits disciplined epistemic restraint. The point of the dialogue is to contrast Ion’s laughable state with the serious state of Socrates. In this sense, the dialogue’s central argument is (...) performative rather than demonstrative. (shrink)

This book argues that it can be both reasonable and appropriate to adopt a certain kind of misanthropy. The author defends a cognitivist version of misanthropy, an attitude whose central feature is the judgment that humanity is morally bad. Misanthropy is often dismissed on moral grounds. Many people hold that malice toward human persons is problematic and vulnerable to moral objections. In this book, the author advocates for cognitivist misanthropy. He defends an Asymmetry Thesis, according to which a morally bad (...) deed carries more weight than a morally good deed, even if the harm of the former is exactly equal to the benefit of the latter. He makes the case that being misanthropic in the cognitivist sense is morally permissible and compatible with a broad range of moral reasons for action. He also considers the role of misanthropy in environmental thought, arguing that charges of misanthropy against certain "non-anthropocentric" views do not have the force they are typically thought to carry. Finally, the author investigates the practical implications of adopting cognitivist misanthropy, asking what living with such an attitude would involve. A Philosophical Defense of Misanthropy will appeal to researchers and advanced students working in ethics and the philosophy of human nature. (shrink)

Deceptionism about lying is the view that all lies are intended to deceive. This view sits uneasily with some cases that seem to involve lies not intended to deceive. We call these lies bald-faced because the liar lies while believing that the hearer knows that they are lying. The most recent deceptionist argument put forward by Rudnicki and Odrowąż-Sypniewska (this journal) defends the view that all genuine bald-faced lies are intended to deceive some of their hearers. I argue that this (...) argument is interesting but problematic: its premises do not support the view that all bald-faced lies are intended to deceive but rather only that some people who bald-faced lie to institutions or large audiences intend to deceive someone. Also, genuine bald-faced lies addressed at institutions are intended to (non-deceptively) manipulate institutions rather than deceive anyone. (shrink)