This work is the first English monograph on Franciscus Junius's (1545–1602) theology in more than 40 years, and also is the first monograph on Junius’s use of Thomistic moral concepts to date.

We discuss first order theories in which individual concepts are admitted as mathematical objects along with the things that reify them. This allows very straightforward formalizations of knowledge, belief, wanting, and necessity in ordinary first order logic without modal operators. Applications are given in philosophy and in artificial intelligence. We do not treat general concepts, and we do not present any full axiomatizations but rather show how various facts can be expressed.

Relying on a range of now-familiar thought-experiments, it has seemed to many philosophers that phenomenal consciousness is beyond the scope of reductive explanation. (Phenomenal consciousness is a form of state-consciousness, which contrasts with creature-consciousness, or perceptual-consciousness. The different forms of state-consciousness include various kinds of access-consciousness, both first-order and higher-order--see Rosenthal, 1986; Block, 1995; Lycan, 1996; Carruthers, 2000. Phenomenal consciousness is the property that mental states have when it is like something to possess them, or when they have (...) subjectively-accessible feels; or as some would say, when they have qualia (see fn.1 below).) Others have thought that we can undermine the credibility of those thought-experiments by allowing that we possess purely recognitional concepts for the properties of our conscious mental states. This paper is concerned to explain, and then to meet, the challenge of showing how purely recognitional concepts are possible if there are no such things as qualia--in the strong sense of intrinsic (non-relational, non-intentional) properties of experience. It argues that an appeal to higher-order experiences is necessary to meet this challenge, and then deploys a novel form of higher-order thought theory to explain how such experiences are generated. (shrink)

Relying on a range of now‐familiar thought‐experiments, it has seemed to many philosophers that phenomenal consciousness is beyond the scope of reductive explanation. (Phenomenal consciousness is a form of state‐consciousness, which contrasts with creature‐consciousness, or perceptual ‐consciousness. The different forms of state‐consciousness include various kinds of access‐consciousness, both first‐order and higher‐order–see Rosenthal, 1986; Block, 1995; Lycan, 1996; Carruthers, 2000. Phenomenal consciousness is the property that mental states have when it is like something to possess them, or when they (...) have subjectively‐accessible feels; or as some would say, when they have qualia (see fn. l below).) Others have thought that we can undermine the credibility of those thought‐experiments by allowing that we possess purely recognitional concepts for the properties of our conscious mental states. This paper is concerned to explain, and then to meet, the challenge of showing how purely recognitional concepts are possible if there are no such things as qualia–in the strong sense of intrinsic (non relational, non‐intentional) properties of experience. It argues that an appeal to higher‐order experiences is necessary to meet this challenge, and then deploys a novel form of higher‐order thought theory to explain how such experiences are generated. (shrink)

Consciousness is arguably the most important area within contemporary philosophy of mind and perhaps the most puzzling aspect of the world. Despite an explosion of research from philosophers, psychologists, and scientists, attempts to explain consciousness in neurophysiological, or even cognitive, terms are often met with great resistance. In The Consciousness Paradox, Rocco Gennaro aims to solve an underlying paradox, namely, how it is possible to hold a number of seemingly inconsistent views, including higher-order thought (HOT) theory, conceptualism, infant and (...) animal consciousness, concept acquisition, and what he calls the HOT-brain thesis. He defends and further develops a metapsychological reductive representational theory of consciousness and applies it to several importantly related problems. Gennaro proposes a version of the HOT theory of consciousness that he calls the "wide intrinsicality view" and shows why it is superior to various alternatives, such as self-representationalism and first-order representationalism. HOT theory says that what makes a mental state conscious is that a suitable higher-order thought is directed at that mental state. -/- Thus Gennaro argues for an overall philosophical theory of consciousness while applying it to other significant issues not usually addressed in the philosophical literature on consciousness. Most cognitive science and empirical works on such topics as concepts and animal consciousness do not address central philosophical theories of consciousness. Gennaro’s integration of empirical and philosophical concerns will make his argument of interest to both philosophers and nonphilosophers. (shrink)

