This study aims to show a similarity of Kant’s and Jung’s approaches to an issue of the possibility of scientific psychology, hence to explicate what they thought about the future of psychology. Therefore, the article contains heuristic material, which can contribute in a resolving of such methodological task as searching of promising directions to improve philosophical and scientific psychology. To achieve the aim the author attempts to clarify an entity of Kant’s and Jung’s objections against even the possibility of scientific (...) psychology and to find out ways to overcome those objections in Kant’s and Jung’s works. The main methods were explication, reconstruction and comparative analysis of Kant’s and Jung’s views. As a result it was found, that Kant and Jung allocated one and the same obstacles, which, on their opinion, prevent psychology to become a science in the strict sense. They are: 1) coincidence of subject and object in psychology; 2) impossibility to apply quantitative mathematic methods in psychology; 3) pendency of the issue of psychophysical parallelism. However, Kant and Jung indicated ways to resolve formulated by them fundamental difficulties. All those ways lay through the searching a principle of interaction and connection between the psychic and the physical. (shrink)

The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and in some (...) of its extensions, e.g., £(R,-R,R-1 ,_R-1), £(R,-R,=I=) etc., is described, and numerous examples of conditions definable there, as well as undefinable ones, are adduced. (shrink)

The article discusses some facts of C. G. Jung's direct appeal to the ideas of I. Kant. The main part of the article is preceded by statistical data on the mention of various philosophers in the Collected Works of Jung. It is not surprising that Kant leads in the number of links to his ideas or personality in Jung’s heritage. Then I show examples of the mention of Kant in Jung’s correspondence, which allow understand the fundamental philosophical background of analytical (...) psychology better. For this purpose in particular I give excerpts from which it becomes clear that the creator of the analytical psychology, unlike his predecessor C. G. Carus, never hypostasized the collective unconscious, because Jung believed that this is a thing in itself. Also by correspondence it is clear that Jung grasped Kant’s criticism of the rational proofs of existence of God well. Then I point out how apriorism is manifested in analytical psychology. Also I explain briefly how to understand that archetypes and instincts are necessary a priori conditions for the formation of psychic experience. In conclusion, the reasons are given for which Kant and Jung rejected the fundamental possibility of the existence of psychology in the status of strict science. -/- В статье рассматриваются некоторые факты прямого обращения К. Г. Юнга к идеям И. Канта. Основная часть статьи предваряется статистическими данными по упоминанию различных философов в 20-томном академическом собрании сочинений Юнга. Совершенно не удивительно, что по количеству ссылок лидирует Кант. Далее приводятся конкретные примеры упоминания родоначальника немецкой классической философии в переписке Юнга, что позволяет лучше понять фундаментальную философскую подоплёку аналитической психологии. Так, приводятся отрывки, из которых становится ясно, что создатель аналитической психологии, в отличие от своего предшественника К. Г. Каруса, никогда не гипостазировал коллективное бессознательное, считая, что это вещь в себе. Также по переписке видно, что Юнг усвоил произведённую Кантом критику доказательств бытия Божия. Затем в статье указывается, каким образом в аналитической психологии проявляется априоризм. Кратко объясняется, как следует понимать то, что архетипы и инстинкты являются необходимыми априорными условиями формирования психического опыта. В заключение приводятся основания, по которым Кант и Юнг отвергали принципиальную возможность существования психологии в статусе строгой науки, и которые до сих пор не преодолены. (shrink)

Researchers often talk about a powerful heuristic potential of the Kantian heritage, but sometimes they do not show concrete examples in defense of this opinion outside Kantianism and Neo- Kantianism. This article contains an attempt to demonstrate that on the example of how efficiently C.G. Jung used Kant’s ideas to construct the theoretical basis of analytical psychology in general and his conception of archetypes in particular, we can see the urgency of Kant’s heritage not only for his direct spiritual successors. (...) In addition the question is discussed: why did Jung claim that epistemologically he took his stand on Kant? (shrink)

