The coronavirus pandemic, like its predecessors - AIDS, Ebola, etc., is evidence of the evolutionary instability of the socio-cultural and ecological niche created by mankind, as the main factor in the evolutionary success of our biological species and the civilization created by it. At least, this applies to the modern global civilization, which is called technogenic or technological, although it exists in several varieties. As we hope to show, the current crisis has less ontological as well as epistemological roots; its (...) reason lies in the main evolutionary trends in the development of science as a social institution. It was only later that epistemological factors were transformed into existential-ontological factors associated with the asymmetry of the existence of civilization and our biosocial nature. The perception or ignorance of a risk factor as a real fact is determined by the presence or absence of knowledge about it. In other words, risk is the result of the integration of the corresponding ontological concept into the general categorical structure. The plurality of such structures is a hallmark of multidisciplinary ontologies, each of which is associated with its own factual continuum. The aim of this study was to conceptually model for support relativistic parameter of evolutionary efficiency of stable evolutionary human strategy (SESH) in its techno-rationalistic module. The meaning of this term is equivalent to the category of scientific and technological development. (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)

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)

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)

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)

An assessment of the extent of the use of electronic platforms by African academic staff in universities to disseminate research was done in this study. The study is informed by the growing importance of online repositories and preprint servers in the scientific communication of scholarly output, especially in an era where the use of metrics for research appraisals and funding decisions is commonly practised. The quantitative research method was adopted, based on the descriptive survey research design. The snowball sampling technique (...) was used for data collection. Data were collected from 1,977 respondents, distributed across 24 African countries, through the use of an electronic survey. There was a high rate of willingness among universities’ academic staff in Africa, to adopt various online platforms for research dissemination; ResearchGate is currently utilized the most for research dissemination, but Google Scholar is the platform respondents are more willing to adopt for research dissemination; the rate at which academic staff research output can be found online as a ratio of their total publication is 64.04% and in the ratio of 2.00:3.12; poor access to Internet facilities at home and workplaces are the major challenges academic staff face in the utilization of digital platforms for RD. It was recommended, amongst others that academic staff in universities should endeavour to explore and utilize at least ten of the online platforms mentioned in this study, to enable them disseminate their scholarly works to a wider audience and for increased visibility Keywords:. (shrink)

Data is very important in any research experiment because it occupies a central place in making decisions based on findings resulting from the analysis of such data. Given its central role, it follows that such an important asset as data, deserve effective management in order to protect the integrity and provide an opportunity for effective problem-solving. The main thrust of this paper was to examine data management practices that should be adopted by scholars in maintaining the quality of their research (...) data. In achieving this, various concepts related to this paper were clarified. Various data management practices were also discussed beginning from data generation to data shredding. Based on the underlying observations from the light of the discussions made in this paper, it was recommended among others that: tertiary institutions in every part of the world should endeavour to establish a data management unit that will be saddled with the primary duty of formulating research data management policies, and the hosting of research data; every Journal should as a matter of compulsion, require the submission of data set corresponding to empirical papers submitted by authors and scholars. (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.

The focus of this study was to investigate "principals' administrative competence and teachers work performance" in Calabar Education zone. Four null hypotheses were tested in the course of the study. Correlational research design was adopted, while purposive sampling technique was used in selecting a sample of 800 teachers. Two instruments were used for data collection including "Principals' Administrative Competence Questionnaire (PACQ)," and Teachers' Work Performance Questionnaire (TWPQ)." Pearson Product Moment Correlation Analysis (r) and multiple regression (R) analysis were employed to (...) test the hypotheses at.05 level of significance were applicable, with the aid of SPSS v21. Findings from the study revealed that; principals' supervisory, leadership and communication competences are significantly related to teachers' work performance in terms of instructional delivery, attendance to classes, notes writing, and record keeping respectively. It was also revealed that; principals' supervisory, leadership and communication competences have significant composite influence on teachers' work performance in terms of instructional delivery (p <.05; F = 26.764), attendance to classes (p <.05; F = 109.122), notes writing (p <.05; F = 228.118), and record keeping (P <.05; F = 468.793). Based on these findings, it was recommended amongst others that; such techniques as close supervision of teachers, good leadership styles, and effective communication should be jointly practiced by secondary school principals in order to improve teachers' work performance. (shrink)

This study assessed the partial as well as the collaborative impact of age and gender on academic staff preparedness to adopt Internet tools for research sharing in African universities during Covid-19. Although evidence abounds in the literature on gender and age as they affect relatively, scholars’ utilisation of digital tools for research communication, such studies did not examine scholars’ preparedness to adopt from a broad perspective of Africa. This study was conducted based on the argument that the preparedness of scholars (...) may affect their future interest to utilize digital tools for research sharing. A quantitative method, based on the descriptive survey research design, was adopted to provide answers to four prevailing research questions. The examination focused on a populace of 8,591 staff in African universities, nonetheless, information was gathered from 1,977 of them, who deliberately took part from 24 African nations. A validated electronic rating scale, which was mailed/posted to targeted participants, was used as the instrument for data collection. Gender and age significantly affected academic staff preparedness to adopt Internet tools for research sharing partially and interactively in African Universities during Covid-19. Female staff were more prepared than males to adopt internet tools for research sharing during the pandemic. Older lecturers reported a higher rate of preparedness than their younger colleagues to adopt Internet tools for research sharing during Covid-19. In light of these proofs, ramifications and proposals for future exploration are discussed. (shrink)

The use of impact factor (IF) in the scientific and academic world is not new. A phenomenon that has gained widespread recognition and utilization. However, in modern-day usage, there seems to be a trend in higher education where academics are evaluated based on the impact factor of journals where scholarly works are published. This trend is gradually shifting the paradigm from the assessment of research contents to publication venues. This does not align with the original purpose of IF conceived by (...) Garfield in 1955. One question that has continued to agitate the minds of concerned academics is whether the IF of journals is a dependable measure of research quality. This paper is an attempt to clarify or address this problem. Based on a thorough literature search and filtration, several problems about the use of IF as a research quality measure are discussed as well as their implications. Recommendations were also made aimed at providing a way forward in higher education. (shrink)

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)

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)

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)

