Fibring is defined as a mechanism for combining logics with a first-order base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of such logics, using a variation of the Henkin method that takes advantage of the presence of equality and inequality in the logic. As a corollary, completeness is shown to be preserved when fibring logics in that class. A modal first-order logic is obtained as a fibring where neither the Barcan formula (...) nor its converse hold. (shrink)

This paper reviews computational models of surprise, with a specific focus on the authors’ probabilistic, contrast model. The contrast model casts surprise, and its intensity, as emerging from the difference between the probability of the surprising event and the probability of the highest expected‐event in a given situation. Strong arguments are made for the central role of surprise in creativity and learning by natural and artificial agents.

Motivated by applications in software engineering, we propose two forms of combination of logics: synchronization on formulae and synchronization on models. We start by reviewing satisfaction systems, consequence systems, one-step derivation systems and theory spaces, as well as their functorial relationships. We define the synchronization on formulae of two consequence systems and provide a categorial characterization of the construction. For illustration we consider the synchronization of linear temporal logic and equational logic. We define the synchronization on models of two satisfaction (...) systems and provide a categorial characterization of the construction. We illustrate the technique in two cases: linear temporal logic versus equational logic; and linear temporal logic versus branching temporal logic. Finally, we lift the synchronization on formulae to the category of logics over consequences systems. (shrink)

The main purpose of this study is to introduce, analyze and propose the concept of Piety in Rousseau as a part of the ethical fundament of Positive Leadership Theory, also as a continuum of the original fundamental element of the Social Pact and its implication on the legitimization of organizational dynamics in the private sector (corporate ethics) and the impact on institutional efficiency. Given the theoretical nature of this research, the classic dialectic method has shown itself adequate once in it (...) there is a search for identification of an object (theory), its contradictions, and conflicts involved in the analyses of the problem. For that purpose, a vast bibliographical, documental e internet site research was conducted examining many of the main works about the themes studied. After presenting and dialectically analyzing the foundation of the Rousseaunian Social Pact, in convergence with the responsibility principle structure, this paper concludes by suggesting that these theoretical models can constitute the ethical basis of the management proposition of Positive Leadership as organization dynamics. (shrink)

A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to be included in the class of logics with congruence. Thus, completeness is shown to be preserved by fibring logics with equivalence and general semantics. (...) An example is provided showing that completeness is not always preserved by fibring ligics endowed with standard (non general) semantics. A categorial characterization of fibring is provided using coproducts and cocartesian liftings. (shrink)

O objetivo deste breve artigo é o estudo da confiabilidade alcançada pela ciência (natural) com o exame da contribuição para este fenômeno encontrada no trabalho de Filósofo da Ciência Thomas Kuhn (1922-1996). Busca-se compreender a contribuição, a partir da construção conceitual proposta por Kuhn em “A Estrutura das Revoluções Científicas”, à noção de que a ciência se movimenta a partir de paradigmas e que o sentido de (in) evolução, nas ciências naturais, sempre possui relevância histórica por se tratar de uma (...) experiência agregada, o que colocou a ciência em um patamar diferenciado dos demais conhecimentos humanos, gerando maior confiabilidade e certeza, onde se supõe que, mesmo quando diagnósticos ou assertivas ditas científicas se provem equivocados fatidicamente, são sempre proveitosos da perspectiva histórica. Há aqui uma isenção (absolvição) de qualquer possibilidade de falácia ou erro e uma enorme contribuição para a inequívoca confiabilidade popular à ciência. Tudo parece ser compreendido a partir da noção de “experiência”. (shrink)

Este trabalho tem como objetivo examinar a obra As Palavras e as Coisas, do filósofo francês Michel Foucault. Buscaremos destacar esta nova fase de seus estudos que se concentram em descrever uma arqueologia do saber, que repousa sobre uma pesada crítica ao modo de se pensar da modernidade. A centralidade do homem é uma destas características modernas e ele discorre sobre três áreas relativas ao homem em especial: o trabalho, a linguagem e a vida. As atenções do século XIX se (...) voltam ao estudo de novos objetos, dando origem a novos saberes e novas ciências. Em mais uma de suas genealogias, Foucault Analisa as camadas dos conhecimentos que foram construídos desde a Renascença, passando pela era Clássica e findando seu estudo na Modernidade. (shrink)

