1. STRUCTURE AND REFERENCES 1.1. The main part of the dictionary consists of alphabetically arranged articles concerned with basic logical theories and some other selected topics. Within each article a set of concepts is defined in their mutual relations. This way of defining concepts in the context of a theory provides better understand ing of ideas than that provided by isolated short defmitions. A disadvantage of this method is that it takes more time to look something up inside an extensive (...) article. To reduce this disadvantage the following measures have been adopted. Each article is divided into numbered sections, the numbers, in boldface type, being addresses to which we refer. Those sections of larger articles which are divided at the first level, i.e. numbered with single numerals, have titles. Main sections are further subdivided, the subsections being numbered by numerals added to the main section number, e.g. I, 1.1, 1.2,..., 1.1.1, 1.1.2, and so on. A comprehensive subject index is supplied together with a glossary. The aim of the latter is to provide, if possible, short defmitions which sometimes may prove sufficient. As to the use of the glossary, see the comment preceding it. (shrink)

The paper is meant as a survey of issues in computational complexity from the standpoint of its relevance to social research. Moreover, the threads are hinted at that lead to computer science from mathematical logic and from philosophical questions about the limits and the power both of mathematics and the human mind. Especially, the paper addresses Turing's idea of oracle, considering its impact on computational (i.e., relying on simulations) economy, sociology etc. Oracle is meant as a device capable of finding (...) the values of uncomputable functions. Such an idealized entity is exemplified by the human mind's procedure of recognizing the truth of the Gödelian sentence, of identifying uncomputable numbers through Turing's diagonal procedure, etc. Since such procedures are strictly defined and are as reliable as any calculations, they are worth to be called computation as well. From the computation in the strict sense, that defined as purely algorithmic (mechanical) process, one distinguishes them with the term "hipercomputation". Now the following questions arise. - Are there undecidable problems (ie. not decidable with appropriate algorithms) in social research as are (according to what is reported esp. By S. Wolfram) in natural sciences? The answer in the negative would impose limitations on computer simulations (as entirely relying on algorithms). - If there are, then we have the next question: can such problems be addressed with hipercomputational procedures? - How such hipercomputational procedures would be related to analog computation (coextensive, everlappiing, etc.)? Another set of issues is stated in terms of tractability of decidable problems, that is, the efficiency of algorithms needed for solutions. As inefficient are regarded those which require more resources (time, memory, etc.) than is available in a foreseeable future. In this context, one discusses methods of such an efficient organizing computational processes to overcome the scarcity of resources; thus parallel, distributive, interactive, etc. computing are used as remedies. The paper claims, hinting at F.Hayek's ideas, that in some social systems (e.g., stock exchange, and free market in general) such an efficient organization of their computational activities spontaneously evolves. And this is the main source of its advantages over the central economic planning (as defended by O. Lange). This noticing (in terms of complexity theory) of analogy between Hayek's point and the current discussion of efficiency of algorithms is what may count as an original contribution of the present paper. (shrink)

Zwrot \"Mathesis Universalis\" (MU) oznacza projekt unifikacji całości wiedzy za pomocą metody matematycznej. Powstał on pod tą nazwą u progu nowożytności, a częściowo miał antycypacje w starożytności i średniowieczu. Głównymi jego rzecznikami byli Kartezjusz i Leibniz. Podejście Leibniza jest radykalnie formalistyczne, a przez to nadające sie do realizacji maszynowej, podczas gdy Kartezjusza - zdecydowanie antyformalistyczne. Artykuł koncentruje się na projekcie Leibniza jako tym, który ma kontynuację w nauce współczesnej. Zamysł, żeby narzędziem realizacji projektu była uniwersalna symbolika i rachunek logiczny jest (...) obecnie realizowany w odniesieniu do całości matematyki za pomocą środków, które jako pierwszy stworzył Gottlob Frege (1879). Istotny wkład ma Georg Cantor jako autor teorii mocy zbiorów, która wprowadza odróżnienie zbioru nieskończonego przeliczalnie od zbioru o mocy kontinuum. Umożliwia to dowód fundamentalnego dla współczesnej MU twierdzenia o istnieniu problemów nierozstrzygalnych w arytmetyce, co jest dziełem Kurta Gödla, oraz w logice. To drugie wykazał Alan Turing, dowodząc, że zbiór realizowalnych przez maszynę programów do dokonywania obliczeń, czyli do rozstrzygania problemu, jaka jest wartość określonej funkcji, jest tylko przeliczalny, podczas gdy zbiór problemów do rozstrzygnięcia ma moc kontinuum; stąd wynika, że pewne problemy są nierozstrzygalne w sposób formalny czyli maszynowy, co z kolei implikuje nierozstzygalność logiki. Analogiczny wynik Gödla ma ważne dopełnienie w jego twierdzeniu, że ograniczenia rozstrzygalności są tylko względne (w stosunku do określonego systemu formalnego) i mogą być przezwyciężane przez konstrukcję nowych pojęć pierwotnych, aksjomatów i metod postępowania badawczego. Rysuje się więc przed nauką możliwość nieustannego postępu. Takie dynamiczne ujęcie stanowi rys istotnie różniący współczesną postać MU od klasycznej, którą cechowała statyczność. (shrink)

