An important part of the theory of algebraizable sentential logics consists of studying the algebraic semantics of these logics. As developed by Czelakowski, Blok, and Pigozzi and Font and Jansana, among others, it includes studying the properties of logical matrices serving as models of deductive systems and the properties of abstract logics serving as models of sentential logics. The present paper contributes to the development of the categorical theory by abstracting some of these model theoretic aspects and results from (...) the level of sentential logics to the level of π-institutions. (shrink)

Finitely algebraizable deductive systems were introduced by Blok and Pigozzi to capture the essential properties of those deductive systems that are very tightly connected to quasivarieties of universal algebras. They include the equivalential logics of Czelakowski. Based on Blok and Pigozzi’s work, Herrmann defined algebraizable deductive systems. These are the equivalential deductive systems that are also truth-equational, in the sense that the truth predicate of the class of their reduced matrix models is explicitly definable by some set of (...) unary equations. Raftery undertook the task of characterizing the property of truth-equationality for arbitrary deductive systems. In this paper, following Raftery, we extend the notion of truth-equationality for logics formalized as $\pi$-institutions and abstract several of the results that hold for deductive systems in this more general categorical context. (shrink)

A category theoretic generalization of the theory of algebraizable deductive systems of Blok and Pigozzi is developed. The theory of institutions of Goguen and Burstall is used to provide the underlying framework which replaces and generalizes the universal algebraic framework based on the notion of a deductive system. The notion of a term -institution is introduced first. Then the notions of quasi-equivalence, strong quasi-equivalence and deductive equivalence are defined for -institutions. Necessary and sufficient conditions are given for the (...) quasi-equivalence and the deductive equivalence of two term -institutions, based on the relationship between their categories of theories. The results carry over without any complications to institutions, via their associated -institutions. The -institution associated with a deductive system and the institution of equational logic are examined in some detail and serve to illustrate the general theory. (shrink)

Given a π -institution I , a hierarchy of π -institutions I is constructed, for n ≥ 1. We call I the n-th order counterpart of I . The second-order counterpart of a deductive π -institution is a Gentzen π -institution, i.e. a π -institution associated with a structural Gentzen system in a canonical way. So, by analogy, the second order counterpart I of I is also called the “Gentzenization” of I . In the main result (...) of the paper, it is shown that I is strongly Gentzen , i.e. it is deductively equivalent to its Gentzenization via a special deductive equivalence, if and only if it has the deduction-detachment property. (shrink)

Recently, Caleiro, Gon¸calves and Martins introduced the notion of behaviorally algebraizable logic. The main idea behind their work is to replace, in the traditional theory of algebraizability of Blok and Pigozzi, unsorted equational logic with multi-sorted behavioral logic. The new notion accommodates logics over many-sorted languages and with non-truth-functional connectives. Moreover, it treats logics that are not algebraizable in the traditional sense while, at the same time, shedding new light to the equivalent algebraic semantics of logics that are (...) algebraizable according to the original theory. In this paper, the notion of an abstract multi-sorted π-institution is introduced so as to transfer elements of the theory of behavioral algebraizability to the categorical setting. Institutions formalize a wider variety of logics than deductive systems, including logics involving multiple signatures and quantifiers. The framework developed has the same relation to behavioral algebraizability as the classical categorical abstract algebraic logic framework has to the original theory of algebraizability of Blok and Pigozzi. (shrink)

Metalogical properties that have traditionally been studied in the deductive system context (see, e.g., [21]) and transferred later to the institution context [33], are here formulated in the -institution context. Preservation under deductive equivalence of -institutions is investigated. If a property is known to hold in all algebraic -institutions and is preserved under deductive equivalence, then it follows that it holds in all algebraizable -institutions in the sense of [36].