In this article is discussed an issue, how Nicolas von Grot’s theory of psychic energy had an influence upon theoretical basis of the analytical psychology, firstly, upon the concept of ‘libido’, which denotes a universal psychic energy. Also the author analyzes C.G. Jung’s objections against some moments of Grot’s argumentation and shows, how these objections can be eliminated through the Jung’s concept of psychoid factor’ (‘psychoid’) -/- В данной статье рассматривается влияние энергетизма Н.Я. Грота на формирование теоретического базиса аналитической психологии (...) К.Г. Юнга в части разработки последним учения об универсальной психической энергии либидо. Также анализируются возражения К.Г. Юнга против некоторых мест гротовской аргументации, и демонстрируется, каким образом эти возражения могут быть сняты посредством обращения к разработанному в поздних юнговских трудах понятию «психойдный фактор» («психойдное»). (shrink)

The subject of the article is a mass psychology of B.P. Vysheslavtsev. This is a socio-philosophical conception, which created by Vysheslavtsev through the synthesizing of German classical philosophy, neo-Kantianism, Russian religious philosophy and analytical psychology. He developed the mass psychology in close collaboration with C.G. Jung by his direct order. The mass psychology, despite the heterogeneity of its foundations, became an organic continuation of analytical psychology. Moreover, there is reason to suppose that Vysheslavtsev's socio-philosophical and religious ideas influenced all of (...) Jung’s later work. The main method used was a comparative analysis of the ideas of Vysheslavtsev and Jung, as well as a critical interpretation of the original sources, including unpublished archival materials — letters and manuscripts. The novelty lies in the fact that previously the mass psychology of Vysheslavtsev eluded the attention of researchers. This is primarily due to the inaccessibility of sources on this issue, since some of them are either not published and stored in archives, including the Bakhmeteff Archive (Columbia University in the City of New York) and C.G. Jung Papers Collection (ETH Zurich University Archive), or was published in rare foreign journals and not translated into Russian. At the same time, without these sources it is difficult to understand not only the evolution of Vysheslavtsev’s views, but also the logic and reasons for the development of Jung’s ideas from the 1940s to his death. Thus, this article is intended to partially replenish these gaps in the history of Russian and European philosophy and psychology. Предметом исследования данной статьи является созданная на основе синтеза немецкой классической философии, неокантианства, русской религиозной философии и аналитической психологии социально-философская концепция Б.П. Вышеславцева, названная им "массовая психология". Данная концепция разрабатывалась в тесном взаимодействии с К.Г. Юнгом, в том числе, по его непосредственному заказу. Массовая психология Вышеславцева, несмотря на разнородность её основ, стала органичным продолжением аналитической психологии. Более того, есть основания полагать, что социально-философские и религиозные идеи Вышеславцева оказали влияние на всё позднее творчество Юнга. В качестве основного метода использовался компаративный анализ идей Вышеславцева и Юнга, а также критическая интерпретация первоисточников, включая неопубликованные архивные материалы - письма и рукописи. Новизна заключается в том, что ранее массовая психология Вышеславцева ускользала от внимания исследователей. Обусловлено это, в первую очередь, труднодоступностью источников по данной проблеме, так как часть из них либо не опубликована и хранится в архивах, в том числе в Бахметьевском архиве Колумбийского университета (Нью-Йорк) и Архиве Юнга (Цюрих), либо была опубликована в редких иностранных изданиях и не переведена на русский язык. Вместе с тем, без данных источников трудно понять не только эволюцию взглядов Вышеславцева, итогом которой стал труд "Кризис индустриальной культуры", но также логику и причины развития представлений Юнга начиная с 1940-х годов и заканчивая его смертью. Тем самым, данная статья призвана отчасти восполнить указанные лакуны в истории русской и европейской философии и психологии. (shrink)