This book explores Hobbes's ideas about the internal pacification of states, the prospect of a peaceful international order, and the connections between civil and international peace. It questions the notion of a negative Hobbesian peace, which is based on the mere suppression of violence, and emphasises his positive vision of everlasting peace in a well-governed commonwealth. The book also highlights Hobbes's ideas about international coexistence and cooperation, which he considers integral to good government. In examining Hobbes's conception of (...) peace, it provides a fresh perspective on his international political thought. The findings also have wider implications for the ways in which we think about Hobbes's relationship to the realist and liberal traditions of international thought, and will appeal to students and scholars of political theory and international relations. (shrink)

The theory of concept lattices is approached from the point of view of fuzzy logic. The notions of partial order, lattice order, and formal concept are generalized for fuzzy setting. Presented is a theorem characterizing the hierarchical structure of formal fuzzy concepts arising in a given formal fuzzy context. Also, as an application of the present approach, Dedekind–MacNeille completion of a partial fuzzy order is described. The approach and results provide foundations for formal concept analysis of vague (...) data—the propositions “object x has attribute y”, which form the input data to formal concept analysis, are now allowed to have also intermediate truth values, meeting reality better. (shrink)

This paper uses the resources of higher-order logic to articulate a Fregean conception of predicate reference, and of word-world relations more generally, that is immune to the concept horse problem. The paper then addresses a prominent style of expressibility problem for views of broadly this kind, versions of which are due to Linnebo, Hale, and Wright.

Though common sense says that causes must temporally precede their effects, the hugely influential interventionist account of causation makes no reference to temporal precedence. Does common sense lead us astray? In this paper, I evaluate the power of the commonsense assumption from within the interventionist approach to causal modeling. I first argue that if causes temporally precede their effects, then one need not consider the outcomes of interventions in order to infer causal relevance, and that one can instead use (...) temporal and probabilistic information to infer exactly when X is causally relevant to Y in each of the senses captured by Woodward’s interventionist treatment. Then, I consider the upshot of these findings for causal decision theory, and argue that the commonsense assumption is especially powerful when an agent seeks to determine whether so-called “dominance reasoning” is applicable. (shrink)

Machine learning has been proven useful for solving the bottlenecks in building expert systems. Noise in the training instances will, however, confuse a learning mechanism. Two main steps are adopted here to solve this problem. The first step is to appropriately arrange the training order of the instances. It is well known from Psychology that different orders of presentation of the same set of training instances to a human may cause different learning results. This idea is used here for (...) machine learning and an order arrangement scheme is proposed. The second step is to modify a conventional noise-free learning algorithm, thus making it suitable for noisy environment. The generalized version space learning algorithm is then adopted to process the training instances for deriving good concepts. Finally, experiments on the Iris Flower problem show that the new scheme can produce a good training order, allowing the generalized version space algorithm to have a satisfactory learning result. (shrink)

For Plato order was a normative concept and a metaconcept with regard to the soul, the city-state, the universe and the Forms. In this thesis I use Plato's conception of order as a perspective from which to study these four things. By so doing, I not only establish the role of order in Plato's thought, but present certain aspects of his thought in a new light and solve some old problems in a new way.

In this paper I unpack a realistic conception of politics by tightly defining its constitutive features: conflict and order. A conflict emerges when an actor is disposed to impose his/her views against the resistance of others. Conflicts are more problematic than moralists realize because they emerge unilaterally, are potentially violent, impermeable to content-based reason, and unavoidable. Order is then defined as an institutional framework that provides binding collective decisions. Order is deemed necessary because individuals need to (...) cooperate to survive, but groups cannot spontaneously secure collective decisions and are prone to conflicts. Particularly, the fact that potentially violent conflicts emerge unilaterally means that order requires coercion. I conclude that mischaracterizing conflict and order leads to undesirable normative principles, and that this criticism can be leveraged not only against Rawlsian liberals who moralize conflicts away, but also against some agonists who underestimate the need for order and some communitarians who underplay both circumstances. (shrink)