For a free filter F on $$\omega $$ ω, endow the space $$N_F=\omega \cup \{p_F\}$$ N F = ω ∪ { p F }, where $$p_F\not \in \omega $$ p F ∉ ω, with the topology in which every element of $$\omega $$ ω is isolated whereas all open neighborhoods of $$p_F$$ p F are of the form $$A\cup \{p_F\}$$ A ∪ { p F } for $$A\in F$$ A ∈ F. Spaces of the form $$N_F$$ N F constitute the (...) class of the simplest non-discrete Tychonoff spaces. The aim of this paper is to study them in the context of the celebrated Josefson–Nissenzweig theorem from Banach space theory. We prove, e.g., that, for a filter F, the space $$N_F$$ N F carries a sequence $$\langle \mu _n:n\in \omega \rangle $$ ⟨ μ n : n ∈ ω ⟩ of normalized finitely supported signed measures such that $$\mu _n(f)\rightarrow 0$$ μ n ( f ) → 0 for every bounded continuous real-valued function f on $$N_F$$ N F if and only if $$F^*\le _K{\mathcal {Z}}$$ F ∗ ≤ K Z, that is, the dual ideal $$F^*$$ F ∗ is Katětov below the asymptotic density ideal $${\mathcal {Z}}$$ Z. Consequently, we get that if $$F^*\le _K{\mathcal {Z}}$$ F ∗ ≤ K Z, then: (1) if X is a Tychonoff space and $$N_F$$ N F is homeomorphic to a subspace of X, then the space $$C_p^*(X)$$ C p ∗ ( X ) of bounded continuous real-valued functions on X contains a complemented copy of the space $$c_0$$ c 0 endowed with the pointwise topology, (2) if K is a compact Hausdorff space and $$N_F$$ N F is homeomorphic to a subspace of K, then the Banach space C(K) of continuous real-valued functions on K is not a Grothendieck space. The latter result generalizes the well-known fact stating that if a compact Hausdorff space K contains a non-trivial convergent sequence, then the space C(K) is not Grothendieck. (shrink)

This paper represents such an amateur approach; hence any comments backed up by professional erudition will be highly appreciated. Let me start from an attempt to sketch a relationship between professionals’ and amateurs’ contributions. The latter may be compared with the letters to the Editor of a journal, written by perceptive readers, while professionals contribute to the very content of the journal in question. Owing to such letters, the Editor and his professional staff can become more aware of the responses (...) of educated public to the journal’s output. (shrink)

