In this article, I try to present some effects of the acceptance of nonconceptual content of perception in the realism problem. After having enhancement as main the problem of discrimination observable - unobservable into the conflict of realism with the constructive empiricism, I criticize a particular aspect, that nonconceptual content of perception strengthens the realistic position. Arguing that, while the starting point of the realist position is the existence of entities of common sense, there is nothing that assures us that (...) the world of our daily life consists of objective, specific, unambiguous entities, that is made up the deep structure of the world - as realists believes - and entities are not just "relevant" objects, which are meant only for our own biological species. These “subjective for species” entities we are obliged, as a particular species, to percept with particular perceptual organs in order to satisfy specific needs, and manage to survive ourselves in a particular environment. (shrink)

In November of 1997, a letter from my professor AM came to my name. Hoodies from Ternopil Medical Academy named after. V.Ya. Gorbachevsky The letter mentioned that Arsen Richinsky was born in Kremenets'kyi, therefore the Department of Religious Studies at the Institute of Philosophy named after GS Pots of the National Academy of Sciences of Ukraine want to hold a scientific conference, whose participants should be taken immediately. [Mazur P., The immortalism of Arsen Rychinsky's memory on his native land // (...) Arsen Rychinsky - prominent Ukrainian public figure and scholar and religious scholar. Science collection. - Kyiv-Kremenets, 2007. - P. 27-32]. Motivating that the conference should be carefully prepared, we agreed with scientists of the National Academy of Sciences of Ukraine to hold the first Rychinsky readings on the basis of the school in the spring of 1998. (shrink)

The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web‐based proofs. This chapter claims that Web provings can be studied as a particular type of Goguen's proof‐events. Web‐based proof‐events have a social component, communication medium, prover‐interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the (...) chapter discusses the Kumo and Polymath projects, both of which employ Web‐based communication as part of proving. Web proving is a novel type of proving activity that may have a serious impact on the change in mathematical practices, despite the fact that it is not currently a universally acceptable methodology. The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web‐based proofs. This chapter claims that Web provings can be studied as a particular type of Goguen's proof‐events. Web‐based proof‐events have a social component, communication medium, prover‐interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the chapter discusses the Kumo and Polymath projects, both of which employ Web‐based communication as part of proving. Web proving is a novel type of proving activity that may have a serious impact on the change in mathematical practices, despite the fact that it is not currently a universally acceptable methodology. (shrink)

Tomos II. Koinōnikes epistēmes kai epistēmes tou anthrōpou: ho gallikos dromos tēs ennoias.

The article deals with etymological hermeneutics of proper names as method of determining of approximate dating of a text, as well as of its content and intention of its authors or editors. The author of the article illustrates this method on example of an etymological analysis of proper names of personnages of the legend about Shem, Ham and Japheth, and draws the conclusion, that their etymology is Greek, therefore one needs to date this legend with Hellenistic periode, and it was (...) created in order to give a legal basing for dwelling of Israel on the territories of conquered peoples of Canaan. At the same time, the author is ready to admit, that the Greek etymology of the mentioned proper names is secondary and derived, if the specialists in the brances of the Old Hebrew and the Old Testament Bible Science would prove, that a Semitic etymology of the mentioned proper names is more ancient, than the Greek one. (shrink)

This book explores the overlooked but vital theoretical relationships between R. M. Hare, Alan Gewirth, and Jürgen Habermas. The author claims their accounts of value, while failing to address classic virtue-theoretical critiques, bear the seeds of a resolution to the ultimate question "What is most valuable?" These dialectical approaches, as claimed, justify a reinterpretation of value and value judgment according to the Carnapian conception of an empirical-linguistic framework or grammar. Through a further synthesis with the work of Philippa Foot and (...) Thomas Magnell, the author shows that "value" would be literally meaningless without four fundamental phenomena which constitute such a framework: Logical Judgment, Conceptual Synthesis, Conceptual Abstraction, and Freedom. As part of the 'grammar of goodness,' the excellence of these phenomena, in a highly concrete way, constitute the essence of the greatest good, as this book explains.. (shrink)

Following the argument of Pusey et al. (in Nature Phys. 8:476, 2012), new interest has been raised on whether one can interpret state-vectors (pure states) in a statistical way (ψ-epistemic theories), or if each one of them corresponds to a different ontological entity. Each interpretation of quantum theory assumes different ontology and one could ask if the PBR argument carries over. Here we examine this question for histories formulations in general with particular attention to the co-event formulation. State-vectors appear as (...) the initial state that enters into the quantum measure. While the PBR argument goes through up to a point, the failure to meet some of the assumptions they made does not allow one to reach their conclusion. However, the author believes that the “statistical interpretation” is still impossible for co-events even if this is not proven by the PBR argument. (shrink)

