Traditional Logic Research Articles

Heidegger’s Critical Confrontation with the Concept of Truth as Validity

Abstract My primary goal in this article is to provide a historical reconstruction of Heidegger’s relationship to Hermann Lotze’s logic of validity (Logik der Gültigkeit). Lotze’s characterization of truth’s “actuality” solidifies the fallacious presupposition that the essence of truth is to be understood primarily in terms of logical assertions. In Heidegger’s view, the predicates “true” and “false,” as the paradigmatic attributes of propositions and judgments, are derivatives of a fundamental and “primary being of truth” known as disclosedness (Erschlossenheit). Heidegger marks this decisive position in §44 of Being and Time and gains its methodological purchase by deconstructing traditional logic (kritischer Abbau der überlieferten Logik). Heidegger’s treatment, however, is abbreviated, and his sources remain notoriously concealed. For this reason, much is to be gained by examining the supplement provided one year earlier in a lecture course titled Logic: The Question of Truth (WS 1925–26). Heidegger devotes nearly 100 pages to the contemporary situation of philosophical logic. In this course, Heidegger critically evaluates a core principle of both phenomenology and neo-Kantian Erkenntnistheorie: the concept of validity (Geltung). This term originates from Lotze’s Platonic Ideenlehre, which asserts that Platonic “ideas” correspond to thoughts through a logical necessity. Consequently, they are deemed valid and eternally self-identical but do not need to exist in the world. For the purposes of this study, I show the historical significance and influence of Lotze’s Logic on twentieth-century Neo-Kantianism and Phenomenology. I provide a detailed account of Lotze’s interpretation of the Platonic theory of ideas, which supports his theory of validity. By returning to Lotze’s text, I provide an in-depth review of Heidegger’s reading of Lotze, whom he charges with misleading twentieth-century epistemology. If successful, this article provides the necessary and historical context to understand what is left unsaid and concealed in §44 of Being and Time. This article also serves the auxiliary purpose of acting as a prolegomenon for Heidegger’s urgent return to Aristotle’s thought and accurately determining the essence of truth.

Optoelectronic Reconfigurable Logic Gates Based on Two-Dimensional Vertical Field-Effect Transistors.

Optoelectronic reconfigurable logic gates are promising candidates to meet the multifunctional and energy-efficient requirements of integrated circuits. However, complex device architectures need more power and hinder multifunctional device applications. Here, we design vertical field-effect transistors (VFET) based on the two-dimensional (2D) graphene/MoS2/WSe2/graphene van der Waals heterojunction forming ohmic and Schottky contact. The modulation of the Schottky barrier via gate bias enables the device to switch between positive and negative photocurrents, which can effectively achieve optoelectronic reconfigurable logic gates (XNOR, NOR, NAND, AND, OR, and Inhibit) in a single device. Particularly, the transistor number is reduced by 75% for ("XNOR", "NOR", "NAND") and 83% for ("AND", "OR") gates compared to traditional logic circuits. This work provides a promising route for using a single device to realize optoelectronic reconfigurable logic gates, which can advance the development of high-speed, high-throughput, and intricate data processing in future optical computing applications.

The role of platforms in the journalistic ecosystem: innovative business models of Italian media outlets

Increased dependence of the news media system on online platforms has caused a readjustment of the traditional business models that supported media enterprises until a few years ago, which in some cases has resulted in a redefinition of the boundaries of the journalistic field. To test the interplay between different strategies of relationship with platforms and a different location within the field, the paper considered four Italian news outlets. Two, Will Media Italia and Factanza, are newcomers, information projects anchored in the logic of online platforms and disseminated almost exclusively on social media. Two, The Post Internazionale and Domani, are inhabitants of the field, media outlets with greater links to the traditional logic of journalism. Through semi-structured interviews conducted with selected members of the four news media outlets, the study aims at answering two key-questions. First: what forms of revenue are the media outlets analyzed aiming for in order to maintain their economic sustainability? How do the characteristics of media outlets influence the use of different forms of advertising, even as a function of the response of the online and platform environments they inhabit, albeit with different strategies? Second-and closely related-how is it preserved, the editorial autonomy of the media outlets analyzed? That is, how do these media outlets attempt to make their business both economically sustainable and not overly dependent on forms of monetization generated by the platforms?

