This article bears on four topics: observational predicates and phenomenal properties, vagueness, strict finitism as a philosophy of mathematics, and the analysis of feasible computability. It is argued that reactions to strict finitism point towards a semantics for vague predicates in the form of nonstandard models of weak arithmetical theories of the sort originally introduced to characterize the notion of feasibility as understood in computational complexity theory. The approach described eschews the use of nonclassical logic and related devices like degrees (...) of truth or supervaluation. Like epistemic approaches to vagueness, it may thus be smoothly integrated with the use of classical model theory as widely employed in natural language semantics. But unlike epistemicism, the described approach fails to imply either the existence of sharp boundaries or the failure of tolerance for soritical predicates. Applications ofmeasurement theory(in the sense of Krantz, Luce, Suppes, & Tversky (1971)) to vagueness in the nonstandard setting are also explored. (shrink)

The generic Vopěnka principle, we prove, is relatively consistent with the ordinals being non-Mahlo. Similarly, the generic Vopěnka scheme is relatively consistent with the ordinals being definably non-Mahlo. Indeed, the generic Vopěnka scheme is relatively consistent with the existence of a \-definable class containing no regular cardinals. In such a model, there can be no \-reflecting cardinals and hence also no remarkable cardinals. This latter fact answers negatively a question of Bagaria, Gitman and Schindler.

Idealization and abstraction are central concepts in the philosophy of science and in science itself. My goal in this paper is suggest an account of these concepts, building on and refining an existing view due to Jones Idealization XII: correcting the model. Idealization and abstraction in the sciences, vol 86. Rodopi, Amsterdam, pp 173–217, 2005) and Godfrey-Smith Mapping the future of biology: evolving concepts and theories. Springer, Berlin, 2009). On this line of thought, abstraction—which I call, for reasons to be (...) explained, abstractness—involves the omission of detail, whereas idealization consists in a deliberate mismatch between a description and the world. I will suggest that while the core idea underlying these authors’ view is correct, they make several assumptions and stipulations that are best avoided. For one thing, they tie abstractness too close to truth. For another, they do not allow sufficient room to the difference between idealization and error. Taking these points into account leads to a refined account of the distinction, in which abstractness is seen in terms of relative richness of detail, and idealization is seen as closely connected with the knowledge and intentions of idealizers. I lay out these accounts in turn, and then discuss the relationship between the two concepts, and several other upshots of the present way of construing the distinction. (shrink)

This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. It aims to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named ‘fuzzy inference’ can be naturally understood as logical deduction. It is for mathematicians, logicians, computer scientists, specialists in artificial intelligence and knowledge engineering, and developers of fuzzy logic.

This essay is concerned with the processes of idealization as described by Husserl in his last work, "The Crisis of European Sciences and Transcendental Phenomenology". Central as the processes of idealization are to Husserl's reflections on the origin of natural scientific knowledge and his attempt to reground that knowledge in the "forgotten meaning-fundament of natural science," they have not always been well understood. One reason for this is the lack of concrete historical examples. The main purpose of this paper is (...) to correct this deficit. The paper is comprised of four sections. The first distinguishes two separate processes of idealization, one ascending from the life-world and the other descending and applying to it. The interaction of the two is then considered. The second section takes up Husserl's own discussion of Galileo's employment of idealization in his original mathematization of nature. The third section examines Galileo's analysis of freefall as a historical example of the processes of idealization. Here it is seen that the evidence clearly justifies Husserl's claims regarding the role of idealization in the origins of modern natural science. The conclusion employs the insights gained in the previous sections to exhibit the importance of understanding the processes of idealization as propaedeutic to the appreciation of the role and importance of the phenomenological methods of epoché and reduction to restoring lost layers of meaning by nullifying the idealizations which cover the life world. (shrink)

The goal of this paper is a comprehensive analysis of basic reasoning patterns that are characteristic of vague predicates. The analysis leads to rigorous reconstructions of the phenomena within formal systems. Two basic features are dealt with. One is tolerance: the insensitivity of predicates to small changes in the objects of predication (a one-increment of a walking distance is a walking distance). The other is the existence of borderline cases. The paper shows why these should be treated as different, though (...) related phenomena. Tolerance is formally reconstructed within a proposed framework of contextual logic, leading to a solution of the Sorites paradox. Borderline-vagueness is reconstructed using certain modality operators; the set-up provides an analysis of higher order vagueness and a derivation of scales of degrees for the property in question. (shrink)

One of the greatest revolutions in mathematics occurred when Georg Cantor (1845-1918) promulgated his theory of transfinite sets.

Our model of time is the classical continuum of real numbers, and our model of other measurable quantities that change over time is that of functions defined on real numbers with real numbers as values. This model is not derived from reality or from our experience of it, but imposed on reality; and the fit is very imperfect. In classical mathematics, the value of a function for any real number as argument is independent of its value for any other argument: (...) the analogue is Hume's doctrine that events are loose and separate. This makes continuity in the change of any quantity a contingent law of physica, rather than a conceptual necessity. The article explores alternatives to this classical model. (shrink)

This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well. This book has become a classic because of its accessibility to students without a mathematical background, and because it covers not simply the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, (...) but also a large number of optional topics from Turing's theory of computability to Ramsey's theorem. John Burgess has now enhanced the book by adding a selection of problems at the end of each chapter, and by reorganising and rewriting chapters to make them more independent of each other and thus to increase the range of options available to instructors as to what to cover and what to defer. (shrink)

We define a first-order theory FIN which has a recursive axiomatization and has the following two properties. Each finite part of FIN has finite models. FIN is strong enough to develop that part of mathematics which is used or has potential applications in natural science. This work can also be regarded as a consistency proof of this hitherto informal part of mathematics. In FIN one can count every set; this permits one to prove some new probabilistic theorems.

Publikace se zabývá teorií polomnožin, což je nová matematická teorie, která rozšiřuje teorii množin o nové imaginární množiny, tzv. polomnožiny. Toto rozšíření je podobného druhu jako čísla komplexní rozšiřují čísla reálná. Vknize je tato teorie podrobně rozbírána a navíc jsou zde obsaženy všechny nejzávažnější výsledky axiomatické teorie množin, ke kterým se během studia dospělo.