We generalize the double negation construction of Boolean algebras in Heyting algebras to a double negation construction of the same in Visser algebras. This result allows us to generalize Glivenko’s theorem from intuitionistic propositional logic and Heyting algebras to Visser’s basic propositional logic and Visser algebras.

We study the linear Lindenbaum algebra of Basic Propositional Calculus, called linear basic algebra.

We study the variety of Löb algebras , the algebraic structures associated with formal propositional calculus. Among other things, we prove a completeness theorem for formal propositional logic with respect to the variety of Löb algebras. We show that the variety of Löb algebras has the weak amalgamation property. Some interesting subclasses of the variety of Löb algebras, e.g. linear, faithful and strongly linear Löb algebras are introduced.

We study Basic algebra, the algebraic structure associated with basic propositional calculus, and some of its natural extensions. Among other things, we prove the amalgamation property for the class of Basic algebras, faithful Basic algebras and linear faithful Basic algebras. We also show that a faithful theory has the interpolation property if and only if its correspondence class of algebras has the amalgamation property.

In this note we present a completion for the variety of bounded distributive quasi lattices, and, inspired by a well-known idea of L.L. Maksimova [14], we apply this result in proving the amalgamation property for such a class of algebras.

In this paper by using a model-theoretic approach, we prove Craig interpolation property for Formal Propositional Logic, FPL, Basic propositional logic, BPL and the uniform left-interpolation property for FPL. We also show that there are countably infinite extensions of FPL with the uniform interpolation property.

A logic |$\mathcal{L}$| is said to satisfy the descending chain condition, DCC, if any descending chain of formulas in |$\mathcal{L}$| with ordering induced by |$\vdash _{\mathcal{L}};$| eventually stops. In this short note, we first establish a general theorem, which states that if a propositional logic |$\mathcal{L}$| satisfies both DCC and has the Craig Interpolation Property, CIP, then it satisfies the Uniform Interpolation Property, UIP, as well. As a result, by using the Nishimura lattice, we give a new simply proof of (...) uniform interpolation for |$\textbf{IPL}_2$|⁠, the two-variable fragment of Intuitionistic Propositional Logic; and one-variable uniform interpolation for |$\textbf{IPL}$|⁠. Also, we will see that the modal logics |$\textbf{S}_4$| and |$\textbf{K}_4$| do not satisfy atomic DCC. (shrink)

We prove that $\textbf {K}5$ and some of its extensions that do not contain $\textbf {K}4$ are of unification type $1$.

The main result proves Lyndon’s and Craig’s interpolation properties for the logic of strict implication ${\textsf{F}}$, with a purely syntactical method. A cut-free G3-style sequent calculus $ {\textsf{GF}} $ and its single-succedent variant $ \textsf{GF}_{\textsf{s}} $ are introduced. $ {\textsf{GF}} $ can be extended to a G3-variant of the sequent calculus GBPC3 for Visser’s basic logic. Also a simple syntactic proof of known embedding result of $ {\textsf{F}} $ into $ {\textsf{K}} $ is provided. An extension of $ {\textsf{F}} $, (...) namely $ \textsf{FD}, $ is considered as well. (shrink)

Benacerraf has presented two problems for the philosophy of mathematics. These are the problem of identification and the problem of representation. This paper aims to reconstruct the latter problem and to unpack its undermining bearing on the version of Ontic Structural Realism that frames scientific representations in terms of abstract structures. I argue that the dichotomy between mathematical structures and physical ones cannot be used to address the Benacerraf problem but strengthens it. I conclude by arguing that versions of OSR (...) that do not rely on mathematical frameworks for representational purposes need not be vulnerable to Benacerraf’s second problem. (shrink)

The concept of Substantial motion (حركت جوهرى) is fundamentally flawed and severely muddled. Aristotle and Mulla Sadra’s conception of motion, substance (جوهر) and substantial form صورت نوعيه)) were all based on a severe misunderstanding of nature as later was established by the scientists and philosophers that came after them. Here, by recalling the established facts of modern science, particularly the universally accepted scientific fact that, properties of objects are reducible to the motion of their electrons and there’s no such thing (...) as ‘substantial form’ much less substance, the author puts an end to a 400-year-old glorious error called ‘substantial motion’. Naturally any attempt to reconcile the paradigms of modern physics with Aristotle/Sadra paradigms of form/matter and substance/accidents, and to try to draw parallel between the two and revive their philosophy would be an exercise in futility. (shrink)

