973 resultados para Philosophy of set theory


Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper critically examines the liberation theology of José Porfirio Miranda, as expressed in his Marx and the Bible (1971), with a focus on the central idea (and subtitle) of this work: the “Critique of the Philosophy of Oppression.” Miranda’s critique is examined via certain key tropes such as “power,” “justice,” and “freedom,” both in the context of late twentieth-century Latin American society, and in the state of the “post-Christian” and “post-Marxist” world more generally, vis-à-vis contemporary liberal justice theory. Close examination of the potentialities, paradoxes and subtle evasions in Miranda’s critique leads not to the conclusion that Miranda does not go far enough in his application of Christian principles to justice theory.

Relevância:

100.00% 100.00%

Publicador:

Relevância:

100.00% 100.00%

Publicador:

Relevância:

100.00% 100.00%

Publicador:

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other than the traditional ω. Namely, the equivalence between normal transfinite recursion scheme and new dependent transfinite recursion scheme, which does hold in the context of subsystems of second order number theory, does not hold in the context of subsystems of second order set theory where the universe V of sets is treated as the given totality (nor in the contexts of those of n+3-th order number or set theories, where the class of all n+2-th order objects is treated as the given totality).

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In this article I argue that the shift from a private to a public–social understanding of religion raises new ontological and epistemological questions for the scientific study of religion\s. These questions are deeply related to three central features of the emic– etic debate, namely the problems of intentionality, objectivity, and comparison. Focusing on these interrelated issues, I discuss the potential of John Searle’s philoso- phy of society for the scientific study of religion\s. Considering the role of intentional- ity at the social level, I present Searle’s concept of “social ontology” and discuss its epistemological implications. To clarify Searle’s position regarding the objectivity of the social sciences, I propose a heuristic model contrasting different stances within the scientific study of religion\s. Finally, I explore some problematic aspects of Searle’s views for a comparative study of religion\s, and sketch a solution within his frame- work. I shall argue that a distinction between the epistemological and ontological dimensions of religious affairs would help clarify the issues at stake in the past and future of the emic–etic debate.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Über das Forschungsprogramm: The Philosophy of Western Society. Teilstück des allgemeinen Forschungsprogramms, veröffentlicht unter dem Untertitel: "The Philosophy of Social Science", in: "International Institute of Social Research. A Report of Its History, Aims and Activites, 1933-1938", New York (1938?), S. 19, Typoskript mit eigenhändiger Korrektur, 2 Blatt; Bericht über die Aktivitäten des Instituts für Sozialforschung für Robert M. MacIver, 1938-39: 1. Bericht vom 7.12.1939; a) Typoskript, englisch, 9 Blatt; b) Typoskript, als Brief von Pollock an Robert M. MacIver, Typoskript 10 Blatt; c) Entwurf Typoskript, englisch, 15 Blatt; d) Entwurf Typoskript, deutsch, 17 Blatt; MacIver, Robert M.: 1 Brief mit Unterschrift an Friedrich Pollock, New York, 27.04.1938, 1 Blatt; "Some data on the Institut`s Staff and Activities", 11.03.1938, zwei Typoskripte, je 2 Blatt; Über die Tätigkeiten des Instituts für Sozialforschung. Verschiedene Berichte. 1939; Aufstellung der Forschungsgebiete verschiedener Mitarbeiter des Instituts. Ohne Datum, Typoskript, 9 Blatt; Aufstellung der Forschungsgebiete verschiedener Mitarbeiter des Institutes, aus einem Bericht. Typoskript, 7 Blatt; Bericht an den Präsidenten des Columbia University. Typoskript, 2 Blatt; "Contribution of Dr. Franz Neumann to the Round Table Discussion, Chicago, Social Science Reaserach Building" Dezember 1939; a) Typoskript mit Handschriftlichen Korrekturen, 3 Blatt; b) Typoskript, 3 Blatt; "Statment on the objectives of the International Institut of Social Research". Typoskript, 2 Blatt; Stipendiaten des Instituts für Sozialforschung: Forschungsberichte, Ende 1939; Adorno, Theodor W.: a) Typoskript, englisch, mit eigenhändigen Korrekturen, 4 Blatt; b) Typoskript, deutsch, 3 Blatt; Beck, Maximilian: "Geschichte des Begriffs der Vernunft von Platon bis Husserl (Outline)". Typoskript, englisch und deutsch, mit handschriftlichen Korrekturen, 7 Blatt; Flechtheim, Ossip K.: Typoskript mit handschriftlichen Ergänzungen, 1 Blatt; Fried, Hans Ernest: Typoskript, 1 Blatt, 16.11.1939; Grossmann, Henryk: "Capitalism in the 13th Century"; a) Typoskript, englisch, mit handschriftlichen Korrekturen, 6 Blatt; b) Typoskript, englisch, 6 Blatt; c) Typoskript, deutsch, 4 Blatt; Grossmann, Henryk: "The Classical Theory and Marxism"; a) Typoskript, englisch, mit handschriftlichen Korrekturen, 2 Blatt; b) Typoskript, deutsch, mit handschriftlichen Korrekturen, 2 Blatt; Kirchheimer, Otto: Manuskript, 1 Blatt; Lauterbach, Albert: a) Typoskript, englisch, mit handschriftlichen Korrekturen, 2 Blatt; b) Typoskript, deutsch, mit handschriftlichen Korrekturen, 1 Blatt; Marcuse, Herbert: Typoskript mit handschriftlichen Korrekturen, 2 Blatt; Neumann, Franz L.: Typoskript, 2 Blatt; Wittfogel, Karl August: Typsokript, 2 Blatt; Zilsel, Edgar: Typoskript, 4 Blatt; Research Projects of the International Institute of Social Research. nicht vor 1939; Beschreibung der Forschungsprojekte: Pollock, Friedrich: "Economic and Social Cosequences of a Prepardness Economy". Neumann, Franz L.: "The Rule of Law". Fromm, Erich: "The German Worker in the Weiman Republic". Kirchheimer,Otto: "Criminal Law and Social Structure". Marcuse, Herbert: " A Text and Source Book for the History of Philosophy". Fromm, Erich: "Character Structure of Modern Man". Neumann, Franz L.: "The Theory and Practice of European Labor Law". Wittfogel, Karl August; Wittfogel-Lang, Olga: "The Chinese Family"; Dasselbe wie in "Beschreibung der Forschungsprojekte", ausgenommen Pollock, Friedrich: "Economic and Social Cosquences of a Prepardness Economy" und Fromm, Erich: "The German Worker in the Weimar Republic", zusätzlich Kirchner, Otto; Weil, Felix: "Changes in Social Stratification, National Income, and Living Standards of Germany since 1933"; 1 Ordner, Typoskript mit eigenhändigen Korrekturen, 49 Blatt;

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A land classification method was designed for the Community of Madrid (CM), which has lands suitable for either agriculture use or natural spaces. The process started from an extensive previous CM study that contains sets of land attributes with data for 122 types and a minimum-requirements method providing a land quality classification (SQ) for each land. Borrowing some tools from Operations Research (OR) and from Decision Science, that SQ has been complemented by an additive valuation method that involves a more restricted set of 13 representative attributes analysed using Attribute Valuation Functions to obtain a quality index, QI, and by an original composite method that uses a fuzzy set procedure to obtain a combined quality index, CQI, that contains relevant information from both the SQ and the QI methods.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Peer reviewed

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We present an improved version of FIT3D, a fitting tool for the analysis of the spectroscopic properties of the stellar populations and the ionized gas derived from moderate resolution spectra of galaxies. This tool was developed to analyze integral field spectroscopy data and it is the basis of PIPE3D, a pipeline used in the analysis of CALIFA, MaNGA, and SAMI data. We describe the philosophy and each step of the fitting procedure. We present an extensive set of simulations in order to estimate the precision and accuracy of the derived parameters for the stellar populations and the ionized gas. We report on the results of those simulations. Finally, we compare the results of the analysis using FIT3D with those provided by other widely used packages, and we find that the parameters derived by FIT3D are fully compatible with those derived using these other tools.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Mode of access: Internet.