Protoalgebraic logics are characterized by the monotonicity of the Leibniz operator on their theory lattices and are at the lower end of the Leibniz hierarchy of abstract algebraic logic. They have been shown to be the most primitive among those logics with a strong enough algebraic character to be amenable to algebraic study techniques. Protoalgebraic π-institutions were introduced recently as an analog of protoalgebraic sentential logics with the goal of extending the Leibniz hierarchy from the sentential framework to the π- (...) class='Hi'>institution framework. Many properties of protoalgebraic logics, studied in the sentential logic framework by Blok and Pigozzi, Czelakowski, and Font and Jansana, among others, have already been adapted in previous work by the author to the categorical level. This work aims at further advancing that study by exploring in this new level some more properties of protoalgebraic sentential logics. (shrink)

In this note, it is shown that, given a π -institution ℐ = 〈Sign, SEN, C 〉, with N a category of natural transformations on SEN, every theory family T of ℐ includes a unique largest theory system equation image of ℐ. equation image satisfies the important property that its N -Leibniz congruence system always includes that of T . As a consequence, it is shown, on the one hand, that the relation ΩN = ΩN characterizes N -protoalgebraicity inside (...) the class of N -prealgebraic π -institutions and, on the other, that all N -Leibniz theory families associated with theory families of a protoalgebraic π -institution ℐ are in fact N -Leibniz theory systems. (shrink)

An algebraization of multi-signature first-order logic without terms is presented. Rather than following the traditional method of choosing a type of algebras and constructing an appropriate variety, as is done in the case of cylindric and polyadic algebras, a new categorical algebraization method is used: The substitutions of formulas of one signature for relation symbols in another are treated in the object language. This enables the automatic generation via an adjunction of an algebraic theory. The algebras of this theory are (...) then used to algebraize first-order logic. (shrink)

Czelakowski introduced the Suszko operator as a basis for the development of a hierarchy of non-protoalgebraic logics, paralleling the well-known abstract algebraic hierarchy of protoalgebraic logics based on the Leibniz operator of Blok and Pigozzi. The scope of the theory of the Leibniz operator was recently extended to cover the case of, the so-called, protoalgebraic π-institutions. In the present work, following the lead of Czelakowski, an attempt is made at lifting parts of the theory of the Suszko operator to the (...) π-institution framework. (shrink)

One of the important determinants of development during the transition to adulthood is the undertaking of social roles characteristic of adults, also in the area of finishing formal education, which usually coincides with beginning fulltime employment. In the study discussed in this paper, it has been hypothesized that continuing full-time education above the age of 26, a phenomenon rarely observed in Poland, can be considered as an unpunctual event that may be connected with difficulties in the process of identity formation. (...) Relationships between identity dimensions and identity statuses, and age and educational context were analyzed. 693 individuals aged 19-35 took part in the study. The participants attended three types of educational institutions: full-time university studies, part-time university studies, and full-time post-secondary school. Among the students of full-time university studies predictable dependencies, also in respect of highlevels of indicators of identity crisis and a high frequency of diffused identity occurrence, were observed. Such dependencies were not found in the group of full-time post-secondary school students. (shrink)

Even after yet another grand conjecture has been proved or refuted, any omniscience principle that had trivially settled this question is just as little acceptable as before. The significance of the constructive enterprise is therefore not affected by any gain of knowledge. In particular, there is no need to adapt weak counterexamples to mathematical progress.

Volume 37, Issue 1-2, March - June 2024, Page 69-73.

Different researchers from psychology and neuroscience state that navigation involves the manipulation of cognitive maps and graphs. In this paper, I will argue that navigating – specifically, journey planning – can be conceived as a process of practical reasoning. First, I will argue that journey planning constitutes a case of means-end reasoning involving inferences with cartographic representations. Then, I will argue that the output of journey planning functions as an instrumental belief in means-end reasoning. More specifically, journey planning can deliver (...) an instrumental rule that plays a normative role in spatial cognition. This approach motivates a pluralist conception of practical reasoning, stating that inferences might run through different representational formats and processes. (shrink)

Frege’s Begriffsschrift account of modality involves both a negative and a positive claim. The negative claim is that modal notions are logically insignificant; the positive claim is that modals convey a ‘hint’ (Wink) as to the speaker’s grounds for judgement. This paper is about Frege’s positive claim, which has not received much attention. I explain in detail the Fregean notion of hinting and how to distinguish hints from conceptual contents, and I argue that Frege’s two-dimensional account of modal talk is (...) supported by various observations. However, it also seems clear that Frege’s account cannot be the whole story. (shrink)