Boolean Computation in Single-Transistor Neuron.

Brain neurons exhibit far more sophisticated and powerful information-processing capabilities than the simple integrators commonly modeled in neuromorphic computing. A biological neuron can in fact efficiently perform Boolean algebra, including linear nonseparable operations. Traditional logic circuits require more than a dozen transistors combined as NOT, AND, and OR gates to implement XOR. Lacking biological competency, artificial neural networks require multilayered solutions to exercise XOR operation. Here, it is shown that a single-transistor neuron, harnessing the intrinsic ambipolarity of graphene and ionic filamentary dynamics, can enable in situ reconfigurable multiple Boolean operations from linear separable to linear nonseparable in an ultra-compact design. By leveraging the spatiotemporal integration of inputs, bio-realistic spiking-dependent Boolean computation is fully realized, rivaling the efficiency of a human brain. Furthermore, a soft-XOR-based neural network via algorithm-hardware co-design, showcasing substantial performance improvement, is demonstrated. These results demonstrate how the artificial neuron, in the ultra-compact form of a single transistor, may function as a powerful platform for Boolean operations. These findings are anticipated to be a starting point for implementing more sophisticated computations at the individual transistor neuron level, leading to super-scalable neural networks for resource-efficient brain-inspired information processing.

Экософский взгляд на общество риска и возможности медицины в снижении рисковых последствий

The relevance of the topic is due to the formulation of issues related to the state of modern social reality, the presence of risk in it as one of the essential characteristics. Abandoning the past mechanism of development – tradition as a stable foundation, modern society has acquired the specificity of the absence of a non-stop movement – a transition that does not correlate with the movement from one stage to another, more stable, but represents the continuity of the process. This is a fundamentally new ontology of reality, in which the constancy of its movement, instability create a situation where, as U. Beck says, in the rapidity of change, there is a “collapse of scientific, technical and legal rationality” [3, p. 167], traditionally used as a method of organizing public order. The article updates the Platonic category of metaxy (“Timaeus”) as a characteristic of the dynamics of being, its constant ‘intermediacy’ between the ‘past’ and the ‘future’ while eliminating the stable ‘present’. Modern social reality is a meta-reality, a transition in its infi nity of realization, the consequence of which is the risk and fear of falling into the abyss of baselessness. Risk is a specific characteristic of a social movement in the continuity of transition, when the stability of the present is lost, and the horizon of the future is not visible in traditional logic, which causes existential fear that constantly accompanies a person. ‘Risk Society’ (U. Beck) demanded a new rational ‘arrangement’ (A. Giddens) and a relevant methodology for its construction. The article is devoted to the problem of searching for this methodology. As such, the rationality of the emerging new trend in philosophy – ecosophy – is proposed, which actualizes a holistic view of the world, building on the category of ‘life’ in the unity of its manifestations in nature and culture. The problem is solved by contradiction: on the one hand, the risk is associated with the growth of science, which has historically had a humanistic connotation, on the other hand, its embodiments, being realized today in high technologies, turned out to be turning against man. Contradiction initiates risk. The purpose of the article is to substantiate the rationality of the ecosophical content as a methodology for the study of modern risky social ontology caused by scientific technologies, to argue their impact on human health and to show the possibilities of medicine in solving this problem.

Intersubjectivity and identity

