Here, we try to show that the method used in -/- Theory of Fuzzy Time Computation(TC * vs TC, TQC). 2023. ￿hal-04330281￿ -/- is a general method that sheds light on various types of problems. The author choose the navier stocks problem, to check the possibility of solving this problem by this method. This text is a guideline of possible proof of this problem.

A Crítica de Hume ao Argumento do Desígnio José Oscar de Almeida Marques Dep. de Filosofia – UNICAMP -/- RESUMO: É comum considerar que o chamado “argumento do desígnio” (o argumento a posteriori para provar a existência de Deus a partir da ordem e funcionalidade do mundo) teria sido refutado ou seriamente abalado por Hume. Mas a natureza e o alcance dessa alegada refutação são problemáticos, pois Hume muitas vezes expressou suas críticas através de seus personagens e evitou assumi-las diretamente (...) enquanto autor. Em vez de supor que Hume procedeu dessa forma apenas para disfarçar suas verdadeiras convicções e evitar um conflito com as autoridades eclesiásticas, proponho que sua posição nesse assunto não é tão categórica como às vezes se supõe, e que os famosos argumentos de Filo nos Diálogos mostram apenas que é possível que a ordem e funcionalidade do mundo tenham surgido sem a intervenção de um desígnio consciente, mas não podem por si sós dar a essa hipótese o mínimo grau de plausibilidade necessário para torná-la digna de uma séria consideração. De fato, antes da revolução explicativa operada por Darwin um século depois, ninguém estava realmente em condições de vislumbrar uma alternativa plausível à atuação de algum tipo de inteligência na geração da ordem e funcionalidade do mundo. ------------ Some Remarks on Hume’s Critique of the Argument from Design José Oscar of Almeida Marques Dep. of Philosophy - UNICAMP -/- ABSTRACT: The so-called “argument from design” (the a posteriori argument to prove the existence of God from the order and functionality of the world) is commonly considered to have been refuted or seriously impaired by Hume. But the nature and scope of this alleged refutation is problematic because Hume often expressed his critics through other characters’ mouth and avoided to assume them directly as author. Contrarily to the supposition that Hume proceeded in this way only to disguise his true convictions and to avoid a confrontation with the ecclesiastical authorities, I propose that his stance on the matter is not, in fact, as clear-cut as it is sometimes supposed, and that Philo’s famous arguments in the Dialogues show only that it is possible for the order and functionality of the world to have arisen without the intervention of an intelligent design, but cannot by themselves lend to this hypothesis the least degree of plausibility needed to make it worthy of serious consideration. In fact, before the explanatory revolution inaugurated by Darwin a century later, nobody was in position to envisage a plausible alternative to the operation of some sort or other of intelligence in the generation of the order and functionality of the world. (shrink)

This paper begins the last instalment of a six-part project correlating the key aspects of Kant’s architectonic conception of philosophy with a special version of the Chinese Book of Changes that I call the “Compound Yijing”, which arranges the 64 hexagrams (gua) into both fourfold and threefold sets. I begin by briefly summarizing the foregoing articles: although Kant and the Yijing employ different types of architectonic reasoning, the two systems can both be described in terms of three “levels” of elements. (...) Starting at an unnumbered level devoid of any element (the tao or thing in itself), the system proceeds by elaborating a key fourfold distinction (or “quaternity”) on the first level, a twelvefold distinction on the second level, and twelve quaternities (grouped in four quadrants, each with a set of three quaternities) on the third level. Each set of three quaternities (i.e., each quadrant) on the third level corresponds to one of the four “faculties” of the university, as elaborated in Kant’s book, The Conflict of the Faculties. Previous papers have examined the correlations between three key quaternities that Kant defends in relation to each of three faculties (philosophy, theology, and law) and the 12 gua that correspond to that faculty in the Compound Yijing. The final step is to explore the fourth quaternity on the third level, the 12 gua corresponding to the medical faculty. The “idea of reason” in Kant’s metaphysics that guides this wing of the comparative analysis is freedom, and the ultimate purpose of this faculty of the university is to train doctors to care for people’s physical well-being, as free agents imbedded in nature. But this paper will focus only on the four gua that correspond to four basic concepts in Kant’s theory of medicine. The two quaternities in the “yin-yang” (medical) quadrant of the Compound Yijing that will be skipped here are as follows. First, Kant’s account of the idea of freedom itself, which gives rise to the area of traditional metaphysics known as rational cosmology, comes in the first Critique’s Dialectic, in the section on the Antinomy of Reason (CPR A405-567/B432- 595). There he examines four irresolvable issues: whether the world has a beginning in time; whether composite substances consist of simple parts; whether a causality of freedom operates in the natural world; and whether an absolutely necessary being exists. Later I will argue that these correspond to the quaternity consisting of gua 15, 22, 36, and 52. (shrink)

