Logical Truth Research Articles

A Knowledge-Aware NLP-Driven Conversational Model to Detect Deceptive Contents on Social Media Posts

The widespread dissemination of deceptive content on social media presents a substantial challenge to preserving authenticity and trust. The epidemic growth of false news is due to the greater use of social media to transmit news, rather than conventional mass media such as newspapers, magazines, radio, and television. Humans' incapacity to differentiate among true and false facts exposes fake news as a threat to logical truth, democracy, journalism, and government credibility. Using combination of advanced methodologies, Deep learning (DL) methods, and Natural Language Processing (NLP) approaches, researchers and technology developers attempt to make robust systems proficient in discerning the subtle nuances that betray deceptive intent. Analysing conversational linguistic patterns of misleading data, these techniques’ purpose to progress the resilience of social platforms against the spread of deceptive content, eventually contributing to an additional informed and trustworthy online platform. This paper proposed a Knowledge-Aware NLP-Driven AlBiruni Earth Radius Optimization Algorithm with Deep Learning Tool for Enhanced Deceptive Content Detection (BER-DLEDCD) algorithm on Social Media. The purpose of the BER-DLEDCD system is to identify and classify the existence of deceptive content utilizing NLP with optimal DL model. In the BER-DLEDCD technique, data pre-processing takes place to change the input data into compatible format. Furthermore, the BER-DLEDCD approach applies hybrid DL technique encompassing Convolutional Neural Network with Long Short-Term Memory (CNN-LSTM) methodology for deceptive content detection. Moreover, the BER approach has been deployed to boost hyperparameter choice of the CNN-LSTM technique which leads to enhanced detection performance. The simulation outcome of the BER-DLEDCD system has been examined employing benchmark database. The extensive outcomes stated the BER-DLEDCD system achieved excellent performance with the accuracy of 94%, 94.83% precision, 94.30% F-score with other recent approaches.

Explanationism and the awareness of logical truths

Explanationism and the awareness of logical truths

Vasyl Yakovych Danylevskyi's lecture on science, university and faculty selection (1921): annotated translation

Kharkiv National Medical University has the honor to present a series of lectures by the outstanding doctor of Kharkiv region Danylevskyi V.Ya., which for 100 years have not lost their relevance and can be a guideline for modern doctors and students of medical universities. In this abstract, we will briefly outline the advice of the author of the lecture to young doctors. Without a general scientific education, even a good practicing doctor will remain a narrow empiricist with a limited mental horizon. The student must complete the entire curriculum, because he cannot yet understand the suitability of the academic subjects in his future profession. The formalistic system of educational institutions suppresses higher educational interests, logic and scientific truth. Scientific successes bring people together and promote international communication based on knowledge and art, work and peace. True, mutual understanding covers only the cultural top of the population. Therefore, the democratization of science is necessary for the universal sharing of spiritual and material benefits. That is why they fought so hard for the development of the education of their people in European countries after the wars, and that is why the general rise of the cultural and political power of Japan began with the development of public education. Our physical and mental health depends on all conditions of human existence, starting with the mental and social state. That is why in all matters of physical, mental and social life, their organization and reform, the voice of the doctor should be highly respected. To earn such respect, the doctor must have great tact, understanding of people, and most importantly, great scientific knowledge. What should someone do who has already spent 2–3 years at medical school and then became convinced of his worthlessness? Of course, leaving medicine. Keywords: medical university, medical education, history of medicine.

Carnap and Wittgenstein: Tolerance, Arbitrariness, and Truth