Introduction: Research has documented the prevalence of different HIV/AIDS prevention programs launched to reduce the spread of the virus. However, the extent to which the success or otherwise of these programs are achieved is rarely discussed. This study addresses this gap by analyzing the impact of three socioeconomic parameters on the evaluation of HIV/AIDS prevention programs in the Southern Senatorial District of Cross River State, Nigeria. Methods: A sample of 239 health care employees selected using the proportional stratified random sampling (...) technique participated in the study. A priori power analysis (using G*power) indicated that the sample size was large enough to achieve a 96.7% statistical power. Data was collected using a structured questionnaire. Exploratory factor analysis assessed the dimensionality of the instrument. Acceptable construct and discriminant validity and composite reliability coefficients were obtained. At the .05 alpha level, the null hypotheses were tested using a one-way analysis of variance. Findings: Findings indicated that the evaluation of HIV/AIDS prevention programs significantly varied with the level of funding provided (F[2, 236]=81.11, p<.001), human capacity available (F[2, 236]=40.91, p<.001), and stigmatization to people living with AIDS (F[2, 236]=40.79, p<.001). Health facilities with higher funding and human capacity successfully evaluated HIV/AIDS prevention programs. However, the evaluation of HIV/AIDS prevention programs was lower in areas with a high level of stigmatization. Conclusion and implication: This study’s findings provided evidence that funding, human capacity, and stigmatization affect how HIV/AIDS pandemic can be effectively evaluated. This study implies that additional responsibility is required for public health workers to promote quality service delivery across different health facilities. Keywords:. (shrink)

Arguably the biggest challenge in analyzing English tense is to account for the double access interpretation, which arises when a present tensed verb is embedded under a past attitude—e.g., "John said that Mary is pregnant". Present-under-past does not always result in a felicitous utterance, however—cf. "John believed that Mary is pregnant". While such oddity has been noted, the contrast has never been explained. In fact, English grammars and manuals generally prohibit present-under-past. Work on double access, on the other hand, has (...) either disregarded the oddity (e.g., Abusch 1997: 39) or treated it as a reflex of a particular dialect (e.g., Kratzer 1998: 14). The goal of the paper is to argue—based on a corpus study—that a present-under-past sentence is grammatical, but modulated by two, interacting pragmatic phenomena: cessation and parentheticality. (shrink)

Self-enhancing statements can provide useful information. Why do we resent those who make them? We suggest that the resentment comes from a broader claim of superiority that self-enhancing statements can imply. In three experiments, we compared one condition, designed such that the self-enhancing claim would be perceived as a claim of superiority, to three conditions providing different contextual reasons for why the self-enhancing claim might not be a claim of superiority. In those conditions the self-enhancing claim is either called for, (...) addressed to someone who performs better than the self-enhancer, or addressed to someone who doesn’t compete in the domain mentioned of the self-enhancing claim. The results show that participants disliked the self-enhancer more and were more likely to deem the self-enhancing claim to be a brag when the self-enhancing claim was manipulated to be a claim of superiority. (shrink)

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...) Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