Der folgende Artikel gibt einen Überblick, wie gegenwärtige chinesische Philosophen über die intellektuelle Beziehung von Hegel und Marx forschen – und möchte damit einen Eindruck vermitteln, in welcher Weise in China über die denkerischen Ursprünge des geistigen Vaters der eigenen sozialistischen Ideologie nachgedacht wird. Die intellektuelle Beziehung zwischen Karl Marx und G. W. F. Hegel ist seit langem ein Schlüsselthema auf dem Gebiet der marxistischen Philosophie. Dabei geht es um das Verständnis der Quelle von Marx' Denken, sowie der Art und (...) Weise, wie er seine eigene Theorie auf der Grundlage der Hegelschen Philosophie entwickelte. Diese Verhältnisbestimmung berührt wichtige Strömungen sowohl der Hegelschen als auch der marxistischen Studien. Die Wiederbelebung der Hegelforschung und der Bedeutungszuwachs der Marxforschung im zwanzigsten Jahrhundert drängen dazu, die intellektuellen Ursprünge dieser beiden Denker neu zu fassen. Die chinesischsprachige Forschung zur Marx-Hegel-Beziehung basiert auf der Grundidee, das Denken von Marx durch das Denken von Hegel zu verstehen ("von Hegel zu Marx"). Dabei lassen sich drei Ansätze identifizieren: den Weg über die Phänomenologie des Geistes, den Weg über die Wissenschaft der Logik und den Weg über die Grundlinien der Philosophie des Rechts. Streng genommen ließe sich auch der Ansatz der "Ent-Hegelisierung" von Marx, einschließlich der Versuche, Kant als seine entscheidende Inspirationsquelle zu positionieren, als eine Spielform der Marx-Hegel-Beziehung betrachten und als weiterer wichtiger Forschungsweg nennen. Jedem dieser Wege entspricht eine relativ fixe Gruppe an Texten von Marx und Hegel. Entwicklungsgeschichtlich fand Marx‘ erste Auseinandersetzung mit Hegel in der Philosophie des Rechts statt. Rezeptionsgeschichtlich wurde diese Auseinandersetzung in China jedoch als letzte diskutiert, was vor allem auf zwei Gründe zurückzuführen ist: Zum einen wurde die moderne politische Philosophie in China erst in den 1990er Jahren als Disziplin eingeführt. Zum anderen haben chinesische Wissenschaftler erst allmählich die Bedeutung und vielfältigen Dimensionen von Marx' frühem Denken erkannt und näher zu erforschen begonnen. (shrink)

Creativity is a crucial aspect of entrepreneurship. However, research on the information processing mechanism of creativity in relation to entrepreneurship is still very limited. To explore factors contributing to creativity performance among entrepreneurs in terms of information processing, we applied the Bayesian Mindsponge Framework. We used the Serendipity-Mindsponge-3D (SM3D) knowledge management theory to construct models and conducted Bayesian analysis on the most comprehensive and well-designed dataset of 3071 Vietnamese entrepreneurs up to date. We found that entrepreneurs who give more time (...) to their startup attempts are likely to have lower levels of creativity. Both factors of higher levels of knowledge within one’s discipline and better connections to out-of-discipline knowledge are positively associated with more creativity. While the effect of openmindedness on the relationship between within-discipline knowledge and creativity is unclear, openmindedness was found to have a positive moderating effect on the association between out-of-discipline knowledge and creativity. These findings support entrepreneurs in understanding the information processing mechanisms behind creativity for creating more effective knowledge management strategies. (shrink)

