In this paper, we show that equation image is a equation image-conservative extension of BΣ1 + exp, thus it does not imply IΣ1.

We investigate the reverse-mathematical status of several theorems to the effect that the natural number system is second-order categorical. One of our results is as follows. Define a system to be a triple A,i,f such that A is a set and i∈A and f:A→A. A subset X⊆A is said to be inductive if i∈X and ∀a ∈X). The system A,i,f is said to be inductive if the only inductive subset of A is A itself. Define a Peano system to be (...) an inductive system such that f is one-to-one and i∉the range of f. The standard example of a Peano system is N,0,S where N={0,1,2,…,n,…}=the set of natural numbers and S:N→N is given by S=n+1 for all n∈N. Consider the statement that all Peano systems are isomorphic to N,0,S. We prove that this statement is logically equivalent to WKL0 over RCA0⁎ source. From this and similar equivalences we draw some foundational/philosophical consequences. (shrink)

We study the parameterized complexity of the problem to decide whether a given natural number n satisfies a given $\Delta _0$ -formula $\varphi (x)$ ; the parameter is the size of $\varphi $. This parameterization focusses attention on instances where n is large compared to the size of $\varphi $. We show unconditionally that this problem does not belong to the parameterized analogue of $\mathsf {AC}^0$. From this we derive that certain natural upper bounds on the complexity of our parameterized (...) problem imply certain separations of classical complexity classes. This connection is obtained via an analysis of a parameterized halting problem. Some of these upper bounds follow assuming that $I\Delta _0$ proves the MRDP theorem in a certain weak sense. (shrink)

We study the first-order consequences of Ramsey’s Theorem fork-colourings ofn-tuples, for fixed$n, k \ge 2$, over the relatively weak second-order arithmetic theory$\mathrm {RCA}^*_0$. Using the Chong–Mourad coding lemma, we show that in a model of$\mathrm {RCA}^*_0$that does not satisfy$\Sigma ^0_1$induction,$\mathrm {RT}^n_k$is equivalent to its relativization to any proper$\Sigma ^0_1$-definable cut, so its truth value remains unchanged in all extensions of the model with the same first-order universe.We give a complete axiomatization of the first-order consequences of$\mathrm {RCA}^*_0 + \mathrm {RT}^n_k$for$n \ge (...) 3$. We show that they form a non-finitely axiomatizable subtheory of$\mathrm {PA}$whose$\Pi _3$fragment coincides with$\mathrm {B} \Sigma _1 + \exp $and whose$\Pi _{\ell +3}$fragment for$\ell \ge 1$lies between$\mathrm {I} \Sigma _\ell \Rightarrow \mathrm {B} \Sigma _{\ell +1}$and$\mathrm {B} \Sigma _{\ell +1}$. We also give a complete axiomatization of the first-order consequences of$\mathrm {RCA}^*_0 + \mathrm {RT}^2_k + \neg \mathrm {I} \Sigma _1$. In general, we show that the first-order consequences of$\mathrm {RCA}^*_0 + \mathrm {RT}^2_k$form a subtheory of$\mathrm {I} \Sigma _2$whose$\Pi _3$fragment coincides with$\mathrm {B} \Sigma _1 + \exp $and whose$\Pi _4$fragment is strictly weaker than$\mathrm {B} \Sigma _2$but not contained in$\mathrm {I} \Sigma _1$.Additionally, we consider a principle$\Delta ^0_2$-$\mathrm {RT}^2_2$which is defined like$\mathrm {RT}^2_2$but with both the$2$-colourings and the solutions allowed to be$\Delta ^0_2$-sets rather than just sets. We show that the behaviour of$\Delta ^0_2$-$\mathrm {RT}^2_2$over$\mathrm {RCA}_0 + \mathrm {B}\Sigma ^0_2$is in many ways analogous to that of$\mathrm {RT}^2_2$over$\mathrm {RCA}^*_0$, and that$\mathrm {RCA}_0 + \mathrm {B} \Sigma ^0_2 + \Delta ^0_2$-$\mathrm {RT}^2_2$is$\Pi _4$- but not$\Pi _5$-conservative over$\mathrm {B} \Sigma _2$. However, the statement we use to witness failure of$\Pi _5$-conservativity is not provable in$\mathrm {RCA}_0 +\mathrm {RT}^2_2$. (shrink)

