This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic (...) with implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

The emergence of coronavirus disease (COVID-19) from Wuhan city of China engulfed almost the entire world and created a global pandemic. Several countries declared this pandemic as national emergency, forcing millions of people to go into lockdown. This sudden social isolation has caused enormous disruption of daily routine for the global community, especially children. To minimize the transmission of this virus all the educational institutions were closed and moved to online learning to encourage and adhere to social distancing guidelines issued (...) by the authorities from time to time. This abrupt change in the learning environment, restrictions in social interaction and other activities caused unusual situation in the development of child brain. Therefore, it is important and obligatory for the scientific community and healthcare workers to access and analyse the impact of Covid -19 pandemic on the mental health of children. The present article is a case study and was conducted in Doda of Jammu and Kashmir regarding the impact of quarantine on the children. (shrink)

A. A. Long, one of the world's leading writers on ancient philosophy, presents eighteen essays on the philosophers and schools of the Hellenistic and Roman periods--Epicureans, Stoics, and Sceptics. The discussion ranges over four centuries of innovative and challenging thought in ethics and politics, psychology, epistemology, and cosmology.

We present in this paper the neutrosophic randomized variables, which are a generalization of the classical random variables obtained from the application of the neutrosophic logic (a new nonclassical logic which was founded by the American philosopher and mathematical Florentin Smarandache, which he introduced as a generalization of fuzzy logic especially the intuitionistic fuzzy logic ) on classical random variables. The neutrosophic random variable is changed because of the randomization, the indeterminacy and the values it takes, which represent the possible (...) results and the possible indeterminacy. Then we classify the neutrosophic randomized variables into two types of discrete and continuous neutrosophic random variables and we define the expected value and variance of the neutrosophic random variable then offer some illustrative examples. -/- . (shrink)

We present counterexamples to the widespread assumption that Moorean sentences cannot be rationally asserted. We then explain why Moorean assertions of the sort we discuss do not incur the irrationality charge. Our argument involves an appeal to the dual-process theory of the mind and a contrast between the conditions for ascribing beliefs to oneself and the conditions for making assertions about independently existing states of affairs. We conclude by contrasting beliefs of the sort we discuss with the structurally similar but (...) rationally impermissible beliefs of certain psychiatric patients. (shrink)

Abstract: This study aims to identify the level of creativity in the University of Palestine from the point of view of the employees, as the researchers used the descriptive and analytical method, through a questionnaire distributed to a sample of employees at the University of Palestine, where the size of the study population is (234) employees, and the size of the sample (117) employees, of which (90) employees responded. The study reached a set of results, the most important of which (...) are: A high degree of creativity from the employees 'point of view, and the study confirmed that there were no differences in the level of creativity at the University of Palestine from the Employees point of view, according to demographic variables. The study presented a set of recommendations, the most important of which are: The need for universities to enhance creativity. (shrink)

In this paper, we introduce and study the concept of" neutrosophic closed set" and" neutrosophic continuous function". Possible application to GIS topology rules are touched upon.

The objective of this paper is to develop neutrosophic quadruple algebraic hyperstructures. Specifically, we develop neutrosophic quadruple semihypergroups, neutrosophic quadruple canonical hypergroups and neutrosophic quadruple hyperrings and we present elementary properties which characterize them.

In recent years, scholars have increasingly paid attention to the philosophy of Josiah Royce. Long lost in the shadow of fellow classical American figures, Royce’s philosophy has enjoyed a renascence, with a spate of publications in a variety of venues studying and applying his thought.1 Like his philosophical brethren, Royce wrote on a wide variety of subjects, his discussions underpinned by a smattering of influences. Much has been remarked of the various Western sources that made an impression on Royce’s thought, (...) but comparatively little has been said of his indebtedness to Eastern sources. Kurt Leidecker’s Josiah Royce and Indian Thought2 and Frank M... (shrink)