ABSTRACT This paper makes the case that an operation whose function expresses subjectivity can be formalised outside of identity stipulations. This operation is best characterised by poetic computation: a function that maps modes of expression to their respective contexts of application, i.e. from a domain of selection to one of composition. This move, I feel, eludes the failings endemic to the presuppositions required by and that undergird traditional logics of identity: one-to-one correspondence between name and thing, regardless of context. This expressive mechanism, indicative of the activity of the subject in itself, is non-representational. This framing accounts for how its operation goes on to produce the various ‘representations’ that are identified as, but not interchangeable with, that subject. These expressions are dependent upon the multitude of contexts that subject inhabits. I ask, how is it possible to present a theory of subjectivity without a reliance on identity? My hope is to show how something non-representational can be understood by way of the representations it produces.

Logical Constants and Unrestricted Quantification

Logical Constants and Unrestricted Quantification

On the Logic of Islamic Feminism: A case study of Minangkabaunese Matrilineality

This article aims to seek (1) a new meaning of Islamic feminism and (2) its logical structure whether traditional or modern in its nature. I will examine Etin Anwar’s distinction between ‘Islamic feminism’ and ‘Muslim feminism’ and discuss the potential of self-ownership for developing arguments in favor of gender justice. While Anwar’s definition of Islamic feminism excludes male feminists in such a way, I argue that it is not strategic for gender justice, and it would be necessary to adopt self-ownership into the discourse of Islamic feminism instead. This suggestion manifests in the Minangkabau matrilineal setting, in which case men share their self-ownership with their wives, mothers, and sisters due to the institution of bundo kanduang. As a consequence, Minangkabaunese Muslim men shoulder some extra filial duties but enjoy nothing from the inheritance division. I also conducted several in-depth interviews with some experts concerning this issue. The upshot is that Islamic feminism should be inclusive of male feminists, and it should pay attention to the modern logic of dialetheia instead of the traditional logic.

Pompeiu-Hausdorff Fuzzy <i>b</i>-metric Spaces Are Associated with a Common Fixed Point and Multivalued Mappings

The notion of fuzzy logic was introduced by Zadeh. Unlike traditional logic theory, where an element either belongs to the set or does not, in fuzzy logic, the affiliation of the element to the set is expressed as a number from the interval [0, 1]. The study of the theory of fuzzy sets was prompted by the presence of uncertainty as an essential part of real-world problems, leading Zadeh to address the problem of indeterminacy. The theory of a fixed point in fuzzy metric spaces can be viewed in different ways, one of which involves the use of fuzzy logic. Fuzzy metric spaces, which are specific types of topological spaces with pleasing ”geometric” characteristics, possess a number of appealing properties and are commonly used in both pure and applied sciences. Metric spaces and their various generalizations frequently occur in computer science applications. For this reason, a new space called a Pompeiu-Hausdorff fuzzy <i>b</i>-metric space is constructed in this paper. In this space, some new fixed point results are also formulated and proven. Additionally, a general common fixed point theorem for a pair of multi-valued mappings in Pompeiu-Hausdorff fuzzy <i>b</i>-metric spaces is investigated. The findings obtained in fuzzy metric spaces, such as those discussed in Remark 3.1, are generalized by the results in this paper, and additional specific findings are produced and supported by examples. The study of denotational semantics and their applications in control theory using fuzzy <i>b</i>-metric spaces and Pompeiu-Hausdorff fuzzy <i>b</i>-metric spaces will be an important next step.

An Overview on the Philosophy and Educational thoughts of Dr. Zakir Hussain

As an exceptional educator and a selfless nationalist leader, Dr. Zakir Husain has earned a stellar reputation. His contributions to Indian education are now considered seminal. He came to the realization that education was the key to achieving national unity and integrity. Zakir Hussain possessed an uncommon blend of wisdom, knowledge, and pragmatism, making him an authentic embodiment of Indian culture. Zakir Hussain's educational concept protects every facet of life. It shifts between what one might call the "poles of the eternal and the temporal," between a sense of conscience awakening and the ability to use one's skills efficiently, or from conviction to accomplishment. Education, according to his philosophy, is a journey from the shadows into the light, echoing a Platonic idea. Similar to what Kant had done, it acknowledged the intellectual component of education's Aristotelian logic but placed greater emphasis on its moral component. The ideals of Plato, Hegel, and Gandhiji informed Zakir Hussain's humanism, idealism, and liberalism, respectively. John Stuart Mill, who had connected education to the need for pleasure in his utilitarian philosophy, had his views rejected by him. The paper provides a descriptive and exploratory analysis based on secondary sources

