Gradual Classical Logic for Attributed Objects

There is knowledge. There is belief. And there is tacit agreement.' 'We may talk about objects. We may talk about attributes of the objects. Or we may talk both about objects and their attributes.' This work inspects tacit agreements on assumptions about the relation between objects and their attributes, and studies a way of expressing them, presenting as the result what we term gradual logic in which the sense of truth gradually shifts. It extends classical logic instances with a new logical connective capturing the object-attribute relation. A formal semantics is presented. Decidability is proved. Para- consistent/epistemic/conditional/intensional/description/combined logics are compared

Is mindfulness Buddhist? (and why it matters).

Modern exponents of mindfulness meditation promote the therapeutic effects of "bare attention"--a sort of non-judgmental, non-discursive attending to the moment-to-moment flow of consciousness. This approach to Buddhist meditation can be traced to Burmese Buddhist reform movements of the first half of the 20th century, and is arguably at odds with more traditional Theravāda Buddhist doctrine and meditative practices. But the cultivation of present-centered awareness is not without precedent in Buddhist history; similar innovations arose in medieval Chinese Zen (Chan) and Tibetan Dzogchen. These movements have several things in common. In each case the reforms were, in part, attempts to render Buddhist practice and insight accessible to laypersons unfamiliar with Buddhist philosophy and/or unwilling to adopt a renunciatory lifestyle. In addition, these movements all promised astonishingly quick results. And finally, the innovations in practice were met with suspicion and criticism from traditional Buddhist quarters. Those interested in the therapeutic effects of mindfulness and bare attention are often not aware of the existence, much less the content, of the controversies surrounding these practices in Asian Buddhist history

Is mindfulness buddhist? (and why it matters)

Modern exponents of mindfulness meditation promote the therapeutic effects of “bare attention”—a sort of non-judgmental, non-discursive attending to the moment-to-moment flow of consciousness. This approach is arguably at odds with more traditional Theravada Buddhist doctrine and meditative practice, but the cultivation of present-centered awareness is not without precedent in Buddhist history; similar innovations arose in medieval Chinese Zen (Chan) and Tibetan Dzogchen. These movements have several things in common. In each case the reforms were, in part, attempts to render Buddhist practice and insight accessible to laypeople unfamiliar with Buddhist philosophy and/or unwilling to adopt a renunciatory lifestyle. They also promised quick results. And finally, the innovations were met with suspicion and criticism from traditional Buddhist quarters. Those interested in the therapeutic effects of mindfulness and bare attention are often not aware of the existence, much less the content, of the controversies surrounding these practices in Asian Buddhist history

Willard Van Orman Quine's Philosophical Development in the 1930s and 1940s

As analytic philosophy is becoming increasingly aware of and interested in its own history, the study of that field is broadening to include, not just its earliest beginnings, but also the mid-twentieth century. One of the towering figures of this epoch is W.V. Quine (1908-2000), champion of naturalism in philosophy of science, pioneer of mathematical logic, trying to unite an austerely physicalist theory of the world with the truths of mathematics, psychology, and linguistics. Quine's posthumous papers, notes, and drafts revealing the development of his views in the forties have recently begun to be published, as well as careful philosophical studies of, for instance, the evolution of his key doctrine that mathematical and logical truth are continuous with, not divorced from, the truths of natural science. But one central text has remained unexplored: Quine's Portuguese-language book on logic, his 'farewell for now' to the discipline as he embarked on an assignment in the Navy in WWII. Anglophone philosophers have neglected this book because they could not read it. Jointly with colleagues, I have completed the first full English translation of this book. In this accompanying paper I draw out the main philosophical contributions Quine made in the book, placing them in their historical context and relating them to Quine's overall philosophical development during the period. Besides significant developments in the evolution of Quine's views on meaning and analyticity, I argue, this book is also driven by Quine's indebtedness to Russell and Whitehead, Tarski, and Frege, and contains crucial developments in his thinking on philosophy of logic and ontology. This includes early versions of some arguments from 'On What There Is', four-dimensionalism, and virtual set theory