There are realist and antirealist interpretations of the free energy principle (FEP). This paper aims to chart out a structural realist interpretation of FEP. To do so, it draws on Worrall’s (Dialectica 43(1–2): 99–124, 1989) proposal. The general insight of Worrall’s paper is that there is progress at the level of the structure of theories rather than their content. To enact Worrall’s strategy in the context of FEP, this paper will focus on characterising the formal continuity between fundamental equations of (...) thermodynamics—such as Boltzmann’s equation and Gibbs’s equation—on the one hand, and Friston’s characterisation of FEP on the other. Lack of a universal consensus on the physical character of entities that feature in thermodynamics, information theory and FEP notwithstanding, I argue that there is structural continuity and unity at the level of mathematical equations that regiment entropy, information and free energy. The existence of such structural continuity and unity provides grounds for structural realism about FEP. (shrink)

The communicative affordances of the participatory web have opened up new and multifarious channels for the proliferation of hate. In particular, women navigating the cybersphere seem to be the target of a disproportionate amount of hostility. This paper explores the contexts, approaches and conceptual synergies around research on online misogyny within the new communicative paradigm of social media communication. The paper builds on the core principle that online misogyny is demonstrably and inherently a discourse; therefore, the field is envisaged at (...) the intersection of digital media scholarship, discourse theorization and critical feminist explications. As an ever-burgeoning phenomenon, online hate has been approached from a range of disciplinary perspectives but has only been partially mapped at the interface of meaning making contents/processes and new mediation technologies. The paper aims to advance the state of the art by investigating online hate in general, and misogyny in particular, from the vantage point of Social Media Critical Discourse Studies ; an emerging model of theorization and operationalization of research combining tenets from Critical Discourse Studies with scholarship in digital media and technology research. Our SM-CDS approach to online misogyny demarcates itself from insinuation whereby the phenomenon is reduced to digital communicative affordances per se and argues in favor of a double critical contextualization of research findings at both digital participatory as well as social and cultural levels. (shrink)

An anthology of critical essays on Islam; collection of articles.

There are several types of behavioural evidence in favour of the notion that many animal species experience at least some simple levels of consciousness. Other than behavioural evidence, there are a number of anatomical and physiological criteria that help resolve the problem of animal consciousness, particularly when addressing the problem in lower vertebrates and invertebrates. In this paper, I review a number of such behavioural and brain- based evidence in the case of mammals, birds, and some invertebrate species. Cumulative evidence (...) strongly suggests that consciousness, of one form or another, is present in mammals and birds. Although supportive evidence is less strong in the case of invertebrates, it is more likely than not that they also experience some simple levels of consciousness. (shrink)

This essay outlines the significance of understanding the relationship between Islam and science, particularly from the twentieth century onward. It mainly revolves around the viability of Darwin's evolutionary thought in the Muslim world, which is confronted by various groups of Muslim commentators and scholars. This study goes through various original sources, official documents, former unpublished theses, and Qur’ānic commentaries in Islamic languages from north Africa to the Malay‐Indonesian world to display the uninterrupted challenge of Muslims with European science in general (...) and European evolutionary thought in particular; an act which is not going to stop now, nor tomorrow. Finally, this essay aims to inform readers how a philosophical reading of Islam and science would be crucial before approving or rejecting any form of connection between the two, particularly in future. (shrink)

