Contemporary formalisations of Meinong's theory of objects prove that Russell's accusation of inconsistency of the theory is not valid. However, in the same formalisations there has appeared a new source of potential inconsistency. Theories of objects inspired by Meinong's ontology usually include, in addition to basic principles of the ontology, abstraction-axioms for defining objects and properties (relations). Although these axioms seem to be perfectly acceptable, they lead to paradoxes when adopted without any restrictions. These paradoxes may be understood as paradoxes (...) of size (not of self-referentiality): too many objects or too many properfies are defined by the axioms. We can avoid them at the cost of counterintuifive stipulations, some of them similar to those applied in set theory or in higher-order logics (like a stratificafion of formulas). We need however to look for phenomenologically well grounded protecfions against paradoxes. This search can deepen our understanding of the nature of Meinongian objects. (shrink)

ABSTRACT Leśniewskian Ontology (LO) is a system in which the basic subject-predicate formula takes the form of a b and express one-argument predication, e.g. John is a student. In LO’s language, there is no many-argument form of predication given that would allow for the structural expression of, for example, the sentence John is Anne’s son. In this article, a simple and natural extension of LO is suggested to encompass many-argument predication. The system thus obtained corresponds to polyadic second-order logic.

Contemporary formalisations of Meinong's theory of objects prove that Russell's accusation of inconsistency of the theory is not valid. However, in the same formalisations there has appeared a new source of potential inconsistency. Theories of objects inspired by Meinong's ontology usually include, in addition to basic principles of the ontology, abstraction-axioms for defining objects and properties . Although these axioms seem to be perfectly acceptable, they lead to paradoxes when adopted without any restrictions. These paradoxes may be understood as paradoxes (...) of size : too many objects or too many properfies are defined by the axioms. We can avoid them at the cost of counterintuifive stipulations, some of them similar to those applied in set theory or in higher-order logics . We need however to look for phenomenologically well grounded protecfions against paradoxes. This search can deepen our understanding of the nature of Meinongian objects. (shrink)

Contemporary formalisations of Meinong's theory of objects prove that Russell's accusation of inconsistency of the theory is not valid. However, in the same formalisations there has appeared a new source of potential inconsistency. Theories of objects inspired by Meinong's ontology usually include, in addition to basic principles of the ontology, abstraction-axioms for defining objects and properties (relations). Although these axioms seem to be perfectly acceptable, they lead to paradoxes when adopted without any restrictions. These paradoxes may be understood as paradoxes (...) of size (not of self-referentiality): too many objects or too many properfies are defined by the axioms. We can avoid them at the cost of counterintuifive stipulations, some of them similar to those applied in set theory or in higher-order logics (like a stratificafion of formulas). We need however to look for phenomenologically well grounded protecfions against paradoxes. This search can deepen our understanding of the nature of Meinongian objects. (shrink)

A. Meinong’s views are usually associated with an highly inflated ontology including various kinds of nonexistent objects, incomplete and impossible ones among others. Around the turn of the century B. Russell strongly criticised this ontology accusing it of inconsistency. And perhaps because of this criticism Meinong’s views have been forgotten for a long time. Only recently some philosophers have created theories of objects which are formalisations of Meinong’s ontology or which are directly inspired by the ontology 1 . However there (...) still remains a need to discuss the problem of ways of reference to Meinongian objects regarding their specific structure of predication, and the interrelated problem of ontological commitment of those theories. Meinong’s ontological theory seems to be not so bizzare if we interpret it as a theory of possible intentional objects, i.e. possible objects of consciousness. And this interpretation perfectly agrees with phenomenological tradition from Brentano to Husserl and with the contemporary philosophy of mind. Needless to say reference is a special form of intentional relation so semantical investigations into these objects are of great relevance for general theory of intentionality. (shrink)

The paper discusses main issues concerning truthmakers: (1) what is the ontological status of truthmakers (are they ordinary objects, situations, tropes etc?), (2) what are deduvtive properties of truthmakers. A simple logic of truthmakers is developed. The logic consists of an axiomatic system and a possible world semantics.

Intentionality is one of the most frequently discussed topics in contemporary phenomenology and analytic philosophy. This book investigates intentionality from the point of view of intentional objects. According to the classical approach to this concept, whatever can be consciously experienced is regarded as an intentional object. Thus, not only ordinary existing individuals but also various kinds of non-existents and non-individuals are considered as intentional. Alexius Meinong, an Austrian philosopher, is particularly well-known as the `inventor' of an abundant ontology of objects (...) among which even incomplete and impossible ones, like `the round square', find their place. Drawing inspirations from Meinong's ideas, the author develops a simple logic of intentional objects, M-logic. M-logic closely resembles classical first-order logic and, as opposed to the formally complicated contemporary theories of non-existent objects, it is much more friendly in apprehending and applications. However, despite this resemblance, the ontological content of M-logic far exceeds that of classical logic. In this book formal investigations are intertwined with philosophical analyses. On the one hand, M-logic is used as a tool for investigating formal features of intentional objects. On the other hand, the study of intentionality phenomena suggests further ways of extending and modifying M-logic. Audience: The book is addressed to logicians, cognitive scientists, philosophers of language and metaphysics with either a phenomenological or an analytic background. (shrink)