The Cognitive Science of Nationalistic Behavior, presented in this paper, integrates the political sciences of nationalities as invented communities with an evolutionary cognitive analysis of social forms as products of the human mind. The framework is modeled after the Cognitive Science of Religion, where decades of cross-disciplinary work has generated standards, predictions, and data about the role of individual cognitive tendencies in shaping societies. We study the nationalistic calendar as a cultural attractor and draw on cue-based behavioral motivation and differential (...) autobiographical memory systems to explain its appeal to the human mind. Calendrical elements are analyzed in the context of essentialist thought patterns and action representation systems. We conclude with the implications of calendrical thinking on the control of elites who aim to forge and reinforce national identities. This paper lays the groundwork for applying a similar approach to the study of other nationalistic elements. (shrink)

Labelled sequent calculi are provided for a wide class of normal modal systems using truth values as labels. The rules for formula constructors are common to all modal systems. For each modal system, specific rules for truth values are provided that reflect the envisaged properties of the accessibility relation. Both local and global reasoning are supported. Strong completeness is proved for a natural two-sorted algebraic semantics. As a corollary, strong completeness is also obtained over general Kripke semantics. A duality result (...) is established between the category of sober algebras and the category of general Kripke structures. A simple enrichment of the proposed sequent calculi is proved to be complete over standard Kripke structures. The calculi are shown to be analytic in a useful sense. (shrink)

Fibring is a meta-logical constructor that applied to two logics produces a new logic whose formulas allow the mixing of symbols. Homogeneous fibring assumes that the original logics are presented in the same way . Heterogeneous fibring, allowing the original logics to have different presentations , has been an open problem. Herein, consequence systems are shown to be a good solution for heterogeneous fibring when one of the logics is presented in a semantic way and the other by a calculus (...) and also a solution for the heterogeneous fibring of calculi. The new notion of abstract proof system is shown to provide a better solution to heterogeneous fibring of calculi namely because derivations in the fibring keep the constructive nature of derivations in the original logics. Preservation of compactness and semi-decidability is investigated. (shrink)

We introduce a general recipe for presenting non-classical logics in a modular and uniform way as labelled deduction systems. Our recipe is based on a labelling mechanism where labels are general entities that are present, in one way or another, in all logics, namely truth-values. More specifically, the main idea underlying our approach is the use of algebras of truth-values, whose operators reflect the semantics we have in mind, as the labelling algebras of our labelled deduction systems. The “truth-values as (...) labels” approach allows us to give generalized systems for multiple-valued logics within the same formalism: since we can take multiple-valued logics as meaning not only finitely or infinitely many-valued logics but also power-set logics, i.e. logics for which the denotation of a formula can be seen as a set of worlds, our recipe allows us to capture also logics such as modal, intuitionistic and relevance logics, thus providing a first step towards the fibring of these logics with many-valued ones. (shrink)

This article argues that Amílcar Cabral adhered to some of the essential elements of the philosophical discourse of modernity. This commitment led Cabral to endorse an anti-essentialist, historicized conception of culture, and this in turn led him to conceive of cultural liberation in terms of cultural autonomy as opposed to the preservation of indigenous culture(s). Cabral’s attitude towards languages is employed as a case study in order to demonstrate how emphasis on Cabral’s commitment to the philosophical discourse of modernity can (...) help explain why he could denounce ‘colonialist culture’, while also defending the PAIGC’s (Partido Africano para a Independência da Guiné e Cabo Verde / African Party for the Independence of Guinea and Cape Verde) use of Portuguese as an official language. This essay argues that Cabral makes a significant distinction between foreign influences and foreign domination in the realm of culture. Cabral conceived of the anti-colonial struggle in the realm of culture as a struggle against the latter rather than the former. (shrink)