This note considers deductive systems for the operator a of unprovability in some particular propositional normal modal logics. We give thus complete syntactic characterization of these logics in the sense of Lukasiewicz: for every formula  either `  or a  (but not both) is derivable. In particular, purely syntactic decision procedure is provided for the logics under considerations.

This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.

In this article, I critically reassess Iris Marion Young's late works, which centre on the distinction between liability and social connection responsibility. I concur with Young's diagnosis that structural injustices call for a new conception of responsibility, but I reject several core assumptions that underpin her distinction between two models and argue for a different way of conceptualising responsibility to address structural injustices. I show that Young's categorical separation of guilt and responsibility is not supported by the writings of Hannah (...) Arendt, which Young draws on, and that it is also untenable on independent systematic grounds. Furthermore, I argue that several of Young's other criteria fail to clearly demarcate two distinct phenomena. I therefore propose to transcend Young's distinction between two models in favour of a related, but conceptually different distinction between two forms of responsibility: interactional and structural. Embracing this terminology facilitates the conceptualisation of the general features of responsibility that are shared by both forms, including their retrospective and prospective time-direction and their applicability to individual, joint and group agency. The distinction between interactional and structural responsibility also yields a more compelling general account of the role of background structures, and of blame within ascriptions of political responsibility. (shrink)

This study used a path analytic approach to examine the composite interaction of supervisory and records management with secondary school system effectiveness in terms of students' academic performance, teachers' job effectiveness and principals' administrative effectiveness. Two research questions were answered while one null hypothesis was tested. The study adopted a factorial research design. Convenience sampling technique was adopted by the researchers in selecting a sample of 1,200 respondents which comprised 271 principals and 929 teachers from a population of 271 principals, (...) and 4,878 teachers. Principal Innovative Management Practices and Administrative Effectiveness Questionnaire (PIMPAEQ), Teachers work effectiveness questionnaire (TWEQ), and Students Mathematics Achievement Test (SMAT) were all used as instruments for data collection. Collected data were analyzed using descriptive statistics, the research questions and null hypothesis were answered and tested (at .05 level of significance) respectively using multiple regression and path analyses with the aid of SPSS v25 and Amos v22. Findings from the study established amongst others that; supervisory management and records management practices have a significant joint contribution to students’ academic performance by 66.4%, teachers’ job effectiveness by 71%, and principals’ administrative effectiveness by 86.8%. Supervisory management and records management practices had a significant influence on students’ academic performance (F= 1183.641, p<.05), teachers’ job effectiveness (F= 1465.615, p<.05), and principals’ administrative effectiveness (F=3924.763, p<.05). It was recommended amongst others that; secondary school principals should jointly use supervisory and records management practices as innovative techniques for improving students’ academic performance, teachers’ job effectiveness and their own administrative effectiveness. KEYWORDS:. (shrink)

The stable evolutionary strategy of Homo sapiens and patterns of risks arising in the course of this evolution were discussed in article. These patterns were predicted by Bogdanov’s option of General systems theory.

Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...) method of axiomatization hinges upon the fact that a "difference" operator is definable in hyperboolean algebras, and makes use of additional non-Hilbert-style rules. Finally, we discuss a number of open questions and directions for further research. (shrink)

This paper argues that the Fairtrade certification system represents an illuminating example of the challenge of systematically determining consumer and entrepreneurial responsibilities in our global age. In taking up the central question of what, if anything, may be called ‘just’ or ‘fair’ in Fairtrade, I more precisely argue for a two-fold thesis: that a meaningful evaluation of Fairtrade must consider both an interactional and an institutional understanding of global responsibilities to promote justice and that Fairtrade can be better defended against (...) several popular objections from the perspective of a theory that adequately differentiates between interactional responsibilities and institutional responsibilities of promoting justice under unjust circumstances. (shrink)

The learning process of both students and teachers can be predicted based on the learning mode. Therefore, because of the COVID-19 pandemic, schools must start using online learning and abandon more traditional teaching techniques. Thus, this study investigates the relationship between self-efficacy and academic resilience among 150 senior high school students. Thus, the researchers employed General Self-Efficacy and Resilience Scale. Finally, the statistical analysis reveals that the r coefficient of 0.78 indicates a high positive correlation between the variables. The p-value (...) of 0.00, which is less than 0.05, leads to the decision to reject the null hypothesis. Hence, a significant relationship exists between self-efficacy and resilience among senior high school students. (shrink)

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

In defending his interest-relative account of knowledge in Knowledge and Practical Interests (2005), Jason Stanley relies heavily on intuitions about several bank cases. We experimentally test the empirical claims that Stanley seems to make concerning our common-sense intuitions about these bank cases. Additionally, we test the empirical claims that Jonathan Schaffer seems to make in his critique of Stanley. We argue that our data impugn what both Stanley and Schaffer claim our intuitions about such cases are. To account for these (...) results, one must develop a better conception of the connection between a subject's interests and her body of knowledge than those offered by Stanley and Schaffer. (shrink)

A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL$^{*}$ into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL$^{*}$-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium for reasoning (...) about branching time. (shrink)

We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities.En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways, game identities into modal formulae.The completeness proof is based on reduction of game terms to a certain ‘minimal (...) canonical form’, by using only the axiomatic identities, and on showing that the equivalence of two minimal canonical terms can be established from these identities. (shrink)

In this article we intend to present Alvin Plantinga’s epistemology by showing the way in which its central concepts: the Reidian foundationalism, the partial critique of evidentialism, warrant, proper function, reliability and externalism - are logically interrelated. A section of this article is reserved to the critiques of his account of warrant brought by Peter Klein and Richard Feldman and to the way in which Plantinga answered them, by developing the concepts of cognitive maxi- and mini-environment. In the end we (...) will see the way in which Plantinga’s epistemology relates to both modernism and postmodernism. (shrink)

A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.

This study used a partial least squares structural equation modelling (PLS-SEM) to estimate curriculum management's direct and indirect effects on university graduate programmes' viability. The study also examined the role of institutional effectiveness in mediating the nexus between the predictor and response variables. This is a correlational study with a factorial research design. The study's participants comprised 149 higher education administrators (23 Faculty Deans and 126 HODs) from two public universities in Nigeria. A structured questionnaire designed by the researchers was (...) used for data collection. The questionnaire was duly validated with an acceptable scale and item content validity indices. The dimensionality of the instrument was determined using exploratory factor analysis (EFA). Convergent validity was based on Average Variance Extracted (AVE), whereas discriminant validity was based on Fornell-Lacker criteria and the Hetero-Trait Mono-Trait (HTMT) ratio. Acceptable composite reliability estimates of internal consistency were reached for the three sub-scales. Following ethical practices, the questionnaire was physically administered to respondents and retrieved afterwards. Smart PLS (version 3.2.9) and SPSS (version 26.0) programs were used for all the statistical analyses. This study uncovered significant direct and indirect effects of curriculum management on the viability of graduate programmes. Institutional effectiveness significantly impacted graduate programmes’ viability while mediating the nexus between curriculum management and graduate programmes’ viability. Curriculum management and institutional effectiveness jointly explained a significant proportion of graduate programmes’ viability variance. The result of this study proved that graduate programmes’ viability depends, to a great extent, on how much curriculum is managed and how effective institutions are with their services. The result of this study can enable institutions seeking to run viable graduate programmes to re-evaluate their curriculum management practices and the effectiveness of their services. (shrink)

There are some arguments supporting the pessimistic meta-induction, coming from the direction of quantum theory (A. Kukla and J. Walmsley), from the direction of Laudan’s list with successful but false theories, and from the specific direction of the phlogiston theory (whom Kukla Walmsley, and S. Psillos consider to be false). Against these arguments we believe we can successfully oppose, in the first case the interactive quantum realism of I. Niiniluoto, in the second case the realism of the theoretical theoretical constituents (...) responsible for the empirical success of the theories of S. Psillos, and in the third case the analysis of the phlogiston theory done by V. Verronen, R. Vihalemm and E. McMullin (who suggested that this theory was simultaneously insufficiently mature and approximately true). Our conclusion does not necessary prove that the perspective of the scientific realism is true, but rather that the pessimistic meta-induction attack against it proves to be unconvincing. (shrink)

Consumer boycotts have become a frequent form of social protest in the digital age. The corporate malpractices motivating them are varied, including environmental pollution, lack of minimum labour standards, severe mistreatment of animals, lobbying and misinformation campaigns, collaboration or complicity with illegitimate political regimes, and systematic tax evasion and tax fraud. In this article, I argue that organised consumer boycotts should be regarded as a legitimate and purposeful instrument for structural change, provided they conform to a number of normative criteria. (...) In order to show this, the practice and empirical context of consumer boycotts are first outlined. I then lay out and refute three general objections to this practice. Although each of these objections fails, their discussion generates insights concerning the normative standards with which boycotters must comply if they want their campaigns to be both legitimate and successful. These normative criteria are detailed along the lines of two guiding principles, proportionality and transparency. In the final step, I elaborate on structural change as the deeper purpose of consumer boycotts. (shrink)

We propose a generalization of Sahlqvist formulae to polyadic modal languages by representing modal polyadic languages in a combinatorial style and thus, in particular, developing what we believe to be the right approach to Sahlqvist formulae at all. The class of polyadic Sahlqvist formulae PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.

We study the modal logic M L r of the countable random frame, which is contained in and `approximates' the modal logic of almost sure frame validity, i.e. the logic of those modal principles which are valid with asymptotic probability 1 in a randomly chosen finite frame. We give a sound and complete axiomatization of M L r and show that it is not finitely axiomatizable. Then we describe the finite frames of that logic and show that it has the (...) finite frame property and its satisfiability problem is in EXPTIME. All these results easily extend to temporal and other multi-modal logics. Finally, we show that there are modal formulas which are almost surely valid in the finite, yet fail in the countable random frame, and hence do not follow from the extension axioms. Therefore the analog of Fagin's transfer theorem for almost sure validity in first-order logic fails for modal logic. (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider (...) a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in terms of (...) the first-order theory of the generating class C, and indicate the problems obstructing such general results for the other classes. These problems arise from the possible existence of nondefinable paths in trees, that need not satisfy the first-order theory of C, so we have started analysing first order definable and undefinable paths in trees. (shrink)

Interview of Katrin Flikschuh, Rainer Forst and Darrel Moellendorf by Valentin Beck and Julian Culp for Global Justice: Theory Practice Rhetoric.

Mechanisms to ensure the integrity of the system stable evolutionary strategy Homo sapiens – genetic and cultural coevolution techno-cultural balance – are analyzed. оe main content of the study can be summarized in the following the- ses: stable adaptive strategy of Homo sapiens includes superposition of three basic types (biological, cultural and technological) of adaptations, the integrity of the system provides by two coevolutionary ligament its elements – the genetic-cultural coevolution and techno-cultural balance, the system takes as result of by (...) develop- ment of genetic and information technologies by advent of genetic and informa- tion technologies extremely unstable conūguration; a harbinger of a radical change in the mechanisms of global evolution religion is a consequence of structural and functional organization of the human psyche; it played (along with science and technology) the role of socio-cultural adaptation of the human mind are present a number of ideas or concepts (the idea of God, including) the genesis of that ideas is associated with the interaction of two information systems, that appear to each other as information substrates – emotional, and verbal-logical (discursive) forms; evolution of the mentality has two nodes, that corresponding to the dominance of rationalism or religion in spiritual culture; the problem of rational justiūcation of religion in modern science is presented by two alternative methodologies – evo- lutionary epistemological and metaphysical-ontological ones; both methodologies are incompatible in a logical perspective; in the evolutionary epistemological im- pact concept of religion and science are equal and alternative building blocks of a stable evolutionary strategy of Homo sapiens, and their balance sheet pro. (shrink)

The Journal of Philosophical Economics comes out from a barely disguised, though deep, anxiety about the way we, the economists, may improve the ways of providing meaningful explanations for what makes and does not make sense in such economic developments as prosperity, globalisation, material imbalances, labour relations, or common property. These issues are usually resuscitated under contemporary labels such as feminism, environmentalism, Marxism, or liberalism. However, it can be argued that these issues have represented in fact recurrent threads of economic (...) thinking dating back to ancient times. (shrink)

This study intends to show that the question whether faith can be justified without proofs can be resolved by importing ideas from Kierkegaard’s and Plantinga’s affirmative take on the matter. There is a deep similarity between the way they understand belief in God and belief in Christianity: for both the first is considered universal human knowledge and the second seen as a gift from God. Against the charge that such an understanding is irrational Plantinga offers an externalist epistemological model which (...) allows those beliefs to be warranted. The authors also share the modern idea that there is an objective truth, combining it with the postmodern stance that no method exists which would guarantee access to it. A specific contribution on Kierkegaard’s part to the understanding of the rationality of transitions toward a Christian stage of existence is to show in detail the way in which such transitions are mediated through inwardnes - a perspective akin to Michael Polanyi’s scientific epistemology. One can see in both authors not only a deep commonality of ideas, but also a remarkable way in which their understandings augment each other. Whereas Plantinga’s inquiry contributes to the rational plausibility of a “Justified Faith without Reasons” project, Kierkegaard’s venture balances such a logical-analytic effort with a deep existential inquiry. (shrink)

We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...) iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