The question of judgment has become one of the central problems in recent social, political and ethical thought. This paper explores Hannah Arendt's decisive contribution to this debate by attempting to reconstruct analytically two distinctive perspectives on judgment from the corpus of her writings. By exploring her relation to Aristotelian and Kantian sources, and by uncovering debts and parallels to key thinkers such as Benjamin and Heidegger, it is argued that Arendt's work pinpoints the key antinomy within political judgment itself, (...) that between the viewpoints of the political actor and the political spectator. The paper concludes by highlighting some lacunae and difficulties in the development of Arendt's account, difficulties that set challenges for those theorists (such as Seyla Benhabib and Alessandro Ferrara) who wish to appropriate and extend Arendt's contribution into the field of contemporary critical theory. Key Words: action • aesthetics • community • freedom • history • judgment • reflection. (shrink)

The background target of the research going into the present article is to forge an intellectual alliance between, on the one hand, active inference and the free-energy principle (FEP), and on the other, Charles S. Peirce’s theory of semiotics and pragmatism. In the present paper, the focus is on the allegiance between the nomenclatures of active and abductive inferences as the proper place to begin reaching at that wider target. The paper outlines the key conceptual elements involved in a naturalistic (...) rendering of Peirce’s late semiotic and logical notion of abductive reasoning. The target is a cognitive-biological model of abduction which preserves the functional integrity of an organism and fulfils the existential imperative for living beings’ evidence of existence. Such a model is an adaptation of Peirce’s late logical schema of abduction proposed in his largely unpublished works during the early 20th century. The proposed model is argued to be a feasible sketch also of recent breakthroughs in computational (sensu Bayesian) cognitive science. (shrink)

Estimation of discharge flowing through rivers is an important aspect of water resource planning and management. The most common way to address this concern is to develop stage-discharge relationships at various river sections. Various computational techniques have been applied to develop discharge ratings and improve the accuracy of estimated discharges. In this regard, the present study explores the application of the novel hybrid multigene genetic programming-generalized reduced gradient technique for estimating river discharges for steady as well as unsteady flows. It (...) also compares the MGGP-GRG performance with those of the commonly used optimization techniques. As a result, the rating curves of eight different rivers were developed using the conventional method, evolutionary algorithm, the modified honey bee mating optimization algorithm, artificial neural network, MGGP, and the hybrid MGGP-GRG technique. The comparison was conducted on the basis of several widely used performance evaluation criteria. It was observed that no model outperformed others for all datasets and metrics considered, which demonstrates that the best method may be different from one case to another one. Nevertheless, the ranking analysis indicates that the hybrid MGGP-GRG model overall performs the best in developing stage-discharge relationships for both single-value and loop rating curves. For instance, the hybrid MGGP-GRG technique improved sum of square of errors obtained by the conventional method between 4.5% and 99% for six out of eight datasets. Furthermore, EA, the MHBMO algorithm, and artificial intelligence models performed satisfactorily in some of the cases, while the idea of combining MGGP with GRG reveals that this hybrid method improved the performance of MGGP in this specific application. Unlike the black box nature of ANN, MGGP offers explicit equations for stream rating curves, which may be counted as one of the advantages of this AI model. (shrink)

Over the last decade, digitalisation has been a subject of increasing attention among scholars and practitioners. The effect of culture and religion on advertisements, consumerism and marketing, is deniable. The main goal of this research is to present a comprehensive conceptual model based on cultural and religious diversity in digital marketing. This research mainly includes introduction creolisation concept and the elements (religion, music, clothes and custom) as the most important factor in digital advertisement and branding. In this regard, this study (...) examines Instagram consumer products users from five different subcultures in Iran (Lor, Kurdish, Baluch, Arab and Azeri) and considers the impact of creolisation elements on digital advertising, brand identity and brand globalisation. Data were collected by sending 1200 questionnaire via email to subcultures and then analysed using LISREL software.Contribution: The results demonstrated that Islamic religion between participants affects their brand loyalty, therefore the Islamic worth in advertising is necessary. It was suggested that creolisation elements significantly affect digital advertisement, brand identity and brand globalisation. Consequently, all hypotheses were accepted. On the other hand, the impact of brand identity and digital advertisement on the brand globalisation was also confirmed. Discussion and managerial implications concerning creolisation were explained. (shrink)