Combining behavioural types with security analysis

Today's software systems are highly distributed and interconnected, and they increasingly rely on communication to achieve their goals; due to their societal importance, security and trustworthiness are crucial aspects for the correctness of these systems. Behavioural types, which extend data types by describing also the structured behaviour of programs, are a widely studied approach to the enforcement of correctness properties in communicating systems. This paper offers a unified overview of proposals based on behavioural types which are aimed at the analysis of security properties

Fuzzy logic as a decision-making support system for the indication of bariatric surgery based on an index (OBESINDEX) generated by the association between body fat and body mass index

Background: A Fuzzy Obesity Index (OBESINDEX) for use as an alternative in bariatric surgery indication (BSI) is presented. The search for a more accurate method to evaluate obesity and to indicate a better treatment is important in the world health context. BMI (body mass index) is considered the main criteria for obesity treatment and BSI. Nevertheless, the fat excess related to the percentage of Body Fat (%BF) is actually the principal harmful factor in obesity disease that is usually neglected. This paper presents a new fuzzy mechanism for evaluating obesity by associating BMI with %BF that yields a fuzzy obesity index for obesity evaluation and treatment and allows building up a Fuzzy Decision Support System (FDSS) for BSI.

Methods: Seventy-two patients were evaluated for both BMI and %BF. These data are modified and treated as fuzzy sets. Afterwards, the BMI and %BF classes are aggregated yielding a new index (OBESINDEX) for input linguistic variable are considered the BMI and %BF, and as output linguistic variable is employed the OBESINDEX, an obesity classification with entirely new classes of obesity in the fuzzy context as well is used for BSI.

Results: There is a gradual, smooth obesity classification and BSI when using the proposed fuzzy obesity index when compared with other traditional methods for dealing with obesity.

Conclusion: The BMI is not adequate for surgical indication in all the conditions and fuzzy logic becomes an alternative for decision making in bariatric surgery indication based on the OBESINDEX

Fuzzy logic as a decision-making support system for the indication of bariatric surgery based on an index (MAFOI) generated by the association between body fat and body mass index.

Background: A fuzzy obesity index (MAFOI) for use as an alternative to bariatric surgery indication (BSI) is presented. The search for a more accurate method to evaluate obesity and to indicate a better treatment is important in the world health context. BMI (body mass index) is considered the main criteria for obesity treatment and BSI. Nevertheless, the fat excess related to the percentage of Body Fat (%BF) is actually the principal harmful factor in obesity disease that is usually neglected. This paper presents a new fuzzy mechanism for evaluating obesity by associating BMI with %BF that yields a fuzzy obesity index for obesity evaluation and treatment and allows building up a Fuzzy Decision Support System (FDSS) for BSI. Methods: Seventy-two patients were evaluated for both BMI and %BF. These data are modified and treated as fuzzy sets. Afterwards, the BMI and %BF classes are aggregated yielding a new index (MAFOI) for input linguistic variable are considered the BMI and %BF, and as output linguistic variable is employed the MAFOI, an obesity classification with entirely new classes of obesity in the fuzzy context as well as is used for BSI. Results: There is gradual, smooth obesity classification and BSI when using the proposed fuzzy obesity index when compared with other traditional methods for dealing with obesity.
Conclusion: The BMI is not adequate for surgical indication in all the conditions and fuzzy logic becomes an alternative for decision making in bariatric surgery indication based on the MAFOI

Reason and Experience in Buddhist Epistemology

Among the key factors that play a crucial role in the acquisition of knowledge, Buddhist philosophers list (i) the testimony of sense experience, (ii) introspective awareness (iii) inferences drawn from these directs modes of acquaintance, and (iv) some version of coherentism, so as guarantee that truth claims remains consistent across a diverse philosophical corpus. This paper argues that when Buddhists employ reason, they do so primarily in order to advance a range of empirical and introspective claims. As a result, reasoning, in particular inductive reasoning on the testimony of perception, is based on a theory of causation