This article discusses the relationship between Ludwig Wittgenstein’s and Rudolf Carnap’s philosophies of logic during the time of Wittgenstein’s interactions with the Vienna Circle and up to 1934 when the German edition of Carnap’s The Logical Syntax of Language was published. Whilst Section 1 focuses on the relationship between Carnap and Wittgenstein’s Tractatus, including Wittgenstein’s accusation of plagiarism against Carnap in 1932, Section 2 discusses the relationship between Carnap’s principle of tolerance and Wittgenstein’s similar principle of the arbitrariness of grammar. I argue that, although Carnap’s claim in Logical Syntax to ‘go beyond’ Wittgenstein has certain justification in relation to the Tractatus, so does Wittgenstein’s priority claim. The relationship between Carnap’s philosophy of logic and the Tractatus is thus more complicated than is often recognized. If the reference point is Wittgenstein in the early 1930s, however, Carnap cannot be described as going beyond him, and by 1934, Wittgenstein had advanced further than Carnap would ever venture. Despite evidence that Carnap knew about Wittgenstein’s principle of the arbitrariness of syntax well before his first articulations of his principle of tolerance, the extent of the influence of Wittgenstein’s principle on Carnap remains unclear. What can be established with certainty is that Wittgenstein’s principle predates Carnap’s and that Carnap resisted acknowledging him despite being urged to do so. Arguably, Wittgenstein’s account of syntax as both arbitrary and non-arbitrary is also superior in clarity to Carnap’s misleading claim about a ‘complete freedom’ implied by the principle of tolerance, because such a freedom only exists for idle syntactical systems that are not put to work. In Section 3, I discuss the relationship between Carnap’s notion of expediency and Wittgenstein’s account of the correctness or truth of logical accounts. As my discussion of Wittgenstein’s account brings out, Carnap’s rejection of truth in logic for expediency as the goal of logical clarifications does not follow from the principle of tolerance and is not justified by it. It remains unclear what justifies Carnap’s rejection of truth as the goal of logical clarification. Again, Wittgenstein’s account seems preferable, given the vacuity of the claim that expediency constitutes the basis of choice between different logical languages and clarifications.

Truth diagrams for some non-classical and modal logics

This paper examines truth diagrams for some non-classical, modal and dynamic logics. Truth diagrams are diagrammatic and visual ways to represent logical truth akin to truth tables, developed by Peter C.-H. Cheng. Currently, it is only given for classical propositional logic. In this paper, we establish truth diagrams for Priest's Logic of Paradox, Belnap–Dunn's Four-Valued Logic, MacColl's Connexive Logic, Bochvar–Halldén's Logic of Non-Sense, Carnielli–Coniglio's logic of formal inconsistency as well as classical modal logic and its dynamic extension to shed light on the semantic behaviour of some non-classical and modal logics.

An experimental study of classical truth logic on multi-propositions consistent and incompatible: Dual-process theories and modal syllogistic of deduction.

This study looked at a classical truth logic of multi-propositions that is new in some ways: [1] Alethic modalities were mixed with logical consistency and incompatibility in a single plate form, i.e., necessary consistency (NC), possible consistency (PC)/ possible incompatibility (PI) and impossible incompatibility (IPI); [2] multi-propositions were judged by individuals as either NC, PC/PI, or IPI; [3] Four quantifiers; All (∀), No (∼∀), Some (∃), and Some Not (∼∃) of four propositional modes and three shapes ([Formula: see text], ▱ and [Formula: see text]) are used to evaluate predictions; and [4] it inspired by multi-propositional of dual-process theories (DPTs) of deduction and modal syllogistic of multi-propositions, from which logicians have derived general hypotheses. HP 1- Individuals will more likely to endorse inferences as PC/PI rather than NC. HP 2: It's easier to calculate that inference has PC/ PI if it has also NC. Generally, logicians predict more endorsing PC for NC than for PI proposition. HP 3: It's easier to calculate that inference is not NC if it is also not PC. Generally, logicians predict more PI than IPI proposition endorses as NC. A modal syllogistic as a classical truth logic is presented by multi-propositions (two premises and one inference), each one from four modes has quantifiers such as universal quantifiers and existential quantifier; ∀, ∼∀, ∃, and ∼ ∃. They were evaluated by a single-mental model (Experiment I) and a multi-mental model (Experiment II). Logicians applied the immediate inference task (IIT), evaluation task (ET), and production task (PT) to evaluate three experiments. The results of the experiments suggested that students mostly endorsed PC/PI inferences over NC inferences. Even when logicians divided PC/PI separately as PC and PI, individuals endorsed PC most likely as compared to NC, and PI than IPI. Logicians also highlighted fallacies that were continuously resisted and endorsed when students were asked to judge multi-propositions that had NC. The purpose of this experimental study is to present a glimpse of students' endorsement of multi-propositions and explain that each individual has a different working memory and intelligence.

