In this book, Zalta attempts to lay the axiomatic foundations of metaphysics by developing and applying a (formal) theory of abstract objects. The cornerstones include a principle which presents precise conditions under which there are abstract objects and a principle which says when apparently distinct such objects are in fact identical. The principles are constructed out of a basic set of primitive notions, which are identified at the end of the Introduction, just before the theorizing begins. The main reason (...) for producing a theory which defines a logical space of abstract objects is that it may have a great deal of explanatory power. It is hoped that the data explained by means of the theory will be of interest to pure and applied metaphysicians, logicians and linguists, and pure and applied epistemologists. (shrink)

La phénoménologie contemporaine a développé une anthropologie dans laquelle la dimension corporelle de l'homme reprend une signification trop oubliée par le rationalisme. Ce renouveau nous invite à une confrontation avec la pensée anthropologique du thomisme. Malgré certaines ressemblances frappantes entre l'„esprit incarné” de la phénoménologie et l'„âme forme du corps” thomiste, de profondes divergences semblent exclure tout rapprochement des deux conceptions. Alors que la première se cantonne dans le phénoménal, la deuxième s'installe de plein pied dans une perspective ontologique. Ce (...) qui d'ailleurs, se double d'une autre divergence fondamentale : alors que l'esprit incarné de la phénoménologie est essentiellement un esprit au monde, celui du thomisme est caractérisé par une transcendance par rapport au monde tout aussi essentielle. On voit à quel point la signification du corps dans la synthèse anthropologique est remise en question dans une philosophie thomiste qui cultive le dialogue avec la pensée contemporaine. On s'attache d'abord à montrer qu'une phénoménologie bien comprise, en tant que fidélité inconditionnelle à notre expérience la plus authentique, n'est pas du fait même rébarbative aux perspectives ontologiques. Au contraire, notre expérience, même la plus primitive et fondamentale, est une rencontre avec la réalité, et possède dès l'origine une densité ontologique. Si la réalité nous apparaît toujours comme un monde plein de significations pour nous, ceci ne peut jamais vouloir dire que ces significations sont créées de toutes pièces, et que la réalité se réduirait à un être pour nous. Bien au contraire, nous ne pouvons vivre dans un monde ayant des significations pour nous, que pour autant que ces significations sont portées par une réalité consistante en elle-même. L'être-au-monde n'abolit en rien l'être du monde. Ainsi une anthropologie phénoménologique n'est nullement condamnée d'avance à être a-ontologique, et une confrontation entre les vues anthropologiques de la phénoménologie et du thomisme n'est pas ipso facto vouée à l'échec. De même, l'accent mis par la phénoménologie sur l'être-au-monde, ne doit pas nous empêcher de voir que cet être-au-monde n'est, en fin de compte, possible qu'à un esprit qui est auprès de soi. (Le Bei-der-Welt-Sein est conditionné par le Bei-Sich-Sein). L'esprit incarné, en d'autres mots, ne contredit pas nécessairement l'esprit tout court. Ces préliminaires étant acquis, on se tourne vers le problème auquel cet article veut s'attacher spécialement : quel est le sens de la corporéité dans un être qui est caractérisée par la spiritualité ? L'opposition entre le corps et l'esprit n'est certes pas un pur mythe. D'autre part l'esprit humain, en tant que tel, semble essentiellement lié à sa dimension corporelle. Il y a là une ambiguité dans la condition humaine qui demande à être éclaircie. Mais ambiguité n'est pas absurdité, pourvu qu'on ne la prenne pas pour une explication dernière. Elle doit donc elle-même être expliquée. Mais comment expliquer qu'un esprit, qui est essentiellement transcendance par rapport à la matière, soit tout aussi essentiellement uni à un corps matériel ? Cette question n'est insoluble qu'apparemment. Un examen plus serré nous montre que transcendance ne signifie nullement exclusion. Tout en étant transcendant au corps, l'esprit peut assumer le corporel comme complément et enrichissement de son être spirituel. Ceci n'est pensable que pour autant que l'esprit n'est pas une simple résultante du conditionnement corporel, mais, au contraire, possède une autonomie de principe, qui n'est que le fondement ontologique de la transcendance manifestée dans ses activités. S. Thomas a exprimé ce statut unique de l'être humain dans des formules lapidaires, telles que : Anima est quae habet esse - suum esse communicat materiae. On s'attache à montrer le bien-fondé de ces formules dans notre expérience humaine concrète. L'esprit en s'incarnant assume tout ce qui est impliqué par le conditionnement corporel - à la fois enrichissement et handicap - sans pour cela perdre sa transcendance. Le corps, tout en étant vraiment le corps de cet esprit, du fait même de sa corporéité, est inséré dans les séries d'influences corporelles, impliquant ainsi aliénation. Paradoxalement, par ce qui lui est propre - le corps - l'esprit subit - ou plutôt assume - la loi de l'aliénation, inscrite dans chaque être matériel. Toutefois, ces servitudes corporelles ne sauraient abolir la transcendance et l'autonomie de l'esprit, ces dernières n'étant pas tant une simple donnée, qui est une tâche à accomplir. Or c'est précisément à travers le donné corporel que l'esprit, dans ses actes autodéterminatifs, c'est-à-dire libres affirme sa transcendance. Même les implications les plus négatives de la corporéité - la maladie et la mort - l'esprit peut les assumer en leur donnant aussi valeur de transcendance, c'est-à-dire valeur positive. Mais surtout, à travers le corps, l'esprit humain a la possibilité d'insérer toute la réalité matérielle dans sa tâche d'auto-affirmation, et ainsi de s'enrichir de toutes les valeurs matérielles en les humanisant. Cette vue optimiste soulignant la signification positive du corps pour l'esprit n'est-elle pas cruellement contredite par le fait brutal de la mort ? L'article s'attache à montrer que tel n'est pas le cas. En effet, si nous prenons au sérieux ce qui a été dit, sur la transcendance de l'esprit, il est impensable que l'esprit périrait dans le processus essentiellement biologique de la mort. Mais n'est-il pas également impensable que l'esprit séparé de son corps ait une signification quelconque ? Ce serait indubitablement le cas si l'esprit épuisait toute sa signification dans l'accomplissement de ses tâches corporelles. Or, il a été montré que, même dans ses activités corporelles, l'esprit n'est jamais englouti par le matériel, mais dépasse et transcende ce dernier. L'être au monde ne lui est possible qu'en tant qu'il est auprès de soi-même. Donc - absolument parlant - la mondanité n'est pas condition de l'autopossession et de l'autoaffirmation de l'esprit. Cela a donc un sens d'affirmer cette autopossession en dehors de toute mondanité. C'est exactement ce que dit la doctrine - philosophique - de l'immortalité de l'âme humaine. Il va sans dire que les perspectives ouvertes - dans un contexte religieux - par le christianisme, confirment et complètent ces affirmations philosophiques. Mais déjà au niveau de la réflexion philosophique, l'affirmation d'une auto-possession indestructible de l'esprit non seulement a un sens, mais elle s'impose comme impliquée dans l'être-esprit comme tel. Ainsi la mort, tout en restant la très réelle diminution d'être, que nous ressentons et abhorrons, est en même temps, et sans qu'il y ait contradiction, révélation de la plusvalue, de la transcendance définitive de l'esprit. (shrink)