In the paper we study the class of weakly algebraizable logics, characterized by the monotonicity and injectivity of the Leibniz operator on the theories of the logic. This class forms a new level in the non-linear hierarchy of protoalgebraic logics.

The best known algebraizable logics with a conjunction and an implication have the property that the conjunction defines a meet semi-lattice in the algebras of their algebraic counterpart. This property makes it possible to associate with them a semi-lattice based deductive system as a companion. Moreover, the order of the semi-lattice is also definable using the implication. This makes that the connection between the properties of the logic and the properties of its semi-lattice based companion is strong. We introduce (...) a class of algebraizable deductive systems that includes those systems, and study some of their properties and of their semi-lattice based companions. We also study conditions which, when satisfied by a deductive system in the class, imply that it is strongly algebraizable. This brings some information on the open area of research of Abstract Algebraic Logic which consists in finding interesting characterizations of classes of algebraizable logics that are strongly algebraizable. (shrink)

Volume 24, Issue 11, November 2024, Page 89-91.

The general methodology of "algebraizing" logics is used here for combining different logics. The combination of logics is represented as taking the colimit of the constituent logics in the category of algebraizable logics. The cocompleteness of this category as well as its isomorphism to the corresponding category of certain first-order theories are proved.

This paper develops an order-theoretic generalization of Blok and Pigozziʼs notion of an algebraizable logic. Unavoidably, the ordered model class of a logic, when it exists, is not unique. For uniqueness, the definition must be relativized, either syntactically or semantically. In sentential systems, for instance, the order algebraization process may be required to respect a given but arbitrary polarity on the signature. With every deductive filter of an algebra of the pertinent type, the polarity associates a reflexive and transitive (...) relation called a Leibniz order, analogous to the Leibniz congruence of abstract algebraic logic . Some core results of AAL are extended here to sentential systems with a polarity. In particular, such a system is order algebraizable if the Leibniz order operator has the following four independent properties: it is injective, it is isotonic, it commutes with the inverse image operator of any algebraic homomorphism, and it produces anti-symmetric orders when applied to filters that define reduced matrix models. Conversely, if a sentential system is order algebraizable in some way, then the order algebraization process naturally induces a polarity for which the Leibniz order operator has properties –. (shrink)

Using data on submitted and published manuscripts in Feminist Economics from 1995 to 2019, we examine differences in method and scope used by authors residing in the Global North and Global South. We specifically focus on research methods, intersectional analyses, region of analysis, and co-authorship status. Further, using logistic regression models, we examine the relationship between authors’ location and use of research methods. We find authors in the Global South are more likely to engage in empirical and mixed-methods papers compared (...) to Global North authors in our sample. Moreover, a greater share of Global South authors engage in intersectional analysis and exhibit geographical focus on developing countries. Drawing insights from the Feminist Economics manuscripts data, we argue that encouraging Global South research can contribute to the goals of the field of feminist economics – aimed at inclusivity, diversity of standpoints, and plurality in research methods, thereby improving overall economic research. (shrink)

While the story of Stanislav Petrov – the Soviet Lieutenant Colonel who likely saved the world from nuclear holocaust in 1983 – is often trotted out to advocate for the view that human beings ought to be kept “in the loop” of automated weapons’ responses, I argue that the episode in fact belies this reading. By attending more closely to the features of this event – to Petrov’s professional background, to his familiarity with the warning system, and to his decisions (...) to defy his protocol – it becomes clear that Petrov was not seamlessly working “in his loop,” but reassessing it entirely. I claim that this exhibits a paradox intrinsic to all automated loops: namely, that their optimum function in fact rests on unforeseen human interventions that cannot be reliably codified ex ante, that is, that good judgment cannot simply be “programmed into” their protocols. This dependence, moreover, reveals automation’s ineluctable need for virtue ethics – not in the usual sense (whereby ethics deliberates about, say, possible damages and loss of life), but in the sense that ethical judgment, rightly understood, entails the reassessment of all of the conditions surrounding a decision, including whether a protocol should be followed at all. (shrink)