Salafism is one of the most important issues of the last few centuries. There are intense discussions on the issues related to Salafism, its emergence, how it was first used by whom and in what sense. Discussions about Salafism are sometimes experienced in relation to whether this concept corresponds to a mentality or to a sect, and sometimes this phenomenon is brought up in relation to a number of important names that have taken place in the history of Islamic thought. (...) Ibn Taymiyya (d. 728/1328) emerges as the most frequently mentioned name in this context. Therefore, in this article, we have examined how Salafism/Salafiyya concept is used in the works of Ibn Taymiyya who is accepted as the theorist and the most powerful representative of Salafism. We have discussed the issue in a comprehensive manner by including the concept of Salaf, which is one of the most used concepts of Ibn Taymiyya. When we consider Ibn Taymiyya's use of the concepts of Salaf and Salafiyya, the concept of Salaf is seen to be used much more than the concept of Salafiyya. Thus, the concept of Salaf in the thought of Ibn Taymiyya refers to the Islamic society that lived in the early centuries and the conception of religion revealed by this society. The concept of Salafiyya, however, appears to have been used in a way that reflects a mentality and a way of thinking rather than a particular school or sect.Summary: Sects are human made structures that emerged with the institutionalization of differentiations in the conception of religion. The production of systematic theology and fiqh, the formation of its own literature, its dissemination and dissociation from other systems of thought are the most important turning points for the emergence of sects. One of the most important variables that determine the formation process of sects is the mentality of sect. It is known that the sects come into the realm of existence when the mindsets with the implicit reference system become visible. Therefore, there is a mentality on which every sect is based, but not every mentality has come to the point of being a sect. While some mentalities have influenced different sects in different shades, some of them have been confronted with only one sect.In fact, Salafism is one of the ways of thinking which is a mindset and it is a subject of important debates about whether it is a sect. Although the use of salafiyya is seen in the literature in the past, the fact that Salafism felt its existence as a kind of religion or mentality was realized in the 18th and 19th centuries. It is also known that the discussions about the definition of Salafism have started since these periods. From the second half of the 20th century, Salafism began to take a place in the agenda of both the Islamic world and the West. This has naturally led to efforts to define Salafism. Thus, Salafism is subjected to attempts to identify and associate with structures, such as denomination, ideology, religious understanding and mentality. In this direction, it is seen that Salafism is tried to be defined by establishing close link with the structures, such as Ahl al-Sunnah, Ahl-i Hadith, Hanbalism and Wahhabism or by reducing them directly to one of these structures. Thus, Salafism is sometimes backed up to the early stages of Islamic thought and sometimes associated with multilayered structures, such as the Ahl al-Sunnah, which embodies many political-mythic and fiqh structures.In line with the efforts of defining Salafism, it is also seen that many names that have had a say in classical Islamic thought or have been mentioned in modern times have been brought to the agenda. In addition to the names, such as Ahmad ibn Hanbal, Ibn Taymiyya, Ibn Qayyim al-Jawziyya, the names of Emir al-Saneyani, Muhammad ibn Abd al-Wahhab, Muhammad al-Shawkani, Shaykh Abdulaziz ibn Baz and Muhammad Nasir al-din al-Albani are frequently mentioned in this process. It should be noted that there is a special place of Ibn Taymiyya among these names. Ibn Taymiyya took the place of both in history of Islamic thought and Ahl al-Hadith-Hanbalite tradition and made a name for himself in the context of many subjects. It is claimed that Ibn Taymiyya, who was the theorist of the Hanbalite conception of religion, and the missionary of the New Hanbalism, was also the founding figure and the most important representative of Salafism. In modern times, most of those who declare ideas about Salafism place Ibn Taymiyya at the center of Salafism and present him as the founding name of this mentality. However, the question of what kind of relationship between the mentality called Salafism and Ibn Taymiyya's world of thought and religion is not the subject of academic studies. However, the works of Ibn Taymiyya, who is an author of a very velocity, should be analyzed from this point of view and all kinds of words about Ibn Taymiyya-Salafism relationship should be left behind this effort. Our study, which aims to fulfill this gap, was designed to explain topics, such as whether the concept of salafiyya was used in the works of Ibn Taymiyya, whether and how the past was used, and the extent to which the meaning attributed to the salafiyya coincided with the current Salafism. Understanding of the concept of the salafiyya in the works of Ibn Taymiyya depends on the explanation of how the term salaf was derived and used by Ibn Taymiyya. When the works of Ibn Taymiyya are scanned, it is seen that he used the word salaf much more than the word salafiyya. In fact, the word of salafiyya, which Ibn Taymiyya has rarely included, has been placed in some places in a way that refers to the meaning field of the word salaf. When we consider the use of the word salaf in the works of Ibn Taymiyya, we first see the generations who lived in the early historical periods of Islamic thought and the conception of religion which these generations have revealed. Other names that have taken place in the history of Islamic thought have similar opinions about the generation of the predecessors and the religious understanding of this generation. In other words, according to the general opinion of the predecessor, especially the first three centuries came to mind. However, it is seen that Ibn Taymiyya made some attempts to periodize both the generation of the predecessors and to define the understanding of religion of this generation. Nevertheless, Ibn Taymiyya could not provide a clear picture on this issue, and he occasionally contradicted his findings regarding his involvement in the predecessor generation. Nevertheless, he generally adopted generalizations and an attitude to limit the meaning of the predecessor to the first generations. The word salafiyya, which Ibn Taymiyya placed on the meaning of the word salaf, is used less compared to the word salaf and is given in more complete terms. This indicates that the main factor that influenced Ibn Taymiyya's salafi thought was salaf, not salafiyya as a systematic structure. These findings make it necessary to reconsider the claims of Salafism being a sect and it is being represented at the time of Ibn Taymiyya. (shrink)

