The ontological proof of the existence of God from Gödel´s heritage is presented and analysed in regard to the classical ontological proofs, due to Descartes and Spinoza, and their criticism by Leibnitz and Kant. Some recent works are taken into account as well, mainly the criticism of Descartes´proof by R. M. Smullyan, the emendations to Gödel´s proof by C. A. Anderson and the analysis of the metaphysical presuppositions and biases behind the proof assumed from scholastic, due to P. Vopěnka.

Let X be an infinite internal set in an ω1-saturated nonstandard universe. Then for any coloring of [X] k , such that the equivalence E of having the same color is countably determined and there is no infinite internal subset of [X] k with all its elements of different colors (i.e., E is condensating on X), there exists an infinite internal set Z⊆X such that all the sets in [Z] k have the same color. This Ramsey-type result is obtained as (...) a consequence of a more general one, asserting the existence of infinite internal Q-homogeneous sets for certain Q ⊆ [[X] k ] m , with arbitrary standard k≥ 1, m≥ 2. In the course of the proof certain minimal condensating countably determined sets will be described. (shrink)

We will apply the methods developed in the field of ‘proof mining’ to the Bolzano-Weierstraß theorem BW and calibrate the computational contribution of using this theorem in proofs of combinatorial statements. We provide an explicit solution of the Gödel functional interpretation as well as the monotone functional interpretation of BW for the product space Πi ∈ℕ[–ki, ki] . This results in optimal program and bound extraction theorems for proofs based on fixed instances of BW, i.e. for BW applied to fixed (...) sequences in Πi ∈ℕ[–ki, ki]. (shrink)

The objective of this study is to explore factors that affect the decisions single-child parents make when considering whether to have a second child applying the psychological theory of planned behaviour. Quantitative survey data from a sample of parents with a single child selected from a Slovak representative sample was used to perform regression analysis assessing effects of attitudes, subjective norms and perceived control on intention to have a second child within the next three years. Results largely confirm the model (...) captured in TPB. All three components of the TPB have a significant effect on intentions to have a second child. A particular set of liberal and conservative attitudes facilitate plans to have a second child. The strongest predictors, however, are the perceived pressure from the social environment and subjective desire to have a child. The study concludes that, along with demographic and sociological variables, psychological factors play a significant role in decision-making processes concerning reproductive planning. (shrink)

The aim of the paper is to give an outline of the development of Feyerabend´s thought through four basic periods: the realist-empiricistic, intermediate, relativist and, finally, process-realistic periods. The ideas Feyerabend presents in his papers are often misunderstood and misinterpreted. The author attempts at revaluation of his work within the philosophy of science and to show the applicability of his ideas in problem solving in contemporary philosophy, epistemology and methodology of science as well as in other areas of sciences – (...) e. g. anthropology or cognitive sciences. In his view Feyerabend´s ideas are still valid especially in analyses concerning different approaches to the problems of scientific realism, connections between perception and cognition, and comparability of radically different scientific conceptions. (shrink)

The American philosophy and the problem of time –[article]– attempts to briefly outline the concepts of understanding of the problem of time, temporality and continuity in American philosophy which is represented by Ch. Peirce, W. James, and A. N. Whitehead. The article also tries to point out the importance of the enquiry on the field of time. Further, it gives abbreviated outline of the historic conditions of emergence of the American philosophy.

This article argues that narrativity has the potential to be a key hermeneutical concept in ecumenical theology. Instead of pursuing a complex elaboration of the notion, it will seek to explore various aspects of narrativity. The thesis will be explicated in three major steps, consecutively discussing culture as the general setting of narrativity, explicating narrativity as a concept that can helpfully address some of the major issues in ecumenical theology and proposing transformation as the ultimate horizon of the faith and (...) practice of the Christian koinonia. (shrink)