Auch zu Beginn des 21. Jahrhunderts lebt ein großer Teil der Menschheit in bitterer Armut. Daraus ergibt sich die brennende Frage, was die Bürgerinnen und Bürger wohlhabender Länder extrem armen Menschen moralisch schulden. Valentin Beck beantwortet sie im Rahmen einer umfassenden Theorie der globalen Verantwortung. In seinem glänzend geschriebenen Buch behandelt er zentrale Fragen der Theorie globaler Gerechtigkeit, unterzieht unsere Verflechtung in globale soziale Strukturen einer detaillierten Analyse und wirft so ein neues Licht auf eine der größten moralischen Herausforderungen (...) unserer Zeit. Wir müssen mit Blick auf den politischen und individuellen Umgang mit der Weltarmut umdenken, so lautet die zentrale Forderung dieser Studie. (shrink)

We discuss arguments against the thesis that the world itself can be vague. The first section of the paper distinguishes dialectically effective from ineffective arguments against metaphysical vagueness. The second section constructs an argument against metaphysical vagueness that promises to be of the dialectically effective sort: an argument against objects with vague parts. Firstly, cases of vague parthood commit one to cases of vague identity. But we argue that Evans' famous argument against will not on its own enable one to (...) complete the reductio in the present context. We provide a metaphysical premise that would complete the reductio, but note that it seems deniable. We conclude by drawing general morals from our case study. (shrink)