The emphasis on evidence based medicine (EBM) has placed increased focus on finding timely answers to clinical questions in presence of patients. Using a combination of natural language processing for the generation of clinical excerpts and information theoretic distance based clustering, we evaluated multiple approaches for the efficient presentation of context-sensitive EBM excerpts.

A medical intervention is a medical procedure or application intended to relieve or prevent illness or injury. Examples of medical interventions include vaccination and drug administration. After a medical intervention, adverse events (AEs) may occur which lie outside the intended consequences of the intervention. The representation and analysis of AEs are critical to the improvement of public health. Description: The Ontology of Adverse Events (OAE), previously named Adverse Event Ontology (AEO), is a community-driven ontology developed to standardize and integrate data (...) relating to AEs arising subsequent to medical interventions, as well as to support computer-assisted reasoning. OAE has over 3,000 terms with unique identifiers, including terms imported from existing ontologies and more than 1,800 OAE-specific terms. In OAE, the term ‘adverse event’ denotes a pathological bodily process in a patient that occurs after a medical intervention. Causal adverse events are defined by OAE as those events that are causal consequences of a medical intervention. OAE represents various adverse events based on patient anatomic regions and clinical outcomes, including symptoms, signs, and abnormal processes. OAE has been used in the analysis of several different sorts of vaccine and drug adverse event data. (shrink)

This collection brings together fourteen contributions by authors from around the globe. Each of the contributions engages with questions about how local and global bioethical issues are made to be comparable, in the hope of redressing basic needs and demands for justice. These works demonstrate the significant conceptual contributions that can be made through feminists' attention to debates in a range of interrelated fields, especially as they formulate appropriate responses to developments in medical technology, global economics, population shifts, and poverty.

COVID-19 often manifests with different outcomes in different patients, highlighting the complexity of the host-pathogen interactions involved in manifestations of the disease at the molecular and cellular levels. In this paper, we propose a set of postulates and a framework for systematically understanding complex molecular host-pathogen interaction networks. Specifically, we first propose four host-pathogen interaction (HPI) postulates as the basis for understanding molecular and cellular host-pathogen interactions and their relations to disease outcomes. These four postulates cover the evolutionary dispositions involved (...) in HPIs, the dynamic nature of HPI outcomes, roles that HPI components may occupy leading to such outcomes, and HPI checkpoints that are critical for specific disease outcomes. Based on these postulates, an HPI Postulate and Ontology (HPIPO) framework is proposed to apply interoperable ontologies to systematically model and represent various granular details and knowledge within the scope of the HPI postulates, in a way that will support AI-ready data standardization, sharing, integration, and analysis. As a demonstration, the HPI postulates and the HPIPO framework were applied to study COVID-19 with the Coronavirus Infectious Disease Ontology (CIDO), leading to a novel approach to rational design of drug/vaccine cocktails aimed at interrupting processes occurring at critical host-coronavirus interaction checkpoints. Furthermore, the host-coronavirus protein-protein interactions (PPIs) relevant to COVID-19 were predicted and evaluated based on prior knowledge of curated PPIs and domain-domain interactions, and how such studies can be further explored with the HPI postulates and the HPIPO framework is discussed. (shrink)

This article sheds light on the diversity of meanings and connotations that tend to be lost or hidden in translations between different conceptualizations of nature in East and South-East Asia. It reviews the idea of “nature” in Chinese, Japanese, Vietnamese, Filipino, Tagalog, Cebuano, Lumad, Indonesian, Burmese, Nepali, Khmer, and Mongolian. It shows that the conceptual subtleties in the conceptualization of nature often hide wider and deeper cosmological mismatches. It concludes by suggesting that these diverse voices need to be represented in (...) global reports on sustainability, which can be fostered by the direct involvement of experts from diverse traditions of thought who have access and interpretative knowledge of sources in languages other than English. To take into consideration the diversity of conceptualizations of nature can lead to better decisions about sustainability and improve the acceptability and efficiency of environmental policies in each local context, as well as internationally. Solutions and policies on the ground must be designed based on the local conceptual and cultural frames. (shrink)