A New Integration Scheme to Prevent Chemical Attack on Floating Polysilicon Gate of Non-Volatile Memory

Silicon pitting has been observed on floating gate polysilicon layer of embedded non-volatile memory(e-NVM) process due to chemical attack caused by HBr residual interacting with moisture. This paper successfully demonstrates a new integration scheme for a robust floating gate process against silicon attack for embedded stacked/split gate non-volatile memory process. Firstly, CF4 was introduced into floating gate polysilicon etch recipe to replace HBr, which has been CMOS gate polysilicon etch gas in traditional logic process due to the advantage of higher selectivity despite the disadvantage of low vaporability, for better or cleaner process control. Secondly, an additional plasma removal stripping (PRS) clean step was added before chemical removal stripping (CRS) to give better etch by-product cleaning, even though there is no photoresist and lithography involved on the poly blanket etch for the better etch by-product cleaning. This new scheme has been verified using inline optical inspection defect-scan to prove the sufficient process margin for better mass production control that came from improved manufacturing Queue-time margin (longer waiting time) between dry-etch step, CRS step, and subsequent downstream process steps. Keywords—Flash Memory, NVM, Floating Gate, HBr, Plasma Etching, Q-time, Chemical Attack, Silicon Pitting

Теория аргументации в России: опыт реконструкции традиции

The author considers the study of the history of developing argumentation prob­lems in Russia as an urgent task and contribution to the development of the the­ory of argumentation corresponding the present challenges. The article presents a general view of the theory of argumentation as one of the programs of “axial time” in the history of humankind – realizing, first of all, the ideas of Aris­totelian “Rhetoric”. The author interprets Russian intellectual culture as one of the heirs of ancient Greek and explores the prerequisites and circumstances of the formation of the theory of argumentation as a research area in the USSR. Special attention is paid to the role that logic played in this case. The author in­sists that it was the maintenance of traditional logic positions in Soviet education in the middle of the XX century that led to the interpretation by domestic scien­tists of the theory of argumentation as having logic as a basis. This was a signi­ficant difference between the Soviet (and Russian) approach from the Western European one. The last was formed in conditions when the mathematization of logic led to the displacement of traditional logic from the field of research and education. This factor explains the opposition of argumentation to proof that was stressed by Ch. Perelman and his followers. Perelman proceeded from the inter­pretation of logical proof as a sequence of formulas constructed according to cer­tain rules. Considering the discussion by Russian philosophers and philologists of the question of the relationship between the theory of argumentation and rhetoric, the author of the article evaluates the idea of “argumentorics” put for­ward by V.N. Bryushinkin at the beginning of this century as very promising. The author shows that the rhetorical teaching of M.V. Lomonosov, set out in the treatise “A brief guide to eloquence. The first book, which contains rhetoric…” has every reason to be understood as an “argumentoric” theory. The article was prepared for the 70th anniversary of the Department of Philoso­phy for Humanities at Lomonosov Moscow State University

Intuitionistic fuzzy divergence for evaluating the mechanical stress state of steel plates subject to bi-axial loads

The uncertainty that characterizes the external mechanical loads to which any connection plate in steel structures is subjected determines the non-uniqueness of the isochoric deformation distributions. Since the eddy currents induced on the plates produce magnetic field maps with a high fuzziness content, similar to those of the isochoric deformations, their use can be exploited to evaluate the extent of the external load that determines a specific induced current map. Starting from an approach known in the literature, according to which the map-external load association is operated through fuzzy similarity computations, in this paper, we generalize this method by reformulating it in terms of intuitionistic fuzzy logic by proposing a classification based on divergence computations. Our approach, acting adaptively on the fuzzification of the maps, results in a better classification percentage, besides significantly reducing the presence of doubtful cases due to the uncertainty of each applied load. Furthermore, a FEM software tool was developed, which turned out to be, to a certain extent, a substitute for the experimental procedure, notoriously more expensive. Even if the procedure was applied on plates subjected to bi-axial loads, it could be used for other types of loads since the classification operator processes the eddy current maps exclusively, regardless of their cause.

