The article deals with the concepts of matter and form. These concepts belong to the Aristotelian theory of hylomorphism which was very influential in the Middle-Ages and in the early modern second-scholastic cosmology. At present, this theory is discussed by authors of both scholastic and analytical backgrounds. The article presents and discusses some of the recent commentaries on this topic.

This paper is a polemic response to the essay “The Semantics of Proper Names and Identity Theory of Predication” by L. Novák (SN 1–2/2004). In the first part of the article, the so-called descriptive theories of proper names and Kripke’s challenge to these views are briefly presented. It is pointed out that Novák’s exposition rests upon certain presuppositions in the theories of meaning and mind, which are controversial and which – without further argument – can hardly cast doubt on the so-called New Theory of Reference. Furthermore, it is argued that Novák’s “minimal sense” of a proper name is too minimalistic and cannot be of service to the original idea of descripitivism. In the second part of the paper, an attempt is made to show that Novák’s extensional-intensional identity theory of predication is not based on identity, insofar as it is characterised by the axioms of the theory of identity.

This paper is consecrated to the problems of the semantics in the Anselm’s philosophy of language – one of the most important parts of his philosophical inquiry. The main care is focused to the analysis of terms veritas and rectitudo, mainly because of significatio and the semantics – e.g. significatio with respect to names (proper and common; infinite, privative and empty). Special passage refers to denominative names, because in their case Anselm of Canterbury makes differences between significatio ( per se, per aliud and ut unum) and appellatio in his semantic analysis.

The construction of mediaeval semantic theories is based on defining semantic concepts introduced by means of paradigmatic examples. One of the commonly discussed expressions is the promise “Debeo tibi equum”. This study deals with analyses of this proposition in fourteenth century logic done by means of instruments of terminist semantics. We may distinguish between realist and nominalist analyses, the nominalist may further be classified according to how the propositional context is interpreted – whether as extensional, intensional or hyperintensional. If we take the function terminist logic has with respect to grounded elimination of false inferences as the criterion of its effectivity, all solutions must be considered comparably effective, and therefore acceptable.Medio aevo doctrinae semanticae super notionum semanticarum definitiones, quae exem plorum allatorum auxilio communiter introducebantur, construi solebant. Inter exempla saepius pertractata est etiam hoc promissum “Debeo tibi equum”. In dissertatione nostra explicationes, quae instrumentis semantices terministicae 14. saeculo in logica propositae sunt, investigamus, quorum aliae sunt realisticae, aliae nominalisticae. Inter hasce aliud porro discrimen notaripotest, scilicet quod aliae contextum dicti “extensionalem”, aliae “intensionalem”, aliae “hyperintensionalem” interpretantur. Quae omnes explicationes fere aeque efficaces esse inveniuntur, inquantum scilicet sufficientia praebent fundamenta ad argumenta fallacia eliminanda, quod et aeque acceptabiles.

Dissertatio proposita circa “argumentum ontologicum” pro existentia Dei, quem K. Goedel construxit, versatur. In prima parte structuram logicam dicti argumenti exponimus, singulos gradus argumenti explicamus, “collapsumque modalitatum”, quo argumentum invalidari invenitur, examinamus. Sequenti parte recentiores quasdam confectiones argumenti pertractamus; et scil. praecipue formam eius, quae super conceptum mathematicum multitudinis seu “complexus elementorum terminatorum” fundatur, et formam “algebraicam”, quarum affinitates quasdam notabiles prae oculos ponimus. Ultima parte disceptationes, quae circa huiusce argumenti validitatem ac momentum respectu modernae theisticae philosophiae agebantur, describimus. Loco conclusionis observamus, Goedelii argumentum exemplum esse notabile “fidei quaerentis intellectum”.The article deals with Gödel’s ontological proof of God’s existence. It consists of three parts. In the first part we present the logical structure of the argument, analyse its individual steps and discuss the implied collapse of modalities, which is fatal for the proof. In the second part we focus on some more recent versions of the argument, especially the set-theoretical version and the algebraic version, and we show several interesting connexions between the algebraic and the set-theoretical version. In the final part of the paper we briefly recount the discussions concerning the validity of the argument and its importance for modern theistic philosophy. We conclude by observing that Gödel’s argument is an interesting modern instance of “faith seeking understanding”.

In our contribution we continue our discussion with L. Novák, who criticised our paper “Různá pojetí matematiky u vybraných autorů od antiky po raný novověk.” Novák’s critique titled “Tomáš Akvinský instrumentalistou v matematice?” served as an incentive for us not only to clarify certain points, but also to deepen our original exposition. We focused on Aquinas’s understanding of mathematics, the middle sciences and philosophy. We still insist that two substantially different interpretations of these disciplines are possible. On the one hand, there is much evidence for Aquinas’s realistic approach to mathematics and the middle sciences. On the other hand, ideas can also be found in Aquinas’s texts supporting an instrumentalist reading. In our opinion, it is important to point out these two approaches to the mathematical sciences in order to adequately understand the subsequent evolution of the history of ideas, especially in the modern period.

In this article I consider two aspects of Moore’s philosophical method which lead to the turn to natural language. These are his interest in the meaning (not the truth) of problematic philosophical theses and his interest in common sense philosophy. However, Moore himself did not completely achieve the linguistic turn: he merely prepared the way for it. In the conclusions I show that Moore’s themes were developed by N. Malcom. The deeper sense of my paper is to show that the linguistic turn as begun by Moore does not conflict with the spirit of the Aristotelian tradition.

The article deals with the problem of the future contingents from the logical point of view, i.e. whether the propositions about (conditional) future contingents have a determinate truth-value. The author attemps to show how the problem was discussed both in the 17. century between a Prague’s Jesuit M. Větrovský and a French Dominican A. Goudin, as well as how the discussion has progressed through contemporary analytical philosophy. Firstly the history of the problem is explored to provide the sources for the discussion. Secondly the polemic of Větrovský with Goudin is examined and finally how A. J. Freddoso and W. L. Craig discuss the problem in contemporary analytical philosophy. The essential aspect of the argument is whether the propositions about (conditional) future contingents might have a determinate truth-value if the causal grounding (futuritio causalis) is being detached.

The main purpose of this paper is to contest the Aristotelian notion that the objects of metaphysics, mathematics and physics are all abstract, which is the reason why these disciplines constitute a homogeneous class. For a reflection on the way how objects are introduced into scientific discourse leads to the conclusion that some of these objects (especially the mathematical ones) are fictions of reason an that their nature is defined purely by their mutual relationships. From this it follows that, far from being theoretical sciences, the respective disciplines are justifiedly classified as arts.

The paper deals with the problem of conceptual interpretation of Aristotle’s prima facie divergent opinions on human happiness in his Nicomachean Ethics, especially in Book 1 and Book 10. As its starting point it takes the well-known expository scheme connected with the polarity “Dominantism versus Inclusivism”. It attempts to show that the relationship of two main candidates on human happines, namely the activities of moral virtues and of contemplation, should be understood on the basis of the predicative scheme called the intrinsic analogy of attribution. While both contemplation and the activities of moral virtues are intrinsically valuable, it is argued that they exhibit certain order of priority and posteriority: the theoretical activities of our intellect realise happiness primarly, whereas the moral activities merely secondarily. The desirable character of intrinsic goodness of our moral actions consists in the fact that they are beautiful and that they, in a certain way, approximate theoria. Interpreting the teleological relation between moral action and contemplation as one of approximation thus seems to represent a plausible alternative, which, unlike the standard means–end relation, keeps in balance both of the desiderata, i.e. the intrinsic goodness of our moral actions as well as their intrinsic orientation toward contemplation.