Putting individual constants and quantifiers into the same syntactic category within first-order language promises to have far-reaching consequences: a syntax of this kind can reveal the potential of any such language, allowing us to realize that a vast class of noun phrases, including non-denoting terms, can be accommodated in the new syntax as expressions suited to being subjects of sentences. In the light of this, a formal system that is an extension of classical first-order logic is developed here, and is (...) equipped with an appropriate semantics. An ontological interpretation of the new logic is then also provided, with several categories of object and notions of existence being distinguished. Last but not least, a modal version of the logic, with some interesting formal features, is proposed. (shrink)

Ramsey questions the distinction between subject and predicate in sentences. Since the distinction mirrors the ontological distinction object/property (particular/universal) he questions the latter distinction as well. There is a symmetry between the category of objects and the category of properties: an object can possess a number of properties and a property can be exemplified by a number of objects. Consequently, it may be claimed that the two categories are formally indiscernible. The paper develops Ramsey's thesis on the ground of logic. (...) Different senses of indiscernibility are discussed and various systems of logic are examined with respect to these senses. Most systems do not distinguish objects from properties in at least one sense. (shrink)

In this article we consider linear isomorphisms over the field of rational numbers between the linear spaces ℝ2 and ℝ. We prove that if f is such an isomorphism, then the image by f of the unit disk is a strictly nonmeasurable subset of the real line, which has different properties than classical non-measurable subsets of reals. We shall also consider the question whether all images of bounded measurable subsets of the plane via a such mapping are non-measurable.

t. 1. Etyka ogólna -- t. 2, cz. 1-2 Etyka szczegółowa.

Jacek Urbaniec: Platonism in the philosophy of mathematics does not necessarily imply that there are links between the temporal physical world and the eternal world of mathematics..

In this paper we present a characterization of hyper-connexivity by means of a relating semantics for Boolean connexive logics. We also show that the minimal Boolean connexive logic is Abelardian, strongly consistent, Kapsner strong and antiparadox. We give an example showing that the minimal Boolean connexive logic is not simplificative. This shows that the minimal Boolean connexive logic is not totally connexive.

The objective of this paper is to discuss current reductive theories of the non-existent objects, specifically - contemporary deflationary theories of the fictional objects. By such theories I mean those denying that fictional objects have any ontological status at all. Theories, which claim that fictional proper names denote some sort of objects but deny that these names denote individual objects, are treated as the reductive theories of non-existent as well. In the discourse I present the following ideas: 1) Russell's theory (...) of description with the further remarks by W. V. O. Quine; 2) A. Plantinga's view that the fictional names have no denotation, which is realized in the framework of possible worlds semantics; 3) Theories by N. Wolterstorf and P. van Inwagen which can be seen as a link between strictly deflationary theories and meinongian theories; Wolterstorff claim that empty names denote general abstract objects and Inwagen identify fictional objects with theoretical objects of literal criticism; 4) Theories based on the speech acts theories; 5) Theories which identify fictional objects with mental objects. The conclusion of the argument is that the aforementioned theories are not adequate for the analysis of fiction (non-existent) and that more suitable for such a purpose are meinongian theories of non-existent objects. (shrink)

The paper briefly presents a genesis of the research project called the theology of science initiated by Michał Heller in early 1980s, but also enriched by the remarks of Józef Życiński. Then the main features of the new Heller’s book Science and theology – not necessarily exclusively on one planet are discussed. The book develops and strengthens the early ideas of theology of science. The paper draws also attention to another author—C.B. Kaiser who—since a dozen years—has been developing a similar (...) project: theology of scientific endeavor. It is also suggested that the Heller’s project, especially in its axiological and praxeological aspects, could take advantage of the achievements of several Francophone authors who once developed a field of the so-called theology of earthly realities. (shrink)