This paper explores the ethical insights provided by Anne Truitt's minimalist sculptures, as viewed through the phenomenological lenses of Hannah Arendt's investigations into the co-constitution of reality and Maurice Merleau-Ponty's investigations into perception. Artworks in their material presence can lay out new ways of relating and perceiving. Truitt's works accomplish this task by revealing the interactive motion of our embodied relations and how material objects can actually help to ground our reality and hence human potentiality. Merleau-Ponty shows how our prereflective (...) bodies allow incompossible perceptions to coexist. Yet this same capacity of bodies to gather multiple perceptions together also lends itself to the illusion that we see from only one perspective. If an ethical perspective becomes reified into one position, it then becomes detached from reality, and the ethical potential is actually lost. At the same time, phenomenologically understood, the real world does not exist in terms of static matter, but is instead a web of contextual relations and meanings. An ethics that does not take embodied relations into account—that allows for only one perspective—ultimately loses its capacity for flexibility, and for being part of a common and shared reality. (shrink)

“Neutrosophics Knowledge” has been created for publications on advanced studies in neutrosophy, neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics that started in 1995 and their applications in any field, such as the neutrosophic structures developed in algebra, geometry, topology, etc. The submitted papers should be professional, in good English and Arabic, containing a brief review of a problem and obtained results. Neutrosophy is a new branch of philosophy that studies the origin, nature, and scope of neutralities, as well as (...) their interactions with different ideational spectra. (shrink)

In this paper, we present an expansion of one of the well-known classical inventory management models, which is the static model of inventory management without a deficit and for a single substance, based on the neutrosophic logic, where we provide through this study a basis for dealing with all data, whether specific or undefined in the field of inventory management, as it provides safe environment to manage inventory without running into deficit , and give us an approximate ideal volume of (...) inventory. Since the ideal size is affected by the rate of demand for inventory, we present in this paper a study of the rate of demand for inventory when it is not precisely refined, and we find that the indeterminate values of the demand rate cannot be ignored, because they actually affect determining the ideal size of inventory and calculating its costs, thus affecting on the efficiency of the facility and achieve great profits for it. (shrink)

It is widely accepted that there is a visual field, but the analogous notion of an auditory field is rejected by many philosophers on the grounds that the metaphysics or phenomenology of audition lack the necessary spatial or phenomenological structure. In this paper, I argue that many of the common objections to the existence of an auditory field are misguided and that, contrary to a tradition of philosophical scepticism about the spatiality of auditory experience, it is as richly spatial as (...) visual experience—and in some ways even more so. By carefully considering the spatiality and boundedness of audition, along with how sounds or their sources are experienced as occurring within the surrounding acoustic environment, we can gain a better understanding of (i) our auditory experience of space and (ii) the conditions for the existence of spatial sensory fields in general in a way that does not privilege vision over the other senses. (shrink)

This paper is an attempt of proposing the processing approach of neutrosophic technique in image processing.

La autonomía constituye uno de los pilares básicos de un sistema político como el democrático que se asocia a la capacidad de toma de decisiones de la ciudadanía como su núcleo moral principal. Los descubrimientos en el ámbito de las neurociencias y su aplicación al campo del marketing y a la comunicación política despiertan hoy en día las sospechas por la posible capacidad de activar el "botón del voto" de los electores. Este artículo tiene como objetivo adentrarse en el estudio (...) de los principales trabajos desarrollados sobre el neuromarketing político y la neuropolítica. La finalidad de esta propuesta consiste en presentar los debates éticos que irrumpen con el neuromarketing político. Autonomy is one of the basic pillars of a political system like democracy, which is associated with citizens’ decision-making capacity as its main moral core. Discoveries in the neurosciences domain and their application to the marketing and political communication field now arouse suspicions about the possible capacity of activating voter’s "voting button". The objective of this article is to examine the main works on political neuromarketing and neuropolitics. The purpose of this proposal consists in presenting the specific ethical debates that emerge around political neuromarketing. (shrink)

Academic institutions migrated to modular teaching-learning amid the COVID-19 pandemic. To ensure the quality of the pedagogical innovations employed, the study determined the students’ evaluation of the faculty prepared instructional modules for the courses they enrolled in during the first and second semesters of Academic Year 2020-2021. Employing a descriptive-correlational research design, the study was participated by 644 students from three colleges who were then available during the data gathering. Data gathered through online surveys were then analyzed using descriptive statistics (...) and Spearman's rank correlation coefficient utilizing jamovi software. Results revealed that the faculty-prepared instructional modules were acceptable and satisfactory to the students. Besides, the students' evaluation of the instructional modules was positively related to their level of satisfaction. Still, the students recommended that a review of the modules be done before sending the modules; a more extended time allotment is considered, and sufficient concrete examples are given in the modules. With this, the faculty concerned are encouraged to review the phases involved in the design, development, and distribution of the instructional modules to make them highly acceptable and very satisfactory to the students while maintaining the quality of both the content and aesthetics of the learning materials. Considering the study’s limitations, further endeavors may be carried out to validate this pedagogical innovation. (shrink)