The Outer Space Regime of Property Rights through the Lens of the Third World: Towards a Copernican Revolution from Anthropocentrism to Cosmocentrism

As the scarcity of resources on Earth becomes more evident, the financial promise of space mining has recently fostered interests among both private and public actors, raising the issue of property rights in outer space. This article considers this subject matter through the prism of Third World Approaches to International Law and aims to uncover the extent to which a logic of domination currently underpins space exploration. It shows that International Space Law has historically served as an experimenting field for legal concepts that challenge the traditional logic of international law. However, conventional power dynamics have regained control, undermining the original equitable potential of the international legal framework governing property in outer space. This is also evidenced by the rhetoric of space exploration, which tacitly implies Western primacy in resource extraction and marginalises the history of the Third World. Against this backdrop, this paper calls for a new legal regime balancing the needs of the Third World with the investment of spacefaring countries and for a redefinition of space sustainability. This would entail a Copernican Revolution regarding our approach to space exploration – shifting from anthropocentrism to cosmocentrism.

On logic and language in the Kantian thought:A critical approach

This text returns to the old discussion about the Vollständigkeit of Kant’s logical table of judgements, as a necessary deviceto discover the pure categories of understanding. The question is addressed from the point of view of the relationship between logic and language, more precisely from the point of view of what scholastic logic calls syncategorems and exponible judgements.

A clash of clans: an empirical study of conflicting institutional logics and their impact on megaproject collaboration

PurposeManaging megaprojects is challenging due to their inherent complexity and uncertainty. Collaborative project delivery models have been introduced as an alternative to traditional project management in public infrastructure megaprojects and are often realized through collaborative contracts. These project organizations act as institutional arenas for logic interaction as actors with differing institutional backgrounds interact within the project. This paper aims to study the delivery phase of three megaprojects through an institutional lens, investigating the institutional interaction and alignment of logics therein.Design/methodology/approachA multiple case study was employed to reach deep insight into the phenomenon. Sixty-one interviews were conducted over 3 cases with representatives from all levels of the project hierarchy. Respondents were selected through snowball sampling. In two cases, observations of the shared project office were conducted. Data analysis built on first-order codes and second-order themes, collected into a theoretical framework.FindingsThe empirical evidence demonstrates the dynamics shaping institutional logics and gives evidence for changing logics in projects with a well-applied collaborative contract. However, there is a risk of resistance and a return to traditional logics since institutional change is slow and an unsuitably applied collaborative contract can lead to adherence to the conventional way of work.Originality/valueCurrent research has focused on the regulatory framework and procurement phase of such models, but little attention has been given to the delivery phase and the interaction of conflicting logics. This paper can serve as an exemplar of the different logics found within public infrastructure projects and their interaction and alignment. Contributions include a heightened emphasis on the start of the project as a meeting point for differing institutional logics and the role change necessary when using a collaborative contract.

Determining the exergy and energy efficiency of an organic Rankine cycle using fuzzy logic method

AbstractThe Organic Rankine Cycle (ORC) serves as a pivotal technology for energy conversion, harnessing high‐temperature organic liquids sourced from heat reservoirs to propel turbines and generate electricity. This process not only facilitates the conversion of heat into mechanical energy but also significantly mitigates environmental impacts. ORC stands out as the preferred technology for enhancing energy efficiency and leveraging low‐temperature resources optimally. With the advent of artificial intelligence, particularly fuzzy logic, these systems have witnessed integration, providing a robust solution to address uncertainties. Unlike traditional logic, which offers binary outcomes, fuzzy logic offers a more adaptable approach by accommodating uncertainty, thus enabling modeling of complex real‐world situations. In this study, utilizing the fuzzy logic method, we estimated the energy and exergy efficiency of the ORC, resulting in an impressive 90% estimation accuracy.