Some Strange - Anachronic Attitudes of Mr. Zoran Janjetović on Emigration of the Muslim Population of Yugoslavia in Turkey

In the Journal of the Institute for Recent History of Serbia, Belgrade – “Tokovi istorije”, 3/2022, among other articles, an “Original scientific paper” was published, in English, by dr. Zoran Janjetović, a scientific advisor in the mentioned Institute, on the Emigration of the Kosovo Albanians into Turkey during the 1950s of the 20th century. In the same article, the author rightly partially referred to the question of the emigration of the rest of the Muslim population of Yugoslavia to Turkey, before and after the Second World War. After reading and analysing the such article, I came to the conclusion that the mentioned paper is certainly original, but, in my opinion, by no means scientific. In other words, in the time when almost all archival material is available for the research of the mentioned problem, to conclude that the emigration of Albanians, Turks, Boshniaks and other Muslims of Kosovo and the FPR of Yugoslavia as a whole, in Turkey, after the Second World War, was free/ according to their free will, in my opinion and deep conviction, is beyond all logic and historical truth. For example, the conclusions of Mr. Zoran Janjetović: a) „…partial emigration of ethnic Turks was acceptable, but the emigration of all Muslims, especially Albanians, was considered politically harmful. To prevent this, the Macedonian territory was divided into 'blocks' based on the number of ethnic Turks. Emigration was permitted from areas with a larger number of Turks, but not from those with a smaller number“; b) „The Yugoslav and Serbian authorities opposed the emigration of non-Turks from the very beginning, and this policy remained in place for a long time, especially for Muslims outside of Macedonia. Claims by some Western authors that the 'Serbian' authorities allegedly wanted to expel Albanians are unfounded. On the contrary, until 1957, the authorities in Serbia were against emigration from Kosovo, and the Federal government also wanted to limit emigration only to Macedonian Turks “; and, c) „The Muslims started to emigrate to Turkey after a ‘gentlemen’s agreement’ of 1953 between Tito and Turkish Foreign Minister Fuat Köprülü. The agreement foresaw emigration of ethnic Turks from Macedonia, but other Muslims tended to join them. Because of that the Yugoslav authorities strove to limit emigration only to Turkish - inhabited parts of Macedonia. This failed because Muslims came to Macedonia from other parts of the country in order to emigrate. Among these emigrants there was a certain number of Kosovo Albanians. Like the Turks, they emigrated for religious, economic and social reasons… The article shows that the Yugoslav authorities in no way supported Albanian emigration, but rather that they tried to stop it“, in my opinion, are untrue and scientifically unfounded. In other words, according to my knowledge, and as cited in my book and in several of my articles on this subject, the mass emigration of the Muslim population, including the emigration of the Albanians from Yugoslavia to Turkey, after the Second World War started аs a result of the flagrant abuse of the mentioned bilateral agreement, by the Yugoslav/ Macedonian authorities. The emigration to Turkey was allowed not only to a small portion of Turks, as previously was agreed upon, but rather to the Turkish and the rest of the Muslim population as a whole. That the stated conclusions of Mr. Z. Janjetović are not correct, among other things, is confirmed by the final result of the mass emigration not only the Turks, but also a large number of Albanians and other Muslim populations.

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.

The Christian Faith as Knowledge of the Truth and Love

God’s truth is not at odds with love. 1 Corinthians 13:6 tells us that love rejoices in the truth. Most people would say that truths about God’s love, mercy, and forgiveness are loving. But they do not always understand that God’s commands summaries what love is. The knowledge of the truth and love is indispensable to the Christian faith. As it were, the Christian faith is not just a function of an intellectual assent to some set of doctrines about particular religious beliefs. Instead, it is a personal encounter with God, who is truthful and loving. In Jesus, we have the full manifestation of God. Jesus Christ, as God, is truth and love personified in this wise. Thus, the Christian faith becomes that personal conviction of an intimate encounter with Jesus Christ, himself, the truth and love of God. In this article, we shall explain the concepts of truth and love. In doing this, the concept of knowledge, the hermeneutics of truth- the logical truth and the revealed truth; the hermeneutics of love, love as a theological virtue, and the Christian faith as knowledge of the truth and love shall be considered.