The co-evolutionary concept of Three-modal stable evolutionary strategy of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctly) parameters simultaneously, that cannot be instrumental reduced to others ones. Resulting volume of both parameters define the trends of biological, social, cultural and techno-rationalistic human evolution by two gear mechanism ˗ gene-cultural co-evolution and techno- humanitarian balance. (...) The resultant each of them can estimated by the ratio of socio-psychological predispositions of humanization/dehumanization in mentality. Explanatory model and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. Integral part of the model is evolutionary semantics (time-varying semantic code, the compliance of the biological, socio-cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). (shrink)

The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed.

Much of the recent philosophical discussion about free will has been focused on whether compatibilists can adequately defend how a determined agent could exercise the type of free will that would enable the agent to be morally responsible in what has been called the basic desert sense :5–24, 1994; Fischer in Four views on free will, Wiley, Hoboken, 2007; Vargas in Four views on free will, Wiley, Hoboken, 2007; Vargas in Philos Stud, 144:45–62, 2009). While we agree with Derk Pereboom (...) and others that the compatibilist’s burden should be properly understood as providing a compelling account of how a determined agent could be morally responsible in the basic desert sense, the exact nature of this burden has been rendered somewhat unclear by the fact that there has been no definitive account given as to what the basic desert sense of moral responsibility amounts to. In Sect. 1 we set out to clarify the compatibilist’s burden by presenting our account of basic desert moral responsibility—which we call retributivist desert moral responsibility for purposes of clarity—and explain why it is of central philosophical and practical importance to the free will debate. In Sect. 2 we employ a thought experiment to illustrate the kind of difficulty that compatibilists of any stripe are likely to encounter in attempting to explain how determined agents can exercise the kind of free will needed for retributivist desert moral responsibility. (shrink)