L'utilitarisme té com a criteri bàsic aconseguir el màxim bé per al màxim nombre possible de persones. L'utilitarisme dóna molta importància a la recerca de la felicitat personal. Aquest llibre en descriu les tesis bàsiques i respon a les principals acusacions que ha rebut.

The Brest Union of 1596 is a topic that has for many centuries aroused wide discussions both in the Ukrainian environment and among those of other cultures interested in the history and modern life of Ukraine. This landmark event in Ukrainian history is assessed from different points of view: from the position of a scientist who tries to be objective and rise above the "malice of the day", a politician who cannot avoid the dictates of a congregation, a church activist (...) who upholds the purity of the faith of adherents of a particular denomination., The “average bread consumer,” who ultimately has to reap its benefits. It is no wonder, then, that the range of assessments is also extremely broad, from unconditional acceptance to the categorical denial of everything related to church union. (shrink)

Good expresses agreement that the controversy between Bayesian and non-Bayesian statistics is more fundamental than that between Carnap and Popper, and points out that his own position is a Bayes/non-Bayes compromise.

The author investigates some Plotinus’ metaphors such as: war as the father of all things, universal life as a theatre performance, longings, works and horrors of bloody terrestrial life as a childish "external game", a battle as pyrrhic… All the mentioned metaphors are important for correct interpretation of ideas by the late Hellenistic philosopher. Plotinus’ doctrine of chaocosmic harmony is stated in its comparison with the data of modern science (of synergetics). The author of the paper confirms a conclusion that (...) the oriental ideas range exerted influence on the great Antique thinker’s creative work. This influence was mediated and included Plato as an intermediary. (shrink)