Objectives: The growing rate of retraction of scientific publications has attracted much attention within the academic community, but there is little knowledge about the nature of such retractions in schizophrenia-related research. This study aimed to analyze the characteristics of retractions of schizophrenia-related publications.

Green space around the university campus is of paramount importance for emotional and psychological restorations in students. Positive emotions in students can be aroused when immersed in green space and naturalness. However, to what extent can perceived naturalness influence students' positive emotion remains unclear, especially in the context of COVID-19 countermeasures. This study, therefore, attempts to investigate in-depth the nature and strength of the relationships between students' positive emotion and their perceived naturalness, place attachment, and landscape preference, which are potentially (...) varying across universities in different social and environmental contexts and different restrictions policies regarding the COVID-19 pandemic. (shrink)

Tao Te Ching sacred text, written in China around 600 BC, recommends cultivating non-action by observing the nature of the world. Tao Te Ching first articulated the idea of Wu Wei which means do that which consists in taking no action and order will prevail. The text explains the idea that we should stop trying to force action and get comfortable doing less. Taoism is widely understood to be a single (unity), unitary philosophy, social movement, and natural act. Then, when (...) we do move, our actions are natural and energetic. It can be summarized that Taoist principles are inaction or non-action, simplicity, and living in harmony with nature then everything accomplished the desired result. Tao Te Ching delivered a treatise on how to live in the world with goodness and integrity. Perhaps if we were more aware, we would worry less and could see better what actually needs doing. Therefore, Tao Te Ching reminds us that everyone has a choice to practice self-awareness and exercise their own power in and over the world for a present peaceful life. (shrink)

Para que servem o bem, a beleza, o amor? Para que serve a felicidade? Para nada. Para absolutamente nada. A filosofia é tão imprestável quanto as melhores coisas da vida, tão inútil quanto a felicidade, ou uma brincadeira de criança, ou um rabisco na areia deixado por alguém que passou raspando um graveto no chão sem olhar para trás. O impulso que nos move até ela é o mesmo que empurra o alpinista mais um passo para cima, ou os namorados (...) mais um centímetro para perto, ou as crianças para mais um salto na corda. Este pequeno livro não é um tratado de filosofia, mas apenas um convite à alegria de pensar e especular sobre o mundo a nossa volta. Seu autor é um filósofo que não só acha inútil a filosofia, como além disso está aqui em suas horas vagas, divertindo-se com temas sérios, e convidando você a divertir-se também com reflexões filosóficas imprestáveis, porque a utilidade só é valor daquilo que não se basta. (shrink)

I argue that David Lewis is too quick to deny the presentist the right to employ span operators. There is no reason why the presentist could not help herself to both primitive tensed slice operators and primitive span operators. She would then have another device available to eliminate ambiguities and explain why sentences with embedded contradictions may nevertheless be true.

We present a unified diagnosis of three well-known puzzles about proper names, based on a new view of the metaphysics of words and proper names in particular adumbrated by David Kaplan in “Words”. While our solution comes at some metaphysical price, we think it is worth being considered a serious contender and may illustrate the promise of taking more seriously the metaphysical foundations of our semantic theories.

Certain passages in Kaplan’s ‘Demonstratives’ are often taken to show that non-vacuous sentential operators associated with a certain parameter of sentential truth require a corresponding relativism concerning assertoric contents: namely, their truth values also must vary with that parameter. Thus, for example, the non-vacuity of a temporal sentential operator ‘always’ would require some of its operands to have contents that have different truth values at different times. While making no claims about Kaplan’s intentions, we provide several reconstructions of how (...) such an argument might go, focusing on the case of time and temporal operators as an illustration. What we regard as the most plausible reconstruction of the argument establishes a conclusion similar enough to that attributed to Kaplan. However, the argument overgenerates, leading to absurd consequences. We conclude that we must distinguish assertoric contents from compositional semantic values, and argue that once they are distinguished, the argument fails to establish any substantial conclusions. We also briefly discuss a related argument commonly attributed to Lewis, and a recent variant due to Weber. (shrink)