This study investigated problems of school management and secondary school students' academic performance in Calabar Education Zone of Cross River State. Two null hypotheses were formulated to guide the study. The study adopted an ex-post facto research design. Proportionate stratified sampling technique was employed in selecting a sample of 3616 students out of the population of 18, 078 students. "Problems of School Management Questionnaire (PSMQ)," and Senior Secondary Mathematics Achievement Test (SSMAT) were the instruments designed by the researcher, were used (...) for data collection. The data collected were analysed using descriptive statistics; while the null hypotheses were tested at .05 level of significance using population t-test and multiple regression analyses where applicable. Microsoft Excel 2016 spreadsheet program was used in the analysis of data. Findings from the study revealed among others that; secondary school students' academic performance in Calabar Education zone is significantly high, disciplinary control, classroom management, and teachers' motivation significantly influence secondary school students' academic performance respectively. Based on these results, conclusions were drawn and recommendations were made. (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)

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)

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.

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

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)

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)

This study used a structural equation modelling approach to assess the association between employee work- life policies, psychological empowerment, and academic staff job commitment in universities in Cross River State, Nigeria. Three null hypotheses were formulated to guide the study following a descriptive survey research design. Multistage sampling procedure was adopted in the selection of 315 academic staff from two universities in the study area. “Work-Life Policies, Psychological Empowerment and Job Commitment Questionnaire (WPPEJCQ)” was used as the instrument for data (...) collection. The construct validity of the instrument was ascertained through an Exploratory Factor Analysis (EFA) using the Principal Component Analysis (PCA). The Kaiser-Meyer-Ohlin of .894 and the Bartlett coefficient of 7795.820 were obtained. Several fit indices of Confirmatory Factor Analysis were used to accept the model such as RMSEA=.031, TLI=.969, CFI=.971 and many others. The null hypotheses were all tested using Path analysis. Findings revealed, among others, that there is a significant effect of work-life policies on the affective (β=.774,t=21.636,p<.05), continuance (β=.450,t=8.932,p<.05), and normative (β=490,t=9.967,p<.05) dimensions of academic staff commitment; furthermore, psychological empowerment has a significant effect on the affective (β=.795,t=23.199,p<.05), continuance (β=.501,t=10.261,p<.05) and normative (β = .520, t = 10.795, p< .05) dimensions of staff commitment; and there is a significant composite effect of work-life policies and psychological empowerment on the affective, continuance, and normative commitment levels of academic staff in universities. Based on these findings, conclusions and recommendations were made. (shrink)

