This book constitutes the refereed proceedings of the 13th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2012, held in Helsinki, Finland, in July 2012, co-located with the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012. The 34 papers were carefully reviewed and selected from a total of 127 submissions. The papers present original research and cover a wide range of topics in the field of design and analysis of algorithms and data structures.

In this article, I examine the relation between Bateson and Guattari’s ecological thoughts: two thinkers whose ecological ideas at first sight have a lot in common. In order to show the difference between the thoughts of both thinkers, I will take my clue from Guattari’s remark that he parts ways with Bateson on the role of context. Explaining the role of context in both authors will allow me to show how Guattari’s thought implies both an endorsement and a critique of (...) cybernetics, and, specifically, promoting a machinic rather than cybernetic ecology. I will conclude by indicating what is at stake in this distinction. (shrink)

It is well-known that natural axiomatic theories are well-ordered by consistency strength. However, it is possible to construct descending chains of artificial theories with respect to consistency strength. We provide an explanation of this well-orderedness phenomenon by studying a coarsening of the consistency strength order, namely, the$\Pi ^1_1$reflection strength order. We prove that there are no descending sequences of$\Pi ^1_1$sound extensions of$\mathsf {ACA}_0$in this ordering. Accordingly, we can attach a rank in this order, which we call reflection rank, to any$\Pi (...) ^1_1$sound extension of$\mathsf {ACA}_0$. We prove that for any$\Pi ^1_1$sound theoryTextending$\mathsf {ACA}_0^+$, the reflection rank ofTequals the$\Pi ^1_1$proof-theoretic ordinal ofT. We also prove that the$\Pi ^1_1$proof-theoretic ordinal of$\alpha $iterated$\Pi ^1_1$reflection is$\varepsilon _\alpha $. Finally, we use our results to provide straightforward well-foundedness proofs of ordinal notation systems based on reflection principles. (shrink)

It is currently common to conceive of the classic methodological individualism–holism debate in level terms. Accordingly, the dispute is taken to concern the proper level of explanations in the social sciences. In this paper, I argue that the debate is not apt to be characterized in level terms. The reason is that widely adopted notions of individualist explanations do not qualify as individual-level explanations because they span multiple levels. I defend this claim relative to supervenience, emergence, and other accounts of (...) the social world as levelled. Moreover, I discuss the consequences of this finding for the ongoing methodological individualism–holism debate. (shrink)

The common assumption is that if a group comprising moral agents can act intentionally, as a group, then the group itself can also be properly regarded as a moral agent with respect to that action. I argue, however, that this common assumption is the result of a problematic line of reasoning I refer to as “the collective fallacy.” Recognizing the collective fallacy as a fallacy allows us to see that if there are, in fact, irreducibly joint actors, then some of (...) them will lack the full-fledged moral agency of their members. The descriptivist question of whether a group can perform irreducibly joint intentional action need not rise and fall with the normative question of whether a group can be a moral agent. (shrink)

An important volume connecting classical studies with feminism, Feminism and Ancient Philosophy provides an even-handed assessment of the ancient philosophers' discussions of women and explains which ancient views can be fruitful for feminist theorizing today. The papers in this anthology range from classical Greek philosophy through the Hellenistic period, with the predominance of essays focusing on topics such as the relation of reason and the emotions, the nature of emotions and desire, and related issues in moral psychology. The volume contains (...) some new, ground-breaking essays on Plato, Aristotle, and the Stoics, as well as previously published pieces by established scholars like Martha Nussbaum and Julia Annas. It promises to be of interest to an interdisciplinary audience including those working in classics, ancient philosophy, and feminist theory. (shrink)

This is an overview of Davidson's theory of anomalous monism. Objections and replies are also detailed.

In this paper, we study finitely axiomatizable conservative extensions of a theoryUin the case whereUis recursively enumerable and not finitely axiomatizable. Stanisław Krajewski posed the question whether there are minimal conservative extensions of this sort. We answer this question negatively.Consider a finite expansion of the signature ofUthat contains at least one predicate symbol of arity ≥ 2. We show that, for any finite extensionαofUin the expanded language that is conservative overU, there is a conservative extensionβofUin the expanded language, such that$\alpha (...) \vdash \beta$and$\beta \not \vdash \alpha$. The result is preserved when we consider eitherextensionsormodel-conservative extensionsofUinstead ofconservative extensions. Moreover, the result is preserved when we replace$\dashv$as ordering on the finitely axiomatized extensions in the expanded language by a relevant kind of interpretability, to witinterpretability that identically translates the symbols of the U-language.We show that the result fails when we consider an expansion with only unary predicate symbols for conservative extensions ofUordered by interpretability that preserves the symbols ofU. (shrink)