There have recently been attempts in the academic discourse to describe what is referred to as the demise of the postmodern due to the perceived insufficiency of the latter concept to adequately express the uniqueness of the 21st-century world. The younger generation of scholars, therefore, suggest adopting a new discourse, termed ‘metamodernism’, to do justice to this transforming sensibility. Metamodernism can be characterised by an oscillation between the modern and the postmodern, enthusiasm and irony, hope and nihilism, construction and deconstruction. (...) This article seeks to reflect on this new discourse from the perspective of theological anthropology. It will bring theorists of metamodernism in conversation with theological discussion to explore how Christians can respond and contribute to this ongoing transformation in the human interpretation of reality. It will be suggested that this momentum should be viewed by Christians as a ‘paradigm shift’ that they are to embrace critically, yet affirmatively. (shrink)

The human being is a dynamic and open creature, and therefore he always changes. However, not only an individual but also the whole society is in such a state. The article briefly explains the urge...

KUŠNÍROVÁ, Eva : The Theatre of Particular Features. Theatre Ensemble Hviezdoslav Spišská Nová Ves. Prešov: Faculty of Arts, Prešov university of Prešov in Prešov. ISBN 978-80-555-1818-3. 305 p.

The study focuses on the ethical aspects of decision-making by national elites in the context of the thinking of Ján Kollár (1793–1852) and Ľudovít Štúr (1815–1856) on the issue of Slavism. Attention is paid to the issue of responsibility for preserving the greatness and unity of the nation in the context of the formation of national identity and individuality. The concepts of the mentioned authors had an impact on the cultural-civilizational orientation of Slovak elites with an emphasis on the role (...) of moral obligations in shaping the value orientation of the nation. In this context, the analysis focuses on the works Reciprocity between the various tribes and dialects of the Slavic nation and Slavdom and the world of the future, which, at the same time, represent alternative concepts of the cultural and political orientation of the Slavs. The study simultaneously analyses these concepts as alternative programs of cultural and political development of national identity, as well as concepts aimed at humanist and political goals. (shrink)

The popularity of conspiracy theories poses a clear challenge for contemporary liberal democracies. Conspiracy theories undermine rational debate, spread dangerous falsehoods and threaten social cohesion. However, any possible public policy response, which would try to contain their spread, needs to respect the liberal commitment to protect pluralism and free speech. A successful justification of such a policy must therefore: 1) clearly identify the problematic class of conspiracy theories; and 2) clarify the grounds on which the state is justified in acting (...) against them. This article argues that the prevailing epistemic approaches to conspiracy theorizing cannot fulfil these criteria. Defining conspiracy theories by their flaws in reasoning, questionable coherence or factual mistakes can neither sharply distinguish problematic conspiracy theories from other, non-problematic worldviews nor justify state action. Thus, we propose to understand conspiracy theories through their ethical unreasonableness. We hold that containment of conspiracy theories is justifiable insofar as they undermine the liberal-democratic ideals of mutual respect, freedom and equality. We then show that such ‘ethical’ criteria for conspiracy theories can be sufficiently robust and clear-cut so that they can serve as a useful guide for public policy. (shrink)

The usage of new and progressive technologies brings with it new types of security threats and security incidents. Their number is constantly growing.The current trend is to move from reactive to proactive activities. For this reason, the organization should be aware of the current security situation, including the forecasting of the future state. The main goal of organizations, especially their security operation centres, is to handle events, identify potential security incidents, and effectively forecast the network security situation awareness (NSSA). In (...) this paper, we focus on increasing the efficiency of utilization of this part of cybersecurity. The paper’s main aim is to compare selected statistical models and models based on neural networks to find out which models are more suitable for NSSA forecasting. Based on the analysis provided in this paper, neural network methods prove a more accurate alternative than classical statistical prediction models in NSSA forecasting. In addition, the paper analyses the selection criteria and suitability of time series, which do not only reflect information about the total number of security events but represent a category of security event (e.g. recon scanning), port or protocol. (shrink)