This article discusses the concept of ‘insubmission’. This concept is the cornerstone of Amílcar Cabral’s critical theory. Introduced in his early agronomic writings, it refers to the human species’ refusal to submit to the nature of which we are always a part. The context is the anticolonial critique of traditional European humanism. Insubmission is Cabral’s response to the dehumanizing effects of colonialism and the environmental impact of anthropocentric extractivism that accompanies it. As a linchpin in Cabral’s theoretical framework, insubmission serves (...) to structure and impart meaning to other concepts. Notably, it provides fresh insights into the multifaceted concept of ‘resistance’. Cabral underscores the imperative of combating dehumanization through physical fortitude (physical and armed resistance), intellectual resilience (cultural resistance), and institutional strength (political resistance). Additionally, it emphasizes the necessity of averting environmental catastrophes through a socio-economic development model (economic resistance) underpinned by a resolute ethical commitment to responsible soil conservation practices. (shrink)

This article compares the ideas of Amílcar Cabral and Amartya Sen on capability, freedom, resistance and political change, thereby revealing the importance of radical realism in political thought and development studies. Sen’s path-breaking work has been transformative for multiple disciplines, not least development. Yet, reading Sen alongside the ideas of one of Africa’s most successful anti-colonial political leaders is revelatory: it provides the basis for the argument that radical realism is most valuable if it is action-guiding, comparative and about context-specific (...) change. This involves a distinction between realistic political theory and realism in political thought where only the latter demands utopian thinking. What follows from this regarding democracy, impartiality and justice? In answering this with reference to some social movements, the article then defends the political potential of conflict, partisan positions, resistance and political change directed towards overcoming domination. (shrink)

For those who subscribe to a pro-Black political ideology, like that of Pan-Africanism or Black Nationalism, is there a specific moral obligation between Black agents to protect one another against intersectional/multidimensional oppressions? Africana people are often subjugated to other forms of domination outside of anti-Black racism exclusively. When examining offenses against Black women, queer Black people, poor Black people, etc., both Black Nationalist and Pan-Africanist ethics suggest a moral obligation of protection to all Africana people, but there are varying ways (...) that obligation is explicated. In this argument, I assert that Amílcar Cabral’s text Resistance and Decolonization provides a critical framework for the ways in which disenfranchised, Africana people should be advocated for by their Africana counterparts that take Black collectivity seriously. This argument, as a starting point, conceptualizes Africana people defending one another as a form of decolonization, and it describes four dimensions of moral obligation for defense both within and outside of Black communities: political, economic, cultural, and armed defense. (shrink)

A study of the relationship between African political theory and the politics of liberation. It elucidates the dialectical inter-relationship between the political philosophical views of these thinkers and the political, social and economic contexts of their respective countries.

O artigo busca elaborar um conceito de liberdade democrática como desenvolvimento de si, resistência à opressão e à injustiça epistêmica mediante engajamento crítico com as obras de Paulo Freire, Amílcar Cabral e Augusto Boal. No pensamento dos três autores, democracia, liberdade e desenvolvimento de si constituem uma tríade de mútua influência, de sorte que o pleno exercício de quaisquer desses itens é impossível na ausência de qualquer um dos outros dois. Trata-se de mostrar, além disso, a maneira pela qual a (...) opressão é compreendida nos trabalhos dos três pensadores como o oposto da liberdade, e a injustiça epistêmica, como uma dimensão psíquica da opressão. (shrink)

In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models. The logic LTop is nothing more than an alternative presentation of modal logic S4, but in the language of a paraconsistent logic. Moreover, LTop is a logic of formal inconsistency in which the consistency and inconsistency operators have a nice topological interpretation. This constitutes a new proof of (...) S4 as being "the logic of topological spaces", but now under the perspective of paraconsistency. (shrink)

This essay interrogates Amílcar Cabral’s distinction between “the population” and “the people” in the context of anticolonial liberation struggles. The former encompasses the totality of the existing individuals in a given geographical jurisdiction, while the latter includes only those committed to realizing the objective of ending colonial domination. This distinction represents a content-based understanding of the category of “the people,” a decisive departure from the formalist conceptions of this category that dominate deliberative, liberal, and radical traditions in democratic theory. I (...) defend Cabral’s approach against the prevailing theoretical current, arguing that his content-based distinction has attained a renewed and momentous relevance in light of the impending climate catastrophe. (shrink)

This chapter contains sections titled: Frantz Fanon Amilcar Cabrai Conclusion.