We consider the well-known provability logic GLP. We prove that the GLP-provability problem for polymodal formulas without variables is PSPACE-complete. For a number n, let L0n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L^{n}_0}$$\end{document} denote the class of all polymodal variable-free formulas without modalities ⟨n⟩,⟨n+1⟩,...\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle n \rangle,\langle n+1\rangle,...}$$\end{document}. We show that, for every number n, the GLP-provability problem for formulas from L0n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L^{n}_0}$$\end{document} (...) is in PTIME. (shrink)

The concept of retroactive apparent occurrence, the main ingredient of Wheeler's delayed-choice thought experiments, is systematically incorporated into the quantum theory of measurement (in the framework of the recent review of Busch, Lahti, and Mittelstaedt). Besides, the (general) notion of individual-system measurement is introduced, and, due to it, premeasurement is defined by a truly minimal condition. Finally, retroactive apparent occurrence is made use of to derive apparent objectification in measurement. The derivation is discussed in the framework of the quantum mechanical (...) approach to the objectification problem. (shrink)

In this paper, I examine a heretofore ignored critic of Descartes on the heterogeneity problem: Anton Wilhelm Amo. Looking at Amo’s critique of Descartes reveals a very clear case of a thinker who attempts to offer a causal system that is not a solution to the mind-body problem, but rather that transcends it. The focus of my discussion is Amo’s 1734 dissertation: The Apathy [ἀπάθεια] of the Human Mind or The Absence of Sensation and the Faculty of Sense in the (...) Human Mind and their Presence in our Organic and Living Body. Amo’s discussion of the interaction, or lack thereof, of the mind and body hinges on the essential feature he identifies for the human mind—apathy, that is, impassivity. In this work, Amo engages explicitly with Descartes’s writing, which allows us to more precisely see the nature of his agreement and disagreement with the Cartesian metaphysics of mind. I proceed by treating Amo’s five stated criteria for spirit-hood which, in turn, reveal the kinds of causal connections that are possible for embodied spirits on his view. My aim is threefold: To lay out what I take to be Amo’s view of and arguments for the five criteria he takes to be required for a substance to be spirit. To locate Amo’s agreement and disagreement with Descartes. To suggest that Amo’s view on mind-body interaction involves a kind of occasional causation. (shrink)

RésuméQuels sont les objets de la perception? Deux réponses célèbres à cette question soutiennent que ce sont soit les images des objets extramentaux, c'est-à-dire la façon dont ils nous apparaissent, soit les objets eux-mêmes. Dans cet article, je présente une analyse de cette question par Abū l-Barakāt al-Baġdādī, un savant post-avicennien dont l'impact sur l'histoire de la philosophie islamique a été largement négligé. Abū l-Barakāt s'est opposé au dualisme épistémologique traditionnel aristotélicien-avicennien, qui établit une distinction entre la perception sensorielle des (...) particuliers matériels et la conception des universaux immatériels, notamment en ce qui concerne le percevant et/ou la structure de la perception. Selon la théorie d'Abū l-Barakāt, tous les actes épistémiques ont la structure unifiée d'une relation directe entre un même percevant et les objets eux-mêmes – matériels et immatériels. Sa thèse principale consiste à dire qu'avoir des organes corporels n'est pas nécessaire pour la perception sensorielle. Dans la dernière section de cet article, je montre que la critique d'Abū l-Barakāt de la tradition aristotélicienne-avicennienne fut considérée comme une innovation révolutionnaire en épistémologie. Cela peut avoir déterminé les théories épistémologiques de deux des philosophes arabes postavicenniens les plus importants : Faḫr al-Dīn al-Rāzī et Šihāb al-Dīn al-Suhrawardī. (shrink)

In this article the author holds that progress in philosophy is a vague concept. Its criteria are not universally acknowledged. All that is clear is that philosophy does not develop in a linear way. Philosophy is polydiscoursive. As for the past fifty years, the author believes three important things happened in philosophy. (1) It has been shown that consciousness exists not within one individual but spreads within a community of people; (2) philosophy has discovered autism, a result that helps us (...) to understand a human being as neither a biological nor a social individual but a third thing—a dreaming being who is not only asocial but also tongueless, where speech and consciousness are separated; and (3) contemporary philosophy has learned to distinguish between sign and symbol. And it has been realized that the human mind is neither an instinct nor a computer but an objectified suffering, a transformed emotion. (shrink)

В сборник включены ранее не публиковавшиеся религиозно-философские произведения Ф. Н. Глинки.