The popularity of conspiracy theories poses a clear challenge for contemporary liberal democracies. Conspiracy theories undermine rational debate, spread dangerous falsehoods and threaten social co...

The paper focuses on the thinking of Jonáš Záborský (1812–1876) and Štěpán Launer (1821–1851), which were marginalized in Slovak national-forming thinking. Emphasis is placed on the comparison between non-romantic nationalism and Štúr’s ethnic enthusiasm. Attention is paid to the value of their thinking, which can be analyzed in the context of reflections in the role of cultural identity in Štúr’s conception of culture and its place in relation to European cultural and civilizational affiliation. At the same time, the critique of (...) romantic thinking draws attention to the issue of the responsibility of nation-forming elites for the concept of civic development, which holistically approaches social change. Launer’s and, partly Záborský’s thinking draws attention to the dangers associated with the romantic search for ethnocultural specifics, which may result in the questioning the importance of civil liberties and Western cultural and civilizational affiliation. (shrink)

We will explore ecumenical collaboration for the sake of mission in the 21st century in this region. In this sense, we will consider ecumenical relations, theological education, migration and diaspora, and present challenges, and will try to identify the vision of the future. We will do this by focusing on four countries from the region as critical studies: the Czech Republic, Poland, Romania, and Serbia.

Referring to a passage from Blanchot’s novel Thomas l’Obscure, the paper questions the clear contours between literature and philosophy as disciplines. The point where the clear distinction breaks down is the phenomenon of reading. In a decisive moment of each authentic reading, the author tries to introduce a “phenomenology of reading”, in which we ourselves as readers are being transformed to the ones who are read. Light, truth, clarity – all these are notions, which in Blanchot are opposed by passivity, (...) night, and absence. Underlined in particular is the absence of meaning, of any light in perpetuated occidental theoretical discourse, which is nothing more than one’s apology of oneself. Not to betray Blanchot means to abandon pure commentaries of his philosophy and to find another ways of its interpretation. Thus the questions of reading, interpretation, and translation might become the questions of life and death. To articulate this alternative approach is one of the aims of the paper. (shrink)

The essay compares Ricœur’s and Levinas’s conceptions of the constitution of conscience in the sense of German Gewissen. Beginning with Ricœur’s basic distinction between “identity-idem” and “identity-ipse” it shows the proper place of conscience in his conception. For Ricœur conscience is a finite category of otherness as related to the self, i.e. its most interior, intrinsic otherness. For Levinas, on the other hand, conscience – the other in the same – is an initiatory category, which is described in terms of (...) absolute passivity, persecution and substitution. In conclusion Ricœur´s critique of Levinas’ category of “the Other” is examined on the background of Levinas’ conception of subjectivity as a vocation for Good. (shrink)

The paper offers an examination of Pato?ka’s attempt to clear a difficulty of Husserl´s transcendental phenomenology and to develop a non-subjective conception of phenomenology. The author gives a thorough analysis of two fundamental wri- tings, compiled by Pato?ka in German in 1970 – 1971. The aim of the paper is to follow Pato?ka´s way of gradually developing his idea in various articles, mainly in his lecture Plato and Europe.

The main aim of my paper is to analyse Aristotle’s theory of language in the context of his Physics I.1 and via an analysis and an interpretation of this part of his Physics I try to show that (i) the study of human language (logos) significantly falls within the competence of Aristotle’s physics (i.e. natural philosophy), (ii) we can find the results of such (physical) inquiry in Aristotle’s zoological writings, stated in the forms of the first principles, causes and elements (...) of the human speech (logos) and (iii) the analogies (Phys. 184b13-14) made by Aristotle at the very end of the first chapter make better sense if we consider them in the broader context in which Aristotle recognizes language as a complex natural phenomenon we are born into and which has to be not only biologically, but also socially developed through our lives. Hence, I aim towards a more naturalistic reading of Aristotle’s views on language. (shrink)