Legal Gaps and their Logical Forms

Abstract The concept of legal gap is tackled from a number of logical perspectives and semantic methods. After presenting our own goal (Section 1), a first introduction into legal logic refers to Bobbio’s works and his formalization of legal statements (Sections 2 and 3). Then Woleński’s contribution to the area is taken into account through his reference to the distinction between two juridical systems (viz. Common Law vs Civil Law) and the notion of conditional norms (Section 4). The notion of reason is also highlighted in the case of Raz’s legal logic, thereby leading to a future connection with von Wright’s logic of truth and an analogy made with an anti-realist reading of truth-values and norms (Section 5). Our personal contribution is introduced through a reflection on how logic should deal with the logical form of norms (Section 6), before entering a number of crucial definitions and distinctions for the concepts of norm, legal statement, and promulgation (Section 7). The final point is a proposed semantics for legal statements, which is both many-valued and gap-friendly (Section 8). A distinction between a number of requirements for permission and forbiddance leads to a set of non-classical juridical systems in which non-permission and forbiddance are not equivalent with each other any more; this does justice to Woleński’s former distinction between Common Law and Civil Law, also leading ultimately to a non-classical square of legal oppositions in which several legal operators may collapse into other ones (Section 9).

An Extension Proof of Riemann Hypothesis by a Logical Entails Truth Table

There were many mathematicians who tried to prove or disprove the statement of Riemann Hypothe-sis. However, none of them have been successfully approved by the Clay Mathematical Institute. In addition, to the best of this author’s knowledge, these mathematicians haven’t employed the technique of logical truth table during their proofs. With reference to this author’s previous proof in [1], this author have employed the method of multiplicative telescope together with the prime boundary gaps. In this extended version of my proof to the Riemann Hypothesis, this author tries to show that RH statement is true through the four cases of the conditional statements in the truth table. Three of the cases (I, II, IV) are found to be true for the conditional statement in the Riemann Hypothesis while only one (case III) is found to be false (and acts as the disproof by a counter-example). Moreover, there are also three sub-cases (i, ii, iii) [1] among these four tabled cases. The main idea is that the we may disproof the hypothesis statement that is similar to the RH one by first find a counter-example which is obviously a disproof (case III) to the (Riemann) hypothesis. But it is NOT compatible with the GÖdel’s Incompleteness Theorem. Otherwise either the disproof to the statement or the Gödel is incorrect which is impossible. Hence, the disproof is said to be incompatible with the Gödel. On the other hand, all of the other truth cases (I, II, IV) for the statement are indeed the examples for the pos-itive results to the Riemann Hypothesis statement and are compatible with the Gödel. Therefore, the only way to make a conclusion is to say or force the Riemann Hypothesis statement to be correct.In general, for any hypothesis with the conditional statements structure like the Riemann one, we may also prove them by the similar techniqe and the arguments of the truth table for their conditional statements together with the Gödel’s Incompleteness theorem to force the positive result for the hy-pothesis statement. Actually, there are many applications for the truth tables especially in the fields like language (structure & modeling) or in engineering (logic gates & programming) etc during our everyday usage.

PERANCANGAN SISTEM KENDALI PADA SISTEM KEAMANAN SEPEDA MOTOR DENGAN MIKROKONTROLER ESP32