Sometimes two expressions in a discourse can be about the same thing in a way that makes that very fact evident to the participants. Consider, for example, 'he' and 'John' in 'John went to the store and he bought some milk'. Let us call this 'de jure' coreference. Other times, coreference is 'de facto' as with 'Mark Twain' and 'Samuel Clemens' in a sincere use of 'Mark Twain is not Samuel Clemens'. Here, agents can understand the speech without knowing that (...) the names refer to the same person. After surveying many available linguistic and pragmatic tools (intentions to corefer, presuppositions, meanings, indexing, discourse referents, binding etc.) I conclude that we must posit a new semantic primitive to account for de jure coreference. (shrink)

In this paper, the author derives the Dedekind-Peano axioms for number theory from a consistent and general metaphysical theory of abstract objects. The derivation makes no appeal to primitive mathematical notions, implicit definitions, or a principle of infinity. The theorems proved constitute an important subset of the numbered propositions found in Frege's *Grundgesetze*. The proofs of the theorems reconstruct Frege's derivations, with the exception of the claim that every number has a successor, which is derived from a modal axiom (...) that (philosophical) logicians implicitly accept. In the final section of the paper, there is a brief philosophical discussion of how the present theory relates to the work of other philosophers attempting to reconstruct Frege's conception of numbers and logical objects. (shrink)