_Care of the Self: Ancient Problematizations of Life and Contemporary Thought_, by Lívia Flachbartová, Pavol Sucharek, and Vladislav Suvák, focus on different manifestations of “taking care of the self” present in ancient and contemporary thought.

The overall purpose of this paper is to contribute to the debate over a possibility to reconstruct such theories which are not explicitly formulated in the preserved texts of ancient authors. Aristotle is one of those who did not write a single treatise on language, though language – both, as an instrument, as well as an object of the study – was still focal point of his philosophy. In his writings, Aristotle rigorously distinguishes several ways of methodologically examining same phenomenon. (...) He is aware of the fact that every phenomenon can be examined from various perspectives and that different goals of the study lead us towards different answers. Aristotle’s views on language are scattered through his entire oeuvre. The main aim of this paper is to offer and justify a new way of reconstructing Aristotle’s theory of language. In the first part, the paper justifies the very existence of Aristotle’s theory of language and outlines a plan how to proceed with reconstruction of such theory. In the second part, the preliminary plan is situated into the current state of Aristotelian scholarship. Finally, in the third part, the plan of reconstruction is elaborated using an integrationist approach. Integrationism (the idea that our language is a very complex phenomenon which has to be studied from different perspectives and the results of those studies cannot be reduced to each other and cannot be merged into a single atemporal model, instead those results should be understood as an integral part of the very temporal nature of our language) allows me to explain how various different dimensions of language are uncovered in Aristotle’s works and how they gradually arise from each other. (shrink)

The aim of the paper is to examine whether conceptual relativism is a prerequi-site for conceptual engineering (and if so, then to what extent). In the first part of the paper, I explore and classify varieties of relativism to prepare a distinctive definition of conceptual relativism. In the second part I analyse conceptual relativism and I consequently propose two different readings of conceptual scheme: (i) conceptual scheme as a monolithic, timeless, and determinate systems of meanings, and (ii) conceptual scheme as (...) a system of relatively stable meanings, that is based on agreement and is open to change over time. In the third part of the paper, I show that of those two readings only the second reading of conceptual scheme fits into the practice of conceptual engineering. (shrink)

The Beginnings and Nature of Science in Archaic Greece: The aim of the paper is to examine the beginnings and nature of science in the archaic period of ancient Greece. The method of research is historicalphilosophical. It is historical because the interpretation of the birth of science suggested by our approach corresponds with text evidence. And it is philosophical because our reconstruction of the birth of science is able to explain the dynamic nature of the stratification of science. In the (...) first part of the paper we deal with the methodological analysis of the issue of the beginnings of science. In the second part we analyse particular manifestations of ancient investigations that, based on the diversity of their aims and the variety of methods, gradually emancipated to become separate disciplines. In the third part of the paper we argue in favour of the thesis that disciplines emerged from philosophy in such a manner that various disciplines stemmed from the diversity of philosophy. In the conclusion we state that in Archaic Greece of the 6th-5th centuries BC science emerged from the wealth of various research approaches by gradual separation, i.e. stratification of aims and stabilization of research methods. However, not a single science but a number of disciplines appeared. They did not emerge from one philosophy but from the abundance of research approaches and aims. Only later the umbrella term “science” began to be used. (shrink)

On the Nature of Philosophy: A Historical-Pragmatist Point of View. The aim of the paper is to examine the nature of philosophy from the historical-pragmatist point of view. In the first part, the paper deals with the meaning holism and family resemblance of various exemplifications of philosophy, which are taken as presuppositions of our approach to define philosophy as an activity. In the second part, the paper criticizes those approaches which define philosophy as a quasi-science or a super-science. In the (...) third part, the paper finally offers a definition of philosophy as a two-way intellectual activity consisting in outsourcing and insourcing of open questions and solutions. (shrink)