I explore the possibility that the feminine, like art, can be thought in terms of Jean-Luc Nancy’s concept of the singular plural. In Les Muses, Nancy claims that art provides for the rethinking of a technë not ruled by instrumentality. Specifically, in rethinking aesthetics in terms of the debates laid out by Kant, Hegel and Heidegger, he resituates the ontological in terms of the specificity of the techniques of each particular artwork; each artwork establishes relations particular to its world or (...) worlds. What is at stake in the singular plural is the multiplicity of relations that are lost in the unifying gestures that arise out of radical oppositions. I rethink the singular plural through a phenomenological encounter with Barb Hunt’s artwork, Antipersonnel, a collection of hand-knitted replicas of antipersonnel landmines. (shrink)

I argue that a standard formulation of hinge epistemology is host to epistemic relativism and show that two leading hinge approaches (Coliva’s acceptance account and Pritchard’s nondoxastic account) are vulnerable to a form of incommensurability that leads to relativism. Building on both accounts, I introduce a new, minimally epistemic conception of hinges that avoids epistemic relativism and rationally resolves hinge disagreements. According to my proposed account, putative cases of epistemic incommensurability are rationally resolvable: hinges are propositions that are the objects (...) of our belief-like attitudes and are rationally revisable in virtue of our overarching commitment to avoid systematic deception in our epistemic practices. (shrink)

This paper brings Merleau-Ponty’s phenomenological approach to Sasha Waltz’s dance film S, which focuses on the relation between sexuality and language. Maintaining that movement in cinema takes place in the viewers and not the film, the paper considers how the visual can be deepened to include the ways we move and are moved. Saussure’s insights into language are brought to the sensible, which is here understood in terms of divergences from norms. Though film would seem to privilege vision, viewing this (...) film helps to elucidate Merleau-Ponty’s claim that a film succeeds when it engages the viewer’s embodied understanding, and shifts the norms of the corporeal schema. (shrink)

An account of what sort of causal integration is necessary for an agent to exercise agency is offered in support of a soft-line response to Derk Pereboom’s four-case argument against source-compatibilism. I argue that, in cases of manipulation, the manipulative activity affects the identity of the causal process of which it is a part. Specifically, I argue that causal processes involving direct manipulation fail to count as exercises of intentional agency because they involve heteromesial causal deviance. In contrast, standard deterministic (...) causal processes do not involve heteromesial causal deviance and are agency-preserving. The upshot is that there is a relevant difference between a causal process involving direct manipulation by another agent and a deterministic causal process that involves no such intervention. If this is right, then Pereboom’s four-case argument does not pose a threat to source-compatibilist theories of free will and moral responsibility. (shrink)

Abstract: Samples of LaxSr1-xMnO3 (x = 0.5, 0.55, 0.6, 0.66, and 0.7) were prepared by the citrate-nitrate autocombustion method. The prepared nano-particles were investigated and characterized using X-Ray diffraction (XRD) and Transmission Electron Microscopy (TEM) to confirm the formation of the samples in single phase without any impurities and to calculate the particle size. The magnetic susceptibility χM was measured as a function of temperature and magnetic field intensity. From χM(T) and M(H) the saturation magnetization (Ms), remanent magnetization (Mr) and (...) coercivity (Hc) of the samples were estimated. The correlation among physical properties and the ratio of divalent cation substitution was discussed and reported to shed more light on technological applications of the investigated samples. (shrink)

In recent decades, Information and Communication Technology (ICT) has been advanced and widely spread around the globe in addition to ICT revolution and technological advances are considered the major role in the evolution of modern age, which is called "Digital Transformation Age". Therefore, Electronic Technology (E-Technology) has become one of the most prominent approaches such as Electronic Learning (E-Learning), Electronic Training (E-Training), Mobile Learning (M-Learning), Virtual Lab (V-Lab), Virtual University, etc. E-Technology includes some features, for instance anyone, anywhere, anytime and (...) reducing of geographical barriers. ETechnology is a great trend and influences many fields and sectors such as Learning, Training, Military, Navy, Aviation, Medicine, and Digital space. According to nature of usage, E-Technology can be used in positive or negative trends. E-Technology is considered as a valuable tool in providing several opportunities for learning and training processes for individuals and organizations, especially in critical issues. Finally, we give a quick overview of neutrosophic data and some recent applications. (shrink)