In this book, the author develops a new form of structural realism and deals with the problem of representation. The work combines two distinguished developments of the Semantic View of Theories, namely Structural Realism, a flourishing theory from contemporary philosophy of science, and Ronald Giere and colleagues’ Cognitive Models of Science approach. Readers will see how replacing the model-theoretic structures that are at issue in SR with connectionist networks and activations patterns helps us to deal with the problem of representation. (...) The author suggests that cognitive structures are not only the precise formal tools for regimenting the structure of scientific theories but also the tools that the biological brain uses to capture the essential features of its environment. Therefore, replacing model-theoretic structures with cognitive structures allows us to account for the theories-reality relationship on the basis of the most reliable theories of neurology. This is how a new form of SR, called Cognitive Structural Realism is introduced through this book, which articulates and defends CSR, and shows how two diverging branches of SVT can be reconciled. This ground-breaking work will particularly appeal to people who work in the philosophy of science, philosophy of mind and cognitive sciences. (shrink)

During the last two decades, many thinkers on Iranian cinema have had many things to say about censorship, especially the issue of the veil imposed on women’s gender by the authorities in Iran. In this paper, I will describe Hamid Dabashi’s narrative as related to the concept of “truth” to show further that the veil issue has reached a new phase in Iran. Although much of what Dabashi defines as the absented body of women in his article “Body less faces: (...) Mutilating modernity and abstracting women in an ‘Islamic cinema’” may still hold, I believe his over-arching narrative doesn’t contribute enough to our understanding of the new relations among the authorities and actresses’ Fashion styles on red carpets. This paper’s method is connected with cultural and visual studies through Roland Barthes’ semiotics. I first focus on Hamid Dabashi’s conception of “truth” and how he believes “truth” is related to Islamic ideology and embodied in Iranian post-revolutionary cinema to further (through analysing photos of Iranian actresses’ clothing who attend festivals) conclude that Iranian women try to adopt new resistances in choosing their costumes compared to the early two decades of post-revolutionary Iran. The presence of Iranian women in festivals especially regarding what they wear has established a new interwoven relationship with authorities which has somewhat not been surveyed properly. By surveying the photos of their fashion and style I conclude that they are in constant negotiation with authorities through what they rebelliously wear. (shrink)

Free Energy Principle underlies a unifying framework that integrates theories of origins of life, cognition, and action. Recently, FEP has been developed into a Markovian monist perspective. The paper expresses scepticism about the validity of arguments for Markovian monism. The critique is based on the assumption that Markovian models are scientific models, and while we may defend ontological theories about the nature of scientific models, we could not read off metaphysical theses about the nature of target systems from our theories (...) of nature of scientific models. The paper draws attention to different ways of understanding Markovian models, as material entities, fictional entities, and mathematical structures. I argue that none of these interpretations contributes to the defence of a metaphysical stance. This is because scientific representation is a sophisticated process, and properties of Markovian models—such as the property of being neither physical nor mental—could not be projected onto their targets to determine the ontological properties of targets easily. (shrink)

Research has paid scant attention to reparative behavior to compensate for unintended wrongdoing or to the role of emotions in doing the right thing. We propose a new approach to investigating reparative behavior by looking at moral emotions and psychological proximity. In this study, we compare the effects of moral emotions (guilt and shame) on the level of compensation for financial harm. We also investigate the role of transgressors’ perceived psychological proximity to the victims of wrongdoing. Our hypotheses were tested (...) through a scenario based questionnaire on a sample of 261 participants. Analyses indicate that (1) guilt has a stronger effect on the level of compensation than shame; (2) psychological proximity influences the level of guilt, shame, and compensation; and (3) shame interacts with psychological proximity to predict compensation, whereas guilt mediates the relationship between psychological proximity and compensation. (shrink)

Originally published in 1958. Occasionalism is generally associated in the history of philosophy with the name of Malébranche. But long before this time, the Muslim Theologians of the ninth and tenth centuries had developed an occasionalist metaphysics of atoms and accidents. Arguing that a number of distinctively Islamic concepts such as fatalism and the surrender of personal endeavour cannot be fully understood except in the perspective of the occasionalist world view of Islam, the volume also discusses the attacks on Occasionalism (...) made by Averroes and St. Thomas Aquinas. (shrink)