Khả năng sáng tạo là một trong những đặc điểm quan trọng phân biệt con người và các loài khác. Trong xã hội con người, sự sáng tạo cũng đóng vai trò quan trọng trong việc tạo ra lợi thế cạnh tranh cho cá nhân và tổ chức. Vì sự sáng tạo phụ thuộc vào quá trình tư duy của cá nhân, nên thông tin đầu vào là yếu tố quan trọng để khởi sinh quá trình sáng tạo. Vấn đề (...) đặt ra là loại thông tin đầu vào nào tốt hơn cho sự sáng tạo: thông tin có cấu trúc hay phi cấu trúc? (shrink)

The Operator Argument against eternalism holds that having non-vacuous tense operators in the language is incompatible with the claim that every proposition has its truth-value eternally. Assuming that (1) there are non-vacuous tense operators, (2) tense operators operate on propositions and (3) tense operators which operate on eternal entities are vacuous, it may be argued that eternalism is false. In this paper, I examine the Operator Argument. The goal is threefold. First, I want to present some aspects of (...) the debate in a more elaborate way, especially those concerning formal matters. Secondly, I will argue that eternalism can escape the Operator Argument. There are two main strategies for handling the Operator Argument. The first one is based on replacing temporal operators with object-language quantifiers. The second rejects the identification of compositional semantic value with assertoric content. My third goal is to show that none of them is as good as the strategy that adopts Timestamp Semantics (Fritz in Philosl Stud 176:2933–2959, 2019). I am going to argue that the quantificational treatment of tenses is compatible with temporalism and that the arguments for rejecting the identification of compositional semantic value with assertoric content provide, in fact, a motivation for the temporalist position. At the end, I will develop Timestamp Semantics by providing a novel formalization of it, and defend it against three potential counter-arguments. (shrink)

I shall be dealing, throughout this book, with a set of related problems: the relationship between morality and reasoning in general, the way in which moral reasoning is properly to be carried on, and why morality is not arbitrary. The solutions to these problems come out of the same train of argument. Morality is not arbitrary, I shall argue, because the acceptance of certain qualities of character as virtues and the rejection of others as vices is forced on us by (...) the co-operative basis of human life. The co-operation in human life is unavoidable; the alternative is a literal Hobbesian state of nature, and that is impossible. It is not that co-operation between people is a good thing or even a very good thing; it is simply unavoidable in human life, and it is impossible unless the qualities of character counted as virtues are encouraged and are at least fairly common. The possibility of human life presupposes a theory of human nature, and working out that theory of human nature is the main job of moral philosophy. These virtues or qualities of character or attitudes lead us towards a theory of reasons. A person with a sense of justice is a person inclined to accept certain sorts of facts as reasons for acting, and if the virtues are presupposed by human life then the acceptance of those sorts of facts as reasons for acting is presupposed by human life. A condition of the life of reasoning beings (a more accurate term here than 'human beings') is that moral reasons are reasons for acting and are at the very basis of reasoning. And from this it follows that properly conducted moral reasoning is ultimately guided by the virtues rather than ultimately guided by a set of rules. (shrink)

Trưa ngày 20/9/2023, thị trường điện lực quốc gia Úc đã ghi nhận kỷ lục công suất phát từ các nguồn năng lượng tái tạo, bao gồm điện mặt trời áp mái, các nhà máy phát điện mặt trời quy mô lớn và điện gió, đạt mức 70,6%, cao nhất trong lịch sử. Nhiều người vui mừng trước thông tin này. (Tạp chí Kinh tế & Dự báo; ngày 7-10-2023).