The Protein Ontology (PRO) web resource provides an integrative framework for protein-centric exploration and enables specific and precise annotation of proteins and protein complexes based on PRO. Functionalities include: browsing, searching and retrieving, terms, displaying selected terms in OBO or OWL format, and supporting URIs. In addition, the PRO website offers multiple ways for the user to request, submit, or modify terms and/or annotation. We will demonstrate the use of these tools for protein research and annotation.

We suggest that the emerging field of the conservation humanities can play a valuable role in biodiversity protection in Papua New Guinea (PNG), where most land remains under collective customary clan ownership. As a first step to mobilising this scholarly field in PNG and to support capacity development for PNG humanities academics, we conducted a landscape review of PNG humanities teaching and research relating to biodiversity conservation and customary land rights. We conducted a systematic literature review, a PNG teaching programme (...) review, and a series of online workshops between the authors (10 PNG-based, 7 UK-based). We found a small but notable amount of PNG research and teaching focused on biodiversity conservation or customary land rights. This included explicit discussion of these topics in 8 of 156 PNG-authored humanities texts published 2010-2020 and related teaching content in the curricula of several different humanities-based programmes. We discuss current barriers to PNG academic development. The growth of fully fledged in-country conservation humanities will require a joint collaborative effort by PNG researchers, who are best placed to carry out such work, and researchers from abroad who can access resources to support the process. (shrink)

Advances in behavioral and brain sciences have engendered wide ranging efforts to help understand consciousness. The target article suggests that abstract computational models are ill-advised. This commentary broadens the discussion to include mysteries of subjective experience that are inconsistent with current neuroscience. It also discusses progress being made through demystifying specific cases and pursuing evolutionary considerations.

The article studies the energy efficiency of the economy and determines the need to reform the energy sector of Ukraine and conditions of its adaptation to EU requirements. Annual energy consumption in the world is about 14 billion tons of fuel. This is mainly organic origin resources – coal, oil, natural gas – 82 %, nuclear power – 7 %, hydroelectric energy – 3%, wood – 7 % renewable energy and – 1 %. The economic development of any country in (...) our time is determined not only by the number of extracted or consumed fuel and energy resources (FER), but the efficiency of their use – energy intensity of GDP, unit costs per unit of output. These figures are better in those countries which have established effective economic and legal mechanisms to encourage energy efficiency, which in turn stimulated the development of energy-saving technologies, equipment supply and services for energy efficiency. Analysis of international experience shows that Ukraine’s energy dependence can be reduced by: increasing production and consumption of domestic energy resources; increasing the efficiency of production, transportation and consumption of energy resources; diversification of energy imports and types of energy consumed. The study emphasizes that «energy is an important prerequisite for growth and development throughout the world, and despite the global financial crisis, demand for energy is growing steadily, particularly in the large economies of China, India and Brazil, developing countries. The authors provethat energy security is largely complicated by the fact that key energy resources are concentrated geopolitically. Most of the world’s oil and gas are found in several countries, some of which «are in a state of political turmoil and are not particularly friendly to US interests»(Gray F, 2010). The conclusions can be summarized that in the context of the main areas of research reducing risks to energy security of Ukraine are: energy efficiency economy (reduce unit cost of energy per unit of GDP); increase proved reserves and production of domestic energy resources; the transition from the use of expensive imported energy resources (oil, natural gas) to other fuels, especially domestic origin; opposition to fluctuations in energy prices (particularly by combating monopolization of the energy market, development of market infrastructure provisioning energy, preservation of state fuel and energy complex and the situation in the energy market); the development of the market principles of the electricity industry, promoting competition in this area. (shrink)

Copi's method of deduction is formalized and shown to be complete.