This article offers a novel interpretation of enacted knowledge through the lens of Wang Yangming’s theory of the unity of knowledge and action. By framing Wang’s concept of knowledge within an enactive model, it advances a holistic perspective that integrates mind, body, and world, as well as knowledge and action, into a unified whole. To bridge historical analysis with contemporary philosophical discourse, this article engages in dialogue with Harvey Lederman’s introspective model, offering a complementary framework that, together, provides a more (...) precise and comprehensive understanding of Wang’s philosophy. Moving beyond Lederman’s dichotomy of correspondence and identity, I introduce a third interpretation of ‘unity’: the Continuum Thesis. This interpretation places a more fundamental focus on the original condition of moral knowledge, presenting it as a singular entity that inherently integrates the distinct aspects of knowledge and action. By asserting that ‘action just is knowledge’, Wang indeed affirmed their original unity. (shrink)

Volume 30, Issue 2, March 2025, Page 239-241.

Theory of Mind (ToM), the cognitive capacity to attribute internal mental states to oneself and others, is a crucial component of social skills. Its formal study has become important, witness recent research on reasoning and information update by intelligent agents, and some proposals for its formal modelling have put forward settings based on Epistemic Logic (EL). Still, due to intrinsic idealisations, it is questionable whether EL can be used to model the high-order cognition of ‘real’ agents. This manuscript proposes a (...) framework that takes visibility, memory, perspective and communication as the main factors underpinning mental attributions. This is more in-line with findings in cognitive science and allows us to model well-known False-Belief Tasks that are typically used in testing people's ToM. We discuss some of the framework's technical features, arguing why it does justice to empirical observations. (shrink)

Metaphors may present some challenges in cases of self-illness ambiguity, yet they remain necessary to access a person’s perspective on illness and her relationship with it. The paper outlines the main functions of metaphors (i.e., naming, framing, changing functions) to explain why they can be valuable tools for reducing self-illness ambiguity. First, metaphor is presented as a creative way for a patient to (re)claim her ‘self’ through her own speaker’s meaning. Metaphor is not merely a way to name internal processes (...) and make them more communicable to others (compactness and inexpressibility theses), but primarily a way to represent what the mental illness means for herself (for-me-ness thesis). Second, particularly when extended in mental health narratives, metaphor can frame a person’s experiences of illness by offering a specific affective perspective for self-understanding (perspectivalness thesis). Third, the changing function of metaphor offers a new perspective on the experience of self-illness ambiguity in the narrative, allowing to look at the relationship with the illness, without fully identifying with it. The metaphorical functions can facilitate the discovery of new forms of affective coherence in a person’s mental health narrative and serve as crucial tools for clinicians’ understanding in the therapeutic process. (shrink)

This paper argues that Hans Blumenberg’s theory illuminates a novel interpretation of the phenomenological concept of the lifeworld—as a world sustained by myths and their receptions. This paper combines two central themes in Blumenberg’s philosophy: his interpretation of Edmund Husserl and his aesthetics, especially his theory of the novel and of myth. My claim to originality is to offer a mythology of the lifeworld with the help of one of Blumenberg’s less-known texts, “Wirklichkeitsbegriff und Wirkungspotential des Mythos.” In the first (...) part, I will examine a crucial aspect in Blumenberg’s reading of Husserl’s notion of the lifeworld, namely the unorthodox view that the lifeworld, as the foundation for sciences and their logos, itself has no need to resort to language. To put it mythically: the lifeworld is an expressionless state of naivety. To support this deconstructive reading, I will then turn to Blumenberg’s theory of the novel. As has been noticed by Blumenberg and his colleagues, the underlying meaning structure of the novel, or its “concept of reality,” has a typically modern character, and largely overlaps with the phenomenological idea of the world and lifeworld. However, in the second part, I will radicalize Blumenberg’s discussions about reality, and show that the novelistic reality can never fully supersede that of myth. Mythology has a persistent existence, and, in Blumenberg’s argument, the history of mythical reception reveals a perpetual movement of human struggle against terror. In this Blumenbergian philosophy of mythology, a new image of the lifeworld presents itself, a world made by the myth-telling humans, by their active and aesthetic use of words, instead of slumbers of naivety. (shrink)

Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This paper aims to fill this gap by focussing on the essential developments in the field over the past two decades. Additionally, we explore generalisations of Nelson algebras, such as N4-lattices which (...) correspond to the paraconsistent version of Nelson's logic, as well as their applications to other areas of interest to logicians, such as duality and rough set theory. A general representation theorem states that each Nelson algebra is isomorphic to a subalgebra of a rough set-based Nelson algebra induced by a quasiorder. Furthermore, a formula is a theorem of Nelson logic if and only if it is valid in every finite Nelson algebra induced by a quasiorder. (shrink)