Logical exceptionalism: Development and predicaments

AbstractThis paper examines the conceptions of logic from Leibniz, Hume, Kant, Frege, Wittgenstein and Ayer, and regards the six philosophers as the representatives of logical exceptionalism. From their standpoints, this paper refines the tenets of logical exceptionalism as follows: logic is exceptional to all other sciences because of four reasons: (i) logic is formal, neutral to any domain and any entities, and general; (ii) logical truths are made true by the meanings of logical constants they contain or by logicians' rational insight to consequence relations; (iii) logical truths are analytical, a prior and necessary, so not‐revisable; and (iv) logical laws are normative for how to correctly think. However, logical exceptionalism has encountered difficult open problems: What are logical constants? How to justify basic laws of logic? How are logical laws accessible to us? How to explain the reasonability of rival logics and select from them? How to explain the universal applicability of logical laws? How to explain the normativity of logical laws for correct thinking? This paper concludes that logical anti‐exceptionalism is more hopeful to successfully answer these questions than logical exceptionalism.

A New Integration Scheme to Prevent Chemical Attack on Floating Polysilicon Gate of Non-Volatile Memory

—Silicon pitting has been observed on floating gate polysilicon layer of embedded non-volatile memory(e-NVM) process due to chemical attack caused by HBr residual interacting with moisture. This paper successfully demonstrates a new integration scheme for a robust floating gate process against silicon attack for embedded stacked/split gate non-volatile memory process. Firstly, CF4 was introduced into floating gate polysilicon etch recipe to replace HBr, which has been CMOS gate polysilicon etch gas in traditional logic process due to the advantage of higher selectivity despite the disadvantage of low vaporability, for better or cleaner process control. Secondly, an additional plasma removal stripping (PRS) clean step was added before chemical removal stripping (CRS) to give better etch by-product cleaning, even though there is no photoresist and lithography involved on the poly blanket etch for the better etch by-product cleaning. This new scheme has been verified using inline optical inspection defect-scan to prove the sufficient process margin for better mass production control that came from improved manufacturing Queue-time margin (longer waiting time) between dry-etch step, CRS step, and subsequent downstream process steps.

Aspects of the presence of the Aristotelian Logic in Western Christianity and Eastern Christianity:

In this article, we discuss a particular aspect of the presence of the Aristotelian Logic –mainly based on the treatise Topics– in the Christianity of the West as well as in the Christianity of the East, with Boethius and Manuel Holobolus as representatives. As a reference text, we have Boethius’ treatise De topicis differentiis, which was translated into Greek, with certain adaptations and individual comments, by Manuel Holobolus. We approach a concise passage from the Byzantine scholar’s translation, which refers to “middle places”, that is to say, to those which arise neither from the meaning of names per se nor from external factors alone, but from their encounter with each other under particular circumstances. We investigate how “middle places” are distinguished into three categories –a) by πτώσις (case), b) by συστοιχία (co-ordination), and c) by διαίρεσις (division)– and how arguments are structured on the basis of their use. They appear as modalities of nouns, mainly through adjectives and adverbs within prepositional phrases, which do not refer to semantic singulars but to a structure of various kinds of relations between situations and between persons, with evaluative schemes sometimes present. We pay particular attention to how an actual case highlights both morphological and semantic variations so that it is not just a grammatical scheme but also one of philosophical interest. We indicate how through the “middle places” formal Logic is brought into relevance with Ontology, or nominal reflections with pragmatological data, in the perspective of what can be called conceptual realism, which refers to how a meaning adapts to the external conditions it is asked to describe and is transformed accordingly. Finally, we conclude that through Boethius’ original text and Holobolus's translation, the Aristotelian formal Logic is utilized by the theological and philosophical atmosphere of Christianity, both in the West and in the East, even though there is a gap of about eight centuries between the two thinkers.