Predicates are term-to-sentence devices, and operators are sentence-to-sentence devices. What Kaplan and Montague's Paradox of the Knower demonstrates is that necessity and other modalities cannot be treated as predicates, consistent with arithmetic; they must be treated as operators instead. Such is the current wisdom.A number of previous pieces have challenged such a view by showing that a predicative treatment of modalities neednot raise the Paradox of the Knower. This paper attempts to challenge the current wisdom in another way as well: (...) to show that mere appeal to modal operators in the sense of sentence-to-sentence devices is insufficient toescape the Paradox of the Knower. A family of systems is outlined in which closed formulae can encode other formulae and in which the diagonal lemma and Paradox of the Knower are thereby demonstrable for operators in this sense. (shrink)

Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally two (...) types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

ĐỀ CƯƠNG CHI TIẾT HỌC PHẦN CƠ SỞ NGÀNH VÀ CHUYÊN NGÀNH NGÀNH QUẢN TRỊ KINH DOANH (Ban hành kèm theo Quyết định số 202a ngày 06 tháng 03 năm 2018 của Hiệu trưởng Trường Đại học Đồng Nai) *Mã ngành đào tạo: 7340101 *Đơn vị thực hiện: Tổ bộ môn QTKD - Khoa Kinh tế.

In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.

Khi các sản phẩm văn hóa chú trọng vào kết nối con người với thiên nhiên, nâng cao nhận thức về giá trị của thiên nhiên và trách nhiệm của con người với thiên nhiên, thì chúng ta mới có thể tiếp tục bảo tồn và nâng cao khả năng sáng tạo văn hóa của xã hội.

In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish a classical recapture (...) result based on the two logics. In the second part of the paper, we compare the approach in terms of normality operators with an established approach to classical recapture, namely minimal inconsistency. Finally, we discuss technical issues connecting LPe and Ke3 to the tradition of Logics of Formal Inconsistency and Underterminedness. (shrink)

We trace the difference between the ways in which apes and humans co–operate to differences in communicative abilities, claiming that the pressure for future–directed co–operation was a major force behind the evolution of language. Competitive co–operation concerns goals that are present in the environment and have stable values. It relies on either signalling or joint attention. Future–directed co–operation concerns new goals that lack fixed values. It requires symbolic communication and context–independent representations of means and goals. We analyse these ways of (...) co–operating in game–theoretic terms and submit that the co–operative strategy of games that involve shared representations of future goals may provide new equilibrium solutions. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

The research aims to study the role of strategic and operational planning as approach for crises management in UNRWA - Gaza Strip field- Palestine. Several descriptive analytical methods were used for this purpose and a survey as a tool for data collection. Community size was (881), and the study sample was stratified random (268). The overall findings of the current study show that strategic and operational planning is performed in UNRWA. The results of static analysis show that there are a (...) relation between strategic and operational planning and crises management. In spite this relation existence, it need more improvement and expanding. Also there are shortcomings in the way that organization manages the crises before and after they occur. A crisis management is only practicing during the crisis. The study suggests that UNRWA must invest in more resources to enhance strategic and operational palming and improve other methods to face potential crises in the future. (shrink)

Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...) explain this by appealing to the powers of some actual thing or things to bring it about. I argue instead that dispositionalism, in the simple form championed by its proponents, is formally inadequate. Dispositionalists interpret the modal operators as simple existential claims about powers, but if we interpret the operators that way, the resulting system of modal logic is too weak to capture metaphysical modality. I argue that we can modify the standard dispositionalist interpretations of the operators to secure formal adequacy, but at the cost of accepting that not all modality is grounded in powers. This, I shall suggest, is not a bad thing—the resulting theory still has powers at its core and has certain attractive features, in addition to formal adequacy, that the standard theory lacks. (shrink)

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