This is the first interdisciplinary exploration of the philosophical foundations of the Web, a new area of inquiry that has important implications across a range of domains. - Contains twelve essays that bridge the fields of philosophy, cognitive science, and phenomenology. - Tackles questions such as the impact of Google on intelligence and epistemology, the philosophical status of digital objects, ethics on the Web, semantic and ontological changes caused by the Web, and the potential of the Web to serve as (...) a genuine cognitive extension. - Brings together insightful new scholarship from well-known analytic and continental philosophers, such as Andy Clark and Bernard Stiegler, as well as rising scholars in “digital native” philosophy and engineering. - Includes an interview with Tim Berners-Lee, the inventor of the Web. (shrink)

Events that preceded the Brest Union in 1596 followed by her has long been the subject of numerical research. Little is a historical event like The Berne Union has found such a wide coverage in history.

The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web-based proofs. This article claims that Web provings can be studied as a particular type of Goguen's proof-events. Web-based proof-events have a social component, communication medium, prover-interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the (...) article discusses the Kumo and Polymath projects, both of which employ Web-based communication as part of proving. Web proving is a novel type of proving activity that may have a serious impact on the change in mathematical practices, despite the fact that it is not currently a universally acceptable methodology. (shrink)

Based on the philosophical and scientific analysis of the conflict between the Catholic ecclesiastic doctrine and wisdom of «living faith» the article discovers the algorithm of counteractions of philosophy of conformity and non-conformism in response to the pressure of modern civilization changes. It is proved that the cost of these two paths for the Catholic Church is about the same, because none of them is effective in establishing an overall upgrade strategy and outlining general perspectives. Truly constructive for the Catholic (...) Church, in this situation, may be the «Middle Way», renewal without a «surrender» in the eye of the world. (shrink)

The world in which we live for millennia is a breakthrough, entering into a lane of profound changes, in which the whole of our life is rebuilt and rebuilt. Untwisted to the maximum turns the flywheel of transformations has touched and is ready to deform various spheres of existence of man and humanity: the relation between humanity and the planet in which it lives; the interaction between the states, each of which is looking for its own ways to the future (...) and, at the same time, can not but reckon with the interests of other nations and states; the struggle of social groups and the confrontation of religions, in the interrelationships of which they are struggling to realize that humanity has a common destiny and that universal values ​​and ideals must come first, become the main ones in the interaction between people; high pace of scientific and technological progress, which far from unequivocally affect both the knowledge of our lives, and on ourselves. In other words: we are faced with a new world - both in the latest technologies, in new forms of life, in new ways of worldview and world outlook, and most importantly in those global threats, in which the contradiction between the new realities of our existence and the established forms and methods unfolds. an attitude to this world. It is no coincidence that society and the church face an acute problem of adaptation to global change, the formation of a new worldview that corresponds to a new era. (shrink)

Le concept de preuve peut être étudié selon différentes perspectives. Beaucoup de types de preuves ont été développées à travers l’histoire, comme les preuves apodictiques, dialectiques, formelles, constructives et non-constructives, les preuves par la visualisation, les preuves basées sur des hypothèses, les preuves générées par ordinateur, etc. Dans cet article nous développons le concept général des preuves-événements de Goguen et la méthodologie de la sémiotique algébrique, afin de définir le concept de style mathématique, qui caractérise les preuves produites par des (...) cultures, écoles ou chercheurs différents. D’après nous, le style peut être défini comme un méta-code sémiotique qui dépend du mode sous-jacent de signification , du code choisi et de l’espace sémiotique sous-jacent, et il détermine le mode individuel d’intégration dans une structure narrative . Pour conclure, nous examinons certains types historiques de styles de preuves mathématiques, afin de clarifier notre point de vue. (shrink)

The authors analysed the essence of the institutional approach in scientific researches and the peculiarities of its types using in the analysis of political phenomena and processes. Characterised types of the institutional approach are used to analyse democracy with the distinction of institutional and organisational, institutional and legal and institutional and cultural dimensions.

Absolut-realistisch und als solche idealistisch ist die Marxsche Geschichtsphilosophie a) insofern, als derer «Kategorien... nicht mehr oder minder reflexive Aussagen über etwas Seiendes oder Werdendes, sondern bewegende Formen der Materie selbst», ja sogar vielmehr, logisch-historische dialektische Realstrukturen des als real vorkonzipierten weltgeschichtlichen dialektischen Gesamtprozesses selbst sind; und b) insofern, als sie ihren Erkenntnisstandpunkt nicht kritisch hinterfragt, sondern die Sinnerkenntnis des weltgeschicht- lichen Prozesses auf definitive und damit dogmatisch-metaphysische Weise sich erschlossen zu haben vorgibt.