We consider several natural fragments of the alternating-time temporal logics ATL* and ATL with restrictions on the nesting between temporal operators and strategic quantifiers. We develop optimal decision procedures for satisfiability in these fragments, showing that they have much lower complexities than the full languages. In particular, we prove that the satisfiability problem for state formulae in the full `strategically flat' fragment of ATL* is PSPACE-complete, whereas the satisfiability problems in the flat fragments of ATL and ATL$^{+}$ are $\Sigma^P_3$-complete. We (...) note that the nesting hierarchies for fragments of ATL* collapse in terms of expressiveness above nesting depth 1, hence our results cover all such fragments with lower complexities. (shrink)

We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.

In this article, I set out Suárez's conception of the demon's obstinacy. For Suárez, the demons’ obstinacy is a divine punishment. It is the result of the free and awful choice to turn away from God that the demons have decided to make, the main consequence of which is the loss of the freedom to will and to do the good. Taking up Aquinas’s conception, Suárez considers that the demonic nature is irredeemably corrupt and obstinate in evil. Demons are provided (...) only with a miserable freedom, consisting of the possibility to choose between different evils. Perpetually sinful and eternally constrained to remain so, they are condemned to wretchedness, to complacency in evil, and to the unremitting torments of hell. (shrink)

The article is devoted to an objective assessment of the role of Sabina Spielrein – one of the Russian pioneers of psychoanalysis – in the forming of theoretical basis of analytical psychology. A bibliographic review precedes the main part, in order to show the prevailing bias towards the consideration of personal life and the subjective features of Spielrein’s creativity, and not her ideas. In the first part the author briefly considers Spielrein’s contribution to the empirical justification and further development of (...) the complex theory and shows how her ideas are related to Jung's representations on the phylogenesis and ontogenesis of the psyche as a result of complex building-up and about the psychogenesis of schizophrenia. In particular, it is noted that Spielrein is the first one who clearly formulate a hypothesis, according to which our psyche a priori does not constitute anything integral, but is a combination of many complexes. In the second part the author focuses on the concept of speciespsyche, which anticipates the concept of collective unconscious. He draws parallels between the ideas of Spielrein and Jung on the role of collective unconscious contents of the psyche in shaping the individual's current psychic experience. In particular, the author focuses on the idea that every experience is always both conscious and unconscious, and if it does not superimpose the entire history of similar experiences inherited from the ancestors then it does not reach the needed level of intensity. In the same part the author points out three factors that do not allow us to assert with complete confidence that the concept of species-psyche is the exclusive merit of Spielrein, even though she published her ideas before Jung. The third part gives an assessment of the contribution of Spielrein to the development of Jung’s and Freud’s views on the destruction. The author points out the two main sources of Spielrein’s reflection on the destruction nature. The first is the ideas of the Russian biologist I.I. Mechnikov concerning the instinct of normal death. The second is Jung's ideas about the ambivalent nature of the libido. The author also demonstrates the close connection between the notion of species-psyche and the concept of destruction. Then a distinction is made between the simple static instinct of self-preservation and the ambivalent dynamic instinct of preservation of the species. In addition, the author compares Spielrein’s and Jung’s views on the essence of the destruction with the views of Freud. For this purpose a distinction is made between the death instinct as a positive drive for transformation through the destruction and the death instinct as the drive to completely destruction or stop of all processes. Дается оценка роли С.Н. Шпильрейн в формировании теоретического базиса аналитической психологии. Демонстрируется значимость ее научного вклада в развитие представлений К.Г. Юнга о комплексе, фило- и онтогенезе психики, психогенезе шизофрении, коллективном бессознательном и деструкции. Особый акцент делается на последние два момента. Кроме того, выявляются некоторые различия в понимании сущности феномена деструкции С.Н. Шпильрейн, К.Г. Юнгом и З. Фрейдом. (shrink)