A series of representations must be semantics-driven if the members of that series are to combine into a single thought: where semantics is not operative, there is at most a series of disjoint representations that add up to nothing true or false, and therefore do not constitute a thought at all. A consequence is that there is necessarily a gulf between simulating thought, on the one hand, and actually thinking, on the other. A related point is that a popular doctrine (...) - the so-called 'computational theory of mind' (CTM) - is based on a confusion. CTM is the view that thought-processes consist in 'computations', where a computation is defined as a 'form-driven' operation on symbols. The expression 'form-driven operation' is ambiguous, as it may refer either to syntax-driven operations or to morphology-driven operations. Syntax-driven operations presuppose the existence of operations that are driven by semantic and extra-semantic knowledge. So CTM is false if the terms 'computation' and 'form-driven operation' are taken to refer to syntax-driven operations. Thus, if CTM is to work, those expressions must be taken to refer to morphology-driven operations. CTM therefore fails, given that an operation must be semantics-driven if it is to qualify as a thought. CTM therefore fails on each possible disambiguation of the expressions 'formal operation' and 'computation,' and it is therefore false. (shrink)

In this paper, I provide a new reading of Wittgenstein’s N operator, and of its significance within his early logical philosophy. I thereby aim to resolve a longstanding scholarly controversy concerning the expressive completeness of N. Within the debate between Fogelin and Geach in particular, an apparent dilemma emerged to the effect that we must either concede Fogelin’s claim that N is expressively incomplete, or reject certain fundamental tenets within Wittgenstein’s logical philosophy. Despite their various points of disagreement, however, (...) Fogelin and Geach nevertheless share several common and problematic assumptions regarding Wittgenstein’s logical philosophy, and it is these mistaken assumptions which are the source of the dilemma. Once we recognize and correct these, and other, associated expository errors, it will become clear how to reconcile the expressive completeness of Wittgenstein’s N operator, with several commonly recognized features of, and fundamental theses within, the Tractarian logical system. (shrink)

Starbucks, nhãn hiệu cà phê nổi tiếng toàn cầu, đã và đang truyền thông về việc theo đuổi mục tiêu phát triển bền vững trong nhiều năm liền. Công ty đã đặt mục tiêu sử dụng hiệu quả tài nguyên vào năm 2030, với việc giảm 50% khí thải carbon, nước, và chất thải.

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...) Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

Ang papel na ito ay isang pilosopikong pagsusuri sa konsepto ng espasyo sa Pilipinong pananaw. Ang konsepto ng espasyo sa Pilipinong pananaw ay nagsisilbing dahilan para masabi nating tayo ay nagmamahal sa karunungang nagmula at pinagyaman ng kamalayang Pilipino. Ang konsepto ng espasyo rin ang nagpapatibay sa katwiran na naglalantad sa pangangailangan nang agarang pananaliksik ng karunungang nakaligtaan sa kanluran. Kung ang mga Hapon ay matagumpay na pinagmunihan ang 'espasyo' gamit ang mga konseptong basho, aidagara, at zettai mu tungo sa (...) pagbibigay diin sa pagkamakabayan, ang ‘espasyo’ ay magsisilbing gabay sa mga Pilipino na lumingon sa kanilang pinanggalingan upang bigyan ng linaw ang layunin sa bawat tangkang pagbuo ng masasabing makataong ‘pilosopiya natin’. Tungo sa makataong espasyo sa pag-iral ng tao, nais galugarin ng diskursong ito ang mga sumusunod na paksa: 1] Lugar ay Espasyo; 2] Sa Pagitan ng ‘Ako’ at ng ‘Ikaw’; 3] Espasyo Bilang Bukal ng Kaalaman at pagkatuto; 4] Pagbuo ng Makataong Espasyo at Pagbuwag sa mga Mapang-aping Espasyo; 5] Salaysay ng mga Karanasan Tungo sa paghulma ng Makataong Espasyo; 6] Espasyo ng/para sa mga Peminista?; 7] Sa Pagitan ng Namatay at ng Namatayan; 8] Saan Matatagpuan ang Kapayapaan? (shrink)

William Lane Craig has argued that there cannot be actual infinities because inverse operations are not well-defined for infinities. I point out that, in fact, there are mathematical systems in which inverse operations for infinities are well-defined. In particular, the theory introduced in John Conway's *On Numbers and Games* yields a well-defined field that includes all of Cantor's transfinite numbers.