Since it was first published, Quantum Field Theory in a Nutshell has quickly established itself as the most accessible and comprehensive introduction to this profound and deeply fascinating area of theoretical physics. Now in this fully revised and expanded edition, A. Zee covers the latest advances while providing a solid conceptual foundation for students to build on, making this the most up-to-date and modern textbook on quantum field theory available. -/- This expanded edition features several additional chapters, as well as (...) an entirely new section describing recent developments in quantum field theory such as gravitational waves, the helicity spinor formalism, on-shell gluon scattering, recursion relations for amplitudes with complex momenta, and the hidden connection between Yang-Mills theory and Einstein gravity. Zee also provides added exercises, explanations, and examples, as well as detailed appendices, solutions to selected exercises, and suggestions for further reading. (shrink)

Among the intellectuals who have significantly contributed to the discussion of Africa's place in the concert and/or shock of civilizations, Kwane Nkrumah, Cheikh Anta Diop, Samir Amin, Ali Mazrui, Amilcar Cabral could be found in a pertinent sampling. These different personalities indicate the linguistic and geographic diversity of a multidisciplinary and critical production.

African philosophy in the twentieth century is largely the work of African intellectuals under the influence of philosophical traditions from the colonial countries. Among them are few names such as Amilcar Cabral, Franz Fanon, Kwame Nkrumah, and Julius Nyerere etc. This paper is an attempt to analyze the politicalphilosophy of Nkrumah, first President of Republic of Ghana in West Africa. The paper argues that from the African political and economic point of view Nkrumah advocated a socialist system created out of (...) the enculturation of African humanist values with the inherited European political culture and social traditions to liberate unite and integrate Ghana and rest of Africa. Following an interdisciplinary approach this paper assesses Nkrumah’s thought both as an individual, intellectual and as a politician. His book ‘Consciencism’ describes the more political than socio-economic approach to class contradictions in African society. In his ‘Handbook of Revolutionary Warfare’ he talked of three objectives i.e. nationalism, pan-Africanism and socialism. He offered the African liberationmovement a strategy of socialist revolution. Nkrumah who had earlier embraced Gandhian non-violence positive action later adopted the Fanonian lines of revolutionary violence recommending the use of universal method i.e. armed struggle to defeat colonialism.. Nkrumah played an important part in spreading the ideas of socialism in Africa. He had a holistic politico-cultural thought that was reflected in many of his speeches and works. Though critics in his thought have found profound contradictions or confusions but none can obscure the main achievements. Remembered as ‘the redeemer’ by the Africans, he provided the charisma they needed for a leading statesman against any form of imperialism. (shrink)

Concept of ethics in Ādi-Granth, Sikh canon.

This is a translation of the chapter on perception of Kumarilabhatta's magnum opus, the Slokavarttika, one of the central texts of the Hindu response to the criticism of the logical-epistemological school of Buddhist thought. In an extensive commentary, the author explains the course of the argument from verse to verse and alludes to other theories of classical Indian philosophy and other technical matters. Notes to the translation and commentary go further into the historical and philosophical background of Kumarila's ideas. The (...) book provides an introduction to the history and the development of Indian epistemology, a synopsis of Kumarila's work and an analysis of its argument. (shrink)

The paper argues that the theme of cultural and racial oppression is present throughout Freire’s work. In particular, it explores Paulo Freire’s contribution to the discussion of colonialism and decolonization. To this purpose, first of all it takes into consideration some writings elaborated between the end of the 1950s and the 1970s, enhancing the dialogue with authors such as Albert Memmi, Frantz Fanon and Amílcar Cabral. Then it focuses on concepts which, although not directly linked to the analysis of colonialism, (...) can help reinvent and expand Freire’s proposal in a decolonial key. The last part is dedicated to Freire’s influence on decolonial pedagogy and intercultural critical pedagogy, developed in recent decades starting from the Latin American context. (shrink)

On the life and philosophy of Bhāskarācārya, 8th cent., Vedanta philospher and commentator of Brahmasūtra.

International Relations and the Philosophy of History examines the concept of civilization in relation to international systems through an extensive use of the literature in the philosophy of history. A. Nuri Yurdusev demonstrates the relevance of a civilizational approach to the study of contemporary international relations by looking at the multi-civilizational nature of the modern international system, the competing claims of national and civilizational identities and the rise of civilizational consciousness after the Cold War.