In this paper we consider the implicational fragment of Abelian logic \ . We show that although the Abelian groups provide an semantics for the set of theorems of \ they do not for the associated consequence relation. We then show that the consequence relation is not algebraizable in the sense of Blok and Pigozzi . In the second part of the paper, we investigate an extension of \ in the same language and having the same set of theorems (...) and show that this new consequence relation is algebraizable with the Abelian groups as its equivalent algebraic semantics. Finally, we show that although \ is not algebraizable, it is order-algebraizable in the sense of Raftery. (shrink)

The notion of an algebraizable logic in the sense of Blok and Pigozzi [3] is generalized to that of a possibly infinitely algebraizable, for short, p.i.-algebraizable logic by admitting infinite sets of equivalence formulas and defining equations. An example of the new class is given. Many ideas of this paper have been present in [3] and [4]. By a consequent matrix semantics approach the theory of algebraizable and p.i.-algebraizable logics is developed in a different way. (...) It is related to the theory of equivalential logics in the sense of Prucnal and Wroski [18], and it is extended to nonfinitary logics. The main result states that a logic is algebraizable (p.i.-algebraizable) iff it is finitely equivalential (equivalential) and the truth predicate in the reduced matrix models is equationally definable. (shrink)

In this paper we define and study a generalized notion of a logical system that covers on an equal formal basis sentential, equational and sequential systems. We develop a general theory of equivalence between generalized logics that provides, first, a conception of algebraizable logic , second, a formal concept of equivalence between sequential systems and, third, a notion of equivalence between sentential and sequential systems. We also use our theory of equivalence for developing a general algebraic approach to conjunctive (...) non-pseudo-axiomatic self-extensional sentential logics. Finally, we consider within the framework of the mentioned approach various sequential formulations for some well-known sentential logics. (shrink)

An extensions by new axioms and rules of an algebraizable logic in the sense of Blok and Pigozzi is not necessarily algebraizable if it involves new connective symbols, or it may be algebraizable in an essentially different way than the original logic. However, extension whose axioms and rules define implicitly the new connectives are algebraizable, via the same equivalence formulas and defining equations of the original logic, by enriched algebras of its equivalente quasivariety semantics. For certain (...) strongly algebraizable logics, all connectives defined implicitly by axiomatic extensions of the logic are explicitly definable. (shrink)

In [14] we used the term finitely algebraizable for algebraizable logics in the sense of Blok and Pigozzi [2] and we introduced possibly infinitely algebraizable, for short, p.i.-algebraizable logics. In the present paper, we characterize the hierarchy of protoalgebraic, equivalential, finitely equivalential, p.i.-algebraizable, and finitely algebraizable logics by properties of the Leibniz operator. A Beth-style definability result yields that finitely equivalential and finitely algebraizable as well as equivalential and p.i.-algebraizable logics can be (...) distinguished by injectivity of the Leibniz operator. Thus, from a characterization of equivalential logics we obtain a new short proof of the main result of [2] that a finitary logic is finitely algebraizable iff the Leibniz operator is injective and preserves unions of directed systems. It is generalized to nonfinitary logics. We characterize equivalential and, by adding injectivity, p.i.-algebraizable logics. (shrink)

