This is not an article, but it is published after the paper "The theory of rejected proposition.I" (in Studia Logica, 29 (1971), pp. 75-123), it is a broad abstract in Polish on pages 116-118.

This is not an article, but it is published after the paper "The theory of rejected proposition.II" (in Studia Logica, 30 (1972), pp. 97-145), its broad abstract in Polish on pages 140-142.

The idea of rejection of some sentences on the basis of others comes from Aristotle, as Jan Łukasiewicz states in his studies on Aristotle's syllogistic [1939, 1951], concerning rejection of the false syllogistic form and those on certain calculus of propositions. Short historical remarks on the origin and development of the notion of a rejected sentence, introduced into logic by Jan Łukasiewicz, are contained in the Introduction of this paper. This paper is to a considerable extent a summary of papers (...) which are not easily available, even to the Polish reader: (1) J. Słupecki, Funkcja Łukasiewicza (Łukasiewicz’s function), Zeszyty Naukowe Uniwersytetu Wrocławskiego, Seria B, nr 3 (1959), 33-40; (2) U. Wybraniec-Skardowska, Teoria zdań odrzuconych (Theory of Rejected Sentences), (doctoral dissertation under the supervision of Jerzy Słupecki, published as a monograph), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie, Nr 22 (1969), 5-131; (3) G. Bryll, Kilka uzupełnień teorii zdań odrzuconych (Some supplements to the theory of rejcted sentences), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Mnografie, Nr 22 (1969), 153-154. The paper also contains a good number of results which have not been published yet. Chapter I contains results presented in the papers (1)-(3). It provides an extension of Alfred Tarski’s theory of deductive systems presented by him in the papers [1930]: Fundamentale Begriffe der Methodologie der deduktiven Wssenschaften, I and Über einige fundamentale Begriffe der Metamathematik. The enriched theory is marked with T. The most essential new concept in T is the function Cn-1, whose definition was given by Słupecki in (1) on the basis of the so-called Tarski’s general theory of deductive systems. It has the form: y e Cn-1X iff Ex e X (x e Cn {y}), where Cn is Tarski’s consequence operation. In accordance with the definition: A sentence y is rejected on the basis of the sentences of the set X iff at least one of sentences of X is a consequence of y (is deducible from y). The intuitive meaning of the rejection function Cn-1: on the basis of false sentences we can reject false sentences only (while by means of the consequence operation Cn on the basis of true sentences we can deduce true sentences only). The function Cn-1 is a generalization of the notion of rejected sentences which was introduced into logic by Łukasiewicz. The essential property of the rejection function Cn-1 is that it satisfies the axioms of general Tarski’s consequence Cn, so it is a consequence operation, called the rejection consequence. In addition, it is an additive and normal operation. In Chapter I, there are given notions analogous to those of the theory of deductive systems, but they are written down by means of the symbol ‘Cn-1’ and not ‘Cn’. There are established the properties of introduced notions and differences and analogies taking place between them and properties of respective notions of the theory T. There are also given generalizations of the notions of ‘decidable system’ and ‘consistent system’ used by Łukasiewicz. The short Chapter II contains axioms of the system T’ which is equivalent to the system T. The only difference between sets of primitive notions of these systems consists in the appearance of the function Cn-1 in the system T’ instead of the function Cn. This chapter reproduces the results given in (2), but they are partially simplified. (shrink)