Introduction: There is a general agreement among previous studies that gender, merit and catchment area criteria allows for access to university education, but the pattern of these variables over the years has not been proven in these studies. Purpose: This study used a times series approach to evaluate the enrolment patterns in federally owned universities in South-South Zone, Nigeria, based on the gender, merit and catchment area criteria. Methodology: The descriptive survey design was adopted for this study. A purposive sampling (...) technique was adopted to choose three universities based on the generation of their establishment. The evaluation covered from 2010 to 2019 using stationary time-bound data collected from the academic planning units of the institutions through a checklist. Future enrolment forecasts were made to 2031 using the moving average forecasting technique. Results: A gender-based difference in enrolment, in favour of males was recorded between 2010 and 2019; there were notable fluctuations in the enrolment pattern based on the merit criterion from 2010 to 2019; the enrolment pattern in terms of the catchment area criterion was consistent from 2010 – 2019. In terms of the projection, it was predicted that enrolment at the aggregate level would rise continuously across federal universities, but not at the institutional level. more women than men are expected to be enrolled in academic programmes at federal institutions, while at the institutional level, gender-based enrolment can fluctuate. Recommendations/Classroom Implications: Based on these findings, implications are discussed for future enrolment decisions at both the institutional and national levels. (shrink)

Background: Social media technology has provided platforms for enhanced human communication and expanded opportunities for self-expression. Despite the numerous gains, this social networking media, come with myriads of limitations; one being the tendency to be abused and/or misused, especially by young people or the young at heart. This study examined how social networking media influence the sexual behaviours of university undergraduates in Nigeria. -/- Materials and Methods: The survey research method was adopted. A sample size of 396 students was determined (...) using the Taro Yamane’s formula. The study was anchored on the Technological Determinism theory. Data were collected through a structured questionnaire with a reliability coefficient of 0.99 through test-retest method. Data collected were analysed using descriptive statistics with the aid of SPSS v25 software. -/- Results: Findings showed, amongst others that, undergraduates in Nigerian universities are largely exposed to a substantial amount of sexual contents on various social media networks; and that this exposure negatively influences their psychology towards sex as manifested in the area of dating before marriage as a result of indulgence in interactive and romantic sites. -/- Conclusion and Recommendations: The study recommends the introduction of social media education in higher institutions to help enlighten students on the responsible use of these technologies to minimize the inherent weaknesses and maximize the intrinsic values of utilising these media platforms. (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)

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.

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.

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 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)

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. In the process of social verification integration of scientific theories into the existent system of mental (...) and valued options of spiritual culture takes place. The attribute of classical science – ethics neutrality of scientific knowledge becomes an unattainable ideal. One of the trends in the evolution of theoretical epistemology is the study of migration mechanisms of generation of scientific knowledge from the sphere of its own logic and methodology of science in the field of sociology - the consideration of this process, as the resulting system of interactions of social structures and institutions. Ensuing ideas and settings become the dominant worldview of philosophical and technological civilization. -/- . (shrink)

The phenomenon of rationalism and irrationalism, contextually related to the transformation methodology and the social function of modern (post-industrial) science – social verification, interpretation and knowledge, etc., are analyzes.

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 main objective of this paper was to examine the relationship between management of educational support services and the attainment of Universal Basic Education goals in Cross River State. Three null hypotheses were formulated in this study. The study adopted correlational research design. Census technique was employed in selecting the entire population of 2,078 primary school administrators in the state. The instruments used for data collection were “Management of Educational Support Services Questionnaire (MESSQ); and Attainment of Universal Basic Education Goals (...) Questionnaire (AUBEGQ)” respectively. The data collected were analyzed using descriptive statistics, while the null hypotheses were all tested using Pearson Product Moment Correlation Analysis at .05 alpha levels. The results from the study revealed that; management of guidance/counselling services, staff development services, and ICT services are significantly related to the attainment of Universal Basic Education goals respectively. Based on these results, it was recommended among others that; the ministry of education should ensure that there is adequate provision of professional guidance counsellors to every primary school in Cross River State in order to help address the psychological and persona-social needs of the pupils. Contribution/Originality:. (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 theory of evolution of complex and comprising of human systems and algorithm for its constructing are the synthesis of evolutionary epistemology, philosophical anthropology and concrete scientific empirical basis in modern (transdisciplinary) science. «Trans-disciplinary» in the context is interpreted as a completely new epistemological situation, which is fraught with the initiation of a civilizational crisis. Philosophy and ideology of technogenic civilization is based on the possibility of unambiguous demarcation of public value and descriptive scientific discourses (1), and the object and (...) subject of the cognitive process (2). Both of these attributes are no longer valid. For mass, everyday consciousness and institutional philosophical tradition it is intuitively obvious that having the ability to control the evolutionary process, Homo sapiens came close to the borders of their own biological and cultural identity. The spontaneous coevolutionary process of interaction between the «subject» (rational living organisms) and the «object» (material world), is the teleological trend of the movement towards the complete rationalization of the World as It Is, its merger with the World of Due. The stratification of the global evolutionary process into selective and semantic (teleological) coevolutionary and therefore ontologically inseparable components follows. With the entry of anthropogenic civilization into the stage of the information society, firsty, the post-academic phase of the historical evolution of scientific rationality began, the attributes of which are the specific methodology of scientific knowledge, scientific ethos and ontology. Bioethics as a phenomenon of intellectual culture represents a natural philosophical core of modern post- academic (human-dimensional) science, in which the ethical neutrality of scientific theory principle is inapplicable, and elements of public-axiological and scientific-descriptive discourses are integrated into a single logic construction. As result, hermeneutics precedes epistemology not only methodologically, but also meaningfully, and natural philosophy is regaining the status of the backbone of the theory of evolution – in an explicit form. (shrink)

Dieser Aufsatz ist der begrifflichen Fassung und Begründung von Konsumentenverantwortung im globalen Zeitalter gewidmet. Dabei wird die Frage nach der globalen Verantwortung von Konsumenten affirmativ beantwortet: Konsumenten haben eine Verantwortung von prinzipiell globaler Reichweite, die jedoch nicht zu eng konzipiert werden darf. Hierzu werden zunächst der empirische Hintergrund und Kernaspekte der allgemeinen Theorie globaler Verantwortung dargelegt. Darauf aufbauend wird zunächst ein enges Verständnis von globaler Konsumentenverantwortung entwickelt, demzufolge diese innerhalb von interpersonalen Beziehungen mittels verschiedener Initiativen des ethischen Welthandels einzulösen sei. (...) Dem wird in einem letzten Schritt ein weites Verständnis von Konsumentenverantwortung gegenübergestellt, das zwar die Teilnahme an solchen Initiativen einschließt, aber nicht durch sie erschöpft wird. Eine zentrale Rolle spielt dabei die Annahme, dass globale Verantwortung wesentlich als strukturelle Verantwortung zu verstehen ist. (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)

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)

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.

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)

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 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.