Along with the rapid development of technology, of course, making the security system more sophisticated, efficient and innovative. Internet of Things (IoT)-based security is one of the options for implementing technology in the security sector. With the existence of IoT, every community can keep their vehicle safely through a protection or monitoring system. In this study, the authors design and manufacture a Motorcycle Security System using Face recognition and Bluetooth-based Keyless as a motorcycle lock and a SW-420 vibration sensor as a theft detection. The theft detection system is also supported by a telegram notification service when there is an indication of theft on a motorcycle. The motorcycle protection control system with Keyless on this System can function only at a distance of 0 – 8.35 meters between the iTag BLE module and the ESP32 microcontroller. In other control systems, face recognition verification services can be carried out at a minimum user distance of 25cm and a maximum user distance of 50cm. While the protection system with a vibration sensor has a working logic truth of 100%. In the next development, a device with better hardware specifications is needed so that the performance of the control system has a wider range of detection values

Greek Philosophy: The Classic View of Education

Education began with the classical view of ancient Greek philosophy regarding logical truth, in the medieval period there was a restriction on freedom of thought by the church on the grounds that truth could not be produced by reason as happened in the ancient Greek period, after that came the modern period called the renaissance , namely the school of thought. rationalism which prioritizes reason as a source of knowledge. From knowledge that continues to develop, new ideas and knowledge emerge that make the world of education activities increasingly complex. This history-based educational theory research uses a qualitative approach with a type of bibliographic research so as to present accurate historical facts in accordance with theory from various historical experts' points of view. The science developed in western education is philosophy which is formed as a reference for their thinking, which will give rise to thoughts characterized by materialism, idealism, secularism and rationalism.

It Is Never Rational for Anyone to Believe They Don’t Know the Logical Truth in advance

It Is Never Rational for Anyone to Believe They Don’t Know the Logical Truth in advance

Real-time optical detection of mercury contamination in drinking water using an amphiphilic recognition probe at liquid crystal/aqueous interfaces.

Mercury contamination is a global environmental issue due to its toxicity and persistence in ecosystems. It poses a particular risk in aquatic systems, where it bioaccumulates and biomagnifies, leading to serious health impacts on humans. Therefore, effective detection technologies for mercuric ions in natural water resources are highly desirable. However, most existing detection methods are time-consuming, require complicated sample pre-treatment, and rely on expensive equipment, which hinders their widespread use in real-time detection. Here, we present a convenient, rapid, portable, user-friendly, and cost-effective sensing system for detecting Hg2+ ion contamination in water. This system utilizes a highly selective, amphiphilic, and structurally simple molecular probe, N-dodecylamine-di-thiocarbamate (DDC). DDC molecules align at the interface between the liquid crystal (LC) and water, inducing a homeotropic LC orientation. In water samples contaminated with Hg2+, a bright optical texture is observed, indicating the alignment of the 5CB LC in a planar manner at the LC/aqueous boundary. The minimum detectable concentration (LOD) for Hg2+ ions is 5.0 μM in distilled water, with a broad detection range from 5.0 μM to 2 mM. The sensor selectively detects Hg2+ ions over other common interfering metal ions, including Pb2+, Co2+, Ni2+, Cu2+, Cd2+, Zn2+, Cr2+, Mg2+, Na+, K+, and Ca2+. Boolean logic gates, bar graphs, and truth tables are employed to explain the selectivity of this liquid crystal-based sensor. This work demonstrates the significant potential of the sensor for monitoring mercuric ions in natural water resources, offering a promising strategy for controlling mercury pollution.

A multifunctional fluorescent sensor for Ag+ and Hg2+ detection in seawater.

In order to detect Ag+ and Hg2+ in seawater, we explored a multifunctional fluorescence sensor. A multifunctional Ag+ and Hg2+ sensor was designed by using gold nanoparticles (AuNPs) as quenching agent, PicoGreen dye as fluorescent probe of base pairing double-stranded deoxyribonucleic acid (DNA), and combining the characteristics of Ag+ making C base mismatch and Hg2+ making T base mismatch. Meanwhile, the DNA logic gate was constructed by establishing logic circuit, truth table, and logic formula. The relevant performances of the sensor were investigated. The results revealed that the sensor can detect Ag+ in the range of 100 to 700nM with R2 = 0.98129, and its detection limit is 16.88nM (3σ/slope). The detection range of Hg2+is 100-900nM with R2 = 0.99725, and the detection limit is 5.59nM (3σ/slope). An AND-AND-NOR-AND molecular logic gate has been successfully designed. With the characteristics of high sensitivity, multifunction, and low cost, the recommended detection method has the potential to be applied to the detection of Ag+ and Hg2+ in seawater.