A variant of the notion of symmetric constructive realizability is introduced where the information about the symmetric constructive truth or falsity of an arithmetical formula is expressed by a single natural number. The methods of transformations of such a realization to the realizations of known kinds and those of reverse transformations are given. The formal arithmetical system based on such a realizability is investigated.

Why philosophize about comedy? What is the use of investigating the comical from philosophical and psychoanalytic perspectives? In The Odd One In, Alenka Zupancic [haceks over both cs] considers how philosophy and psychoanalysis can help us understand the movement and the logic involved in the practice of comedy, and how comedy can help philosophy and psychoanalysis recognize some of the crucial mechanisms and vicissitudes of what is called humanity. Comedy by its nature is difficult to pin down with concepts and (...) definitions, but as artistic form and social practice comedy is a mode of tarrying with a foreign object--of including the exception. Philosophy's relationship to comedy, Zupancic [haceks over both cs] writes, is not exactly a simple story. It could begin with the lost book of Aristotle's Poetics, which discussed comedy and laughter. But Zupancic [haceks over both cs] draws on a whole range of philosophers and exemplars of comedy, from Aristophanes, Molière, Hegel, Freud, and Lacan to George W. Bush and Borat. She distinguishes incisively between comedy and ideologically imposed, "naturalized" cheerfulness. Real, subversive comedy thrives on the short circuits that establish an immediate connection between heterogeneous orders. Zupancic [haceks over both cs] examines the mechanisms and processes by which comedy lets the odd one in. Alenka Zupancic [haceks over both cs] is Senior Research Fellow at the Institute of Philosophy, Slovene Academy of Sciences, Ljubljana. She is the author of The Shortest Shadow: Nietzsche's Philosophy of the Two. (shrink)

The study considers the development of methods for detecting anomalous network connections based on hybridization of computational intelligence methods. An analysis of approaches to detecting anomalies and abuses in computer networks. In the framework of this analysis, a classification of methods for detecting network attacks is proposed. The main results are reduced to the construction of multi-class models that increase the efficiency of the attack detection system, and can be used to build systems for classifying network parameters during the attack. (...) A model of an artificial immune system based on an evolutionary approach, an algorithm for genetic-competitive learning of the Kohonen network and a method of hierarchical hybridization of binary classifiers with the addition to the detection of anomalous network connections have been developed. The architecture of the network distributed attack detection system has been developed. The architecture of the attack detection system is two-tier: the first level provides the primary analysis of individual packets and network connections using signature analysis, the second level processes the processing of aggregate network data streams using adaptive classifiers. A signature analysis was performed to study network performance based on the Aho-Korasik and Boyer-Moore algorithms and their improved analogues were implemented using OpenMP and CUDA technologies. The architecture is presented and the main points of operation of the network attack generator are shown. A system for generating network attacks has been developed. This system consists of two components: an asynchronous transparent proxy server for TCP sessions and a frontend interface for a network attack generator. The results of the experiments confirmed that the functional and non-functional requirements, as well as the requirements for computing intelligent systems, are met for the developed attack detection system. (shrink)

t. 1. Cheshskai︠a︡ i slovat︠s︡kai︠a︡ ėstetika XIX veka -- t. 2. Cheshskai︠a︡ i slovat︠s︡kai︠a︡ ėstetika XX veka.

This symposium examines insurrectionist ethics, the brainchild of Leonard Harris. The position does not stem from one key source; it was born out of Harris’s philosophical interaction with various philosophers over an extended period, including thinkers as diverse as David Walker, Karl Marx, Edward Wilmot Blyden, Alain Locke, and Angela Davis. The driving questions are: What counts as justified protest? Do slaves have a moral duty to insurrect? What character traits and modes to resistance are most conducive to liberation and (...) the amelioration of oppressive material conditions? Insurrectionist ethics is meant to address such questions. This symposium attempts to locate insurrectionist ethics in the work .. (shrink)