In Section I, Kelsen introduces the legal order as an aggregate of norms and considers the question of the basis of the validity of a norm. He then turns, in Section II, to a series of questions that arise in connection with “unconstitutional” statutes. Finally, in Section III, Kelsen defends at length a monistic interpretation of the relation between the international and domestic legal orders. (Translator's summary.).

In this paper I unpack a realistic conception of politics by tightly defining its constitutive features: conflict and order. A conflict emerges when an actor is disposed to impose his/her views against the resistance of others. Conflicts are more problematic than moralists realize because they emerge unilaterally, are potentially violent, impermeable to content-based reason, and unavoidable. Order is then defined as an institutional framework that provides binding collective decisions. Order is deemed necessary because individuals need to (...) cooperate to survive, but groups cannot spontaneously secure collective decisions and are prone to conflicts. Particularly, the fact that potentially violent conflicts emerge unilaterally means that order requires coercion. I conclude that mischaracterizing conflict and order leads to undesirable normative principles, and that this criticism can be leveraged not only against Rawlsian liberals who moralize conflicts away, but also against some agonists who underestimate the need for order and some communitarians who underplay both circumstances. (shrink)

This book subjects the traditional concept of law of nature to critical examination. There are two kinds of reasons that invite this reexamination, one deriving from philosophical concerns over the traditional concept, the other motivated by theoretical and practical changes in science. One of the philosophical worries is that the idiom of law of nature, especially when combined with the notion of laws 'governing' individual events and processes, is no longer as intelligible as it used to be in the theistic (...) context in which the formulation of laws became central to science. The traditional concept is also challenged in various ways by contemporary scientific theories such as quantum mechanics, chaos theory and the general theory of relativity. It is no longer clear that there are any universal laws, laws do not always guarantee predictability, and the border between physical and mathematical considerations is constantly shifting. The most difficult challenge, perhaps, is to come up with a scientific explanation of the origin of laws. Wrestling with these intriguing problems, the papers in this volume broaden both our understanding of the natural order and our desiderata of scientific explanation. (shrink)

This paper casts doubt on a recent criticism of Frege's theory of concepts and extensions by showing that it misses one of Frege's most important contributions: the derivation of the infinity of the natural numbers. We show how this result may be incorporated into the conceptual structure of Zermelo- Fraenkel Set Theory. The paper clarifies the bearing of the development of the notion of a real-valued function on Frege's theory of concepts; it concludes with a brief discussion of the claim (...) that the standard interpretation of second-order logic is necessary for the derivation of the Peano Postulates and the proof of their categoricity. (shrink)

This paper tackles the question of whether the order of concepts was still a relevant aspect of scientific rigour in the 19th and 20th centuries, especially in the case of authors who were deeply influenced by the Leibnizian project of a universal characteristic. Three case studies will be taken into account: Hermann Graßmann, Giuseppe Peano and Kurt Gödel. The main claim will be that the choice of primitive concepts was not only a question of convenience in modern hypothetico-deductive investigations, (...) but sometimes also the result of philosophical investigations onto the foundation of scienti­fic disciplines. The question of the "right" order of concepts is an ideal to be followed rather than a task that can be fulfilled, but remains nonetheless an essential part of the axiomatic enterprise. This paper aims to question whether there is in fact such a stark contrast, as there is often claimed to be in the literature, between the debates relating to the right order of concepts and the foundational questions concerning modern axiomatics. The scientific rupture determined by the appearance of hypothetico-deductive systems in mathema­tics and logic should thus not be dissociated from some relevant continuities concerning the ideal of knowledge as the search for a general theory of concepts deriving from some fundamental elements. (shrink)

This paper tackles the question of whether the order of concepts was still a relevant aspect of scientific rigour in the 19th and 20th centuries, especially in the case of authors who were deeply influenced by the Leibnizian project of a universal characteristic. Three case studies will be taken into account: Hermann Graßmann, Giuseppe Peano and Kurt Gödel. The main claim will be that the choice of primitive concepts was not only a question of convenience in modern hypothetico-deductive investigations, (...) but sometimes also the result of philosophical investigations onto the foundation of scienti­fic disciplines. The question of the "right" order of concepts is an ideal to be followed rather than a task that can be fulfilled, but remains nonetheless an essential part of the axiomatic enterprise. This paper aims to question whether there is in fact such a stark contrast, as there is often claimed to be in the literature, between the debates relating to the right order of concepts and the foundational questions concerning modern axiomatics. The scientific rupture determined by the appearance of hypothetico-deductive systems in mathema­tics and logic should thus not be dissociated from some relevant continuities concerning the ideal of knowledge as the search for a general theory of concepts deriving from some fundamental elements. (shrink)

Since Gallie introduced the notion of essentially contested concepts, it has given rise to considerable debate and confusion. The aim of this paper is to bring clarity to these debates by offering a critical reconstruction of the notion of essential contestedness. I argue that we should understand essentially contestable concepts as concepts that refer to ideals or to concepts and phenomena that can only be fully understood in light of ideals and that are, as a consequence, open to pervasive contestation. (...) Moreover, some concepts are second-order essentially contested: it may be a matter of ongoing dispute as to whether they should be regarded as essentially contested. The concept of law is an example. Some authors argue that it is ideal-oriented, whereas others claim it is not. This insight that ‘law’ is a second-order essentially contested concept may explain some of the disagreements between legal positivism and its various opponents. (shrink)

I examine the history of the concept of spontaneity in philosophy and the social sciences, particularly as it relates to monetary phenomena. I then offer an argument for the general significance of spontaneity. The essay concludes that scholars across the humanities and social sciences, whatever their (disciplinary, political, ideological, etc.) persuasion, would be well-served to further develop the theory of spontaneity and its social effects.

My contribution will focus on a central issue of Yehuda Elkana's anthropology of knowledge — namely, the role of reflectivity in the development of knowledge. Let me therefore start with a quotation from Yehuda's paper “Experiment as a Second-Order Concept.”.

The ArgumentWhen we actually perform an experiment, we do many different things simultaneously – some belonging to the realm of theory, some to the realms of methodology and technique; however, a great deal of what happens is expressible in terms of socially determined images of knowledge or in terms of concepts of reflectivity – second-order concepts – namely thoughts about thoughts.The emergence of experiment as a second-order concept in late antiquity exemplifies the historical development of second-order concepts; (...) it is shown to be rooted in the Sophists' cunning reason and is followed up in the work of Ptolemy, Copernicus and Galileo.Then, by way of epistemological explication, the three levels of representation of an experiment are shown to be analogous to Baxandall's three levels of representation of a picture.Finally it is shown that such an interpretation only makes sense in terms of two-tier thinking: realism, inside a conceptual framework which is chosen or arrived at, relativistically. (shrink)

Abstract`Authority', `competence' andother related concepts are determined on the basis ofthe concept of law as a dynamic order of norms. Thenorms which regulate the processes of norm creationestablish empowerments (Ermächtigungen). Thematerial domain of validity of the empowering norm iscalled `competence'. The concept of `person' inrelation to empowering norms yields the concepts of`organ' and `authority'. The spatial domain of thevalidity of these norms is the spatial or territorialjurisdiction. This paper analyses the basic norm andits legal functions; it considers the irregularity (...) oflegal acts and norms, as well as the legalconsequences thereof, namely nullity and annulment.Additionally, the Kelsenian `Tacit AlternativeClause' is criticized and a possible solution to theproblem of irregular norms is offered through newdefinitions of the existence, validity and legitimacyof norms. (shrink)

`Authority', `competence' and other related concepts are determined on the basis of the concept of law as a dynamic order of norms. The norms which regulate the processes of norm creation establish empowerments (Ermächtigungen). The material domain of validity of the empowering norm is called `competence'. The concept of `person' in relation to empowering norms yields the concepts of `organ' and `authority'. The spatial domain of the validity of these norms is the spatial or territorial jurisdiction. This paper analyses (...) the basic norm and its legal functions; it considers the irregularity of legal acts and norms, as well as the legal consequences thereof, namely nullity and annulment. Additionally, the Kelsenian `Tacit Alternative Clause' is criticized and a possible solution to the problem of irregular norms is offered through new definitions of the existence, validity and legitimacy of norms. (shrink)

This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative algebra, braid groups, graph theory, analytic combinatorics, theory of relations, reverse mathematics and subrecursive hierarchies. As a unifying concept for slick finiteness or termination proofs, wqos have been rediscovered in diverse contexts, and proven to be (...) extremely useful in computer science. The book introduces readers to the many facets of, and recent developments in, wqos through chapters contributed by scholars from various fields. As such, it offers a valuable asset for logicians, mathematicians and computer scientists, as well as scholars and students. (shrink)

In 1963-1964 the Carnegie Corporation awarded Grinnell College a grant to support new interdisciplinary programs. One of these was the "Interdisciplinary Seminar on Order." Scholars came from all over the country to lead discussions and read papers on some aspect of order as it related to their field. Various philosophers, historians, political scientists, psychologists, and people in religion, philosophy, and literature all took part. Philosophers show up under several of the book's headings. Paul Weiss has a short paper (...) on some paradoxes relating to order. Feibleman speaks on disorder. Ernan McMullin kicks off the history of science section discussing cosmic order in Plato and Aristotle. Monroe Beardsley has a paper on order and disorder in art. Hartshorne discusses, among other things, the reality of chance in his essay on order and chaos in the section on Religion and Ethics. Voegelin and Toynbee are naturals in this volume. They comprise the whole section on history. Among the twenty-two other contributors are Talcott Parsons and J. M. Kitagawa on world religions. There is an enterprising introduction by Kuntz in which he brings an historical approach to the problem of order. Somehow, in the process, he manages to tie in most of the other papers.--S. O. H. (shrink)

This paper argues that no legal order is possible unless it is bounded in space, time, membership and content, ie that boundaries are an intrinsic feature of the concept of law. In particular, while the organisation of the inside/outside distinction in terms of domestic and foreign state orders is certainly contingent, not so the distinction between inside/outside in terms of the contrast between a space deemed to be a collective's own space and strange places, which is constitutive for any (...) possible legal order. The constitutive role of boundaries for legal order becomes apparent in the face of a-legal behaviour, ie behaviour that contests the distinction between legality and illegality as drawn in the spatial, temporal, subjective and material boundaries of the legal. (shrink)

The author beginns with a brief commentary on three philosophically remarcable concepts: F. A. Hayek's concept of endogenous and exogenous orders, D. Bohm's concept of implicative and explicative orders and K. R. Popper's concept of the three worlds. On Hayek he appreciates particularly his emphasizing the endogenous order, on Bohm on the other hand his distinguishing between the explicative and implcative orders. He, however criticises Bohm´s conception for its not offe_ring a possibility of definig the ontic opposition of (...) culture against nature. Popper´s conception of the three worlds he criticises for its mostly gnoseological nature: according to Popper it is the world II, which makes the effect of the world III on the world I possible. Partially following D. Bohm the author sees two orders - an explicative and an implicative ones - in nature as well as in culure. The order embodies not only the intrinsic constitutive processes and the rules of the natural and cutural construology, i. e. the explicative order, but also the external outcome of the ontic creative process with its phenotypic forms, i. e. the explicative order. Additionally to this dualism of orders he argues, that there are two different kinds of evolution - the natural and the cultural ones. His suggestion to recognize two world orders aims at a more proper pihlosophical understanding of the ontic opposition of culture against nature including the determination of the presuppositions of their long-term possible coevolution and compatibility. (shrink)

In this article I look at some the issues, problems and self-imposed dilemmas that emerge from Harry Frankfurt’s well-known essay ‘Freedom of the Will and the Concept of a Person’. That essay has exerted a widespread influence on subsequent thinking in ethics and philosophy of mind, especially through its central idea of ‘second-order’ desires and volitions. Frankfurt’s approach promises a third-way solution to certain longstanding issues – chiefly those of free-will versus determinism and the mind/body problem – that have (...) up to now resisted the best efforts of philosophical deliverance or therapy. It looks very much like the kind of answer that would avoid the ‘high priori road’ of any Kantian or suchlike metaphysical approach by adopting a broadly naturalized conception of human moral agency while not going so far down the path toward wholesale ethical naturalism as to lose the benefits that come with the Kantian conception. However I suggest that this appearance is deceptive and that Frankfurt’s way of addressing these issues – especially his leading idea of second-order desires and volitions – lies open to a long-familiar range of objections from both a naturalist and a strong autonomist quarter. More specifically, I show that his notion of moral will as possessing a multiplex structure whereby higher-order volitions can reject or countermand the promptings of unregenerate first-order desire is one that must inherently give rise to various problems of a logical, metaphysical, and – most importantly in this context – ethical character. I conclude that a thoroughgoing naturalism is the only response that can meet the kinds of challenge increasingly mounted from various scientific quarters, notably those of neurophysiology and cognitive psychology.U ovome članku razmatram neka pitanja, probleme i, kako mi se čini, samonametnute dileme koje proizlaze iz dobro poznatog ogleda Harryja Frankfurta “Freedom of the Will and the Concept of a Person”. Taj je ogled izvršio široki utjecaj na kasnije mišljenje u etici i filozofiji uma, naročito svojom središnjom idejom želja i htijenja “drugog reda”. Frankfurtov pristup obećava rješenje u obliku trećeg puta određenih starih problema – uglavnom problema odnosa slobodne volje i determinizma te odnosa uma i tijela – koji su se dosad opirali najboljim naporima filozofskog rješavanja ili terapije. On veoma nalikuje onoj vrsti odgovora koji apriorni put bilo kakva kantovskog ili sličnog metafizičkog pristupa želi izbjeći usvajanjem u širokom smislu naturalizirane koncepcije ljudskog moralnog djelovanja, ali tako da ne ode toliko daleko u smjeru etičkog naturalizma da izgubi prednosti koje su povezane s kantovskim pristupom. Tvrdim, međutim, da takav izgled vara i da je Frankfurtov način pristupanja tim pitanjima – a naročito njegova glavna ideja želja i htijenja drugog reda – podložna odavno poznatim prigovorima koji dolaze kako od strane naturalistâ tako i od strane strogih autonomista . Konkretnije, pokazujem da njegov pojam moralne volje kao nečega što posjeduje kompleksnu strukturu, čime htijenja višeg reda mogu odbaciti ili poništiti poticaje pokvarene želje prvog reda, jest takav da inherentno mora izazvati različite logičke, metafizičke i – što je u ovome kontekstu najvažnije – etičke probleme. Zaključujem da je posvemašnji naturalizam jedini odgovor koji može izaći na kraj s izazovima koji se sve više upućuju iz različitih znanstvenih krugova, naročito iz područja neurofiziologije i kognitivne psihologije. (shrink)

Antireductionist philosophers have argued for higher-order classifications of qualia that locate consciousness outside the scope of conventional scientific explanations, viz., by classifying qualia as intrinsic, basic, or subjective properties, antireductionists distinguish qualia from extrinsic, complex, and objective properties, and thereby distinguish conscious mental states from the possible explananda of functionalist or physicalist explanations. I argue that, in important respects, qualia are intrinsic, basic, and subjective properties of conscious mental states, and that, contrary to antireductionists' suggestions, these higher-order classifications (...) are compatible with qualia reduction. I demonstrate this compatibility by examining the putative higher-order properties of qualia and comparing them to the higher-order properties characteristic of connectionist models of cognitive processes. I contend that the higher-order properties characteristic of connectionist networks approximate the putative higher-order properties of qualia sufficiently well to conclude that qualia reductionism can accommodate claims that qualia are intrinsic, basic, and subjective properties, and explain the motivating intuitions for those claims generated by inverted, absent, and alien qualia thought experiments. In this way I argue that the putative higher-order classifications of qualia not only fail to defeat qualia reduction but, ironically, turn out to support it. (shrink)