We study the process of observation (measurement), within the framework of a “perspectival” (“relational,” “relative state”) version of the modal interpretation of quantum mechanics. We show that if we assume certain features of discreteness and determinism in the operation of the measuring device (which could be a part of the observer's nerve system), this gives rise to classical characteristics of the observed properties, in the first place to spatial localization. We investigate to what extent semi-classical behavior of the object system (...) itself (as opposed to the observational system) is needed for the emergence of classicality. Decoherence is an essential element in the mechanism of observation that we assume, but it turns out that in our approach no environment-induced decoherence on the level of the object system is required for the emergence of classical properties. (shrink)

Ramsey et al.'s article provides a more sensitive framework for comparative innovation than others' operationalisations have done. Nevertheless, a methodology has to be elaborated in order to determine to what degree a behaviour is novel. Psychological processes have to be considered when evaluating the value of reference groups and in order to figure out where to look for innovation.

This paper argues for two principal conclusions about natural language semantics based on John Buridan's considerations concerning the notion of formal consequence, that is, formally valid inference. (1) Natural languages are essentially semantically closed, yet they do not have to be on that account inconsistent. (2) Natural language semantics has to be token based, as a matter of principle. The paper investigates the Buridanian considerations leading to these conclusions, and considers some obviously emerging objections to the Buridanian approach.

Buridan's life, works, and influence -- Buridan's logic and the medieval logical tradition -- The primacy of mental language -- The various kinds of concepts and the idea of a mental language -- Natural language and the idea of a formal syntax in Buridan -- Existential import and the square of opposition -- Ontological commitment -- The properties of terms (proprietates terminorum) -- The semantics of propositions -- Logical validity in a token-based, semantically closed logic -- The possibility of scientific (...) knowledge -- Buridan's anti-skepticism -- Buridan's essentialist nominalism. (shrink)

Alarm management is an important task to ensure the safety of industrial process technologies. A well-designed alarm system can reduce the workload of operators parallel with the support of the production, which is in line with the approach of Industry 5.0. Using Process Mining tools to explore the operator-related event scenarios requires a goal-oriented log file format that contains the start and the end of the alarms along with the triggered operator actions. The key contribution of the work is that (...) a method is presented that transforms the historical event data of control systems into goal-oriented log files used as inputs of process mining algorithms. The applicability of the proposed process mining-based method is presented concerning the analysis of a hydrofluoric acid alkylation plant. The detailed application examples illustrate how the extracted process models can be interpreted and utilized. The results confirm that applying the tools of process mining in alarm management requires a goal-oriented log-file design. (shrink)

An argument with roots in ancient Greek philosophy claims that only humans are capable of a certain class of thought termed conceptual, as opposed to perceptual thought, which is common to humans, the higher animals, and some machines. We outline the most detailed modern version of this argument due to Mortimer Adler, who in the 1960s argued for the uniqueness of the human power of conceptual thought. He also admitted that if conceptual thought were ever manifested by machines, such an (...) achievement would contradict his conclusion. We revisit Adler’s criterion in the light of the past five decades of artificial-intelligence research, and refine it in view of the classical definitions of perceptual and conceptual thought. We then examine two well-publicized examples of creative works produced by AI systems and show that evidence for conceptual thought appears to be lacking in them. Although clearer evidence for conceptual thought on the part of AI systems may arise in the near future, especially if the global neuronal workspace theory of consciousness prevails over its rival, integrated information theory, the question of whether AI systems can engage in conceptual thought appears to be still open. (shrink)

This is a brief, accessible introduction to the thought of the philosopher John Buridan (ca. 1295-1361). Little is known about Buridan's life, most of which was spent studying and then teaching at the University of Paris. Buridan's works are mostly by-products of his teaching. They consist mainly of commentaries on Aristotle, covering the whole extent of Aristotelian philosophy, ranging from logic to metaphysics, to natural science, to ethics and politics. Gyula Klima argues that many of Buridan's academic concerns are (...) strikingly similar to those of modern philosophy and his work sometimes quite directly addresses modern philosophical questions. (shrink)

“The expression ‘free logic’ is an abbreviation for the phrase ‘free of existence assumptions with respect to its terms, general and singular’.”1 Classical quantification theory is not a free logic in this sense, as its standard formulations commonly assume that every singular term in every model is assigned a referent, an element of the universe of discourse. Indeed, since singular terms include not only singular constants, but also variables2, standard quantification theory may be regarded as involving even the assumption of (...) the existence of the values of its variables, in accordance with Quine’s famous dictum: “to be is to be the value of a variable”. (shrink)

“The problem of universals” in general is a historically variable bundle of several closely related, yet in different conceptual frameworks rather differently articulated metaphysical, logical, and epistemological questions, ultimately all connected to the issue of how universal cognition of singular things is possible. How do we know, for example, that the Pythagorean theorem holds universally, for all possible right triangles? Indeed, how can we have any awareness of a potential infinity of all possible right triangles, given that we could only (...) see a finite number of actual ones? How can we universally indicate all possible right triangles with the phrase ‘right triangle’? Is there something common to them all signified by this phrase? If so, what is it, and how is it related to the particular right triangles? The medieval problem of universals is a logical, and historical, continuation of the ancient problem generated by Plato's (428-348 B.C.) theory answering such a bundle of questions, namely, his theory of Ideas or Forms. (shrink)

This collection of readings with extensive editorial commentary brings together key texts of the most influential philosophers of the medieval era to provide a comprehensive introduction for students of philosophy. Features the writings of Augustine, Thomas Aquinas, Boethius, John Duns Scotus and other leading medieval thinkers Features several new translations of key thinkers of the medieval era, including John Buridan and Averroes Readings are accompanied by expert commentary from the editors, who are leading scholars in the field.

This paper primarily aims to provide a coherent interpretation of several, apparently conflicting claims made by Aquinas concerning the semantic function of the copula. The paper also argues that these claims can properly be understood only if they are interpreted as forming a coherent part of Aquinas' larger theory of the analogy of being. The Appendix sketches a model theoretical semantics for the reconstruction of Aquinas' relevant ideas, providing the technical means for setting apart the various senses of the verb (...) 'est' and its cognates distinguished by Aquinas. (shrink)

This volume features essays that explore the insights of the 14th-century Parisian nominalist philosopher, John Buridan. It serves as a companion to the Latin text edition and annotated English translation of his question-commentary on Aristotle's On the Soul. The contributors survey Buridan's work both in its own historical-theoretical context and in relation to contemporary issues. The essays come in three main sections, which correspond to the three books of Buridan's Questions. Coverage first deals with the classification of the science of (...) the soul within the system of Aristotelian sciences, and surveys the main issues within it. The next section examines the metaphysics of the soul. It considers Buridan's peculiar version of Aristotelian hylomorphism in dealing with the problem of what kind of entity the soul (in particular, the human soul) is, and what powers and actions it has, on the basis of which we can approach the question of its essence. The volume concludes with a look at Buridan's doctrine of the nature and functions of the human intellect. Coverage in this section includes the problem of self-knowledge in Buridan's theory, Buridan's answer to the traditional medieval problem concerning the primary object of the intellect, and his unique treatment of logical problems in psychological contexts. (shrink)

Contemporary "essentialism", if we want to provide a succinct, yet sufficiently rigorous characterization, may be summarized in the thesis that some common terms are rigid designators. [1] By the quotation marks I intend to indicate that I regard this as a somewhat improper (though, of course, permitted) usage of the term (after all, nomina significant ad placitum [2]). In contrast to this, essentialism, properly so-called, is the Aristotelian doctrine summarizable in the thesis--as we shall see, no less rigorous in its (...) own theoretical context--that things have essences. (shrink)

In this paper, I will primarily argue for the consistency of Aquinas’ conception, according to which the human soul, uniquely in God’s creation, is both the inherent, material, substantial form of the human body, and the subsistent immaterial substance underlying the immaterial operations of its immaterial, rational powers, namely, intellect and will. In this discussion, I will point out that typical challenges to Aquinas’ conception usually rely on semantic or ontological assumptions that can plausibly be denied in Aquinas’ own conceptual (...) framework. Since the issue of consistency merely assumes the less than self-evident claim of the immateriality of the human intellect, I will also provide a brief sketch of what I take to be Aquinas’ most promising proof of this claim. (shrink)

Saint Anselm’s proof for God’s existence in his Proslogion, as the label “ontological” retrospectively hung on it indicates, is usually treated as involving some sophisticated problem of, or a much less sophisticated tampering with, the concept of existence. In this paper I intend to approach Saint Anselm’s reasoning from a somewhat different angle.

This paper argues that three characteristic modern positions concerning intentionality – namely, (1) that intentionality is ‘the mark of the mental’; (2) that intentionality concerns a specific type of objects having intentional inexistence; and (3) that intentionality somehow defies logic – are just three ‘modern myths’ that medieval philosophers, from whom the modern notion supposedly originated, would definitely reject.

This paper argues that Aquinas's conception of the human soul and intellect offers a consistent alternative to the dilemma of materialism and post-Cartesian dualism. It also argues that in their own theoretical context, Aquinas' arguments for the materiality of the human soul and immateriality of the intellect provide a strong justification of his position. However, that theoretical context is rather "alien" to ours in contemporary philosophy. The conclusion of the paper will point in the direction of what can be done (...) to render Aquinas's position more palatable to contemporary philosophers. (shrink)

Thomas of Sutton was one of the earliest, and by all measures one of the most astute defenders of St. Thomas Aquinas’ characteristic theological and philosophical doctrines. As usual with medieval thinkers, we have little information regarding Sutton’s life..