The over-arching theme is that we can redeem Frege's key philosophical insights concerning (natural and real) numbers and our knowledge of them, despite Russell's famous discovery of paradox in Frege's own theory of classes. That paradox notwithstanding, numbers are still logical objects, in some sense created or generated by methods or principles of abstraction— which of course cannot be as ambitious as Frege's Basic Law U. These principles not only bring numbers into existence, as it were, but also afford a (...) distinctive form of epistemic access to them. The usual mathematical axioms governing the two kinds of numbers are to be derived as results in (higher-order) logic. These derivations will exploit appropriate definitions of the primitive constants, functions, and predicates of the brand of number theory concerned. (For example: 0, 1; s, +, x; (; N(z); R(z).) No supplementation by intuition or sensory experience will be needed in the derivations of these axioms. The trains of reasoning involved will depend only on our grasp of logical validities, supplemented by appropriate definitions. Result: logicism is vindicated; and the mathematical knowledge derived in this way is revealed to be analytic, not synthetic. (shrink)

The fundamental principle of the theory of possible worlds is that a proposition p is possible if and only if there is a possible world at which p is true. In this paper we present a valid derivation of this principle from a more general theory in which possible worlds are defined rather than taken as primitive. The general theory uses a primitive modality and axiomatizes abstract objects, properties, and propositions. We then show that this general theory has (...) very small models and hence that its ontological commitments—and, therefore, those of the fundamental principle of world theory—are minimal. (shrink)

I distinguish Nature from the World. I also distinguish development from evolution. Development is progressive change and can be modeled as part of Nature, using a specification hierarchy. I have proposed a ‘canonical developmental trajectory’ of dissipative structures with the stages defined thermodynamically and informationally. I consider some thermodynamic aspects of the Big Bang, leading to a proposal for reviving final cause. This model imposes a ‘hylozooic’ kind of interpretation upon Nature, as all emergent features at higher levels would have (...) been vaguely and episodically present primitively in the lower integrative levels, and were stabilized materially with the developmental emergence of new levels. The specification hierarchy’s form is that of a tree, with its trunk in its lowest level, and so this hierarchy is appropriate for modeling an expanding system like the Universe. It is consistent with this model of differentiation during Big Bang development to view emerging branch tips as having been entrained by multiple finalities because of the top-down integration of the various levels of organization by the higher levels. (shrink)

This is a first attempt to formalize the language required for analysis of purposive organizations or systems into the subordinate systems of which they organically consist. The authors take a philosophic position midway between Atomism and the Absolute; like Aristotle, they take a finite, complex individual as the ultimate referent of explanation. The sole primitive is "s///tOx," interpreted as "upon analytic dissection, the system t organized by [the property] x." It is claimed without argument that the relationship is independent (...) of who, so to speak, is doing the dissecting. This paper is welcome as a first attack on a difficult problem, although it does not pay off in the production of non-trivial theorems or in clarification much beyond that afforded by technical English.--N. D. B. Jr. (shrink)

The paper surveys different notions of implicit definition. In particular, we offer an examination of a kind of definition commonly used in formal axiomatics, which in general terms is understood as providing a definition of the primitive terminology of an axiomatic theory. We argue that such “structural definitions” can be semantically understood in two different ways, namely as specifications of the meaning of the primitive terms of a theory and as definitions of higher-order mathematical concepts or structures. We (...) analyze these two conceptions of structural definition both in the history of modern axiomatics and in contemporary philosophical debates. Based on that, we give a systematic assessment of the underlying semantics of these two ways of understanding the definiens of such definitions, by considering alternative model-theoretic and inferential accounts of meaning. (shrink)

This article addresses the ways in which art and philosophy have been discursively used to conceptualize critical political changes and frame narratives of liberation by including and excluding primitive consciousness simultaneously. More concretely, it analyzes the contribution of art and philosophy to the understanding of history and post-history through different representations of black bodies, black desires, and black agencies in the novels She (1886) by Rider Haggard and The Quest of the Silver Fleece (1911) by W. E. B. Du (...) Bois. At stake is the question of the archeology of the past as a living memory in the post-historical time. This past is politically relevant especially if its cognitive fossils negate the idea of exhausted primitive consciousness in the modern world and give meanings to incongruous bedfellows such as civilization and slavery, neoliberalism and poverty, democracy and Nazism, globalization, terrorism and racism, liberalism and homophobia. Arguably, the triumph of scientific ideas has left us with a perpetual quest for liberation rather than the actualization of liberation as a world phenomenon. I hypothesize the relation between exhaustible elements of technical consciousness simulating progress and their inexhaustible materiality at critical historical junctures as a struggle for taste and self-determination. Critical in this relation is the sense that not only primitive stages of consciousness are never fully exhausted at historical junctures, but that one never comes close to thinking about genuine liberation without engaging with real world matters both domestic/intimate and foreign. (shrink)

v. 1. Aesthetic beauty & bliss in Indian literature & philosophy -- v. 2. Two streams of Indian Art. pt. 1. History, thoughts, and canon of Indian iconography -- pt. 2. The Tāntrika iconography -- pt. 3. Indian gesturology -- pt. 4. Primitive arts, crafts, and ālpanā.

L'A. présente en premier lieu une histoire textuelle du Siracide, puis il étudie sa situation dans le judaïsme rabbinique et dans l'Eglise primitive.

In this paper I propose a fundamental modification of standard type theory, produce a new kind of type theoretic language, and couch in this language a comprehensive theory of abstract individuals and abstract properties and relations of every type. I then suggest how to employ the theory to solve the four following philosophical problems: the identification and ontological status of Frege's Senses; the deviant behavior of terms in propositional attitude contexts; the non-identity of necessarily equivalent propositions, and the paradox of (...) analysis. We can roughly describe these solutions as follows: the senses of English names and descriptions which denote individuals will be modelled as abstract individuals; the senses of English relation denoting expressions of a given type will be modelled as abstract relations of that type. Inside de dicto attitude contexts, these English expressions denote their senses. Relations and propositions will not be identified with their extensions, nor with functions or sets of any kind. They will be taken as primitive, and precise being and identity conditions will be proposed consistent with the view that necessarily equivalent relations and propositions may be distinct. With the modelling described in, the expressions being a brother and being a male sibling may both denote the same property, though their senses may differ. Just as Frege predicts, being a brother just is being a male sibling is an informative identity statement because the terms flanking the identity sign have the same denotation, though distinct senses. (shrink)

The articles reviews the problem of humanitarian terrorism that is a terrorism of self-proclaimed humanitarian goals and self-inflicted constraints. This type of terrorism justifies itself by lofty aspirations and claims that its actions are targeted killings of guilty individuals only. This terrorism is the product of the Enlightenment, it emerged by the end of the 18th century and passed three stages in its development. The first stage is the classical terror of the Jacobins 1793–1794. The second one is Russian revolutionary (...) terror of the end of the 19th – early 20th centuries. The third stage is the contemporary American warfare waged by the unmanned aerial vehicles, called drones. From the perspective of the contemporary just war theory, this terrorism is not only morally superior to the ordinary primitive terrorism of straightforward attacks on civilians (this terrorism may be no less fair in terms of self-imposed goals, but is doubtful in terms of means), but even contemporary war. Terrorists of this type kill the few but teach a lesson to many. But it must be clearly born in mind that humanitarian terrorism is not only the summit of just war but also the summit of absolute war. It is founded in personal and individual enmity, which makes the core of absolute enmity. Absolute enmity may at times be inevitable and even justified, but it blocks the road to peace. Revengeful spite, stemming from absolute enmity, is capable of creating its own phantoms of justice, propelling the war. The author concludes that the vicious circle is thus completed. The logic of just war drags in the direction humanitarian terrorism, humanitarian terrorism drags in the mire of absolute enmity. Absolute enmity proclaims just war. (shrink)

What has been learned about logic by means of "uninterpreted" logistic systems can be supplemented by comparing the latter with systems which are more uninterpreted, as well as with others which are less uninterpreted than the well-known logistic systems. By somewhat extending the meaning of 'uninterpreted', I hope to establish certain claims about the nature of logistic systems and also to cast some light on the nature of "logic itself." My procedure involves looking at three major "degrees" of interpretation: first, (...) systems uninterpreted both semantically and syntactically, second, systems uninterpreted semantically but not syntactically, and third, systems uninterpreted neither semantically nor syntactically. We shall be forced to limit ourselves to the truth-functional part of logic in this brief study. What are usually called uninterpreted systems can be seen on a continuum of "degrees" of interpretation, from ordinary reasoning at one extreme to a "thoroughly uninterpreted system" at the other. "Logic itself" apparently lies nearer to the interpreted, deformalized end of the spectrum than to the uninterpreted, formalized end. Logic is not identical with any particular logistic system, but is that which the particular logistic systems aim to formalize or model or capture. I propose that it is that minimum set of logical, rather than syntactical, primitive terms, definitions, and rules which is needed to generate logically, rather than syntactically, the principles of ordinary reasoning as it is used by logicians in their metalinguistic discussions and informal proofs of metatheorems. This minimum set is somewhat larger than the primitive bases of most logistic systems; its truth-functional part is presented in the "Deformalized Logic" at degree twelve. (shrink)

In 1919 Emily James Putnam gave twelve lectures at the New School under the title of “Habit and History.” The course description is as follows:The long predominance of habitual conduct over individual initiative in primitive society and in the early empires; the biological and social limitations which tend to foster habit and develop it beyond its proper sphere; the technique of habitbreaking inaugurated by the Greeks and becoming a characteristic of western society; an effort to appraise the amount of (...) excessive and undesirable habit in thought and action generally connected with such concepts as nationalism, religion, the status of women, etc.It is an interesting challenge, eighty-two years later, to try to understand what Mrs. James meant by that description and how to think about those issues today. Mrs. James contrasts the term `habitual conduct' to the term `individual initiative,' and finds the former more characteristic of primitive society and the early empires whereas the latter, beginning with the habit-breaking Greeks, is more characteristic of Western society. She does not reject habit altogether, indicating that it has a `proper sphere,' but only `excessive and undesirable habit,' and she suggests that nationalism, religion and the status of women are spheres where such excessive and undesirable habits are to be found.Without being able to peruse her lectures in detail, I cannot be sure of all that she is implying. One might note that in her contrast between habit and individual initiative she privileges, as until recently we have been wont to do, the West as against the rest. This contrast, with its whiff of Orientalism, might serve to warn us that, although the contrast at the heart of her lecture series is still part of our common sense today, it, like the contrast between the West and the non-West, ought not be affirmed until subjected to a degree of critical suspicion. (shrink)

This work is an introductory textbook for deductive logic being primarily concerned with truth-functional logic, but also containing an introduction to syllogisms with the application of Venn diagrams, an introduction to quantification theory, and a brief discussion of axiom systems. Harrison employs six logical operators in his truth-functional calculus, including both inclusive and exclusive disjunction. The six operators are initially defined by truth tables, but in the natural deduction presentation negation and conjunction are taken as primitive and the other (...) connectives are defined in terms of these two. The conditional and indirect methods of proof are included with the approach being essentially the same as that given in Copi’s Symbolic Logic. Categorical statements and syllogisms are analyzed from both hypothetical and existential viewpoints. The treatment of quantification theory includes two-place predicates and employs the four standard rules for generalization and instantiation. The book contains an abundance of explanations, examples, and exercises. Selected answers, usually for the odd numbered problems, are given in an appendix.—T. G. N. (shrink)

We describe a dual-process theory of how individuals estimate the probabilities of unique events, such as Hillary Clinton becoming U.S. President. It postulates that uncertainty is a guide to improbability. In its computer implementation, an intuitive system 1 simulates evidence in mental models and forms analog non-numerical representations of the magnitude of degrees of belief. This system has minimal computational power and combines evidence using a small repertoire of primitive operations. It resolves the uncertainty of divergent evidence for single (...) events, for conjunctions of events, and for inclusive disjunctions of events, by taking a primitive average of non-numerical probabilities. It computes conditional probabilities in a tractable way, treating the given event as evidence that may be relevant to the probability of the dependent event. A deliberative system 2 maps the resulting representations into numerical probabilities. With access to working memory, it carries out arithmetical operations in combining numerical estimates. Experiments corroborated the theory's predictions. Participants concurred in estimates of real possibilities. They violated the complete joint probability distribution in the predicted ways, when they made estimates about conjunctions: P, P, P, disjunctions: P, P, P, and conditional probabilities P, P, P. They were faster to estimate the probabilities of compound propositions when they had already estimated the probabilities of each of their components. We discuss the implications of these results for theories of probabilistic reasoning. (shrink)

This volume offers to the English-speaking world a collection of important works by the eminent twentieth century logician, Jan Lukasiewicz, many of which are here translated into English for the first time. This edition differs significantly from the Polish edition which appeared in 1961—containing ten logic papers not appearing there and omitting articles primarily of interest to the Polish reader. In addition to writing in Polish, Lukasiewicz also published works in French, English, and notably in German, and sometimes translated his (...) own works from one language to another. One of the most valuable works on the history of logic is Lukasiewicz’ paper, "On the History of the Logic of Propositions". Lukasiewicz points out the difference between the two basic areas of formal logic, the logic of propositions and the logic of terms, undifferentiated before the development of modern mathematical logic. The understanding of this distinction leads Lukasiewicz to trace the history of propositional logic back to its original development by the Stoics, its further development by the medieval Scholastics, and its axiomatization by Gottlob Frege. The status of mathematical logic is discussed in various works. The most basic system is propositional logic, upon which depend the other logical disciplines and also mathematics. Mathematical logic, also called logistic, is independent of philosophy and espouses no philosophical viewpoint. Early in his career, Lukasiewicz refers to mathematical logic as the logic of algebra and uses mathematical symbolism to represent logical propositions. Later he introduces what we now call "Polish notation," in particular, "Cpq" for "if p, then q" and "Np" for "it is not the case that p" for the primitive functions, eliminating the need for punctuation. He adopts the symbols Π and Σ for quantification from Charles S. Peirce, and also brings to light the almost unknown fact that it was Peirce who invented the matrix method in 1885. The paper, "Investigations into the Sentential Calculus", written by Lukasiewicz and Tarski embodies the results of a decade of research on the sentential calculus initiated by Lukasiewicz at the University of Warsaw systematically compiling the contributions of five logicians: Lindenbaum, Sobocinski, Wajsberg, Tarski, and Lukasiewicz. The approach is metalogical and depends heavily upon set theoretic concepts; it covers both the matrix and axiomatic methods. One of the problems that preoccupied Lukasiewicz was that of determinism, which led to his development of three-valued logic. A proposition such as "I shall be in Warsaw at noon on 21 December of next year" is neither true nor false; a third truth value is needed, one which Lukasiewicz calls "the possible." Another area to which Lukasiewicz contributed is modal logic, proving that modal logic cannot be two-valued. Lukasiewicz’ analysis and axiomatization of Aristotle’s syllogistic is not included in the present volume since an English edition by Lukasiewicz on this topic is available. We have here briefly touched upon a few of Lukasiewicz’ numerous achievements in logic; the best means of appreciating them is to read his works.—T. G. N. (shrink)

Pain is not a primitive sensory event but rather a complexperception and a process by which a person interacts with theinternal and external environments, constructs meaning, andengages in action. Because folk beliefs are central to meaning,folk concepts of pain play multiple causal roles in a painpatient's interaction with health care providers and others.In every case, the notion of pain is linked to a goal-directedbehavior that is useful to the person. The wide variation inconcepts of pain across individuals suffering with (...) painunderscores the richness and complexity of the pain experience.In some cases involving chronic pain, the patient may form amaladaptive cluster of behaviors around the concept of pain.Patient beliefs and expectations are an important part of manychronic pain syndromes, and patients can benefit fromintervention directed at revising the individual's folk model of pain. Memetics offers a framework for identifying the memesthat patients hold and determining whether patient memes fitor clash with provider memes. (shrink)

The paper addresses the use of heterogeneous ensembles of intelligent unmanned vehicles in such a perspective field of innovations as an unmanned fishery. The issues of joint activity of unmanned vehicles of different types in fishing operations based on intelligent technologies are investigated. The “smart fishing” approach based on the joint fishing operation model is proposed. The operational framework that includes missions, roles, and activity scenarios embedded in the discretized spatial model is presented. The scenario activities are considered as the (...) sequences of pentad that determine executing specific functions concerning the specified waypoint, timepoints, and the states of vehicles. The definition of the plan as the scenario prototype that needs adjusting to the conditions of the situational context is proposed. The coordination problem regarding the joint activities of the unmanned vehicles and their scenarios is defined and the coordination framework based on the distributed common board model and coordination primitives is presented. The prototype of the intelligent scenario-based system including the implementation of both operational and coordination frameworks developed for the control of unmanned vehicles is described. This system makes unmanned vehicles capable to absorb all the latest advances in intelligent technologies to perform smart fishing operations jointly in a large heterogeneous group. The proposed approach to smart fishing using intelligent technologies makes it possible to detach fishermen from the fishing activities dangerous to their life and health, to reduce significantly poaching and illegal fishing, to increase the overall efficiency of fishing operations, and even to save the marine ecosystem. (shrink)

Let the chain antichain principle (CAC) be the statement that each partial order on $\mathbb{N}$ possesses an infinite chain or an infinite antichain. Chong, Slaman, and Yang recently proved using forcing over nonstandard models of arithmetic that CAC is $\Pi^1_1$-conservative over $\text{RCA}_0+\Pi^0_1\text{-CP}$ and so in particular that CAC does not imply $\Sigma^0_2$-induction. We provide here a different purely syntactical and constructive proof of the statement that CAC (even together with WKL) does not imply $\Sigma^0_2$-induction. In detail we show using a (...) refinement of Howard's ordinal analysis of bar recursion that $\text{WKL}_0^\omega+\text{CAC}$ is $\Pi^0_2$-conservative over PRA and that one can extract primitive recursive realizers for such statements. Moreover, our proof is finitary in the sense of Hilbert's program. CAC implies that every sequence of $\mathbb{R}$ has a monotone subsequence. This Bolzano-Weierstraß}-like principle is commonly used in proofs. Our result makes it possible to extract primitive recursive terms from such proofs. We also discuss the Erdős-Moser principle, which—taken together with CAC—is equivalent to $\text{RT}^2_2$. (shrink)

[opening paragraph]: If we think intuitively and non-professionally about the evolution of consciousness, the following is a compelling thought. What the emergence of consciousness made possible, uniquely in the natural world, was the capacity for representing the world, and, hence, for acquiring knowledge about it. This is the kind of thought that surfaces when, for example, we make explicit what lies behind wondering whether a frog, as compared to a dog, say, is conscious. The thought that it might not be (...) is closely bound up with doubts about whether there is a world out there for it. Such doubts are reinforced by neurophysiological and psychological theories to the effect that its purpose-specific, bug-detecting input does not provide for a connected spatial representation of the environment. Or rather there is no need to postulate such a representation in order to explain its tongue lashing out to catch the bug. Reflecting further, it seems that something else critical is lacking, or not necessarily present, in the explanation of the movement of the frog's tongue, namely the kind of appeal we normally make to another major feature we think consciousness introduced into world -- wants, emotions, desires, or, more generally, affective states and events. Without their existence, the intuition is, all we have are, at most, non-conscious information processing mechanisms. And when we ask what is required for desires and the like to be in play, we seem to come full circle. For whether or not it is correct to speak of individual desires for specific things in the world seems to have some kind of dependence on whether the organism in question is capable of representing those things, which in turn seems to depend on whether there is a world out there for it. And finally we tend to think that it is only when we have in play this kind of explanation of movement that action and agency appear on the scene. (shrink)

LetA≤Bbe structures, and${\cal K}$a class of structures. An elementb∈BisdominatedbyArelative to${\cal K}$if for all${\bf{C}} \in {\cal K}$and all homomorphismsg,g':B → Csuch thatgandg'agree onA, we havegb=g'b. Our main theorem states that if${\cal K}$is closed under ultraproducts, thenAdominatesbrelative to${\cal K}$if and only if there is a partial functionFdefinable by a primitive positive formula in${\cal K}$such thatFB =bfor somea1,…,an∈A. Applying this result we show that a quasivariety of algebras${\cal Q}$with ann-ary near-unanimity term has surjective epimorphisms if and only if$\mathbb{S}\mathbb{P}_n \mathbb{P}_u \left$has surjective epimorphisms. (...) It follows that if${\cal F}$is a finite set of finite algebras with a common near-unanimity term, then it is decidable whether the variety generated by${\cal F}$has surjective epimorphisms. (shrink)

Wittgenstein’s N-operator is a ‘primitive sign’ which shows every complex proposition is the result of the truth-functional combination of a finite number of component propositions, and thus provid...

The paper builds on both a simply typed term system ${\cal PR}^\omega$ and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion of partial primitive recursive functional on Scott domains $D_\rho$ supporting a suitable concept of parallelism. Computability on Scott domains seems to entail that Kleene's schema of higher type simultaneous course-of-values recursion (scvr) is not reducible to partial primitive recursion. So extensions ${\cal PR}^{\omega e}$ and PTWP $^e$ are (...) studied that are closed under scvr. The twist are certain type 1 Gödel recursors ${\cal R}_k$ for simultaneous partial primitive recursion. Formally, ${\cal R}_k\vec{g}\vec{H}xi$ denotes a function $f_i \in D_{\iota\to\iota}$ , however, ${\cal R}_k$ is modelled such that $f_i$ is finite, or in other words, a partial sequence. As for PTWP $^e$ , the concept of type $\iota\to\iota$ writable variables is introduced, providing the possibility of creating and manipulating partial sequences. It is shown that the PTWP $^e$ -computable functionals coincide with those definable in ${\cal PR}^{\omega e}$ plus a constant for sequential minimisation. In particular, the functionals definable in ${\cal PR}^{\omega e}$ denoted ${\cal R}^{\omega e}$ can be characterised by a subclass of PTWP $^e$ -computable functionals denoted ${\rm PPR}^{\omega e}$ . Moreover, hierarchies of strictly increasing classes ${\cal R}^{\omega e}_n$ in the style of Heinermann and complexity classes ${\rm PPR}^{\omega e}_n$ are introduced such that $\forall n\ge 0. {\cal R}^{\omega e}_n ={\rm PPR}^{\omega e}_n$ . These results extend those for ${\cal PR}^\omega$ and PTWP [Nig94]. Finally, scvr is employed to define for each type $\sigma$ the enumeration functional $E^\sigma$ of all finite elements of $D_\sigma$. (shrink)

In his account of primitive people in D.R.N. 5 Lucretius says that they led a wandering, nomadic sort of existence ; ignorant of agriculture and husbandry, they were content to eat nuts and berries and the like , while streams and springs called them to quench their thirst : denique nota vagis silvestria templa tenebant nympharum… The rest of the sentence is a lush description of the streams which welled up from those woodland shrines, washing over rocks and moss, (...) and sometimes breaking out over the plain. (shrink)

We examine some extensions of the constructive propositional logic with strong negation in the setting of varieties of $\mathcal{N}$ -lattices. The main aim of the paper is to give a description of all pretabular, primitive and preprimitive varieties of $\mathcal{N}$ -lattices.

A basis for a set C of functions on natural numbers is a set F of functions such that C is the closure with respect to substitution of the projection functions and the functions in F. This paper introduces three new bases, comprehending only common functions, for the Grzegorczyk classes ℰ_n with n ≥ 3. Such results are then applied in order to show that ℰ_{n+1} = K_n for n ≥ 2, where {K_n}n∈ℕ is the Axt hierarchy.

Let F be a signature and R a strictly orthogonal rewrite system on ground terms of F . We give an effective proof of a bounding condition for R , based on a detailed analysis of how terms are transformed during the rewrite process, which allows us to give recursive bounds on the derivation lengths of terms. We give a syntactic characterisation of the Grzegorczyk hierarchy and a rewriting schema for calculating its functions. As a consequence of this, using results (...) of Elias Tahhan–Bittar, it can be shown that, for n⩾3 , the derivation length functions for functions in Grzegorczyk class E n belong to Grzegorczyk class E n+1 . We also give recursive bounds for the derivation lengths of functions defined by parameter recursion. (shrink)

The paper deals with pp formulas in the language of reduced special groups, and the question of when the validity of a pp formula on each finite subspace of a space of orderings implies its global validity [18]. A large new class of pp formulas is introduced for which this is always the case, assuming the space of orderings in question has finite stability index. The paper also considers pp formulas of the special type $b\in \Pi _{i=1}^{n}\,D\langle 1,a_{i}\rangle $. Formulas (...) of this type with n = 3 are the simplest sort of pp formula not covered by the result, and are also the source of the recent counterexamples in [9] and [19]. (shrink)

Constructions of the animal and animality are often pivotal to religious discourses. Such constructions create the possibility of identifying and valuing what is "human" as opposed to the "animal" and also of distinguishing human beliefs and behaviors that can be characterized as being animal from those that are "truly human." Some discourses also employ the concept of savagery as a bridge between the human and the animal, where the form of humanity but not its ideal beliefs and practices can be (...) displayed. This paper explores the work of the influential scientist, philosopher, and theologian A. N. Whitehead in this context. His ideas of what constitutes "the animal," the "primitive" and the "civilized" are laid out explicitly in his now little-used history of religions text, Religion in the Making. This paper explores these ideas in this history and then considers how the same ideas permeate his currently more popular philosophical and theological writing Process and Reality. Drawing on some work in post-colonial theory, the paper offers a critique of this understanding of animality, savagery, and civilization and suggests that using Whitehead to underpin modern theological work requires considerable caution. (shrink)

In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤n<ω, for da Costa's hierarchy of propositional paraconsistent logics Cn, 1≤n<ω. In our tableaux formulation, we introduce da Costa's “ball” operator “o”, the generalized operators “k” and “(k)”, for 1≤k, and the negations “~k”, for k≥1, as primitive operators, differently to what has been done in the literature, where these operators are usually defined operators. We prove a version of Cut Rule for the TNDC n, (...) 1≤n<ω, and also prove that these systems are logically equivalent to the corresponding systems Cn, 1≤n<ω. The systems TNDC n constitute completely automated theorem proving systems for the systems of da Costa's hierarchy Cn, 1≤n<ω. (shrink)

In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤nprimitive operators, differently to what has been done in the literature, where these operators are usually defined operators. We prove a version of Cut Rule for the TNDC n, (...) 1≤nshrink)

We study the arithmetical schema asserting that every eventually decreasing elementary recursive function has a limit. Some other related principles are also formulated. We establish their relationship with restricted parameter-free induction schemata. We also prove that the same principle, formulated as an inference rule, provides an axiomatization of the Σ2-consequences of IΣ1.Using these results we show that ILM is the logic of Π1-conservativity of any reasonable extension of parameter-free Π1-induction schema. This result, however, cannot be much improved: by adapting a (...) theorem of D. Zambella and G. Mints we show that the logic of Π1-conservativity of primitive recursive arithmetic properly extends ILM.In the third part of the paper we give an ordinal classification of -consequences of the standard fragments of Peano arithmetic in terms of reflection principles. This is interesting in view of the general program of ordinal analysis of theories, which in the most standard cases classifies Π-classes of sentences. (shrink)

L’orthodoxie dans la littérature florissante au sujet de la fondation (grounding) suggère que cette notion ne peut être analysée ou exprimée en terme d’aucune autre. Par ailleurs, le primitivisme à propos de l’essence est considéré comme très plausible depuis l’article influent de Kit Fine à ce sujet. Cela contraint les philosophes qui emploient ces deux notions à accepter une position doublement primitiviste. Mon objectif principal est de proposer une définition de la fondation en terme d’essence. Je commencerai par présenter la (...) conception positive en question, puis je montrerai la façon dont elle répond à un certain nombre d’objections à son encontre. L’apport d’une telle approche, si elle est couronnée de succès, devrait être évident : les philosophes qui acceptent la fondation comme notion primitive n’auront plus à le faire, pour autant qu’ils emploient déjà la notion d’essence. Pour ceux qui refusaient de parler de fondation sous prétexte que la notion était indéfinissable, la présence d’une définition éliminera ipso facto leur raison d’être sceptique. (shrink)

In choosing between moral alternatives -- choosing between various forms of ethical action -- we typically make calculations of the following kind: A is better than B; B is better than C; therefore A is better than C. These inferences use the principle of transitivity and are fundamental to many forms of practical and theoretical theorizing, not just in moral and ethical theory but in economics. Indeed they are so common as to be almost invisible. What Larry Temkin's book shows (...) is that, shockingly, if we want to continue making plausible judgments, we cannot continue to make these assumptions. Temkin shows that we are committed to various moral ideals that are, surprisingly, fundamentally incompatible with the idea that "better than" can be transitive. His book develops many examples where value judgments that we accept and find attractive, are incompatible with transitivity. While this might seem to leave two options -- reject transitivity, or reject some of our normative commitments in order to keep it -- Temkin is neutral on which path to follow, only making the case that a choice is necessary, and that the cost either way will be high. Temkin's book is a very original and deeply unsettling work of skeptical philosophy that mounts an important new challenge to contemporary ethics. (shrink)