Annotated logics were introduced by V.S. Subrahmanian as logical foundations for computer programming. One of the difficulties of these systems from the logical point of view is that they are not structural, i.e., their consequence relations are not closed under substitutions. In this paper we give systems of annotated logics that are equivalent to those of Subrahmanian in the sense that everything provable in one type of system has a translation that is provable in the other. Moreover these new systems (...) are structural. We prove that these systems are weakly congruential, namely, they have an infinite system of congruence 1-formulas. Moreover, we prove that an annotated logic is algebraizable (i.e., it has a finite system of congruence formulas,) if and only if the lattice of annotation constants is finite. (shrink)

We prove an Omitting Types Theorem for certain algebraizable extensions of first order logic without equality studied in [SAI 00] and [SAY 04]. This is done by proving a representation theorem preserving given countable sets of infinite meets for certain reducts of ?- dimensional polyadic algebras, the so-called G polyadic algebras (Theorem 5). Here G is a special subsemigroup of (?, ? o) that specifies the signature of the algebras in question. We state and prove an independence result connecting (...) our representation theorem to Martin's axiom (Theorem 6). Also we show that the countable atomic G polyadic algebras are completely representable (Corollary 16) contrasting results on cylindric algebras. Several related results are surveyed. (shrink)

ABSTRACT The two main directions pursued in the present paper are the following. The first direction was started by Pigozzi in 1969. In [Mak 91] and [Mak 79] Maksimova proved that a normal modal logic has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property. In this paper we extend Maksimova's theorem to normal multi-modal logics with arbitrarily many, not necessarily unary modalities, and to not necessarily normal multi-modal logics with modalities of ranks smaller than (...) 2. To extend the characterization beyond multi-modal logics, we look at arbitrary algebraizable logics. We will introduce an algebraic property equivalent with the Craig interpolation property in algebraizable logics, and prove that the superamalgamation property implies the Craig interpolation property. The problem of extending the characterization result to non-normal non-unary modal logics also will be discussed. In the second direction pursued herein: for non-normal modal logic with one unary modality Lemmon [Lem 66] gave a possible worlds semantics. Here we give a more general possible worlds semantics for not necessarily normal multi-modal logics with arbitrarily many not necessarily unary modalities. Strongly related to the above is the theorem, proved, e.g., in Jóns son-Tarski [JT 52] and Henkin-Monk-Tarski [HMT 71], that every normal Boolean algebra with operators can be represented as a subalgebra of the complex algebra of some relational structure. We extend this result to not necessarily normal BAO's as follows. We define partial relational structures and show that every not necessarily normal BAO is embeddable into the complex algebra of a partial relational structure. This gives a possible worlds semantics for not necessarily normal multi-modal logics. (shrink)

This is the second of a series of papers that investigate fragments of quasi-Nelson logic (QNL) from an algebraic logic standpoint. QNL, recently introduced as a common generalization of intuitionistic and Nelson’s constructive logic with strong negation, is the axiomatic extension of the substructural logic |$FL_{ew}$| (full Lambek calculus with exchange and weakening) by the Nelson axiom. The algebraic counterpart of QNL (quasi-Nelson algebras) is a class of commutative integral residuated lattices (a.k.a. |$FL_{ew}$|-algebras) that includes both Heyting and Nelson algebras (...) and can be characterized algebraically in several alternative ways. The present paper focuses on the algebraic counterpart (a class we dub quasi-Nelson implication algebras, QNI-algebras) of the implication–negation fragment of QNL, corresponding to the connectives that witness the algebraizability of QNL. We recall the main known results on QNI-algebras and establish a number of new ones. Among these, we show that QNI-algebras form a congruence-distributive variety (Cor. 3.15) that enjoys equationally definable principal congruences and the strong congruence extension property (Prop. 3.16); we also characterize the subdirectly irreducible QNI-algebras in terms of the underlying poset structure (Thm. 4.23). Most of these results are obtained thanks to twist representations for QNI-algebras, which generalize the known ones for Nelson and quasi-Nelson algebras; we further introduce a Hilbert-style calculus that is algebraizable and has the variety of QNI-algebras as its equivalent algebraic semantics. (shrink)