Operational activity such crime prevention is extremely significant in promoting peace and order of the community. This study assessed the Pasay City Police Station in the Southern District regarding particular organization and crime operations management capabilities. This paper used quantitative research anchored by descriptive method. The study’s respondents were 130 police officers/members and 150 permanent employees of the Pasay City Police Station who are residents of Pasay City and whose offices are near the police station. It was revealed that the (...) organization variables describing the Pasay City Police Station is “not significant” leading to accept the null hypothesis. The problems encountered by the Pasay City Police Station are grounded from the standpoint of personnel needs, facilities, supplies and equipment, the suggestions offered by the respondent to help solve the problems encountered are specifically geared towards solving the particular problems encountered. The Pasay City Police Officers/Personnel will be more effective in solving crime problem if more intelligence officer is dispatch where criminality is rampant. It is recommended to improve police efficiency and effectiveness in crime prevention, reduction, solution, and crime management capability. There is also a need to increase the number of police officers for the Pasay City Police Station who are educationally qualified and highly trained on police matters. (shrink)

I relate the story of how I created the basic rule of operant logic.

Trưa ngày 20-9-2023, thị trường điện lực quốc gia Australia đã ghi nhận kỷ lục công suất phát từ các nguồn năng lượng tái tạo, bao gồm điện mặt trời áp mái, các nhà máy phát điện mặt trời quy mô lớn và điện gió, đạt mức 70,6%, cao nhất trong lịch sử.

We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and (...) even simplify their logical formulation. (shrink)

This review confirms Herman’s work as a praiseworthy contribution to East-West and comparative philosophical literature. Due credit is given to Herman for providing English readers with access to Buber’s commentary on, a personal translation of, the Chuang-Tzu; Herman’s insight into the later influence of I and Thou on Buber’s understanding of Chuang-Tzu and Taoism is also appropriately commended. In latter half of this review, constructive criticisms of Herman’s work are put forward, such as formatting inconsistencies, a tendency toward verbosity and (...) jargon, and a neglect of seemingly important hermeneutical issues. Such issues, seemingly substantive but neglected by Herman, are the influence of Buber’s prior familiarity with Hasidic teachings on his encounter with Chuang-Tzu, as well as the prevalence of Hasidic and Taoist thought in Buber’s conception of good and evil. (shrink)

The paper focuses on the part of the Coulomb’s Law that is just a definition and provides one possible mechanism for operationally defining electric charge based on the concept of force. Then a derivation of Coulomb’s law from the definition is presented and the sign of the charges are defined. Finally, the paper concludes with a discussion on the conservation of charge.

This paper discusses a dualization of Fitting's notion of a "cut-down" operation on a bilattice, rendering a "track-down" operation, later used to represent the idea that a consistent opinion cannot arise from a set including an inconsistent opinion. The logic of track-down operations on bilattices is proved equivalent to the logic d_Sfde, dual to Deutsch's system S_fde. Furthermore, track-down operations are employed to provide an epistemic interpretation for paraconsistent weak Kleene logic. Finally, two logics of sequential combinations of cut-and track-down (...) operations allow settling positively the question of whether bilattice-based semantics are available for subsystems of S_fde. (shrink)

Despite numerous and increasing attempts to define what life is, there is no consensus on necessary and sufficient conditions for life. Accordingly, some scholars have questioned the value of definitions of life and encouraged scientists and philosophers alike to discard the project. As an alternative to this pessimistic conclusion, we argue that critically rethinking the nature and uses of definitions can provide new insights into the epistemic roles of definitions of life for different research practices. This paper examines the possible (...) contributions of definitions of life in scientific domains where such definitions are used most (e.g., Synthetic Biology, Origins of Life, Alife, and Astrobiology). Rather than as classificatory tools for demarcation of natural kinds, we highlight the pragmatic utility of what we call operational definitions that serve as theoretical and epistemic tools in scientific practice. In particular, we examine contexts where definitions integrate criteria for life into theoretical models that involve or enable observable operations. We show how these definitions of life play important roles in influencing research agendas and evaluating results, and we argue that to discard the project of defining life is neither sufficiently motivated, nor possible without dismissing important theoretical and practical research. (shrink)