This article studies the political dimension of friendship in Robert Guédiguian’s cinema, delving into the crucial role that conversation plays in this relationship, and taking Stanley Cavell’s thought as a main reference. Aristotle’s concept of civic friendship, along with its contemporary readings, and Cavell’s notion of conversation provide a theoretical frame for the analysis of three recent feature films directed by Guédiguian that present a strong thematic and narrative unity (and have barely received attention in previous scholarship): Les Neiges du (...) Kilimandjaro/The Snows of Kilimanjaro (2011), La Villa/The House by the Sea (2017) and Gloria Mundi (2019). Based on, but going beyond, Cavell’s moral theorisation of the filmic portrayal of human relationships, the analysis of these films has identified four milestones in the transformative process—both personal and political—that stems from conversation with friends: conformity, confrontation, acknowledgement and renewed community. In all three films, this process of change is not only presented as a progressive discovery of one’s own voice, but also as a progressive unmasking: both are necessary prerequisites for welcoming foreigners in need of acknowledgement and, consequently, for the renewal of community. (shrink)

Visual perception is widely taken to present properties such as redness, roundness, and so on. This in turn might be thought to give rise to accuracy conditions for experience, and so content, regardless of which metaphysical view of perception one endorses. An influential version of this argument—Susanna Siegel’s ’Argument from Appearing’—aims to establish the existence of content as common ground between representational and relational views of perception. This goes against proponents of ‘austere’ relationalism who deny that content plays a substantive (...) role in philosophical explanations of conscious perceptual experience. Though Siegel’s argument purports to be neutral with respect to the metaphysics of perception, it relies upon an equivocation between the presentation of property-types and property-instances. Consequently, the argument begs the question against the austere relational view, and so fails to establish the desired conclusion. So while relationalists can and should allow that experiences have accuracy conditions, it does not follow from this that they have contents of any philosophically interesting or significant kind. (shrink)

In a recent very interesting and important challenge to tracking theories of knowledge, Williams & Sinhababu claim to have devised a counter-example to tracking theories of knowledge of a sort that escapes the defense of those theories by Adams & Clarke. In this paper we will explain why this is not true. Tracking theories are not undermined by the example of the backward clock, as interesting as the case is.

A reading of Feyerabend in Against Method, and a comparison of C.S. Peirce.

Inflammation is activated by diverse triggers that induce the expression of cytokines and adhesion molecules, which permit a succession of molecules and cells to deliver stimuli and functions that help the immune system clear the primary cause of tissue damage, whether this is an infection, a tumor, or a trauma. During inflammation, short-term changes in the expression and secretion of strong mediators of inflammation occur, while long-term changes occur to specific groups of cells. Long-term changes include cellular transdifferentiation for some (...) types of cells that need to regenerate damaged tissue, as well as death for specific immune cells that can be detrimental to tissue integrity if they remain active beyond the boundaries of essential function. The transcriptional regulator NFκB enables some of the fundamental gene expression changes during inflammation, as well as during tissue development. During recurrence of malignant disease, cell stress-induced alterations enable the growth of cancer cell clones that are substantially resistant to therapeutic intervention and to the immune system. A number of those alterations occur due to significant defects in feedback signal cascades that control the activity of NFκB. Specifically, cell stress contributes to feedback defects as it overrides modules that otherwise control inflammation to protect host tissue. NFκB is involved in both the suppression and promotion of cancer, and the key distinctive feature that determines its net effect remains unclear. This paper aims to provide a clear answer to at least one aspect of this question, namely the mechanism that enables a divergent response of cancer cells to critical inflammatory stimuli and to cell stress in general. (shrink)

In the present paper, I analyze the Husserlian theory of time from a phenomenology of person perspective. I suggest that the phenomenological concept of time – especially considering the notions of ritentional modifications and sinking – is strictly related with the personal individuation. Hence, my argument is that personhood is developed with latent and subliminal inclinations too, opening a new discussion regarding the reliability of the eidetic-reductive method in characterology.

This analytical study explores the nature of scientific progress connected to current philosophical definitions and the role of institutional governance in promoting this progress. This paper examines how public and private initiatives intersect to create a wartime level of scientific progress during peacetime, as promoted in detail by Vannevar Bush, Director of the Office of Scientific Research and Development (OSRD) from 1941-47. This study suggests that the public benefit from the war footing approach to scientific progress should outweigh the losses (...) to the public good that accumulate due to wartime restrictions on scientific discourse during times of peace. The interaction and dependence of scientific progress on military development, public health and public needs in general, the tax code and the patent system form the foundation of Bush’s program for sustaining wartime levels of scientific progress during peacetime. This study references the COVID-19 period and the solutions that were applied to emergent public needs through scientific programs. Justice of the United States (U.S.) Supreme Court Neil Gorsuch noted in May 2023 that “…we may have experienced the greatest intrusions on civil liberties in the peacetime history of this country.” This study proposes that the dilution of scientific truth in public policy is the result of a collective institutional mindset among scientists. This mindset endorses public programs that provide society with a wartime risk response in peacetime. In this study, from an epistemological standpoint and considering the work of other researchers in this field, these developments in scientific progress will be analyzed. (shrink)