The Paradox Paradox Non-Paradox and Conjunction Fallacy Non-Fallacy

Brock and Glasgow recently introduced a new definition of paradox and argue that this conception of paradox itself leads to paradox, the so-called Paradox Paradox. I show that they beg the questions during the course of their argument, but, more importantly, do so in a philosophically interesting way: it reveals a counterexample to the equivalence between being a logical truth and having a probability of one. This has consequences regarding norms of rationality, undermining the grounds for the Conjunction Fallacy.

Difference-Making Conditionals and Connexivity

Today there is a wealth of fascinating studies of connexive logical systems. But sometimes it looks as if connexive logic is still in search of a convincing interpretation that explains in intuitive terms why the connexive principles should be valid. In this paper I argue that difference-making conditionals as presented in Rott (Review of Symbolic Logic 15, 2022) offer one principled way of interpreting connexive principles. From a philosophical point of view, the idea of difference-making demands full, unrestricted connexivity, because neither logical truths nor contradictions or other absurdities can ever ‘make a difference’ (i.e., be relevantly connected) to anything. However, difference-making conditionals have so far been only partially connexive. I show how the existing analysis of difference-making conditionals can be reshaped to obtain full connexivity. The classical AGM belief revision model is replaced by a conceivability-limited revision model that serves as the semantic base for the analysis. The key point of the latter is that the agent should never accept any absurdities.

The import of hypodoxes for the Liar and Russell’s paradoxes

Is the set of all self-membered sets, S, a member of itself? In naive set theory, this is Russell’s hypodox. By the Laws of Excluded Middle and Non-contradiction, S is a member of itself xor it is not, but no principle of classical logic or naive set theory determines which. (Herein, ‘xor’ extends English with a specifically exclusive disjunction.) As a hypodox, the Truth-teller is a sentence that says of itself simply that it is true; by the above mentioned principles, the Truth-teller is true xor not true, but no principle of classical logic or naive truth determines which. Many concepts that have paradoxes have related hypodoxes, although the focus here is on these two. I argue that the Truth-teller does not rely on a principle of truth, in particular it does not rely on the T-schema. I also argue that Russell’s hypodox does not rely on Comprehension. Yet I relate Russell’s paradox and hypodox based on involution functions. The Liar and the Truth-teller are also related by means of involutions. Relations based on these involution functions can be represented in duality squares. Although hypodoxes are not paradoxes, these involution functions and duality relations warrant some commonality in a correct solution to a paradox and its dual hypodox. Using this and some other premises, I provide novel arguments supporting non-classical solutions for the Liar paradox and the significance of Russell’s hypodox for solutions to Russell’s paradox.

How ambiguity codes specify molecular descriptors and information flow in Code Biology

The article presents IUPAC ambiguity codes for incomplete nucleic acid specification, and their use in Code Biology. It is shown how to use this nomenclature in order to extract accurate information on different properties of the biological systems. We investigated the use of ambiguity codes, as mathematical and logical operators and truth table elements, for the encoding of amino acids by means of the Standard Genetic Code. It is explained how to use ambiguity codes and truth functions in order to obtain accurate information on different properties of the biological systems. Nucleotide ambiguity codes could be applied to: 1. encoding descriptive information of nucleotides, amino acids and proteins (e.g., of polarity, relative solvent accessibility, atom depth, etc.), and 2. system modelling ranging from standard bioinformatics tools to classic evolutionary models (i.e. from Miyazawa−Jernigan statistical potential to Kimura three-substitution-type model, respectively). It is shown that the algorithms based on IUPAC ambiguity codes, Boolean functions and truth table, Probabilistic Square of Opposition/Semiotic Square and Klein 4-groups—could be used for the bioinformatics analyses and Relational data modelling in natural science. Underlying mathematical, logical and semiotic concepts of interest are presented and addressed.