Accusations of hypocrisy are a recurring theme in the public debate on climate change, but their significance remains poorly understood. Different motivations are associated with this accusation, which is leveled by proponents and opponents of climate action. In this article, I undertake a systematic assessment of climate hypocrisy, with a focus on lifestyle and political hypocrisy. I contextualize the corresponding accusation, introduce criteria for the conceptual analysis of climate hypocrisy, and develop an evaluative framework that allows us to determine its (...) moral significance. I argue that different instances of climate hypocrisy are problematic to different degrees, depending on how detrimental they are to an agent's attainment of environmental integrity. The resulting framework helps clear the confusion caused by disinformation campaigners, by distinguishing objectionable uses of the climate hypocrisy charge from constructive ones motivated by genuine concern for integrity. (shrink)

The book discusses some of the stages in the development of genetics, biotechnology in terms of basic strategy of humanity towards the formation of a modern agrarian civilization. Agricultural civilization is seen as part of the biosphere and primary user of its energy flows. Consistently a steps of creation of management tools for live objects to increasing the number of food security of mankind are outlines. The elements of the biosphere degradation started in the results of human activities, and the (...) ways of their compensation. are discussed.The importance of the cooperation of experts in different areas of knowledge in the development of new approaches to the management of genetic resources of the planet is discussed too. (shrink)

The theory of evolution of complex, including the humans system and algorithm for its constructing are a synthesis of evolutionary epistemology, philosophical anthropology and concrete scientific empirical basis in modern science,. In other words, natural philosophy is regaining the status bar element theoretical science in the era of technology-driven evolution. The co-evolutionary concept of 3-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 vectors of biological, social, cultural and techno-rationalistic human evolution by two gear mechanism ˗ genetic and 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 achievements of classic and modern philosophy and methodology of scienсe have been concisely presented to help future professionals gain the necessary knowledge of modern philosophy and methodology of scientific knowledge in general and socioeconomic branches in particular. For PhD graduate students.

With the rapid advancement of society, online learning has become more popular in the entire world due to Covid-19 pandemic. The pandemic offered almost a total paradigm shift to online teaching and learning across various educational platforms. This paper was aimed at reviewing the teaching and learning changes in higher education during COVID-19 Lockdown using empirical evidence from central universities in India. The study adopted a survey method utilizing an online questionnaire as the primary tool for data collection. The study (...) covered 19 Central Universities in India that are offering Library and Information Science courses. Major findings showed, amongst others, that- most universities provided online classes during the lockdown period; Zoom application was the most utilized for online instructional during the COVID-19 Lockdown; the major difficulty faced by students during the online classes was the lack of internet facilities; the use of webinars in the field of LIS field was considered as an important source of education and learning. Based on these findings, key implications were discussed for the sustainability of LIS teaching and learning in higher education. (shrink)

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)

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)