The monograph contains three works on research on the concept of a rejected sentence. This research, conducted under the supervision of Prof. Jerzy Słupecki by U. Wybraniec-Skardowska (1) "Theory of rejected sentences" and G. Bryll (2) "Some supplements of theory of rejected sentences" and (3) "Logical relations between sentences of empirical sciences" led to the construction of a theory rejected sentences and made it possible to formalize certain issues in the methodology of empirical sciences. The concept of a rejected (...) sentence was introduced by J. Łukasiewicz in the course of his inquiry into Aristotelian Syllogistic. It was essentialy generelized by J. Słupecki who, with reference to Tarski's axiomatic theory of deductive systems (1930), gave the formal definition of the rejection function Cn' according to which a sentence y is rejected on the base of a set of sentences X iff at least one sentence which belongs to X can be deduced from the sentence y. Słupecki proved (1959) that the function Cn', which assignes to the set X the set of sentences rejected on the basis of X, is additive and satisfies the axioms of Tarski's general theory of deductive systems. Work (1) uses not only Tarski's general theory of systems but also his the so-called enlarged theory of systems (1930). It constructs a theory T of rejected sentences (propositions), which is created from Tarski's richer theory of systems by adding one axiom and a number of definitions; among them the definition of the rejection function Cn' is fundamental one. Cn' is a function which assignes to every set X of false sentences the set Cn'X whose members are exclusively false senteces. A number of theorems which describes properties of defined concepts have been proved in T. Some of them are necessary for conducting considertions of the concluding section of (1) devoted to the empirical sentences. Section 2 of (1) deals with the theory of the unit consequenses. It is characterized by an axiom from which follow all axioms of Tarski's general theory of deductive systems, additivity and the property that the unit consequence of the set X of sentences is a unit consequence only one sentence of X. An example of unit consequence is the rejection consequence Cn'. In section 3 of (1) the dual theory T' equivalent to T is presented. In T' the primitive concept is the rejection function Cn'. The fundamental axiom of T' states that Cn' is a unit consequence. The concluding section brings a few examples of applications of the definitions and theorems of T in the domain of the scientific methodology. Work (2) corresonds to J. Słupecki paper (1959) and the theory T of rejected propositions given in work (1). In this paper some suplements of the theory T are given. Work (3) is an extension of the theory of rejected propositios given in the paper (1). It is an attempt of formalization some problems of methodology of the empirical sciences which concern to such concepts as: empirical sentence, similar sentence, generalization, inductive conclusion etc. (shrink)

This paper is a continuation of Part I under the same title. Its Chapter III contains results given in the following publications: U. Wybraniec-Skardowska, Teoria zdań odrzuconych (Theory of Rejected Sentences), (doctoral dissertation under the supervision of Jerzy Słupecki, published as a monograph), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie, Nr 22 (1969), 5-131. G. Bryll, Związki logiczne pomiędzy zdaniami nauk empirycznych (Logical relations between sentences of empirical sciences). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia (...) i Monografie, Nr 22 (1969), 155-216. This chapter contains an attempt to formalize some questions of methodology of empirical sciences. The theory T is enriched here not only by new definitions but also by a new primitive term and new axioms. The most important notion defined in this chapter is the set IndX of all inductive conclusions obtained on the basis of sentences of the set X. The function CnI defined by the equality: CnI X = X u IndX, satisfies the axioms of the general theory of deductive systems. The set CnI X can be understood as a system of empirical sciences in a narrower sense. This paper is a development of the considerations of G. Bryll, included in the above-listed article by this author. (shrink)

Kant’s critique/doctrine distinction tracks the difference between a canon for the understanding’s proper use and an organon for its dialectical misuse. The latter reflects the dogmatic use of reason to attain a doctrine of knowledge with no antecedent critique. In the 1790s, Fichte collapses Kant’s distinction and redefines dogmatism. He argues that deriving a canon is essentially dialectical and thus yields an organon: critical idealism is properly a doctrine of science or Wissenschaftslehre. Criticism is furthermore said to refute dogmatism, by (...) which Fichte means Spinozism. Schelling repudiates Fichte’s position in his Philosophical Letters by reviving Kant’s distinction. First, ‘critique’ for Schelling names a canon that is valid for all systems—including Spinozism—and thus favours none—not even the Wissenschaftslehre. Second, Schelling coins ‘dogmaticism’ to refer to what Kant calls ‘dogmatism’: reason’s uncritical claim to doctrine. Hence, he says all systems—even Fichte’s—are susceptible to the ‘enthusiasm’ of mistaking themselves for doctrines or ‘objects of knowledge’, instead of subjectively valid ‘objects of freedom’. I reconstruct Schelling’s argument for reviving Kant’s distinction, while noting two consequences for German idealism. First, if criticism favours no system, a system’s origin cannot be an act of knowledge, e.g., intellectual intuition, but only an act of endorsement. Second, if dogmaticism entails enthusiasm, a system’s goal cannot be absolute knowledge, but only infinite striving. Hence, by retrieving Schelling’s notion of dogmaticism, we can both gain a better understanding of the Letters and register the impact of a core Kantian distinction on the German idealist project. (shrink)