La situación actual del hombre frente a la ciencia ya la biotecnología hace necesario el repaso de una serie de conceptos que son básicos para que esta relación no rebase los límites humanos, y sea respetuosa con la dignidad de la que es titular todo ser humano. En este sentido, la Bioética, como “ciencia puente”, ayuda a regular las actuaciones de la persona con la vida en general, pero particularmente con la vida humana, que no admite contemplaciones por su particular (...) proyección a la trascendencia. Esos aportes que la Bioética nos brinda, los podemos encontrar en cuatro grandes campos que son: los problemas éticos que se presentan en el ejercicio de las profesiones sanitarias; los problemas éticos que pueden surgir en la investigación con seres humanos; los problemas sociales inherentes a las políticas sanitarias y los problemas relacionados con la intervención sobre la vida de los demás seres vivos, plantas, microorganismos, animales y, en general, lo que se refiere al equilibrio del ecosistema. Esta es la visión que se plantea en El ser humano y su dimensión bioética, donde la reflexión central convoca al lector a replantear la verdadera dimensión del hombre frente a los desarrollos de la ciencia y la biotecnología. (shrink)

La irrupción de la inteligencia artificial, la consecución de los objetivos de inclusión, igualdad o de sostenibilidad económica, plantean en las sociedades occidentales diferentes alternativas de actuación educativa. Este nuevo entorno que habitamos ha provocado también una evolución en los desafíos éticos que se presentan en el mundo de la educación caracterizados por la complejidad de su resolución y por la pluralidad de escenarios y protagonistas involucrados en los mismos. Cuestiones referentes a ¿cómo posicionar al profesor ante la posibilidad del (...) aprendizaje y evaluación automatizada?, ¿cómo implementar el principio de no discriminación educativa en un aula en la que conviven alumnos con diferentes capacidades, habilidades e intereses?, ¿cómo replantear nuevos hábitos de vida en pro de la sostenibilidad planetaria?, ¿cómo integrar la enseñanza de los valores constitucionales del siglo XX con el progreso moral de la sociedad del siglo XXI? constituyen la hipótesis de partida. Se afirma por tanto, que la educación debe abrirse a otras cuestiones, relativamente novedosas y de origen tecnológico, político o económico, que trascienden ese horizonte e impactan directamente en ella, concretamente desde el punto de vista de la ética educativa. Se establece una análisis de los desafíos actuales y su prospectiva en el campo de la ética de la educación y se establecen tres nuevas categorías en el campo de estudio: triaje, digitalización y nuevos actores. (shrink)

The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can be (...) naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

The current study is conducted to examine the following research question: How are healthy eating information-seeking ability and e-health literacy associated with healthy eating intention?

In this paper we present the concept of neutrosophic quadruple algebraic structures. Specially, we study neutrosophic quadruple rings and we present their elementary properties.

The current study is conducted to examine the following research questions: 1) What information sources on social media are associated with the general intention to try space tourism? 2) Does the automatically recommended information moderate the associations between multiple sources of information and the intention to try space tourism?

a translation of A. Schoot "Kivy and Langer on Expressivity in Music".

It is contended that to construct a social theory capable to comprehend the Russian Modernization one has to broaden first and foremost the conceptual basis of research. The basic element lacking in the orthodox Marxist conceptual scheme is the notion of ‘social unconsciousness’. It is demonstrated that Slavoj Zizek’s works represent the most ingenious fusion of post-structuralism, psychoanalysis and Marxism that treats the ability to disclose social contradictions. It is shown that the adequate comprehension of social contradictions system is possible (...) in the light of ideologies grounded on social equality values . They can reveal the main contradiction of Russian social life, i.e. the contradiction between Empire Ambitions of Russian bureaucracy and the interests and values of the ill-structured Civil Society. Key words : ideologies, psychoanalysis, post-structuralism, S. Zizek, social contradictions. (shrink)