Der vorliegende Aufsatz berührt zwei bis heute nur im geringen Maße erforschte und thematisierte Probleme der Übersetzungstheorie. Es geht hier vor allem um eine möglichst kompakte Darstellung einer Diskussion über solche Begriffe wie Kultur, Fremderfahrung, Fremdverstehen, oder Alienation und Alterität. Der wissenschaft1iche Diskurs, in welchem beide der erwähnten Themen immer wieder zur Sprache kommen, gewinnt heutzutage für eine einheitliche Beschreibung der literarischen Übersetzung einen interessanten, obwohl methodologisch noch nicht ganz sicheren Boden. In erster Linie liegt das Problem des Kulturphänomens auf (...) dem Gebiet der Übersetzung in der Art und Weise seiner Analyse. Wie funktioniert der fremde und fremdsprachige Kontext in der kommunikativen Situation der Übersetzung, was doch eine Begegnung der Kulturen bedeutet? Wie ist es mit den Artefakten der fremden Kultur, Kunst und Literatur umzugehen? Welche Sprache soll die Aufgabe der Beschreibung leisten? Es werden hier nur die wichtigsten Fragen einer kulturspezifisch orientierten Übersetzungswissenchaft aufgezahlt. Ein Versuch, nur auf diese Fragen eine allgemeine Antwort zu erteilen, würde den Rahmen jenes kurzen Aufsatzes mit großter Sicherheit sprengen. Nichtsdestotrotz lohnt es sich über die immer aktuellen Quästionen der literarischen Übersetzung ein paar Worte zu sagen. Ich heiter, meine kurze und notwendigerweise oberflächliche Arbeit möge doch als ein guter Ansatz zum Thema: Kultur in der literarischen Übersetzung dienen. (shrink)

Jan Paweł II wielokrotnie odnosił się do relacji między Kościołem a sztuką. Dostrzegał, że dialog między Kościołem i sztuką wygasł lub został naznaczony sprzecznościami na przełomie XIX i XX wieku. W niniejszym studium koncentruję się na dwóch kluczowych kwestiach: czy Kościołowi potrzebna jest sztuka oraz czy sztuka potrzebuje Kościoła? Odpowiedź na drugie pytanie nie jest ewidentna i odnosi się do innej kwestii sformułowanej przez Jana Pawła II:,,Czy sztuka ulega ograniczeniu lub zostaje pozbawiona istotnego znaczenia, jeżeli pomija rzeczywistość Kościoła?”. Sztuka w (...) istocie potrzebuje Kościoła, jeśli ma lepiej rozumieć prawdziwe powołanie człowieka oraz jeśli ma rozumieć, że jej ostateczny cel nie tkwi w prezentacji tego, co złe i niemoralne. (shrink)

One of the most vigorously debated issues in attention labs concerns the nature of the coupling between the sensory-motor system and covert spatial attention. Proponents of the Premotor Theory of Attention (PToA) claim that attention should be accounted for in terms of motor preparation for goal-directed actions such as eye or hand movements. For others, it is a supramodal psychological entity that is independent of our sensorimotor machinery. Both parties also seek to articulate this controversy in terms of cognitive science (...) as a question of whether attention is embodied or disembodied cognition. The PToA is thought to advocate the embodiment of attention. We, however, are inclined to think that a more nuanced view of this conceptual framework is needed to yield some insights into how radical it actually is in terms of embodied cognition (EC). We argue that PToA still seems to bear some features of weak embodiment. Yet we suggest that it has the potential to build a stronger concept of attention as EC, but somewhat paradoxically this would require giving attention deflationary treatment and reconstructing it in other terms. We propose that the notion of pre-reflective intentionality might serve as an inspiration to this end. (shrink)

The book is comprised of three components. The first component analyses the creative contribution to the theory of imperatives and norms provided by 20th-century Polish researchers. The second component summarizes their reflections and considerations. The third component is an anthology of the classic writings of Polish authors of the time; it constitutes an illustration of the first part and indicates that their research covered practically the whole scope of this theory. Author Jacek Jadacki (born 1946) is professor at Warsaw (...) University. His scholarly production includes approximately hundred works spanning almost every domain in philosophy: from logic, through ontology, epistemology, aesthetics and ethics, to the history of these disciplines. Among his more than twenty books are Possible Ontologies (with Zdzislaw Augustynek; 1993), From the Viewpoint of the Lvov-Warsaw School (2003), and Polish Analytical Philosophy (2009). His pupils include such well-known figures of modern Polish thought as Anna Brozek, Mariusz Grygianiec, Joanna Odrowaz-Sypniewska, and Mieszko Talasiewicz. (shrink)

In the article I reconstruct Karol Wojtyła’s argument against atheism. According to Wojtyła, an atheist is unjust because of not rendering absolute honour to God. In my opinion the argument is sound if one applies it to theists or negative atheists and if one presupposes that there are moral obligations to only supposed persons. The argument meets some objections. A discussion of them leads me to an interpretation of the theism-atheism controversy as being the conflict of two imperatives: the imperative (...) of justice and the imperative of evidence. (shrink)