Search results for " logic"
showing 10 items of 1720 documents
Logic and the Myth of the Perfect Language
2010
We argue that the dream of a ‘perfect language’ – namely, a universal, unambiguous and semantically transparent medium of expression –, whose intriguing story has been told by Umberto Eco (1993), is deeply intertwined with the myth of instant rationality: the idea that a perfect language is one in which all logical relations becomeimmediatly visible, so that the language itself “does the thinkingfor us” (Frege 1884). In the first part of this paper we trace this versionof the dream in the works of Leibniz, Frege, Russell and Wittgenstein. In the second part we re-examine it in the light of more recent negative results in logic and theoretical computer science.
Design and simulation of QCA-based 3-bit binary to gray and vice versa code converter in reversible and non-reversible mode
2022
The current Very Large-Scale Integration (VLSI) technology has reached its peak due to the fundamental physical limits of Complementary Metal-Oxide-Semiconductor (CMOS). Quantum-dot Cellular Automata (QCA) is considered a proper alternative to CMOS technology in digital circuit design. QCA has features like low power, small area, and high speed in nanoscale digital circuit design. A code converter is a circuit that converts a determined code to another one. Code converters such as Binary to Gray, Gray to Binary, and Binary to BCD converters have a crucial role in fast signal processing in digital systems. Also, code converters are used as a base unit for data transmission into the Arithmeti…
Objects, Structures, and Logics
2022
This book offers Novel In-Depth Discussions of the Relationship Between Logic and Metaphysics Attempts to Develop a New Framework for the Concept of Mathematical Structure Emphasizes the Importance of Mathematical Practice to the Philosophy of Mathematics
Measurement
2020
The basic idea of measurement is that objects exhibit an attribute for which questions like “do objects exhibit the attribute to the same degree or for any pair of them does one exhibit it more or less than the other?” make sense. It implies ordering objects that show an equal, a greater or lesser amount of one attribute, The notion of order is captured by the concept of a binary relation that is at least a weak order. Stevens (1946, 1951) classified four types of scales through which the assignment of objects to numbers can be achieved. These two approaches converge on the Representational Theory of Measurement, according to which it is the construction of functions from a set of data to a…
Awareness and partitional information structures
1994
This is the first of two papers where we present a formal model of unawareness. We contrast unawareness with certainty and uncertainty. A subject is certain of something when he knows that thing; he is uncertain when he does not know it, but he knows he does not: he is consciously uncertain. On the other hand, he is unaware of something when he does not know it, and he does not know he does not know, and so on ad infinitum: he does not perceive, does not have in mind, the object of knowledge. The opposite of unawareness is awareness, which includes certainty and uncertainty. This paper has three main purposes. First, we formalize the concept of awareness, and introduce a symmetry axiom whic…
Aristotle’s Doctrine of Causes and the Manipulative Theory of Causality
2018
I will argue for the similarity between some aspects of Aristotle’s doctrine of causes and a particular kind of interventionist theory of causality. The interventionist account hypothesizes that there is a connection between causation and human intervention: the idea of a causal relation between two events is generated by the reflection of human beings on their own operating. This view is remindful of the Aristotelian concept of αἴτιον (cause), which is linked to the figure of the αἴτιος, the person who is responsible of an action. Aristotle conceives of the efficient cause as the active element which, in the φύσις, gives rise to movement and imposes the form, in analogy with the active ele…
A fully automatic 2D segmentation method for uterine fibroid in MRgFUS treatment evaluation
2015
PurposeMagnetic Resonance guided Focused UltraSound (MRgFUS) represents a non-invasive surgical approach that uses thermal ablation to treat uterine fibroids. After the MRgFUS treatment, an operator must manually segment the treated fibroid areas to evaluate the NonPerfused Volume (NPV). This manual approach is operator-dependent, introducing issues of result reproducibility, which could lead to errors in the subsequent follow-up phase. Moreover, manual segmentation is time-consuming, and can have a negative impact on the optimization of both machine-time and operator-time. MethodTo address these issues, in this paper a novel fully automatic method based on the unsupervised Fuzzy C-Means cl…
Off-line control of the postprandial glycemia in type 1 diabetes patients by a fuzzy logic decision support
2012
The target of this paper is to describe the use of fuzzy techniques in the development of a decision support system that allows the optimization of postprandial glycemia in type 1 diabetes patients taking into account the kind of meal taken by patients, the preprandial glycemia and the insulin resistance (the response of the body to insulin dose injection therapy). The decision support system can, in many cases, provide patients with the correct number of rapid insulin units that must be assumed to assure an optimal glycemic profile, keeping the blood glucose level close to the homeostatic condition, several hours after the meal.
Development of a fuzzy expert system for the control of glycemia in type 1 diabetic patients
2011
Abstract The paper describes the structure and the characteristics of an expert system that allows the optimization of postprandial glycemia in type 1 diabetic patients. The expert system is able to provide patients with the number of rapid insulin units that must be taken in order to keep the blood glucose level close to the omeostatic condition in the hours following a meal.
Comparison between statistical and fuzzy approaches for improving diagnostic decision making in patients with chronic nasal symptoms
2014
This paper compares a fuzzy model, expressed in rule-form, with a well known statistical approach (i.e. logistic regression model) for diagnostic decision making in patients with chronic nasal symptoms. The analyses were carried out using a database obtained from a questionnaire administered to 1359 patients with nasal symptoms containing personal data, clinical data and skin prick test (SPT) results. Both the fuzzy model and the logistic regression model developed were validated using a data set obtained from another medical institution. The accuracy of the two models in identifying patients with positive or negative SPT was similar. This study is a preliminary step to the creation of a so…