In the Transcendental Aesthetic (TA), Kant is typically held to make negative assertations about “things in themselves,” namely that they are not spatial or temporal. These negative assertions stand behind the “neglected alternative” problem for Kant’s transcendental idealism. According to this problem, Kant may be entitled to assert that spatio-temporality is a subjective element of our cognition, but he cannot rule out that it may also be a feature of the objective world. In this paper, I show in a new (...) way how Kant’s view (focusing on his conclusions about space) is not subject to this objection, by showing that he does not make the denial about mind-independent reality that he is typically held to make. The argument develops consequences of a new reading of Kant’s expression “an sich selbst” (‘in itself’; ‘in themselves’). I argue that “an sich selbst” or “per se” has a special, judgment-level role, so that this expression does not form new noun-terms adjectivally. It follows that the conceptual unit of Kant’s “Conclusions” in the TA is simply “things” (Dinge), since “things in themselves” is not a nominal expression; Kant adopts the Wolffian ontological use of “thing” as the basic kind-term for any existent. The arguments that things per se are not in space are arguments that space cannot be a necessary property or relations of things as a kind. I show that this does not involve the positive claim about mind-independent reality that inspires the neglected alternative objection. (shrink)

While the idea of philosophy as conceptual analysis has attracted many adherents and undergone a number of variations, in general it suffers from an authority problem with two dimensions. First, it is unclear why the analysis of a concept should have objective authority: why explicating what we mean should express how things are. Second, conceptual analysis seems to lack intersubjective authority: why philosophical analysis should apply to more than a parochial group of individuals. I argue that Hegel’s conception of social (...) ontology, focused on his concept of “ethical life” (Sittlichkeit), helps to explain how concepts (and their explication) have both objective and intersubjective authority in the social domain. Hegel claims that modern institutions are the product of self-conscious purposes, so that they are conceptually constituted. Concepts do not just represent these objects and so depend on a contingent relation to them. As many contemporary social ontologists agree, this means that our concepts of these institutions are uniquely epistemically “transparent.” They have objective authority. Concepts have intersubjective authority in the modern world as well, according to Hegel. However, I show that this feature of Hegel’s account does not rely on the solution to a philosophical problem. Rather, since the concepts of modern ethical life are “essentially contested,” their content depends on the practical and political agreement of modern subjects. This means that concepts can only have objective authority if some prior intersubjective agreement has been reached. The role of philosophy as conceptual analysis is thus importantly dependent on political developments. (shrink)

Asperó and Schindler have completely solved the Axiom [Formula: see text] vs. [Formula: see text] problem. They have proved that if [Formula: see text] holds then Axiom [Formula: see text] holds, with no additional assumptions. The key question now concerns the relationship between [Formula: see text] and Axiom [Formula: see text]. This is because the foundational issues raised by the problem of Axiom [Formula: see text] vs. [Formula: see text] arguably persist in the problem of Axiom [Formula: see text] vs. (...) [Formula: see text]. The first of our two main theorems is that Axiom [Formula: see text] is equivalent to Axiom [Formula: see text], and as a corollary we show that Axiom [Formula: see text] fails in all the known models of [Formula: see text]. This suggests that [Formula: see text] actually refutes Axiom [Formula: see text]. Our second main theorem is that the [Formula: see text] Conjecture holds assuming [Formula: see text]. This is the strongest partial result known on this conjecture which is one of the central open problems of [Formula: see text]-theory and [Formula: see text]-logic. These results identify a fundamental asymmetry between the Continuum Hypothesis and any axiom which is both [Formula: see text]-expressible and which implies [Formula: see text], on the basis of generic absoluteness for the simplest of the nontrivial sentences of Third-Order Number Theory. These are the [Formula: see text]-sentences with no parameters. Such sentences are those which simply assert the existence of a set [Formula: see text] for which some property involving only quantification over [Formula: see text] holds. (shrink)

This volume is written jointly by Witold Marciszewski, who contributed the introductory and the three subsequent chapters, and Roman Murawski who is the author of the next ones - those concerned with the 19th century and the modern inquiries into formalization, algebraization and mechanization of reasonings. Besides the authors there are other persons, as well as institutions, to whom the book owes its coming into being. The study which resulted in this volume was carried out in the Historical Section of (...) the research project _Logical Systems and Algorithms for Automatic Testing of Reasoning,_ 1986-1990, in which participated nine Polish universities; the project was coordinated by the Department of Logic, Methodology and Philosophy of Science of the Bia??l??ystok Branch of the University of Warsaw, and supported by the Ministry of Education 1987). The major part of the project was focussed on the software for computer-aided theorem proving called Mizar MSE ) due to Dr. Andrzej Trybulec. He and other colleagues deserve a grateful mention for a hands-on experience and theoretical stimulants owed to their collaboration. (shrink)

