The paper provides a method for a uniform complete Hilbert-style axiomatisation of Post's -conditionals and Post's negation, where m is the number of truth values and u is the number of designated truth values . The main feature of the technique which we employ in this proof generalises the well-known Kalmár Lemma which was used by its author in his completeness argument for the ordinary, two-valued logic.

. The connection presented in this paper mirror-links two metamathematical structures, the finitary closure operators, and the compact consistency properties, in such a way that a specification of one structure induces a provably equivalent specification of the other.

The method based on the idea of Galois connection is well known. It facilitates investigations into similarities between mathematical structures, including isomorphisms between these structures, the highest degree of similarity. This idea is employed here and adapted so as to get to the core of aspects of the relationship between some metamathematical structures. The focus is put on the relation between traditional methodological orthodoxy based on the idea of proof , on the one hand, and on some alternative methodological set-ups (...) based on other ideas such as consistency or some forms of maximality, on the other hand. (shrink)

Contemporary discussion concerning institutions focus on, and mostly accept, the Searlean view that institutional objects, i.e. money, borders and the like, exist in virtue of the fact that we collectively represent them as existing. A dissenting note has been sounded by Smit et al. (Econ Philos 27:1–22, 2011), who proposed the incentivized action view of institutional objects. On the incentivized action view, understanding a specific institution is a matter of understanding the specific actions that are associated with the institution and (...) how we are incentivized to perform these actions. In this paper we develop the incentivized action view by extending it to institutions like property, promises and complex financial organisations like companies. We also highlight exactly how the incentivized action view differs from the Searlean view, discuss the method appropriate to such study and discuss some of the virtues of the incentivized action view. (shrink)

What does being money consist in? We argue that something is money if, and only if, it is typically acquired in order to realise the reduction in transaction costs that accrues in virtue of agents coordinating on acquiring the same thing when deciding what thing to acquire in order to exchange. What kinds of things can be money? We argue against the common view that a variety of things (notes, coins, gold, cigarettes, etc.) can be money. All monetary systems are (...) best interpreted as implementing the same basic protocol. Money, i.e. the thing that we coordinate on acquiring in order to lower our transaction costs, is, in all cases, a set of positions on an abstract mathematical object, namely a relative ratio scale. The things that we ordinarily call ‘money’ are merely records of positions on such a scale. (shrink)

Cover -- Half Title -- Title Page -- Copyright Page -- Dedication -- Contents -- Introduction the Transaction Edition -- Foreword -- Preface -- ONE The Pliilosophic Content and Historical Importance of Natural Law -- TWO Natural Law and Revolutionary "Natural Rights"--THREE Burke and the Natural Law -- FOUR The Law of Nations -- FIVE Revolutionary "Natural Rights"--SIX Human Nature -- SEVEN Church and State -- EIGHT Burke and the Sovereignty of Natural Law -- Appendix I -- Appendix II -- (...) Bibliography -- Notes -- Index. (shrink)

In The Construction of Social Reality, John Searle develops a theory of institutional facts and objects, of which money, borders and property are presented as prime examples. These objects are the result of us collectively intending certain natural objects to have a certain status, i.e. to ‘count as’ being certain social objects. This view renders such objects irreducible to natural objects. In this paper we propose a radically different approach that is more compatible with standard economic theory. We claim that (...) such institutional objects can be fully understood in terms of actions and incentives, and hence the Searlean apparatus solves a non-existent problem. (shrink)

In our earlier work, we argued, contra Searle, that institutional facts can be understood in terms of non-institutional facts about actions and incentives. Butchard and D’Amico claim that we have misinterpreted Searle, that our main argument against him has no merit and that our positive view cannot account for institutional facts created via joint action. We deny all three charges.

Dolphins exhibit both action-level imitation (ALI) and program-level imitation (PLI). Dolphins may use ALI primarily for social cohesion, whereas PLI seems more likely to occur in goal-directed, problem-solving contexts. Both PLI and insightful problem solving require a recognition of the functional relations between actions and outcomes. Insightful problem solving, however, involves the creation of a program in the absence of a model, and therefore requires a higher order appreciation and application of the relations between actions and outcomes.

The currently leading cognitive theory of consciousness, Global Workspace Theory,1,2 postulates that the primary functions of consciousness include a global broadcast serving to recruit internal resources with which to deal with the current situation and to modulate several types of learning. In addition, conscious experiences present current conditions and problems to a "self" system, an executive interpreter that is identifiable with brain structures like the frontal lobes and precuneus.1Be it human, animal or artificial, an autonomous agent3 is said to be (...) functionally conscious if its control structure (mind) implements Global Workspace Theory and the LIDA Cognitive Cycle, which includes unconscious memory and control functions needed to integrate the conscious component of the system. We would therefore consider humans, many animals4 and even some virtual or robotic agents5,6 to be functionally conscious. Such entities may approach phenomenal consciousness, as found in human and other biological brains, as additional brain-like features are added.Here we argue that adding mechanisms to produce a stable, coherent perceptual field7 in a LIDA controlled mobile robot might provide a small but significant step toward phenomenal consciousness in machines.>8 We also propose that implementing several of the various notions of self in such a LIDA controlled robot may well prove another step toward phenomenal consciousness in machines. (shrink)