The article presents the main conceptual and organizational foundations of the Institute of Higher Education of the National Academy of Educational Sciences of Ukraine. The main circumstances and concrete efforts to implement the plan for the creation and development of this Institute have been witnessed from the first person. The creation of the Institute of Higher Education was supposed to contribute to the fulfillment of such basic tasks of higher education. First, the development of higher education stimulated the formation of (...) a young Ukrainian state, ensured the establishment of norms and values characteristic of a democratic state, and the development of the best qualities of human capital in Ukraine. Secondly, it was necessary to carry out radical changes in the entire system of higher education of Ukraine, to create a coherent national and modern system of higher education, which involved not only the implementation of changes at the national level, but also a significant restructuring of the universities themselves. Thirdly, the reform of higher education should have taken into account modern civilizational changes that necessitated transformational processes in the global university environment, such as the development of student-centeredness, the widespread introduction of new digital learning technologies, deeper integration into globalization processes, etc. Fourthly, despite the heated debate in political circles in the first years of Ukraine’s independence regarding the geopolitical orientations of the country’s development, more and more citizens became supporters of European integration, which was a natural, but difficult to implement, result of Ukraine’s accession to the Bologna process. The main achievements of the Institute of Higher Education in the conceptualization and instrumentalization of these and other tasks are described. Renewed on this basis, the higher education of Ukraine should become a driving force of society, capable of providing an innovative breakthrough in the scientific-technological, industrial-economic, social-humanitarian spheres. (shrink)

Pioneer approaches to Artificial Intelligence have traditionally neglected, in a chronological sequence, the agent body, the world where the agent is situated, and the other agents. With the advent of Collective Robotics approaches, important progresses were made toward embodying and situating the agents, together with the introduction of collective intelligence. However, the currently used models of social environments are still rather poor, jeopardizing the attempts of developing truly intelligent robot teams. In this paper, we propose a roadmap for a new (...) approach to the design of multi-robot systems, mainly inspired by concepts from Institutional Economics, an alternative to mainstream neoclassical economic theory. Our approach intends to sophisticate the design of robot collectives by adding, to the currently popular emergentist view, the concepts of physically and socially bounded autonomy of cognitive agents, uncoupled interaction among them and deliberately set up coordination devices. (shrink)

Introduction to the Institutional Logics Perspective -- Precursors to the Institutional Logics Perspective -- Defining the Inter-institutional System -- The Emergence, Stability and Change of the Inter-institutional System -- Micro-Foundations of Institutional Logics -- The Dynamics of Organizational Practices and Identities -- The Emergence and Evolution of Field-Level Logics -- Implications for Future Research.

How can gift and gift-giving studies be relevant to the study of institutions and vice versa? This is the question we broadly address in the introduction to this symposium while drawing on the contributing articles and sketching out a possible future research in a perspective of integration between these two fields of study. Is the gift an institution? What types of methodological approaches would be most suitable in view of such integration? We define the gift as transfers underpinned by (...) institutions, including customs and norms. We contend that the institutional thought can employ empirical and qualitative research methods used by anthropology and that there are important and fruitful lines of tension between gift-giving and institutions – from the relationship between freedom and obligation to the role of third sector between state and market – worthy of further research in the future. (shrink)

Individuals, Institutions, and Markets offers a theory of how the institutional framework of a society emerges and how markets within institutions work. The book shows that both social institutions, defined as the rules of the game, and exchange processes can be analyzed along a common theoretical structure. Mantzavinos' proposal is that a problem solving model of individual behavior inspired by the cognitive sciences provides such a unifying theoretical structure. Integrating the latest scholarship in economics, sociology, political science, law, and anthropology, (...) Mantzavinos offers a genuine political economy showing how social institutions affect economic outcomes. (shrink)