We discuss the existence of universal spaces (either in the sense of embeddings or continuous images) for some classes of scattered Eberlein compacta. Given a cardinal κ, we consider the class Sκ of all scattered Eberlein compact spaces K of weight ≤ κ and such that the second Cantor-Bendixson derivative of K is a singleton. We prove that if κ is an uncountable cardinal such that κ = 2<κ, then there exists a space X in Sκ such that every member (...) of Sκ is homeomorphic to a retract of X. We show that it is consistent that there does not exist a universal space (either by embeddings or by mappings onto) in Sω₁. Assuming that ∂ = ω₁, we prove that there exists a space X ∈ Sω₁, which is universal in the sense of embeddings. We also show that it is consistent that there exists a space X ∈ Sω₁, universal in the sense of embeddings, but Sω₁ does not contain an universal element in the sense of mappings onto. (shrink)

Inleidend studieboek op universitair niveau over de Nederlandse rechtswetenschap.

CHAPTER ONE On the Rhetorical Point of View. Why rhetoric declined, and what remained of it. Once upon a time rhetoric was a vast and influential branch of ...

De Interpretatione is among Aristotle's most influential and widely read writings; C. W. A. Whitaker presents the first systematic study of this work, and offers a radical new view of its aims, its structure, and its place in Aristotle's system. He shows that De Interpretatione is not a disjointed essay on ill-connected subjects, as traditionally thought, but a highly organized and systematic treatise on logic, argument, and dialectic.

This masterful work on Kant's Religion within the Boundaries of Mere Reason explores Kant's treatment of the Idea of God, his views concerning evil, and the moral grounds for faith in God. Kant and Religion works to deepen our understanding of religion's place and meaning within the history of human culture, touching on Kant's philosophical stance regarding theoretical, moral, political, and religious matters. Wood's breadth of knowledge of Kant's corpus, philosophical sharpness, and depth of reflection sheds light not only on (...) Kant, but also on the fate of religion and its relation to philosophy in the modern world. (shrink)

'The problem of the twentieth-century is the problem of the color-line.' Originally published in 1903, The Souls of Black Folk is a classic study of race, culture, and education at the turn of the twentieth century. With its singular combination of essays, memoir, and fiction, this book vaulted W. E. B. Du Bois to the forefront of American political commentary and civil rights activism. The Souls of Black Folk is an impassioned, at times searing account of the situation of African (...) Americans in the United States. Du Bois makes a forceful case for the access of African Americans to higher education, memorably extols the achievements of black culture (above all the spirituals or 'sorrow songs'), and advances the provocative and influential argument that due to the inequalities and pressures of the 'race problem', African American identity is characterized by 'double consciousness'. This edition includes a valuable appendix of other writing by Du Bois, which sheds light on his attitudes and intentions. ABOUT THE SERIES: For over 100 years Oxford World's Classics has made available the widest range of literature from around the globe. Each affordable volume reflects Oxford's commitment to scholarship, providing the most accurate text plus a wealth of other valuable features, including expert introductions by leading authorities, helpful notes to clarify the text, up-to-date bibliographies for further study, and much more. (shrink)

The first good message is to the effect that people possess reason as a source of intellectual insights, not available to the senses, as e.g. axioms of arithmetic. The awareness of this fact is called rationalism. Another good message is that reason can daringly quest for and gain new plausible insights. Those, if suitably checked and confirmed, can entail a revision of former results, also in mathematics, and - due to the greater efficiency of new ideas - accelerate science’s progress. (...) The awareness that no insight is secured against revision, is called fallibilism. This modern fallibilistic rationalism, i.e. the belief in the attainability of inviolable truths of reason which would forever constitute the foundations of knowledge. Fallibilistic rationalism is based on the idea that any problem-solving consists in processing information. Its results vary with respect to informativeness and its reverse - certainty. It is up to science to look for highly informative solutions, in spite of their uncertainty, and then to make them more certain through testing against suitable evidence. To account for such cognitive processes, one resorts to the conceptual apparatus of logic, informatics, and cognitive science. (shrink)