Meillassoux seeks knowledge of transcendental reality, blaming Kant for the ‘correlationist’ proscription of independent access to either thought or being. For Meillassoux, correlationism blocks an account of the meaning of ‘ancestral statements’ regarding reality prior to humans. I examine three charges on which Meillassoux’s argument depends: (1) Kant distorts ancestral statements’ meaning; (2) Kant fallaciously infers causality’s necessity; (3) Kant’s transcendental idealism cannot grasp ‘the great outdoors’. I reject these charges: (1) imposes a Cartesian misreading, hence Meillassoux’s false assumption that, (...) for Kant, objects don’t exist without subjects; (2) misreads Kant, who infers causality’s necessity from the possibility of experience; (3) casts Kant’s idealism as subjective, ignoring his perspectival portrayal of it. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

Bazzocchi disposes the text of the Tractatus in a user-friendly manner, exactly as Wittgenstein's decimals advise. This discloses the logical form of the book by distinct reading units, linked into a fashioned hierarchical tree. The text becomes much clearer and every reader can enjoy, finally, its formal and literary qualities.

Knowledge of mechanisms is critical for causal reasoning. We contrasted two possible organizations of causal knowledge—an interconnected causal network, where events are causally connected without any boundaries delineating discrete mechanisms; or a set of disparate mechanisms—causal islands—such that events in different mechanisms are not thought to be related even when they belong to the same causal chain. To distinguish these possibilities, we tested whether people make transitive judgments about causal chains by inferring, given A causes B and B causes C, (...) that A causes C. Specifically, causal chains schematized as one chunk or mechanism in semantic memory led to transitive causal judgments. On the other hand, chains schematized as multiple chunks led to intransitive judgments despite strong intermediate links. Normative accounts of causal intransitivity could not explain these intransitive judgments. (shrink)

1. Sae sidae rŭl yŏrŏ gan saramdŭl -- 2. Ŏdum ŭi sidae.

A directory of archives and manuscript repositories, with links to web pages for the repositories and to online finding aids. Searchable by: collection name; city; state; National Inventory of Documentary Sources (NIDS) number; and National Union Catalog of Manuscript Collections (NUCMC) number.

Est-il possible de trouver une herméneutique œcuménique pour que toutes les confessions chrétiennes puissent lire les Saintes Ecritures ensemble ? C'est à cette question que tente de répondre l'A. dans cet article. Après avoir formulé précisément la nature de sa problématique théologique en introduction, l'A. axe sa première partie sur l'état actuel de la question posée. En seconde partie, il propose un modèle possible d'herméneutique transconfessionnelle. En dernière partie, il procède à une étude comparative entrre les diverses confessions sur la (...) réflexion scripturaire. (shrink)

The AGI alignment problem has a bimodal distribution of outcomes with most outcomes clustering around the poles of total success and existential, catastrophic failure. Consequently, attempts to solve AGI alignment should, all else equal, prefer false negatives (ignoring research programs that would have been successful) to false positives (pursuing research programs that will unexpectedly fail). Thus, we propose adopting a policy of responding to points of philosophical and practical uncertainty associated with the alignment problem by limiting and choosing necessary assumptions (...) to reduce the risk of false positives. Herein we explore in detail two relevant points of uncertainty that AGI alignment research hinges on---meta-ethical uncertainty and uncertainty about mental phenomena---and show how to reduce false positives in response to them. (shrink)