This is a translation of an article which appeared in 1928 in the journal Red Virgin Soil (Krasnaya nov) founded by Aleksandr Voronsky. Its author, the Russian Marxist Fedor Kapelusz, makes use of the now largely-ignored book of Algie Simons, Social Forces in American History (1911). In comparing America’s past to its present, Kapelusz offers a sharp political assessment and at the same time a contribution to the materialist conception of American history.

The article attempts to explain the difficulty of systematization of philosophical categories. Philosophical categories are defined as common forms of cognitive and world view attitude of the man to the nature, society and his own existence. The article also analyses basic approaches to the process of creating the system of philosophical categories in the history of philosophical thought. The review of the major historical phases of philosophical interpretation of categories allows to state the existence of the problematic issue connected with (...) forming the system of categories. A lot of attempts have been undertaken on this subject. All of them were found controversial. It can be explained by the fact that all the attempts to systematize categories contradict the following principles - if categories are universal reflection forms of objective characteristics of existence, then their hierarchy must be the reflection of these characteristics’ hierarchy. But it is impossible to imagine that the "hierarchy" principle operates in the system of being, because the objective world is organized rather on the principle of "equality" than "subordination". The article addresses functional and developmental characteristics of philosophical categories. The article gives the author`s understanding of the concept of "philosophical categories". (shrink)

Essentialism can be defined as a metaphysical theory according to which things have essential and accidental properties. In this paper, I will address Avicennian essentialism, that is, essentialism...

By a well-known result of Kotlarski et al., first-order Peano arithmetic \ can be conservatively extended to the theory \ of a truth predicate satisfying compositional axioms, i.e., axioms stating that the truth predicate is correct on atomic formulae and commutes with all the propositional connectives and quantifiers. This result motivates the general question of determining natural axioms concerning the truth predicate that can be added to \ while maintaining conservativity over \. Our main result shows that conservativity fails even (...) for the extension of \ obtained by the seemingly weak axiom of disjunctive correctness \ that asserts that the truth predicate commutes with disjunctions of arbitrary finite size. In particular, \ implies \\). Our main result states that the theory \ coincides with the theory \ obtained by adding \-induction in the language with the truth predicate. This result strengthens earlier work by Kotlarski and Cieśliński. For our proof we develop a new general form of Visser’s theorem on non-existence of infinite descending chains of truth definitions and prove it by reduction to Gödel’s second incompleteness theorem, rather than by using the Visser–Yablo paradox, as in Visser’s original proof. (shrink)

This article pursues the hypothesis that there is a structural affinity between the case study as a genre of writing and the question of gendered subjectivity. With John Forrester’s chapter ‘Inventing Gender Identity: The Case of Agnes’ as my starting point, I ask how the case of ‘Agnes’ continues to inform our understanding of different disciplinary approaches to theorizing gender. I establish a conversation between distinct, psychoanalytically informed feminisms to move from the mid-20th century to contemporary cultural debate.

ABSTRACTScholarship on medieval philosophy has rightfully acknowledged the historical and systematical merit of Avicenna’s thought in all divisions of philosophy. Avicenna however did not...

One of the most widespread claims combining epistemology and metaphysics in post-Avicennian Islamic philosophy was that every object of thought is real. In Muʿtazilite reading, it was endorsed due to a theory of knowledge which states that knowledge is a connection or relation between the knower and the object known. Avicennists accepted it due to the rule that in a proposition “s is p” if p is something positive s has to be positive and real too. Hence, insofar as one (...) can conceptually distinguish between two non-existent items, they have to be real. In this article, the author presents significant consequences of this theory: the acceptance and denial of non-existent yet real extramental objects; the concept of mental existence as an alternative solution; the conceivability of paraconsistent ideas and their reality or reducibility to some real objects. (shrink)

We fix a gap in a proof in our paper Reducing ω-model reflection to iterated syntactic reflection.

Journal of Mathematical Logic, Volume 23, Issue 02, August 2023. In mathematical logic there are two seemingly distinct kinds of principles called “reflection principles.” Semantic reflection principles assert that if a formula holds in the whole universe, then it holds in a set-sized model. Syntactic reflection principles assert that every provable sentence from some complexity class is true. In this paper, we study connections between these two kinds of reflection principles in the setting of second-order arithmetic. We prove that, for (...) a large swathe of theories, [math]-model reflection is equivalent to the claim that arbitrary iterations of uniform [math] reflection along countable well-orderings are [math]-sound. This result yields uniform ordinal analyzes of theories with strength between [math] and [math]. The main technical novelty of our analysis is the introduction of the notion of the proof-theoretic dilator of a theory [math], which is the operator on countable ordinals that maps the order-type of [math] to the proof-theoretic ordinal of [math]. We obtain precise results about the growth of proof-theoretic dilators as a function of provable [math]-model reflection. This approach enables us to simultaneously obtain not only [math], [math] and [math] ordinals but also reverse-mathematical theorems for well-ordering principles. (shrink)

In the article the trends of national industrial enterprises development are investigated. The problems of innovative development of domestic industry are identified based on state industrial development concept. Particular attention is paid to the analysis of the management policy of industrial enterprises personnel quantity and quality dates. The processes of the personnel decreases invariably accompanied by a number of organizational and technical issues that will determine new requirements for the organization of internal management model of enterprise environment. Considered and analyzed (...) organizational and administrative activities of increasing professional and technical potential of personnel stuff. The paper proposes the ways to improve effectiveness of personnel stuff policy based on the current terms of international industrial market. The author refined the professional competences model structure of industrial enterprises staff. Consider the structure of complex events management personnel structure and the ways of their further development and implementation. (shrink)

A short report on the trip to India.--Philosophical doctrine of Buddhism.--Logic in ancient India.--The doctrine of categorical imperative in the Brāhmaṇas.

A central question in the history of metaphysics concerns the ontological status of such notions as 'redness,' 'humanity,' or 'animality,' which one calls 'universals.' Since one uses these notions to describe objects in the real world, it may seem intuitive that they exist in extramental reality: one says that universals are 'real'. Famously, though, several problems arise from this view. A central problem known both to medieval and contemporary scholars goes as follows: I look at a red rose and recognize (...) that there is 'redness' in it. Then, I look at a red apple and recognize that there is 'redness' in it, too. Does this mean that one and the same 'redness' appears in both the rose and the... (shrink)

Avicenna's analysis of the definition of substance and accident repeatedly emphasizes two points: one and the same essence cannot be substance in one instance and accident in another; whetherxis extrinsic or intrinsic for an underlying subject,ydoes not tell us anything as to whetherxis substance or not. Both points are development in an argument against certain unnamed people who claimed the opposite. In this article I will show that Avicenna's opponents are to be identified with the mainstream Baghdad Peripatetic School which (...) based itself on the Late Antique rule that “parts of substances are substances”. As for Avicenna's own position, it was developed on the basis of the heterodox position of Yaḥyā b. ʿAdī, who anticipated Avicenna's first point. This is a further piece of evidence for something that has only recently begun to be appreciated: the influence of Ibn ʿAdī on Avicenna.RésuméL’analyse d’Avicenne portant sur les définitions de la substance et de l’accident met en exergue les deux propositions suivantes: 1) la même essence ne peut être à la fois une substance dans un cas et un accident dans un autre; 2) le fait quexsoit extrinsèque ou intrinsèque à unysous-jacent ne nous permet pas de conclure quexest une substance. Ces deux propositions sont articulées dans un débat avec d’autres personnes ayant un point de vue opposé dont on ne connaît pas l’identité. Dans cet article, nous verrons que ces adversaires font partie de l’école péripatétique de Bagdad, qui elle-même s’appuie sur une proposition datant de l’Antiquité tardive et selon laquelle les parties de substances sont elles-mêmes des substances. La position d’Avicenne fut développée à partir de celle de Yaḥyā b. ʿAdī. Cet article apporte ainsi un argument nouveau qui met en évidence l’influence, remarquée seulement depuis peu, d’Ibn ʿAdī sur Avicenne. (shrink)

The theory of essential definitions is a fundamental anti‐sceptic element of the Aristotelian‐Avicennian epistemology. In this theory, when we distinguish the genus and the specific differentia of a given essence we thereby acquire a scientific understanding of it. The aim of this article is to analyse systematically the sceptical reasons, arguments and conclusions against real definitions of three major authorities of twelfth‐century Arabic philosophy: Faḫr al‐Dīn al‐Rāzī, Šihāb al‐Dīn al‐Suhrawardī and Abū l‐Barakāt al‐Baġdādī. I focus on showing how their refutation (...) of our capacity to provide essential definitions of things is rooted in their semantic theory: we only know things under certain descriptions which are identical to the meanings of the words that we use to refer to them, yet these descriptions do not capture the essences of things in themselves. The best result one can achieve with Aristotelian‐Avicennian scientific definitions is a “nominal definition”. With this, Rāzī, Suhrawardī and Abū l‐Barakāt will put some serious epistemic limitations on our capacity to attain scientific knowledge of things, at least as Aristotle and Avicenna would have it. (shrink)