By indirect-deduction theorems introduced in the present paper we mean the theorems that allow to formalize indirect reasonings occurring in deductive practice in general and in mathematics in particular. We discuss the relationship between the introduced theorems and some logical calculi being virtually confined to propositional calculi with implication and negation. It is worth to notice that the above theorems are very handy and effective in proving logical theses.

the standard metalogical set-ups seem to be all based on the idea of consequence (or proof). However, metalogic can also be effectively constructed using some non-standard primmitive ideas. In this paper an outline is given to four metalogical frameworks, alternative to the standard set-ups. They are based, respectively, on the idea of consistency; on an omission (or separation) operator; on an extension operator (called in the paper a Lindenbaum operator); and on the idea of maximality. All these metalogics, including the (...) standard consequence-based one, are one-to-one and proof-preserving translatable, and, in this sense, are seen pairwise equivalent and „externally” consistent. (shrink)

The currently leading cognitive theory of consciousness, Global Workspace Theory,1,2 postulates that the primary functions of consciousness include a global broadcast serving to recruit internal resources with which to deal with the current situation and to modulate several types of learning. In addition, conscious experiences present current conditions and problems to a "self" system, an executive interpreter that is identifiable with brain structures like the frontal lobes and precuneus.1Be it human, animal or artificial, an autonomous agent3 is said to be (...) functionally conscious if its control structure (mind) implements Global Workspace Theory and the LIDA Cognitive Cycle, which includes unconscious memory and control functions needed to integrate the conscious component of the system. We would therefore consider humans, many animals4 and even some virtual or robotic agents5,6 to be functionally conscious. Such entities may approach phenomenal consciousness, as found in human and other biological brains, as additional brain-like features are added.Here we argue that adding mechanisms to produce a stable, coherent perceptual field7 in a LIDA controlled mobile robot might provide a small but significant step toward phenomenal consciousness in machines.>8 We also propose that implementing several of the various notions of self in such a LIDA controlled robot may well prove another step toward phenomenal consciousness in machines. (shrink)

Two centuries after Edmund Burke published his Reflections on the Revolution in France, his name and reputation stand alongside Locke, Montesquieu, and Hume - the other still-cited grand political thinkers of the eighteenth century. For those great nations that have fallen into what Burke called "the antagonist world of madness, discord, vice, confusion and unavailing sorrow," the work of Burke supplies that sense of order, justice and freedom the present age seems to require. This volume by Peter Stanlis has grown (...) out of almost four decades of studying Burke. Today, Professor Stanlis is called by Russell Kirk "the leading American authority on the political thought of the great conservative reformer." The book is divided into three categories: Burke on law and politics; Burke's criticism of Enlightenment rationalism and sensibility; and Burke's theory of revolution and critique of the English revolution of 1688. Stanlis' reasons' for linking Burke to the English Revolution rather than the later, and admittedly more decisive American and French Revolutions of his own time, is that for Burke, that earlier event was the normative pivot for judging how to make important changes in civil society. Indeed, even in his writings on the contemporary revolutions of his time,. Stanlis reminds us that Burke interpreted revolutionary events in France and Americas through the prism of the bloodless Revolution of 1688. (shrink)

For a hundred years up to the middle of the twentieth century, when utilitarianism, empiricism, and logical positivism ruled over studies of Burke, and the great authorities on his thought and politics were Henry T. Buckle, John Morley, Sir Leslie Stephen, Charles E. Vaughan, John MacCunn, Elie Halévy, and George Sabine, it was unthinkable to approach Burke as anything but a secular Whig politician, a mere political party activist with great literary skills. Burke's statement that the true statesman is "the (...) philosopher in action," and all of his many explicit appeals to moral natural law and to God as the Divine origin of civil society, were dismissed by these scholars as so much hot air and empty or meaningless rhetoric. All of the writers in the tradition of Morley assumed that Burke was a nominalist, that his philosophical roots were in keeping with William of Occam by way of his seventeenth-century heirs, Thomas Hobbes and John Locke, and in the liberal Whig tradition of the eighteenth century. These scholars interpreted Burke's politics on such subjects as the "state of nature," the social contract, political sovereignty, the moral nature of man, and his view of history, as strictly in accordance with the nominalist theory of reality, which denied any universal truths. (shrink)