Purpose of the article is to present the way of application of methodology of environmental metrics within the total environmental assessment framework. An inevitable part of sustainable development initiatives is sustainable measurement metrics. This kind of metrics is being represented by three sets of indicators: Environmental, Social and Economic. Sustainability measurement metrics tends to measure environmental safety, social responsibility and economic efficiency. Studying behaviour of companies in sustainability measurement metrics application, using another scientific method is well welcomed. Methods used in (...) article are synthesis, analysis, deduction and comparative analysis. We are synthesizing those methods in a presented model which examines quality of environmental improvements across departments of selected organization. In other words, the model is able to quantify an extent how individual managerial decision contributed towards overall improvement in environmental performance of whole organization. Model works with and additive elements. In order to derive results using multiplicative elements, we are using logarithmic method in a model. Scientific aim of the article is to synthesize scientific methods aimed at environmental performance measurement into unified and universal model usable by managements of small and medium-sized enterprises. The background of this mission is to ensure that environmental performance will be correctly reported, data delivered by various companies will be benchmarkable and consequently, Corporate Social Responsibility concepts worked out by individual organizations will be trustable. In the article, we are discovering that use of proposed universal model has marketable outcomes. Thanks to an existence of thriving markets valuating triple bottom line of sustainability, results delivered by the model helped to a company PintInox, S. p. A. to succeed at such kind of market. Conclusions the article delivers are pointing out an importance of interdisciplinary cooperation within field of sustainable development. (shrink)

The subject of this paper is the issue of human speech in Aristotle, especially in his work Categories. Its primary goal is to elaborate an interpretation of Aristotle’s statements about human speech as a quantity (Cat. 4b20–b39, 5a15–b2) that would allow them to fit reasonably into the whole of Aristotle’s theory of language. The structure of the paper is as follows. In the first part a certain approach to the question of the reconstruction of Aristotle’s theory of language is proposed. (...) The second part, by means of the introduction of the criteria of separability and ontological priority of the first substance, creates a framework for the subsequent analysis of the two basic classifications, which constitute the main theme of Categories. The third part supplies its own interpretation of the ontological status of human speech in the context of the classification schemes in Categories, and this, in the fourth part, is inserted into the greater whole of Aristotle’s theory of language. (shrink)

The essay deals with the problem of historical incorporation of Greek metaphysics into Christian theology. The approach adopted is inspired by Martin Heidegger’s ideas. Heidegger identified the platform for the incorporation of Greek metaphysics into Christian theology with the understanding of thinking as uncovering of being as being. According to Heidegger, every reductive understanding of thinking has a common source, which is the objectification of thinking. In Western tradition it leads to the hegemony of logic. Logical basis of metaphysics gave (...) rise to onto-theological structure in both: in the thought of ancient Greeks as well as in Christian theology. Through the presentation of Heidegger’s analysis, the essay calls for re-thinking the nature of metaphysics and theology, as well as for re-thinking the relations between modern philosophical and theological conceptions. (shrink)

This paper discusses what kind of quantitative information one can extract under which circumstances from proofs of convergence statements in analysis. We show that from proofs using only a limited amount of the law-of-excluded-middle, one can extract functionals , where L is a learning procedure for a rate of convergence which succeeds after at most B-many mind changes. This -learnability provides quantitative information strictly in between a full rate of convergence and a rate of metastability in the sense of Tao (...) . In fact, it corresponds to rates of metastability of a particular simple form. Moreover, if a certain gap condition is satisfied, then B and L yield a bound on the number of possible fluctuations. We explain recent applications of proof mining to ergodic theory in terms of these results. (shrink)

We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Gödel and Shoenfield can be used to rewrite proofs performed in these systems into standard ones. These functional interpretations show in particular that our nonstandard systems are conservative extensions of E-HAω and E-PAω, strengthening earlier results by Moerdijk and Palmgren, and Avigad and Helzner. We will also indicate how our rewriting algorithm can be used for term extraction purposes. To conclude the (...) paper, we will point out some open problems and directions for future research, including some initial results on saturation principles. (shrink)