A short response from an Orthodox perspective to Prof. Dana Robert’s paper. It contains some specific information and focuses, not fully highlighted in her keynote address. The present situation in global mission is what the Orthodox expected as the very first step the ecumenical movement should take, as it was requested by the Orthodox even before the 1910 Edinburgh mission conference. The social and economic nuances of the new mission statement are underlined, together with the ecclesial dimension of mission, the (...) implicit liturgical aspect, the explicit environmental and inter-faith consequences of an authentic Christian witness, and the clear connection between mission and unity. A plea is finally made that the missiological consequences of the deification theology of the Orthodox become an integral part of today’s world mission. (shrink)

The best developed formulation of closed system quantum theory that handles multiple-time statements, is the consistent (or decoherent) histories approach. The most important weaknesses of the approach is that it gives rise to many different consistent sets, and it has been argued that a complete interpretation should be accompanied with a natural mechanism leading to a (possibly) unique preferred consistent set. The existence of multiple consistent sets becomes more problematic because it allows the existence of contrary inferences [1]. We analyse (...) the conceptual difficulties that arise from the existence of multiple consistent sets and provide a suggestion for a natural set selection criterion. This criterion does not lead to a unique physical consistent set, however it evades the existence of consistent sets with contrary inferences. The criterion is based on the concept of preclusion and the requirement that probability one propositions and their inferences should be non-contextual. The allowed consistent sets turn-out to be compatible with coevents which are the ontology of an alternative, histories based, formulation [2–4]. (shrink)

The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web‐based proofs. This article claims that Web provings can be studied as a particular type of Goguen's proof‐events. Web‐based proof‐events have a social component, communication medium, prover‐interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the (...) article discusses the Kumo and Polymath projects, both of which employ Web‐based communication as part of proving. Web proving is a novel type of proving activity that may have a serious impact on the change in mathematical practices, despite the fact that it is not currently a universally acceptable methodology. (shrink)

I propose a physicalist theory of consciousness that is an extension of the theory of noémona species. The proposed theory covers the full consciousness spectrum from animal to machine and its huma...

(1997). A rudimentary theory of information: Consequences for information science and information systems. World Futures: Vol. 49, The Quest for a Unified Theory of Information, pp. 275-286.

I have three types of interrelated comments. First, on the choice of the proposed criteria, I argue against any list and for a system of criteria. Second, on grading, I suggest modifications with respect to consciousness and development. Finally, on the choice of “theories” for evaluation, I argue for Edelman's theory of neuronal group selection instead of connectionism (classical or not).

Розроблені у 1970–1980 рр. постіндустріальні теорії продовжують зберігати свій вплив і значущість для наукових досліджень, прийняття політичних рішень та формування домінантних у суспільстві уявлень про майбутнє. Водночас, поза увагою часто залишаються суперечності, закладені в основі цих теорій, та їхній неоднорідний зміст. Розвинутий у статті підхід розглядає постіндустріалізм як результат поєднання критичного аналізу суспільних процесів, що властиві минулому і теперішньому, з ідеологічними компонентами та образами майбутнього, котрі мають явні ознаки утопії. Виокремлення утопічних елементів із найвідоміших концепцій постіндустріального та інформаційного суспільства дає (...) змогу зробити висновок про їхній тісний зв’язок із соціалістичними і технологічними утопіями доіндустріальної та індустріальної епох. Головні особливості постіндустріальної утопії зумовлені намаганнями її авторів узгодити власний ідеальний образ майбутнього, що радикально відрізняється від індустріальної дійсності, із притаманним індустріалізму лінеарним метапатерном та ідеєю безальтернативного прогресу. (shrink)

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...) semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (shrink)

The concept of proof can be studied from many different perspectives. Many types of proofs have been developed throughout history such as apodictic, dialectical, formal, constructive and non-constructive proofs, proofs by visualisation, assumption-based proofs, computer-generated proofs, etc. In this paper, we develop Goguen’s general concept of proof-events and the methodology of algebraic semiotics, in order to define the concept of mathematical style, which characterizes the proofs produced by different cultures, schools or scholars. In our view, style can be defined as (...) a semiotic meta-code that depends on the underlying mode of signification (semiosis), the selected code and the underlying semiotic space and determines the individual mode of integration (selection, combination, blending) into a narrative structure (proof). Finally, we examine certain historical types of styles of mathematical proofs, to elucidate our viewpoint. (shrink)