Transoral laser microsurgery applies to the piecemeal removal of malignant tumours of the upper aerodigestive tract using the CO2 laser under the operating microscope. This method of surgery is being increasingly popularised as a single modality treatment of choice in early laryngeal cancers (T1 and T2) and occasionally in the more advanced forms of the disease (T3 and T4), predomi- nantly within the supraglottis. Thomas Kuhn, the American physicist turned philosopher and historian of science, coined the phrase ‘paradigm shift’ in (...) his groundbreaking book The Structure of Scientific Revolutions. He argued that the arrival of the new and often incompatible idea forms the core of a new paradigm, the birth of an entirely new way of thinking. This article discusses whether Steiner and col- leagues truly brought about a paradigm shift in oncological surgery. By rejecting the principle of en block resection and by replacing it with the belief that not only is it oncologically safe to cut through the substance of the tumour but in doing so one can actually achieve better results, Steiner was able to truly revolutionise the man- agement of laryngeal cancer. Even though within this article the repercussions of his insight are limited to the upper aerodigestive tract oncological surgery, his willingness to question other peoples’ dogma makes his contribution truly a genuine paradigm shift. (shrink)

O sistema democrático é entendido por Norberto Bobbio em dois vieses: como um conjunto de regras de procedimento para a constituição do governo e para a formação das decisões políticas, isto é, a democracia formal; e a democracia substancial, a qual pressupõe um conjunto de fins ideais — igualdade jurídica, social e econômica — independentemente dos meios adotados para os alcançar. Essas noções distintas se complementam no conceito que o autor explicita, visto que o ideal igualitário que o inspira (democracia (...) como valor, substancial) se realiza somente na formação da vontade geral (democracia como método, formal). Esse sistema se estende por alguns objetivos, os quais buscam alcançar o resultado mais próximo de sua aspiração que, em um contexto pluralista, são: liceidade de dissenso; participação mais ampla das pessoas nos assuntos públicos por meio de associações, partidos, sindicatos, etc; e descentralização do poder em diversos polos, nos quais cada grupo encontrará sua identidade e representatividade. Contudo, em sua obra Liberalismo e Democracia (1994), Bobbio apresenta tais objetivos em uma perspectiva diferente, elencando as possíveis falhas em cada um desses. Um dos principais problemas afirmados por ele tange à incapacidade dos governos democráticos de dominarem convenientemente os conflitos em uma sociedade complexa e de atender às exigências dos cidadãos, resultando em um cenário de sobrecarga de demandas financeiras e sociais, falta de legitimação do poder central e conflitualidade entre este e a população. Posto isso, o presente trabalho se debruça sobre os principais pressupostos da democracia e seus possíveis efeitos negativos, isto é, os riscos de sua aplicação em demasia. Desta maneira, conduziremos nossa análise perpassando por esse problema para, ao final, elencarmos os fatores limitantes para uma melhor execução dos cânones democráticos. (shrink)

After a brief review of the golden ratio in history and our previous exposition of the fine-structure constant and equations with the exponential function, the fine-structure constant is studied in the context of other research calculating the fine-structure constant from the golden ratio geometry of the hydrogen atom. This research is extended and the fine-structure constant is then calculated in powers of the golden ratio to an accuracy consistent with the most recent publications. The mathematical constants associated with the golden (...) ratio are also involved in both the calculation of the fine-structure constant and the proton-electron mass ratio. These constants are included in symbolic geometry of historical relevance in the science of the ancients. (shrink)

The current study is conducted to examine the following research questions: 1) How is the residential proximity to the coast during childhood, and nature connectedness, associated with peace of mind when visiting the coast? 2) Does the residential proximity to the coast during childhood moderate the relationship between nature connectedness and peace of mind when visiting the coast? 3) How is the peace of mind associated with improved thinking when visiting the coast?

A precise formulation of the structure of modern evolutionary theory has proved elusive. In this paper, I introduce and develop a formal approach to the structure of population genetics, evolutionary theory's most developed sub-theory. Under the semantic approach, used as a framework in this paper, presenting a theory consists in presenting a related family of models. I offer general guidelines and examples for the classification of population genetics models; the defining features of the models are taken to be their state (...) spaces, parameters, and laws. The suggestions regarding the various aspects of the characterization of population genetics models provide an outline for further detailed research. (shrink)