The Lublin Philosophical School: Founders, Motives, Characteristics

Directory of Open Access Journals (Sweden)

Mieczysław A. Krąpiec

2015-12-01

Full Text Available The article is focused on the Lublin Philosophical School; it explains its name, presents its founders, reveals the causes of its rise, and introduce the specific character of the School’s philosophy.It starts with stating the fact that in the proper sense, the term “Lublin Philosophical School” describes a way of cultivating realistic (classical philosophy developed in the 1950s by a group of philosophers at the Catholic University of Lublin, Poland. The Lublin Philosophical School is characterized by cognitive realism (the object of cognition is really existing being, maximalism (taking up all existentially important questions, methodological autonomy (in relation to the natural-mathematical sciences and theology, transcendentalism in its assertions (its assertions refer to all reality, methodological-epistemological unity (the same method applied in objectively cultivated philosophical disciplines, coherence (which guarantees the objective unity of the object, and objectivity (achieved by the verifiability of assertions on their own terms, which is achieved by relating them in each instance to objective evidence. The term is the name of the Polish school of realistic (classical philosophy that arose as a response to the Marxism that was imposed administratively on Polish institutions of learning, and also as a response to other philosophical currents dominant at the time such as phenomenology, existentialism, and logical positivism.

On a Philosophical Motivation for Mutilating Truth Tables

Directory of Open Access Journals (Sweden)

Marcos Silva

2016-06-01

Full Text Available One of the reasons colours, or better the conceptual organisation of the colour system, could be relevant to the philosophy of logic is that they necessitate some mutilation of truth tables by restricting truth functionality. This paper argues that the so-called ‘Colour Exclusion Problem’, the first great challenge for Wittgenstein’s Tractatus, is a legitimate philosophical motivation for a systematic mutilation of truth tables. It shows how one can express, through these mutilations, some intensional logical relations usually expressed by the Aristotelian Square of Oppositions, as contrariety and subcontrariety.

Why People are Atypical Agents | Ross | Philosophical Papers

African Journals Online (AJOL)

In this paper, I argue that the traditional philosophical approach of taking cognitively and emotionally competent adult people to be the prototypical instances of agency should be revised in light of current work in the behavioral sciences. Logical consistency in application is better served by taking simple goal-directed and ...

Topoi the categorial analysis of logic

CERN Document Server

Goldblatt, Robert

2013-01-01

A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers.

Modern logic 1850-1950, East and West

CERN Document Server

Fuller, Mark

2016-01-01

This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic', whose academic work was essential in promoting the algebraic tradition of logic, as represented by Charles Sanders Peirce. Anellis’s association with the Russian logic community introduced their school of logic to a wider audience in the USA, Canada and Western Europe. In addition, the collection takes a historical perspective on proof theory and the development of logic and mathematics in Eastern Logic, the Soviet Union and Russia. The book will be of interest to historians and philosophers in logic and mathematics, and the more specialized papers will also appeal to mathematicians and logicians.

The logic of crime fiction genre in modern person’s consciousness

Directory of Open Access Journals (Sweden)

G. O. Krapivnyk

2014-08-01

Full Text Available The author provides philosophical anthropological analysis of the logic of the crime fiction genre in the modern person’s consciousness. It was shown that detective texts convey hyper-orderliness, which compensates for the lack of systematization in real life, directly influences the recipient, setting the limits of personal freedom, and indirectly structures social order. The research assumes that classical crime fiction is related to the positivist philosophy, rationalism and scientific thinking, whereas the formula of the late Modern crime fiction stories is gradually getting more sophisticated, which reflects the evolution of the philosophical thinking on the whole. The special feature of the crime fiction genre logic is in the fact that available in crime fiction texts typical formal logical elements of a hypothesis, versions, evidence and contradiction are combined by the addressers with creative inspiration, intuition, true life, which are not the characteristics of pure science. The logic in the texts of the crime fiction genre helps a modern person to virtually build a system of universal philosophical and cultural values, applied by the society as its basis for social norms, rules and laws of any modern state. In addition, the specific logic of investigation encourages person’s everyday activities, since cultural reading enables a person not only to perceive but also to transfer and use the laws of logic, inherent in the crime fiction genre, in their professional activities, including research work.

CIFOL: Case-intensional first order logic. (I) Toward a theory of sorts

NARCIS (Netherlands)

Belnap, Nuel; Müller, Thomas

2012-01-01

This is Part I of a two-part essay introducing case-intensional first-order logic (CIFOL), an easy-to-use, uniform, powerful, and useful combination of first order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus (Yale

Games unifying logic, language, and philosophy

CERN Document Server

Majer, Ondrej; Tulenheimo, Tero

2008-01-01

This unique volume presents mathematical game theory as an interface between logic and philosophy. It provides a discussion of various aspects of this interaction, covers new technical results and examines the philosophical insights that these have yielded.

Philosophical Papers

African Journals Online (AJOL)

Philosophical Papers is a generalist journal of philosophy edited in the Department of Philosophy at Rhodes University. The journal appears three times a year; the November issue of every year is topic-based and guest-edited. The journal is published by Routledge (Taylor & Francis). Information regarding submissions ...

BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

OpenAIRE

Governatori, Guido; Rotolo, Antonino

2007-01-01

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show th...

Philosophical Anthropology, Ethics and Political Philosophy in an Age of Impending Catastrophe

Directory of Open Access Journals (Sweden)

Arran Gare

2009-11-01

Full Text Available  In this paper it is argued that philosophical anthropology is central to ethics and politics. The denial of this has facilitated the triumph of debased notions of humans developed by Hobbes which has facilitated the enslavement of people to the logic of the global market, a logic which is now destroying the ecological conditions for civilization and most life on Earth. Reviving the classical understanding of the central place of philosophical anthropology to ethics and politics, the early work of Hegel and Marx is explicated, defended and further developed by interpreting this through developments in post-mechanistic science. Overcoming the opposition between the sciences and the humanities, it is suggested that the conception of humans developed in this way can orient people in their struggle for the liberty to avert a global ecological catastrophe.

Branching time, indeterminism and tense logic

DEFF Research Database (Denmark)

Ploug, Thomas; Øhrstrøm, Peter

2012-01-01

This paper deals with the historical and philosophical background of the introduction of the notion of branching time in philosophical logic as it is revealed in the hitherto unpublished mail-correspondence between Saul Kripke and A.N. Prior in the late 1950s. The paper reveals that the idea...... relativity. The correspondence underpins the point that Prior’s later development of branching time may be understood as a crucial part of his attempt at the formulating a conceptual framework integrating basic human notions of time and free choice....

Leśniewski's systems of logic and foundations of mathematics

CERN Document Server

Urbaniak, Rafal

2014-01-01

This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw  Leśniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsaw school. The author’s nuanced survey eschews secondary commentary, analyzing Leśniewski's core philosophical views and evaluating the formulations that were to have such a profound influence on the evolution of mathematical logic.   One of the undisputed leaders of the cohort of brilliant logicians that congregated in Poland in the early twentieth century, Leśniewski was a guide and mentor to a generation of celebrated analytical philosophers (Alfred Tarski was his PhD student). His primary achievement was a system of foundational mathematical logic intended as an alternative to the Principia Mathematica of Alfred North Whitehead and Bertrand Russell. Its three strands—‘protothetic’, ‘ontology’, and ‘mereology’, are detailed in discrete sections of this volume, alongs...

A Brief History of Fuzzy Logic

Directory of Open Access Journals (Sweden)

Angel Garrido

2012-04-01

Full Text Available

The problems of uncertainty, imprecision and vagueness have been discussed for many years. These problems have been major topics in philosophical circles with much debate, in particular, about the nature of vagueness and the ability of traditional Boolean logic to cope with concepts and perceptions that are imprecise or vague. The Fuzzy Logic (which is usually translated into Castilian by “Lógica Borrosa”, or “Lógica Difusa”, but also by “Lógica Heurística” can be considered a bypass-valued logics (Multi-valued Logic, MVL, its acronym in English. It is founded on, and is closely related to-Fuzzy Sets Theory, and successfully applied on Fuzzy Systems. You might think that fuzzy logic is quite recent and what has worked for a short time, but its origins date back at least to the Greek philosophers and especially Plato (428-347 B.C.. It even seems plausible
to trace their origins in China and India. Because it seems that they were the first to consider that all things need not be of a certain type or quit, but there are a stopover between. That is, be the pioneers in considering that there may be varying degrees of truth and falsehood. In case of colors, for example, between white and black there is a whole infinite scale: the shades of gray. Some recent theorems show that in principle fuzzy logic can be used to model any continuous system, be it based
in AI, or physics, or biology, or economics, etc. Investigators in many fields may find that fuzzy, commonsense models are more useful, and many more accurate than are standard mathematical ones. We analyze here the history and development of this problem: Fuzziness, or “Borrosidad” (in Castilian, essential to work with Uncertainty.

History of logic and ``university'' philosophy in Russia. The view from Kazan

OpenAIRE

Bazhanov, V. A.

1994-01-01

History of logic and "university" philosophy in Russia. The view from Kazan. On the basis of investigations of archival materials a picture is given of the conceptual and social history of "university" philosophy and logic in Russia (nineteenth to mid-twentieth centuries). Emphasis is placed on those features of Russian philosophy and logic which were characteristic of the thinkers - philosophers and logicians — of Kazan

Dependence logic theory and applications

CERN Document Server

Kontinen, Juha; Väänänen, Jouko; Vollmer, Heribert

2016-01-01

In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Informatics in Wadern, Germany (in February 2013 and June 2015) and an Academy Colloquium at the Royal Netherlands Academy of Arts and Sciences (March 2014). Altogether, these chapters provide the most up-to-date look at this developing and highly interdisciplinary field and will be of interest to a broad group of logicians, mathematicians, statisticians, philosophers, and scientists. Topics covered include a comprehensive survey of many propositional, modal, and first-order variants of dependence logic; new results concerning ...

Diego Velázquez's Kings, Buffoons and Philosophers in the Context of His Religious Paintings: the View from Russia (Philosophical-Anthropological Analysis

Directory of Open Access Journals (Sweden)

Margarita Silantieva

2014-01-01

Full Text Available The article is dedicated to the analysis of philosophic anthropology of the great Spanish artist of the 17th century Diego Velazquez. This anthropology is considered through the prism of the problems that set the life of contemporary Russia and its "reflections" in the present-day Russian artists' works. At that Velazquez's philosophical anthropology is reconstructed on the basis of his works. As a consequence, significant part of attention is paid to the method that allows performing such reconstruction. The author proceeds from the belief according to which not only written texts can be considered philosophically. The visual "texts" connected with certain world outlook component of art creative work undoubtedly possess definite semantics. Expressed by the language of art, such image lines contain intelligible sense component reconstruction of which can be subjected to strict scientific and philosophical analysis and corrected with its help. At that one should not think that the images are "translated" into "the text of words" - on the contrary, philosophical reconstruction implies not as "verbalization" of visual line as coherent to it logical mastering of the picture's sense (in this case against the background of historical and historical-philosophical "scenery". The urgency of turning to this problem is brought about by the fact that a number of questions that found vivid and coherent (as philosophical-anthropological research shows embodiment in Velazquez's creative work are extremely interesting for contemporary thinkers speaking the language of contemporary fine arts. "The topic of mirror" is among such questions and it deals with correlation of intellectual and rational in a person's consciousness, and, finally, there is the issue of the man as a bearer of moral principles. Comparison of attitudes shown by contemporary painting with Velazquez's ideas enables to trace the development of philosophical anthropology and in the area of its

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein

CERN Document Server

Hopkins, Burt C

2011-01-01

Burt C. Hopkins presents the first in-depth study of the work of Edmund Husserl and Jacob Klein on the philosophical foundations of the logic of modern symbolic mathematics. Accounts of the philosophical origins of formalized concepts-especially mathematical concepts and the process of mathematical abstraction that generates them-have been paramount to the development of phenomenology. Both Husserl and Klein independently concluded that it is impossible to separate the historical origin of the thought that generates the basic concepts of mathematics from their philosophical meanings. Hopkins explores how Husserl and Klein arrived at their conclusion and its philosophical implications for the modern project of formalizing all knowledge.

Logic and algebraic structures in quantum computing

CERN Document Server

Eskandarian, Ali; Harizanov, Valentina S

2016-01-01

Arising from a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, this volume is an international cross-disciplinary collaboration with contributions from leading experts exploring connections across their respective fields. Themes range from philosophical examination of the foundations of physics and quantum logic, to exploitations of the methods and structures of operator theory, category theory, and knot theory in an effort to gain insight into the fundamental questions in quantum theory and logic. The book will appeal to researchers and students working in related fields, including logicians, mathematicians, computer scientists, and physicists. A brief introduction provides essential background on quantum mechanics and category theory, which, together with a thematic selection of articles, may also serve as the basic material for a graduate course or seminar.

Philosophical and methodological aspects of the Schroedinger paradox

International Nuclear Information System (INIS)

Juha, L.; Krajca, R.; Smatera, M.

1989-01-01

Methodological aspects of the foundations of quantum theory are dealt with in relation to the quantum description of macroscopic systems, biological in particular. Attention is paid to the philosophical content of the problems of 1) the logical status of the reduction postulate in quantum mechanics, and 2) the paradox of Schroedinger's cat, whose physical solution has not yet been attained. The problem of the quantum description of complex macroscopic systems is also treated, as is Herbert Froehlich's important concept of the excitation of dominant modes in biological systems. (author). 61 refs

Philosophical Talent : Empirical investigations into philosophical features of adolescents' discourse

NARCIS (Netherlands)

Rondhuis, N.T.W.

2005-01-01

This study tests the hypothesis that a philosophical talent exists in thinking patterns, uttered through oral expressions during philosophical discussions. A systematic study on the philosophical quality of thinking patterns was undertaken among youngsters of 10 - 20 years old. 'Philosophical

The Philosophical Basis of Bioethics.

Science.gov (United States)

Horn, Peter

2015-09-01

In this article, I consider in what sense bioethics is philosophical. Philosophy includes both analysis and synthesis. Analysis focuses on central concepts in a domain, for example, informed consent, death, medical futility, and health. It is argued that analysis should avoid oversimplification. The synthesis or synoptic dimension prompts people to explain how their views have logical assumptions and implications. In addition to the conceptual elements are the evaluative and empirical dimensions. Among its functions, philosophy can be a form of prophylaxis--helping people avoid some commonly accepted questionable theories. Generally, recent philosophy has steered away from algorithms and deductivist approaches to ethical justification. In bioethics, philosophy works in partnership with a range of other disciplines, including pediatrics and neurology. Copyright © 2015 Elsevier Inc. All rights reserved.

Philosophical Prostitution

OpenAIRE

Amihud Gilead

2010-01-01

Problem statement: This research was needed because some philosophers were subject to a form of blindness concerning prostitution. This blindness was caused mainly by a lack of philosophical insights. The context of the work was that valid arguments without such insights must be blind. In the case of prostitution, I termed such blindness a philosophical prostitution: First of all, this was to indicate that such an opinion on prostitution was a philosophical artifact or fiction, entirely unawa...

Philosophical Foundations of Business Ethics

DEFF Research Database (Denmark)

Rendtorff, Jacob Dahl

2016-01-01

This article gives an overview of my book French Philosophy and Social Theory. A Perspective for Ethics and Philosophy of Management, published by Springer 2014. As an extension of my earlier work on French philosophy, this book provides an application of important concepts from contemporary French...... philosophy to business ethics and the ethics of organizations. Although the book covers a wide range of philosophers and philosophical movements, there is a core and deep unity of the book. This is the demonstration of how the conceptual resources of contemporary French philosophy from the early 20th Century...... to the present day can be applied to give us new perspectives on business ethics and the ethics of organizations....

Surmounting the Cartesian Cut Through Philosophy, Physics, Logic, Cybernetics, and Geometry: Self-reference, Torsion, the Klein Bottle, the Time Operator, Multivalued Logics and Quantum Mechanics

Science.gov (United States)

Rapoport, Diego L.

2011-01-01

In this transdisciplinary article which stems from philosophical considerations (that depart from phenomenology—after Merleau-Ponty, Heidegger and Rosen—and Hegelian dialectics), we develop a conception based on topological (the Moebius surface and the Klein bottle) and geometrical considerations (based on torsion and non-orientability of manifolds), and multivalued logics which we develop into a unified world conception that surmounts the Cartesian cut and Aristotelian logic. The role of torsion appears in a self-referential construction of space and time, which will be further related to the commutator of the True and False operators of matrix logic, still with a quantum superposed state related to a Moebius surface, and as the physical field at the basis of Spencer-Brown's primitive distinction in the protologic of the calculus of distinction. In this setting, paradox, self-reference, depth, time and space, higher-order non-dual logic, perception, spin and a time operator, the Klein bottle, hypernumbers due to Musès which include non-trivial square roots of ±1 and in particular non-trivial nilpotents, quantum field operators, the transformation of cognition to spin for two-state quantum systems, are found to be keenly interwoven in a world conception compatible with the philosophical approach taken for basis of this article. The Klein bottle is found not only to be the topological in-formation for self-reference and paradox whose logical counterpart in the calculus of indications are the paradoxical imaginary time waves, but also a classical-quantum transformer (Hadamard's gate in quantum computation) which is indispensable to be able to obtain a complete multivalued logical system, and still to generate the matrix extension of classical connective Boolean logic. We further find that the multivalued logic that stems from considering the paradoxical equation in the calculus of distinctions, and in particular, the imaginary solutions to this equation

Spirituality in the Philosophical Thought of Seyyed Hossein Nasr

Directory of Open Access Journals (Sweden)

Fadhilah Khunaeni

2016-12-01

Full Text Available Spirituality for Seyyed Hossen Nasr is an inner reality that becomes a religious central in Islam. It is the esoteric dimension hidden in the reality of exoteric Islam. That view on spirituality brings Nasr to the philosophical thought that cannot be separated from religious metaphysical doctrine. Nasr argues that philosophy is more than just a ratio but also the activity of intellect that can reach the meta-cosmic nature to find the essence of truth namely the universal and eternal truth that lies behind the physical and relative truth. The philosophical efforts to find this truth are a combination of the optimizing potential of reason and intellectual intuition. Nasr refers to ḥikmah or wisdom as a kind of philosophy that combines logic and intellectual intuition. That philosophical view brings Nasr on a dualistic view of nature which not only has a cosmic dimension as such but also has a meta-cosmic dimension. This dualistic view is his fundamental reason in formulating the concept of metaphysical cosmology as a solution to the crisis of modern science that has caused a variety of ecological damage due to the secular vision.  DOI: http://dx.doi.org/10.20414/ujis.v20i2.812

Logic, mathematics, philosophy, vintage enthusiasms essays in honour of John L. Bell

CERN Document Server

DeVidi, David; Clark, Peter

2011-01-01

This book collects papers presented in honor of John L. Bell's 60th birthday. Includes contributions to current philosophical debate, new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic.

INFORMATIZATION: PHILOSOPHICAL AND ANTHROPOLOGICAL PROBLEMS

Directory of Open Access Journals (Sweden)

A. A. Kosolapov

2015-07-01

Full Text Available Purpose.Computerization and informatization in recent decades gave the mankind automated electronic document management systems, automated process of production, Internet and network information resources WWW, expanded the communications capabilities and led to the globalization of the information society. At the same time gives rise to a number of processes of informatization philosophical and anthropological problems, that has become an existential character. It is necessary to identify and understanding of these issues on the basis of the gnoseological model of the evolution informatization paradigms and determine their main characteristics. Methodology. The system-activity approach was used; it allowed identifying and analyzing the impact of the main components of information and communication technologies (ICT for educational activities. And further to present them as a unified system of human activity in conditions computerization/informatization. The philosophical principles: a comprehensive review of the subject, the unity of the logical and historical, ascending from the abstract to the concrete was used. The general scientific principles: unity and development of the system, the decomposition hierarchy, individualization and cooperation, diversity and taxonomy were applied. Findings.The three-stage gnoseological model of the paradigms computerization/informatization evolution was proposed by the author. It is based on three information system characteristics: speed, interface and data access. The seven-bar anthrop-centric model, which is called the architecture of information systems (AIS, which describes the changes in their types of procuring, was proposed for each paradigm. The philosophical-anthropological problems that affect negatively its progress were formulated for each stage of modern information society transformation. Originality. The gnoseological model of development processes of informatization in the form of three

Boethius and the Importance of Basic Logic and Mathematics for Philosophy

NARCIS (Netherlands)

Wang, Qi

2014-01-01

Anicius Manlius Severinus Boethius (480-525 A.D.) is regarded as a great thinker of the early Middle Ages. Indeed, Boethius is a man of immense erudition and his works touch upon many philosophical fields, including mathematics, logic and theology. In Boethius’ classification system, mathematics and

The philosophical aspect of learning inverse problems of mathematical physics

Directory of Open Access Journals (Sweden)

Виктор Семенович Корнилов

2018-12-01

Full Text Available The article describes specific questions student learning inverse problems of mathematical physics. When teaching inverse problems of mathematical physics to the understanding of the students brought the information that the inverse problems of mathematical physics with a philosophical point of view are the problems of determining the unknown causes of known consequences, and the search for their solutions have great scientific and educational potential. The reasons are specified in the form of unknown coefficients, right side, initial conditions of the mathematical model of inverse problems, and as a consequence are functionals of the solution of this mathematical model. In the process of learning the inverse problems of mathematical physics focuses on the philosophical aspects of the phenomenon of information and identify cause-effect relations. It is emphasized that in the process of logical analysis applied and humanitarian character, students realize that information is always related to the fundamental philosophical questions that the analysis applied and the humanitarian aspects of the obtained results the inverse problem of mathematical physics allows students to make appropriate inferences about the studied process and to, ultimately, new information, to study its properties and understand its value. Philosophical understanding of the notion of information opens up to students a new methodological opportunities to comprehend the world and helps us to reinterpret existing science and philosophy of the theory related to the disclosure of the interrelationship of all phenomena of reality.

Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference

CERN Document Server

Malzkom, Wolfgang; Räsch, Thoralf

2003-01-01

"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical methods can improve our philosophical and technical understanding of language and scientific discourse, ranging from the theoretical level up to applications in language recognition software. Audience: This volume is of interest to all formal philosophers and theoretical linguists. In addition to that, logicians interested in the applications of their field and logic students in mathematics, computer science, philosophy and linguistics can use the volume to broaden their knowledge of applications of...

VIRTUAL PHILOSOPHER PROJECT: PHILOSOPHICAL, PEDAGOGICAL AND TECHNICAL ASPECTS

Directory of Open Access Journals (Sweden)

E. V. Kuchinov

2017-01-01

Full Text Available The article describes philosophical and pedagogical aspects of an idea of the ‘virtual philosopher’ project developed at creative sessions at Minin University and technically concretized during interaction with the Laboratory of Mobile Services. ‘Virtual philosopher’ is thought to deliver creative automation of routine operations; producing contingent matter for philosophical processing as well as elements of the philosophical artificial intelligence and forms of ‘artificial life’. Project implementation may lead to the creation of an unparalleled educational technology that functions on the principles of flexibility, nonlinearity, affective inclusion and gamification of the educational process. Based on specific character of problems raised, rhizomatic analysis of the philosophical communities’ requests, assessment of their technical feasibility and technical development, provisions are made on the feasibility, prospects and productivity of this project.

Philosophical problems of modern physics

International Nuclear Information System (INIS)

Mittelstaedt, P.

1976-01-01

This book treats the philosophical problems that have arisen in connection with the theories of relativity and quantum theory. The book begins with a discussion of the problems that were raised by the special theory of relativity; questions relating to the structure of space and time, especially the problem of the temporal sequence of events. Subsequently problems are considered that were raised by the general theory of relativity, and which question the validity and applicability of Euclidean geometry to empirical space. The physical results, and in particular the theory of the measuring process in quantum mechanics, are considered. Criticism of the concept of substance and of the law of causality in quantum theory are discussed. Finally, the validity and applicability of classical logic for the domain of quantum-theoretical propositions are dealt with. (B.R.H.)

Transcending logic: the difference between contradiction and antinomy

Directory of Open Access Journals (Sweden)

Daniël Strauss

2007-09-01

Full Text Available Philosophy and all the academic disciplines are sensitive to the aim of sound reasoning – except for the dialectical tradition which sanctions contradictions and antinomies (Heraclitus, Nicolas of Cusa, Hegel, Marx, Vaihinger, Simmel, Rex, and Dahrendorf. A brief overview is presented of conflicting theoretical stances within the various academic disciplines before an assessment is given of the positive and negative meaning of ‘reductionism.’ Against the background of historical lines of development the multiple terms employed in this context are mentioned and eventually positioned within the context of the normativity holding for logical thinking. It is argued that the logical contrary between logical and illogical serves as the foundation of other normative contraries, such as legal and illegal and moral and immoral. Through the discovery of irrational numbers the initial Pythagorean conviction that everything is number reverted to a geometrical perspective that generated a static metaphysics of being which challenged the ideas of plurality and motion. This development uncovered the problem of primitive terms in scientific discourse as an alternative for those theoretical attempts aimed at reducing whatever there is to one single mode of explanation. Zeno’s paradoxes are used to demonstrate an alternative understanding of the difference between the potential and the actual infinite as well as the nature of (theoretical antinomies. It is argued that genuine antinomies are inter-modal in nature (such as is found in the attempt to reduce movement to static positions in space and therefore differ from logical contradictions (such as a ‘square circle’ which merely confuses two figures within one modal aspect. Although every antinomy does entail logical contradictions, the latter do not necessarily presuppose an antinomy. The implication is that logic itself has an ontic foundation – as is seen from the nature of the principle of

Inferential Role and the Ideal of Deductive Logic

Directory of Open Access Journals (Sweden)

Thomas Hofweber

2010-11-01

Full Text Available Although there is a prima facie strong case for a close connection between the meaning and inferential role of certain expressions, this connection seems seriously threatened by the semantic and logical paradoxes which rely on these inferential roles. Some philosophers have drawn radical conclusions from the paradoxes for the theory of meaning in general, and for which sentences in our language are true. I criticize these overreactions, and instead propose to distinguish two conceptions of inferential role. This distinction is closely tied to two conceptions of deductive logic, and it is the key, I argue, for understanding first the connection between meaning and inferential role, and second what the paradoxes show more generally.

Feferman on foundations logic, mathematics, philosophy

CERN Document Server

Sieg, Wilfried

2017-01-01

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical issues that tie into mathematics. Feferman’s work was largely based in mathematical logic (namely model theory, set theory, proof theory and computability theory), but also branched out into methodological and philosophical issues, making it well known beyond the borders of the mathematics community. With regard to methodological issues, Feferman supported concrete projects. On the one hand, these projects calibrate the proof theoretic strength of subsystems of analysis and set theory and provide ways of overcoming the limitations imposed by Gödel’s incompleteness theorems through appropriate conceptual expansions. On the other, they seek to identify novel axiomatic foundations for mathematical practice, truth ...

The road to universal logic festschrift for 50th birthday of Jean-Yves Béziau

CERN Document Server

Buchsbaum, Arthur

2015-01-01

This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid Hodges, Laurence Horn, Lloyd Humbertsone, Dale Jacquette, David Makinson, Stephen Read, and Jan Woleński. It is a state-of-the-art source of cutting-edge studies in the new interdisciplinary field of universal logic. The papers touch upon a wide range of topics including combination of logic, non-classical logic, square and other geometrical figures of opposition, categorical logic, set theory, foundation of logic, philosophy and history of logic (Aristotle, Avicenna, Buridan, Schröder, MacColl). This book offers new perspectives and challenges in the study of logic and will be of interest to all students and researchers interested the nature and future of logic.

MARTIN HEIDEGGER’S BLACK NOTEBOOKS AND POLITICAL ECONOMY OF CONTEMPORARY PHILOSOPHICAL CRITIQUE

Directory of Open Access Journals (Sweden)

A. O. Karpenko

2016-06-01

Full Text Available The purpose of the study is to determine the key strategies of philosophical criticism of Heidegger’s Black Notebooks, whose achievement is realized in the following tasks: 1 to identify the body of texts that represent the discourse of philosophical criticism of Heidegger notes; 2 to reveal the typological features of the different strategies of interpreting Black Notebooks; 3 to reconstruct a thematic horizon of Heidegger studies, opened up by discussion on published notes. The methodology combines elements of discourse analysis with traditional methods of historical and philosophical criticism. Scientific novelty is expressed in the following: 1 philosophical discourse of the Notebooks’ reception includes texts of narrowly specialized character (Gatherings collection of articles, as well as reflections of key philosophers (A. Badiou, J.-L. Nancy 2 basic strategies in philosophical critique of Black Notebooks convey the overall structure of the discourse of interpretation of Heidegger’s legacy, distributed between apologetics and ideological criticism; 3 Black Notebooks have exacerbated the problem of architectonics of Gesammtausgabe and formed the textual basis for the study of "silence" period in philosophical life of Heidegger. Conclusions. The discourse of philosophical critique of Heidegger’s notes proves evidence for ideological charge of philosophizing and justifies socially oriented approaches of historical and philosophical studies examining philosophizing as a special cultural practice, not as a form of sublime creativity.

The Logic of the Physics of Information

Directory of Open Access Journals (Sweden)

Joseph E. Brenner

2014-07-01

Full Text Available A consensus is emerging that the multiple forms, functions and properties of information cannot be captured by a simple categorization into classical and quantum information. Similarly, it is unlikely that the applicable physics of information is a single classical discipline, completely expressible in mathematical terms, but rather a complex, multi- and trans-disciplinary field involving deep philosophical questions about the underlying structure of the universe. This paper is an initial attempt to present the fundamental physics of non-quantum information in terms of a novel non-linguistic logic. Originally proposed by the Franco-Romanian thinker Stéphane Lupasco (1900–1988, this logic, grounded in quantum mechanics, can reflect the dual aspects of real processes and their evolution at biological, cognitive and social levels of reality. In my update of this logical system—Logic in Reality (LIR—a change in perspective is required on the familiar notions in science and philosophy of causality, continuity and discontinuity, time and space. I apply LIR as a critique of current approaches to the physical grounding of information, focusing on its qualitative dualistic aspects at non-quantum levels as a set of physical processes embedded in a physical world.

Induction and Confirmation Theory: An Approach based on a Paraconsistent Nonmonotonic Logic

Directory of Open Access Journals (Sweden)

Ricardo Sousa Silvestre

2010-12-01

Full Text Available This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what adjustments it could work as a logic of induction in the philosophical sense. By making use of this analysis, we extend default logic so as to make it able to minimally perform the task of a logic of induction, having as a result a system which we believe has interesting properties from the standpoint of theory of confirmation. It is for instance able to represent chains of inductive rules as well as to reason paraconsistently on the conclusions obtained from them. We then use this logic to represent some traditional ideas concerning confirmation theory, in particular the ones proposed by Carl Hempel in his classical paper “Studies in the Logic of Confirmation” of 1945 and the ones incorporated in the so-called abductive and hy-pothetico-deductive models.

Induction and Confirmation Theory: An Approach based on a Paraconsistent Nonmonotonic Logic

Directory of Open Access Journals (Sweden)

Ricardo Sousa Silvestre

2011-05-01

Full Text Available This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what adjustments it could work as a logic of induction in the philosophical sense. By making use of this analysis, we extend default logic so as to make it able to minimally perform the task of a logic of induction, having as a result a system which we believe has interesting properties from the standpoint of theory of confirmation. It is for instance able to represent chains of inductive rules as well as to reason paraconsistently on the conclusions obtained from them. We then use this logic to represent some traditional ideas concerning confirmation theory, in particular the ones proposed by Carl Hempel in his classical paper "Studies in the Logic of Confirmation" of 1945 and the ones incorporated in the so-called abductive and hy-pothetico-deductive models.

The Logic of Sense – Deleuze’s introduction to psychoanalysis

Directory of Open Access Journals (Sweden)

Michał Gusin

2012-01-01

Full Text Available Gilles Deleuze is well known as a philosopher who had a profound debatwith psychoanalysis. This debate cannot be reduced to a critic of psychoanalysisalone because the universe in which Deleuze thinks and writes is heterogeneousand plural. In Logic of Sense, Freud’s project, enriched by Melanie Klein or JacquesLacan, is to point a metaphysical potentiality in the concepts of psychoanalysis.Psychoanalysis is called a “science of events” to create a net of connections betweenvarious series of the psychoanalytical insights. In my paper, I have tried to showhow Deleuze determined the introduction to the debate with psychoanalysis. Thekey concept for his introduction is the notion of “phantasm” that is also rooted inthe philosophical tradition.

Logic and its Pragmatic Aspects

Directory of Open Access Journals (Sweden)

Michele Marsonet

2018-03-01

(2 the Platonistic, and (3 the instrumentalistic viewpoints. According to (1 logic is viewed as fundamentally descriptive, and its task is taken to be that of outlining a “theory of reasoning,” i.e. a systematic account of how we humans proceed when reasoning successufully. According to (3, instead, logic’s task is that of constructing rigorous systems codifying not only actual, but also possible instrumentalities for conducting valid inferences, and these would be available (should someone want to avail himself to them for adoption as an organon of reasoning, but no empirical claims are made that anyone has (or will avail himself of this opportunity. The logician devises a tool or instrument for correct reasoning, but does not concern himself about the uses of this instrument. Philosophy and logic cannot be linked so closely, and today the idea that the analytic style of philosophizing is just one style among many others, and not the only possible one, is gaining increasing acceptance.

Social inequality: philosophical and sociological reflection

Directory of Open Access Journals (Sweden)

A. Sh. Victorov

2014-01-01

Full Text Available Social inequality is the phenomena that is hypothetically the base for first human communities genesis. Modern model for capitalist society as market relations form fails to satisfy the needs of society’s social development, and strongly requires to create new social knowledge structure and new approach for inequality sociology theory development. Our study conceptual logic comprises routine, philosophic and ideological reflexions analysis to create new social inequality definition in the context of new sociologic knowledge structure. Social inequality is the one of key problems in global sociology; the need is obvious to extract social inequality into separate discipline. Inequality sociology target is the decision of theoretical and practical problems in the formation of comprehensive knowledge about inequality phenomena in modern community, and in the development of common and specialized theoretical-methodological base for inequality study.

PHILOSOPHEME OF SYMBOL AND CONCEPT OF THE MEANING: PHILOSOPHICAL AND ANTHROPOLOGICAL ASPECTS

Directory of Open Access Journals (Sweden)

P. V. Kretov

2015-12-01

Full Text Available The aim of the study is to find out the meaning of the symbolic nature of the philosophical and anthropological knowledge deployment, as well as symbolic forms of correlation between artificial and natural in the consciousness of human identity and their fixation in the language and also in the forms and structures of culture. The research is based on the methodology of historical and philosophical analysis in synchronic and diachronic aspects, principles of hermeneutic understanding and reconstruction and phenomenological descriptions. Scientific novelty is represented by the postulating such predications of symbolic structures of language and consciousness as multipanorama and transfinite, justification of the ontological status of symbol and symbolism. The symbolic functioning character of language metaphor in scientific discourse and especially the symbolic dimension of semantic field of language and culture, as well as their symbolic association was fixed. The author proves the thesis about the symbolic nature of a holistic, means forming, philosophical knowledge of man, and the relation between the underlying symbolic and metaphorical structures of language and the mechanisms of consciousness, which finds its expression, in particular, in the language of science. The symbolic design that transmits the philosophical aspects of meaning that go beyond definition and formal-logic descriptions is used. In the comparison of the concepts of spiral dynamics, memetics and autopoiesis the existence of a specific symbolic dimension of the semantic field of language, culture and consciousness is postulated. Conclusions of the article define the role of symbol and symbolic and metaphorical constructions and structures of language in forming the discourse of modern philosophical anthropology, which would include the whole thesaurus of language and culture.

Logic as a Key to Interdisciplinary Integration for Students in the Mathematical Sciences

Directory of Open Access Journals (Sweden)

Thomas Marlowe

2017-08-01

Full Text Available We describe the creation and development of a course on mathematical logic and its extensions and limitations, in which coverage of technical material is interleaved with and related to discussion of relevant historical, linguistic, philosophical, and theological issues and of individuals of note. The new course, Logic, Limitations to Knowledge, and Christianity, presents an overview of topics in and related to logic, including development of formal logic and an axiomatic first-order logic. It explores the history of mathematics and logic in the Catholic Intellectual and wider Western Traditions, as well as the mutual interactions of mathematics, philosophy, language, and religion. It then considers extensions of first-order logic, and provable limits to knowledge: the three unsolvable problems of Euclidean geometry, and examples from Gödel, Turing, Arrow, quantum physics, and others. Epistemological issues will be emphasized throughout the course. The translation between natural language and expression in logical and reasoning formalisms is emphasized throughout. As a Core Curriculum course at Seton Hall University, fundamental questions such as "What is logic?" and "What are its limits?" will be considered within the framework of Christianity's broader view of the human person and human intelligence.

The cosmology of the pre-Socratic Greek philosophers.

Science.gov (United States)

Theodossiou, E.; Manimanis, V. N.

The views of the ancient Greek pre-Socratic philosophers from Ionia opened new paths for the study of nature using human logic. Starting from the worship of the Earth as a goddess, they proceeded to examine its position in the Cosmos (Universe), proposing a spherical shape for our planet. They pioneered the unifying approach for the physical world, assuming one element as the basis for everything in the Universe (this was water for Thales, air for Anaximenes, infinity for Anaximander, fire for Heraclitus). The genesis and the decay of worlds succeed one another eternally. Anaximenes believed, like Anaximander, that our world was not the only one that existed. Heraclitus believed that, of the vast richness of the natural creation with its unpredictable changes, nothing remains stable and motionless. There is not constancy, but only an eternal flow, a perpetual motion. This is exactly what we accept today in quantum physics; the apparent stability and immobility is an illusion of our limited senses. According to Heraclitus, matter is constantly transformed. All the natural philosophers of Ionia distanced God the Creator from nature and history, keeping always a respect for the beliefs of their fellow people; most probably they, too, kept a form of God in an area of their minds, in his spiritual and moral dimension.

Logic from A to Z the Routledge encyclopedia of philosophy glossary of logical and mathematical terms

CERN Document Server

Bacon, John B; McCarty, David Charles; Bacon, John B

1999-01-01

First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy. Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics. Over 500 entries include key terms found in the study of: * Logic: Argument, Turing Machine, Variable * Set and model theory: Isomorphism, Function * Computability theory: Algorithm, Turing Machine * Plus a table of logical symbols. Extensively cross-referenced to help comprehension and add detail, Logic from A to Z provides an indispensable reference source for students of all branches of logic.

Greek, Indian and Arabic logic

CERN Document Server

Gabbay, Dov M

2004-01-01

Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gödel, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, including Mediaeval and Renaissance Logic and Logic: A History of its Central. In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of t...

Philosophical Hermeneutic Interviewing

Directory of Open Access Journals (Sweden)

Roxanne K. Vandermause PhD, RN

2011-12-01

Full Text Available This article describes, exemplifies and discusses the use of the philosophical hermeneutic interview and its distinguishing characteristics. Excerpts of interviews from a philosophical hermeneutic study are used to show how this particular phenomenological tradition is applied to research inquiry. The purpose of the article is to lay out the foundational background for philosophical hermeneutics in a way that clarifies its unique approach to interviewing and its usefulness for advancing health care knowledge. Implications for health care research and practice are addressed.

The Concept of Philosophical Education

Science.gov (United States)

Boyum, Steinar

2010-01-01

Strangely, the concept of philosophical education is not much in use, at least not as a "philosophical" concept. In this essay, Steinar Boyum attempts to outline such a philosophical concept of philosophical education. Boyum uses Plato's Allegory of the Cave, Rene Descartes's life of doubt, and Immanuel Kant's criticism of metaphysics as paradigms…

Is Proust a philosopher?

Directory of Open Access Journals (Sweden)

Luc Fraisse

2015-12-01

Full Text Available Different philosophers pondered on Proust’s novel, including those who formulated a subtle hypothesis that philosophical thought that emerged from the novel went beyond the passages of philosophical character that could be found in Proust’s work. It is difficult to determine precisely Proust’s approach towards the novel which he, alternately, favors or disdains. A hypothesis has been formulated that In Search of Lost Time shapes the fiction in the style of Shelling’s and Schopenhauer’s philosophy; it is pointed out that the novelist developed a kind of rivalry between him and his second cousin Bergson. Proust received a thorough education in philosophy yet philosophy is only present in his novel in an anecdotal form. The debate that he starts between idealism and philosophical realism in his prose takes the form of a discussion between symbolism and naturalism. The reconstruction of Proust’s philosophical culture leads to the observation that it is, without a doubt, significantly influenced in different ways by two philosophers: Leibniz and Kant. Still, the writer does not admit to being impacted by any particular thinker; therefore, his narrator’s line of thought is constantly changing in such a way that any school of philosophical thought that appears in the novel is present only for a short while.

Problems in the Science and Mathematics of 'The Logic of Scientific Discovery'

Directory of Open Access Journals (Sweden)

Alan B. Whiting

2012-11-01

Full Text Available Professor Sir Karl Popper (1902-1994 was one of the most influential philosophers of science of the twentieth century. However, in his most famous work 'The Logic of Scientific Discovery' he displays troubling misunderstandings of science and mathematics at a basic level. These call into question his conclusions concerning the philosophy of science. Quanta 2012; 1: 13–18.

Philosophical Roots of Cosmology

Science.gov (United States)

Ivanovic, M.

2008-10-01

We shall consider the philosophical roots of cosmology in the earlier Greek philosophy. Our goal is to answer the question: Are earlier Greek theories of pure philosophical-mythological character, as often philosophers cited it, or they have scientific character. On the bases of methodological criteria, we shall contend that the latter is the case. In order to answer the question about contemporary situation of the relation philosophy-cosmology, we shall consider the next question: Is contemporary cosmology completely independent of philosophical conjectures? The answer demands consideration of methodological character about scientific status of contemporary cosmology. We also consider some aspects of the relation contemporary philosophy-cosmology.

Philosophical Approaches towards Sciences of Life in Early Cybernetics

Science.gov (United States)

Montagnini, Leone

2008-07-01

The article focuses on the different conceptual and philosophical approaches towards the sciences of life operating in the backstage of Early Cybernetics. After a short reconstruction of the main steps characterizing the origins of Cybernetics, from 1940 until 1948, the paper examines the complementary conceptual views between Norbert Wiener and John von Neumann, as a "fuzzy thinking" versus a "logical thinking", and the marked difference between the "methodological individualism" shared by both of them versus the "methodological collectivism" of most of the numerous scientists of life and society attending the Macy Conferences on Cybernetics. The main thesis sustained here is that these different approaches, quite invisible to the participants, were different, maybe even opposite, but they could provoke clashes, as well as cooperate in a synergic way.

Fuzzy Logic vs. Neutrosophic Logic: Operations Logic

Directory of Open Access Journals (Sweden)

Salah Bouzina

2016-12-01

Full Text Available The goal of this research is first to show how different, thorough, widespread and effective are the operations logic of the neutrosophic logic compared to the fuzzy logic’s operations logical. The second aim is to observe how a fully new logic, the neutrosophic logic, is established starting by changing the previous logical perspective fuzzy logic, and by changing that, we mean changing changing the truth values from the truth and falsity degrees membership in fuzzy logic, to the truth, falsity and indeterminacy degrees membership in neutrosophic logic; and thirdly, to observe that there is no limit to the logical discoveries - we only change the principle, then the system changes completely.

PHILOSOPHERS BEFORE AND AFTER SPACEFLIGHT

OpenAIRE

Fabio Grigenti

2011-01-01

In my contribution, I will show the ways by which philosophers have treated the topic of space-travel before and after its implementation. I will discuss the following points: a) Introduction: the human condition. b) Philosophers before spaceflight: the Astolfo Protocol. c) Philosophers after spaceflight: the Promethean suspect. In this paper I will emphasize the elements of two different and alternative visions of spaceflight that can be found in the Western tradition of philosophical thought.

PHILOSOPHERS BEFORE AND AFTER SPACEFLIGHT

Directory of Open Access Journals (Sweden)

Fabio Grigenti

2011-12-01

Full Text Available In my contribution, I will show the ways by which philosophers have treated the topic of space-travel before and after its implementation. I will discuss the following points: a Introduction: the human condition. b Philosophers before spaceflight: the Astolfo Protocol. c Philosophers after spaceflight: the Promethean suspect. In this paper I will emphasize the elements of two different and alternative visions of spaceflight that can be found in the Western tradition of philosophical thought.

Archives: Philosophical Papers

African Journals Online (AJOL)

Items 1 - 26 of 26 ... Archives: Philosophical Papers. Journal Home > Archives: Philosophical Papers. Log in or Register to get access to full text downloads. Username, Password, Remember me, or Register · Journal Home · ABOUT THIS JOURNAL · Advanced Search · Current Issue · Archives. 1 - 26 of 26 Items. 2008. Vol 37 ...

Is Proust a philosopher?

OpenAIRE

Luc Fraisse

2015-01-01

Different philosophers pondered on Proust’s novel, including those who formulated a subtle hypothesis that philosophical thought that emerged from the novel went beyond the passages of philosophical character that could be found in Proust’s work. It is difficult to determine precisely Proust’s approach towards the novel which he, alternately, favors or disdains. A hypothesis has been formulated that In Search of Lost Time shapes the fiction in the style of Shelling’s and Schopenhauer’s philos...

Why moral philosophers are not and should not be moral experts.

Science.gov (United States)

Archard, David

2011-03-01

Professional philosophers are members of bioethical committees and regulatory bodies in areas of interest to bioethicists. This suggests they possess moral expertise even if they do not exercise it directly and without constraint. Moral expertise is defined, and four arguments given in support of scepticism about their possession of such expertise are considered and rejected: the existence of extreme disagreement between moral philosophers about moral matters; the lack of a means clearly to identify moral experts; that expertise cannot be claimed in that which lacks objectivity; and that ordinary people do not follow the advice of moral experts. I offer a better reason for scepticism grounded in the relation between moral philosophy and common-sense morality: namely that modern moral philosophy views even a developed moral theory as ultimately anchored in common-sense morality, that set of basic moral precepts which ordinary individuals have command of and use to regulate their own lives. Even if moral philosophers do nevertheless have a limited moral expertise, in that they alone can fully develop a set of moral judgments, I sketch reasons - grounded in the values of autonomy and of democracy - why moral philosophers should not wish non-philosophers to defer to their putative expertise. © 2009 Blackwell Publishing Ltd.

Intuitionism vs. classicism a mathematical attack on classical logic

CERN Document Server

Haverkamp, Nick

2015-01-01

In the early twentieth century, the Dutch mathematician L.E.J. Brouwer launched a powerful attack on the prevailing mathematical methods and theories. He developed a new kind of constructive mathematics, called intuitionism, which seems to allow for a rigorous refutation of widely accepted mathematical assumptions including fundamental principles of classical logic. Following an intense mathematical debate esp. in the 1920s, Brouwer's revolutionary criticism became a central philosophical concern in the 1970s, when Michael Dummett tried to substantiate it with meaning-theoretic considerations.

Comparison of the Wise and Philosophical Ideas in Ferdowsi’s Shahnameh and Nasser Khusraw’s Book of Poems

Directory of Open Access Journals (Sweden)

Maliheh Zanalimahmodabadi

2017-04-01

Full Text Available History of Iran has deep links with Shahnameh and Persian literature. In fact, it is not possible to talk about Iran as a rich culture and disregard Persian literature and brilliant works of Persian literature. According to most scholars in the field of literature and culture, Iranians have been people of wisdom, thought, and philosophy. Ferdowsi and Nasser Khusraw hold a special place in this regard because we are faced with ethical, philosophical, and religious ideas in the works of both poets. Different effects of the Iranian Wisdom are presented in their poems; the effects include ethics, philosophy, logic, medicine, music, determinism and free will, fate, arithmetic and geometry, astronomy etc. Ferdowsi’s Shahnameh and Nasser Khusraw’s Book of Poems are sublime manifestation of ideological and philosophical ideas of Iranians. Apart from the similarities and differences, Ferdowsi and Nasser Khusraw’s poems represent praise of wisdom, God, and human freedom as basic elements in the ontology of Persian culture. Hence, in addition to understanding and explanation of Ferdowsi, Nasser Khusraw’s day and age, and the importance of these two poets in Iran's development of wisdom and philosophical thought, this research tries to describe their similarities and differences in ideological and philosophical subjects.

Towards a Benjaminian Critique of Hermann Cohen’s Logical Idealism

OpenAIRE

Homburg, Phillip

2017-01-01

This article aims to examine the relationship between Walter Benjamin and neo-Kantianism, particularly Herman Cohen’s logical idealism. I divide the article into two major sections: first, I examine the development of Cohen’s philosophy and its relationship to Hermann von Helmholtz and Friedrich Albert Lange’s early neo-Kantianism; second, I examine Benjamin’s critique of Cohen. I focus specifically on two of Benjamin’s early philosophical works — the fragment “On Perception” and the text “On...

CONSERVATIVE ATTITUDES TO OLD-ESTABLISHED ORGANS: OLIVER LODGE AND PHILOSOPHICAL MAGAZINE.

Science.gov (United States)

Clarke, Imogen; Mussell, James

2015-09-20

In 1921 Oliver Lodge defended Philosophical Magazine against charges of mismanagement from the National Union of Scientific Workers. They alleged that its editors performed little editorial work, the bulk being done by the publishers, Taylor & Francis. Lodge reassured Nature's readers that the journal did consult its editors, and suggested 'a conservative attitude towards old-established organs is wise; and that it is possible to over-organise things into lifelessness.' The paper explores Lodge's response by considering the editorial arrangements at Philosophical Magazine. Founded in 1798, it remained remarkably unchanged and so appeared old-fashioned when compared with its closest rivals, Proceedings of the Royal Society and Proceedings of the Physical Society. We argue that for Lodge the management of Philosophical Magazine gave it the flexibility and independence required to sustain the kind of physics, also open to accusations of obsolescence, in which he believed.

Early Modern Philosophical Systems

NARCIS (Netherlands)

L. van Bunge (Wiep)

2014-01-01

textabstractThe occurrence of an entry on early modern philosophical systems in an encyclopaedia of Neo-Latin studies is fraught with complications, if only on account of the gradual disappearance during the early modern period of Latin as the main vehicle of philosophical communication. What

Sameness and the Self: Philosophical and Psychological Considerations

Directory of Open Access Journals (Sweden)

Stan eKlein

2014-01-01

Full Text Available In this paper I examine the concept of cross-temporal personal identity (diachronicity. This particular form of identity has vexed theorists for centuries – e.g., how can a person maintain a belief in the sameness of self over time in the face of continual psychological and physical change? I first discuss various forms of the sameness relation and the criteria that justify their application. I then examine philosophical and psychological treatments of personal diachronicity (for example, Locke’s psychological connectedness theory; the role of episodic memory and find each lacking on logical grounds, empirical grounds or both. I conclude that to achieve a successful resolution of the issue of the self as a temporal continuant we need to draw a sharp distinction between the feeling of the sameness of one’s self and the evidence marshaled in support of that feeling.

Epicureanism as a Foundation for Philosophical Counseling

OpenAIRE

Fatić, Aleksandar

2013-01-01

The paper discusses the manner and extent to which Epicurean ethics can serve as a general philosophy of life, capable of supporting philosophical practice in the form of philosophical counseling. Unlike the modern age academic philosophy, the philosophical practice movement portrays the philosopher as a personal or corporate advisor, one who helps people make sense of their experiences and find optimum solutions within the context of their values and general preferences. Philosophical counse...

Logic and Automata History and Perspectives

CERN Document Server

Gradel, Erich; Wilk, Thomas

2007-01-01

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d'horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field. Title: Logic and Automata : History and Perspectives Print ISBN: 9789053565766 Author(s): Flum, Jörg; Gr; del, Erich; Wilke, Thomas eISBN: 9789048501281 Publisher: Amsterdam University Press Dewey: 511.3 Publication Date: 01 Jan, 2007 Pages: 737 Category: Mathematics LCCN: Language: English Edition: N/A LCSH:

Realistic Humanism. Luc Dardenne as a Philosopher and Filmmaker

Directory of Open Access Journals (Sweden)

Walter Lesch

2016-11-01

Full Text Available Luc Dardenne is not only a successful filmmaker together with his brother Jean-Pierre. He is also a stimulating philosopher who has reflected on the influence of Emmanuel Levinas on the brothers’ cinematic work. This article shows typical constellations of film and philosophy and focuses on the special contribution of a Levinasian perspec¬tive on face-to-face encounters, violence and compassion as central topics in the films of the Dardennes. Luc Dardenne has developed his philosophical approach in his dia¬ries and in the essay The Human Affair, published in 2012. This text can be used as a key for an understanding of the film Le gamin au vélo (The Kid with a Bike, Jean-Pierre and Luc Dardenne, FR/BE/IT 2011.

La voix du philosophe Laruelle

Directory of Open Access Journals (Sweden)

Gilbert Kieffer

2018-03-01

(Abstract   What is a voice in the context of the arts and philosophy? In the space of the philosopher's voice, in the complex grammar of his language is played his philosophical timbre, his own space, his particular voice, composed of concepts, articulated by the laws of coherence of the common philosophical language, with hypnotic specificities. These specificities are precisely the fruit of processes formerly called rhetoric, which I call non-hypnotics (of generalized hypnotic space, one of whose functions is just to speak in a double space: the common reference space of the reader or listener, and the conceptual virtual space peculiar to the philosopher. To the extent that the reader must pay increased and permanent attention to this double space, the philosophical trance effect, equivalent to the Ericksonian hypnotic trance, is facilitated. The difficulty of this double reading is the incessant passage from one code to another, which is also a hypnotic fascination. Heidegger prolongs and renews its structures and draws some effects from them, which provoke in the mind of the reader as an over-flow, a saturation effect, which itself favors the philosophical trance. Thus, each voice seeks to captivate the mind by confusing it with concepts, which seem at first sight familiar, but which reveal themselves with the use which is made, like formidable concepts to the power of unaccustomed fascination. One of the pleasures of reading Lareuelle's philosophy is due to this type of fascination with the philosophical voice and its language.

“Sketches of landscapes”: On philosophical poems

Directory of Open Access Journals (Sweden)

Troy Jollimore

2016-12-01

Full Text Available Is it possible to do philosophy by writing lyric poems—or reading them? How can a poem be genuinely philosophical, and can a philosophical poem do something that straightforward philosophical writing cannot do? Some have suggested that poems and philosophical writings have different aims and are subject to different and conflicting demands, which would render it difficult if not impossible to write a successful philosophical poem. I suggest that while this is true with respect to the aims of the standard academic philosophical journal essay, there is a different way of doing philosophical work—one that pays close attention to actual thought processes and that dramatizes the interplay of ideas—that lyric poetry is quite well suited to take on. Such work may be significant not only in helping us better understand human consciousness, but in letting us grasp insights and aspects of our experience of the world which the philosophical demand for simple, unified theories might otherwise tempt us to minimize or ignore altogether.

Philosophical Concepts in Physics

Science.gov (United States)

Cushing, James T.

1998-01-01

Preface; Part I. The Scientific Enterprise: 1. Ways of knowing; 2. Aristotle and Francis Bacon; 3. Science and metaphysics; Part II. Ancient and Modern Models of the Universe: 4. Observational astronomy and the Ptolemaic model; 5. The Copernican model and Kepler's laws; 6. Galileo on motion; Part III. The Newtonian Universe: 7. Newton's Principia; 8. Newton's law of universal gravitation; 9. Some old questions revisited; Part IV. A Perspective: 10. Galileo's Letter to the Grand Duchess; 11. An overarching Newtonian framework; 12. A view of the world based on science: determinism; Part V. Mechanical Versus Electrodynamical World Views: 13. Models of the aether; 14. Maxwell's theory; 15. The Kaufmann experiments; Part VI. The Theory of Relativity: 16. The background to and essentials of special relativity; 17. Further logical consequences of Einstein's postulates; 18. General relativity and the expanding universe; Part VII. The Quantum World and the Completeness of Quantum Mechanics: 19. The road to quantum mechanics; 20. 'Copenhage' quantum mechanics; 21. Is quantum mechanics complete?; Part VIII. Some Philosophical Lessons from Quantum Mechanics: 22. The EPR paper and Bell's theorem; 23. An alternative version of quantum mechanics; 24. An essential role for historical contingency?; Part IX. A Retrospective: 25. The goals of science and the status of its knowledge; Notes; General references; Bibliography; Author index; Subject index.

Shakespeare, dramatist-philosopher

Directory of Open Access Journals (Sweden)

Armando Pego Puigbó

2017-09-01

Full Text Available In this essay a philosophical approach to the dramatic universe of William Shakespeare is proposed beyond the historic, social or aesthetic interpretations which are usual in some current critical theories. Its aim is not primarily to highlight only the philosophical intuitions which are contained in the Shakespere’s work, but to try to show the close philosophical condition of its literary imagination. Though avoiding the excess of the Bardolatry, it is necessary to reexamine the paradoxical relationship which the tragic model of Shakespeare maintains with some categories —and not the rules— of the Aristotelean Poetics. In putting them in check, it may be observed how the theatrical energy of Shakespeare has unveiled some ambiguous territories that the contemporary philosophy is groping as places of the modern invention of «human». Hamlet will be used as example of this capacity to raise a moral and aesthetic debate in interpretations of authors as C. Schmitt, S. Cavell, F. Ricordi o R. Girard.

Topos-Based Logic for Quantum Systems and Bi-Heyting Algebras

OpenAIRE

Doering, Andreas

2012-01-01

Comment: 22 pages, no figures; v2: improved presentation, minor correction, all main results unchanged, added example. Accepted for publication in Logic & Algebra in Quantum Computing, Lecture Notes in Logic, published by the Association for Symbolic Logic in conjunction with Cambridge University Press

The idea of philosophical sociology.

Science.gov (United States)

Chernilo, Daniel

2014-06-01

This article introduces the idea of philosophical sociology as an enquiry into the relationships between implicit notions of human nature and explicit conceptualizations of social life within sociology. Philosophical sociology is also an invitation to reflect on the role of the normative in social life by looking at it sociologically and philosophically at the same: normative self-reflection is a fundamental aspect of sociology's scientific tasks because key sociological questions are, in the last instance, also philosophical ones. For the normative to emerge, we need to move away from the reductionism of hedonistic, essentialist or cynical conceptions of human nature and be able to grasp the conceptions of the good life, justice, democracy or freedom whose normative contents depend on more or less articulated conceptions of our shared humanity. The idea of philosophical sociology is then sustained on three main pillars and I use them to structure this article: (1) a revalorization of the relationships between sociology and philosophy; (2) a universalistic principle of humanity that works as a major regulative idea of sociological research, and; (3) an argument on the social (immanent) and pre-social (transcendental) sources of the normative in social life. As invitations to embrace posthuman cyborgs, non-human actants and material cultures proliferate, philosophical sociology offers the reminder that we still have to understand more fully who are the human beings that populate the social world. © London School of Economics and Political Science 2014.

The Paradox of Self-Amendment: A Study of Law, Logic, Omnipotence, and Change

OpenAIRE

Suber, Peter

1990-01-01

The first full-length study of self-reference and paradox in law, this book will intrigue and instruct anyone interested in law, logic, philosophy, or political theory. History shows that self-amendment - for example, the use of a constitution's amending clause to amend itself - is commonplace; legal analysis shows it to be lawful, even if (as some logicians have alleged) it is self-contradictory; and philosophical analysis shows it to be foundational for legality. The lawfulness of self-amen...

A philosophical taxonomy of ethically significant moral distress.

Science.gov (United States)

Thomas, Tessy A; McCullough, Laurence B

2015-02-01

Moral distress is one of the core topics of clinical ethics. Although there is a large and growing empirical literature on the psychological aspects of moral distress, scholars, and empirical investigators of moral distress have recently called for greater conceptual clarity. To meet this recognized need, we provide a philosophical taxonomy of the categories of what we call ethically significant moral distress: the judgment that one is not able, to differing degrees, to act on one's moral knowledge about what one ought to do. We begin by unpacking the philosophical components of Andrew Jameton's original formulation from his landmark 1984 work and identify two key respects in which that formulation remains unclear: the origins of moral knowledge and impediments to acting on that moral knowledge. We then selectively review subsequent literature that shows that there is more than one concept of moral distress and that explores the origin of the values implicated in moral distress and impediments to acting on those values. This review sets the stage for identifying the elements of a philosophical taxonomy of ethically significant moral distress. The taxonomy uses these elements to create six categories of ethically significant moral distress: challenges to, threats to, and violations of professional integrity; and challenges to, threats to, and violations of individual integrity. We close with suggestions about how the proposed philosophical taxonomy of ethically significant moral distress sheds light on the concepts of moral residue and crescendo effect of moral distress and how the proposed taxonomy might usefully guide prevention of and future qualitative and quantitative empirical research on ethically significant moral distress. © The Author 2014. Published by Oxford University Press, on behalf of the Journal of Medicine and Philosophy Inc. All rights reserved. For permissions, please e-mail: journals.permissions@oup.com.

Philosophical biography : some problems of conceptualization

OpenAIRE

Polyakova, Irina

2014-01-01

This article considers the specificity of the genre of philosophical biography and brings to light its conceptual grounds. “Philosophical biography” is defined as an understanding of human life, which has received not only a literary but also a philosophical form of expression. It shows that philosophical biography has a variety of features, which limit the applications of chronology, rubrication and other principles of organizing in a linear manner the material of a biography. In this contex...

Ethical issues in radiology: A philosophical perspective

International Nuclear Information System (INIS)

Sia, S.

2009-01-01

Given that there is much disagreement as to what constitutes 'philosophy', even among philosophers, it is a challenge to provide a philosophical perspective. There are, however, at least two areas that most philosophers would regard as coming within the terrain of philosophical thinking: (1) the clarification of issues and (2) providing some sort of a foundation on which further thinking can take place. Thus, by way of contributing a philosophical perspective to the discussion, this paper will clarify some of the more fundamental issues regarding ethical debates in the hope of establishing some kind of theoretical foundation on which to base the discussion of the more specific issues and of widening the scope of the discussion. (authors)

Ambiguity, logic, simplicity, and dynamics: Wittgensteinian evaluative criteria in peer review of quantitative research on categorization.

Science.gov (United States)

Shimp, Charles P

2004-06-30

Research on categorization has changed over time, and some of these changes resemble how Wittgenstein's views changed from his Tractatus Logico-Philosophicus to his Philosophical Investigations. Wittgenstein initially focused on unambiguous, abstract, parsimonious, logical propositions and rules, and on independent, static, "atomic facts." This approach subsequently influenced the development of logical positivism and thereby may have indirectly influenced method and theory in research on categorization: much animal research on categorization has focused on learning simple, static, logical rules unambiguously interrelating small numbers of independent features. He later rejected logical simplicity and rigor and focused instead on Gestalt ideas about figure-ground reversals and context, the ambiguity of family resemblance, and the function of details of everyday language. Contemporary contextualism has been influenced by this latter position, some features of which appear in contemporary empirical research on categorization. These developmental changes are illustrated by research on avian local and global levels of visual perceptual analysis, categorization of rectangles and moving objects, and artificial grammar learning. Implications are described for peer review of quantitative theory in which ambiguity, logical rigor, simplicity, or dynamics are designed to play important roles.

Heteroglossia and Philosophers of Education.

Science.gov (United States)

Abowitz, Kathleen Knight

2002-01-01

Accepts the premise of Rene Arcilla's article, "Why Aren't Philosophers and Educators Speaking to One Another?" asking how philosophers of education of a Deweyan character can occupy the intermediary position between philosophy and education with their different languages, contexts, and concerns. The essay uses examples from the work of…

Embedding Logics into Product Logic

Czech Academy of Sciences Publication Activity Database

Baaz, M.; Hájek, Petr; Krajíček, Jan; Švejda, David

1998-01-01

Roč. 61, č. 1 (1998), s. 35-47 ISSN 0039-3215 R&D Projects: GA AV ČR IAA1030601 Grant - others:COST(XE) Action 15 Keywords : fuzzy logic * Lukasiewicz logic * Gödel logic * product logic * computational complexity * arithmetical hierarchy Subject RIV: BA - General Mathematics

A New Philosophical Underpinning of Macromarketing Theories

DEFF Research Database (Denmark)

Skytte, Hans

2014-01-01

and concepts: “language is autonomous”, “concept”, “seeing as”, “language-games”, etc. In this paper these philosophical thoughts and concepts combine so that they over time form recursive processes which spiral. These processes are taken as the philosophical foundation for researching the language and actions...... of the social actors in marketing systems. The unit of analysis for marketing systems and macromarketing issues is the idea in the recursive process and spiral. The introduction gives a brief overview of what is understood by macromarketing. Followed by a thorough explanation of many of Wittgenstein......This paper proposes a new philosophical foundation for analyzing macromarketing issues, and for further development of macromarketing theory, building on the language philosophy developed by the German/British philosopher Ludwig Wittgenstein. The building blocks are a number philosophical thoughts...

Fuzziness and medicine philosophical reflections and application systems in health care a companion volume to Sadegh-Zadeh’s handbook of analytical philosophy of medicine

CERN Document Server

Tabacchi, Marco

2013-01-01

This book is a collection of contributions written by philosophers and scientists active in different fields, such as mathematics, logics, social sciences, computer sciences and linguistics. They comment on and discuss various parts of and subjects and propositions introduced in the Handbook of Analytical Philosophy of Medicine from Kazem Sadegh-Zadeh, published by Springer in 2012. This volume reports on the fruitful exchange and debate that arose in the fuzzy community upon the publication of the Handbook. This was not only very much appreciated by the community but also seen as a critical starting point for beginning a new discussion. The results of this discussion, which involved many different perspectives from science and the humanities and was warmly encouraged by Kazem Sadegh-Zadeh himself, are accurately reported in this volume, which is intended to be a critical companion to Kazem Sadegh-Zadeh´s handbook.   Rudolf Seising is currently an adjoint researcher at the European Centre for Soft Computing...

John Dewey--Philosopher and Educational Reformer

Science.gov (United States)

Talebi, Kandan

2015-01-01

John Dewey was an American philosopher and educator, founder of the philosophical movement known as pragmatism, a pioneer in functional psychology, and a leader of the progressive movement in education in the United States.

Three-valued logic gates in reaction-diffusion excitable media

International Nuclear Information System (INIS)

Motoike, Ikuko N.; Adamatzky, Andrew

2005-01-01

It is well established now that excitable media are capable of implementing of a wide range of computational operations, from image processing to logical computation to navigation of robots. The findings published so far in the field of logical computation were concerned solely with realization of boolean logic. This imposed somewhat artificial limitations on a suitability of excitable media for logical reasoning and restricted a range of possible applications of these non-classical computational devices in the field of artificial intelligence. In the paper we go beyond binary logic and show how to implement three-valued logical operations in toy models of geometrically constrained excitable media. We realize several types of logical gates, including Lukasiewicz conjunction and disjunction, and Sobocinski conjunction in cellular automata and FitzHugh-Nagumo models of T-shaped excitable media

CLASSICAL AND NON-CLASSICAL PHILOSOPHICAL ANTHROPOLOGY: COMPARATIVE ANALYSIS

Directory of Open Access Journals (Sweden)

T. A. Kozlova

2018-01-01

Full Text Available Introduction: The goals and values of human life, the search for the meaning of human existence contain the potential for a meaningful, progressive development of philosophical and anthropological ideas at any time in history. One of the tasks of philosophical anthropology is the formation of the image of man, the choice of ways to achieve the ideal, the methods of comprehension and resolution of universal problems. The increasing processes of differentiation in science led to the formation of different views on the nature of man, to the distinction between classical and non-classical philosophical anthropology. А comparative analysis of these trends is given in this article.Materials and methods: The dialectical method is preferred in the question of research methodology, the hermeneutic and phenomenological approaches are used.Results: The development of philosophical anthropology correlates with the challenges of modernity. By tracking the trends of human change, philosophical anthropology changes the approach to the consideration of its main subject of research. The whole array of disciplines that study man comes to new discoveries, new theories, and philosophical anthropology changes its view of the vision, challenging the principles of classical philosophical anthropology.Classical philosophical anthropology elevates the biological nature of man to a pedestal, non-classical philosophical anthropology actualizes questions of language, culture, thinking, understanding, actualizes the hermeneutic and phenomenological approaches. The desire to understand a person in classical philosophical anthropology is based on the desire to fully reveal the biological mechanisms in a person. The perspective of treating a person in nonclassical philosophical anthropology is polyformen: man as a text, as a dreaming self, as an eternal transition. Non-classical philosophical anthropology, goes from the idea of identity to the idea of variability, from

Philosophical theories of probability

CERN Document Server

Gillies, Donald

2000-01-01

The Twentieth Century has seen a dramatic rise in the use of probability and statistics in almost all fields of research. This has stimulated many new philosophical ideas on probability. Philosophical Theories of Probability is the first book to present a clear, comprehensive and systematic account of these various theories and to explain how they relate to one another. Gillies also offers a distinctive version of the propensity theory of probability, and the intersubjective interpretation, which develops the subjective theory.

Husserl and Shestov: philosophical antipodes

Directory of Open Access Journals (Sweden)

Katarzyna Szepieniec

2014-06-01

Full Text Available The paper contains a general characteristics of the relation between Lev Shestov’s philosophy of existence and transcendental phenomenology of Edmund Husserl. The analysis was largely inspired by Cezary Wodziński’s research on Shestov’s writings, including his book published in Polish Wiedza a zbawienie. Studium myśli Lwa Szestowa (1991. In 1931, inspired by Descartes’ Meditationes de prima philosophiae, Husserl began a total transformation of philosophy into a science absolutely founded, assumptionless and developed in the spirit of absolute self-responsibility. Thus, the idea of philosophy as an exact science and Descartes’ idea of a science absolutely founded became the aim. It resulted in a project of universal science which — according to Husserl — has been the aim of European philosophy from the beginning. Ultimately, this philosophy was to rebuild the whole model of European culture. Less than two years after the first edition of Die Krisis der europäischen Wissenchaften und die transzendentale Phänomenologie, Lev Shestov published his Athens and Jerusalem (1938 where he agrees with Husserl’s diagnosis that the whole European culture is in a stage of a deep crisis which goes to its very foundations. However, Shestov points at the radically different sources of that crisis. Paradoxically, a remarkable friendship connecting these two thinkers did not affect the similarity of their views. In fact, they are located at the opposite poles of the contemporary philosophical scene. The friendship of Shestov and Husserl was born in the atmosphere of an intense and uncompromising intellectual debate. Both thinkers are strongly convinced that the fate of European culture and European understanding what it is to be man are decided in the realm of philosophy. So, the philosophical projects they offer are two extremely critical visions of culture. At the same time they suggest a way the European culture should be thoroughly reformed

A Look at Informal Logic

Directory of Open Access Journals (Sweden)

Iryna Khomenko

2018-04-01

Full Text Available The challenges of the global time require new solutions and up-to-date ways of thinking and communication. These challenges call for the ability to use critical thinking to face the ever-changing world and the ability to maintain a dialog based on the effective skills of communication. Studies in the fields of logic and argumentation theory are of particular importance in this regard. Nowadays they can be presented as a mix of theoretical and practical approaches. In this paper, I will present my reflections on informal logic, which was formed in the late 1970s. Unfortunately, in spite of numerous papers, books, and text-books published over the last forty years, consensus on many issues in this field has not been achieved so far. Therefore, it is difficult to treat informal logic as one of the well-defined approaches to argumentation. The goal of this paper is to take a look at the place of informal logic in state-of-the art study of argumentation by clarifying its subject matter and figuring out the realm to which informal logic belongs.

Hybrid Logical Analyses of the Ambient Calculus

DEFF Research Database (Denmark)

Bolander, Thomas; Hansen, René Rydhof

2007-01-01

In this paper, hybrid logic is used to formulate a rational reconstruction of a previously published control flow analysis for the mobile ambients calculus and we further show how a more precise flow-sensitive analysis, that takes the ordering of action sequences into account, can be formulated...... in a natural way. We show that hybrid logic is very well suited to express the semantic structure of the ambient calculus and how features of hybrid logic can be exploited to reduce the "administrative overhead" of the analysis specification and thus simplify it. Finally, we use HyLoTab, a fully automated...

'To Philosophize is to Learn How to Die?'

Directory of Open Access Journals (Sweden)

Saitya Brata Das

2008-06-01

Full Text Available Philosophical thinking, as it is thinking of existence, is essentially finite thinking. This is to say that as thinking of existence, philosophical thinking is essentially also thinking of finitude. This ‘also' is not the accidental relationship between existence and finitude. Rather, to think existence in its finitude, insofar as existence is finite, is to think existence in its existentiality. Philosophy that gives itself the task of thinking the relationship between existence and finitude, must in the same gesture, be concerned with its own finitude: to philosophize is not only to think the finitude of existence, but the very finitude of thinking that thinks finite existence. To philosophize is not only to philosophize the finitude of existence as such, but also in so far as philosophising itself is a task which is essentially in itself finite. To assume as the task of thinking the finitude of existence is to think the very finitude of philosophical thinking: this is the profound relationship that exists between existence and philosophy, which is that philosophizing existence and an existential philosophy are essentially finite. This is perhaps what Socrates says of philosophizing: ‘to philosophize is to learn how to die.' "To philosophize is to learn how to die": this is to say, to philosophize is to learn that philosophy and existence are essentially finite. Philosophy and existence belong to finitude and gifts of finitude; therefore to philosophize is to learn how existence is this gift. To be able to learn how existence is this gift of finitude, to be able to assume this gift that makes existence essentially finite, which is to be able to assume existence at all, is to be able to die.' Learning to die' then comes to signify the ability of dying, which is in the same gesture, the ability of existing: existence, and dying at the end must be this ability, of existing and dying. Philosophizing must provide, then, the learning of this

Understanding Philosophical Counseling | Sivil | South African ...

African Journals Online (AJOL)

philosophical counseling by exploring its points of convergence to and deviation from its complimentary parts – philosophy and counseling. The practical and applied orientation of philosophical counseling seems worlds apart from what many consider to exemplify philosophy – theoretical, intellectual and abstract concern ...

The Logic of Appearance: Dennett, Phenomenology and Psychoanalysis

Science.gov (United States)

Feyaerts, Jasper; Vanheule, Stijn

2017-01-01

In the present essay, we aim to develop and contrast three different positions toward Sellars’ distinction between the manifest and scientific images of man: Dennett’s philosophical reconstruction of neurocognitive science, contemporary phenomenology and psychoanalysis. We will suggest that these respective traditions and the substantial differences between them can be understood in terms of a ‘logic of appearance.’ Related to this are differing ideas about the rights and limits of the first-person perspective, the relation between conscious experience and belief, and the issue of naturalization. In the final part, we will try to specify, on the basis of a detailed reading of the disagreement between Dennett and phenomenology, in what way psychoanalytic theory could respond to these different issues. PMID:28878725

Conjoined Twins: Philosophical Problems and Ethical Challenges.

Science.gov (United States)

Savulescu, Julian; Persson, Ingmar

2016-02-01

We examine the philosophical and ethical issues associated with conjoined twins and their surgical separation. In cases in which there is an extensive sharing of organs, but nevertheless two distinguishable functioning brains, there are a number of philosophical and ethical challenges. This is because such conjoined twins: 1. give rise to puzzles concerning our identity, about whether we are identical to something psychological or biological; 2. force us to decide whether what matters from an ethical point of view is the biological life of our organisms or the existence of our consciousness or mind; 3. raise questions concerning when, if ever, it is morally acceptable to sacrifice one of us to save another; 4. force us to reflect on the conditions for ownership of organs and the justification of removal of organs for transplantation which causes the death of the donor; 5. raise questions about who should take decisions about life-risking treatments when this cannot be decided by patients themselves. We examine and suggest answers to these questions. © The Author 2015. Published by Oxford University Press, on behalf of the Journal of Medicine and Philosophy Inc. All rights reserved. For permissions, please e-mail: journals.permissions@oup.com.

The scientist as philosopher philosophical consequences of great scientific discoveries

CERN Document Server

Weinert, Friedel

2005-01-01

How do major scientific discoveries reshape their originators’, and our own, sense of reality and concept of the physical world? The Scientist as Philosopher explores the interaction between physics and philosophy. Clearly written and well illustrated, the book first places the scientist-philosophers in the limelight as we learn how their great scientific discoveries forced them to reconsider the time-honored notions with which science had described the natural world. Then, the book explains that what we understand by nature and science have undergone fundamental conceptual changes as a result of the discoveries of electromagnetism, thermodynamics and atomic structure. Even more dramatically, the quantum theory and special theory of relativity questioned traditional assumptions about causation and the passage of time. The author concludes that the dance between science and philosophy is an evolutionary process, which will keep them forever entwined.

Human Freedom and the Philosophical Attitude

Science.gov (United States)

Rider, Sharon

2015-01-01

Attempts to describe the essential features of the Western philosophical tradition can often be characterized as "boundary work", that is, the attempt to create, promote, attack, or reinforce specific notions of the 'philosophical' in order to demarcate it as a field of intellectual inquiry. During the last century, the dominant tendency…

Data Logic

DEFF Research Database (Denmark)

Nilsson, Jørgen Fischer

A Gentle introduction to logical languages, logical modeling, formal reasoning and computational logic for computer science and software engineering students......A Gentle introduction to logical languages, logical modeling, formal reasoning and computational logic for computer science and software engineering students...

Human Being and the Philosophical Discourse

Directory of Open Access Journals (Sweden)

Mirela Arsith

2012-05-01

Full Text Available The hypothesis from which we start our approach is the one according to which the philosophicaldiscourse is a specific way of communicating the reality. The base of the philosophical communication issurprise, doubt, uncertainty, anxiety, all generated by the fundamental interrogations of Kantian origin: Howmuch am I able to know? What do I have to do? What am I allowed to hope? The answers to all thesequestions were set up in philosophical concepts and visions, all of them leading to communication, trying toexpress themselves and make themselves understood. Communicability is the very essence of thephilosophical approach. Actually, communication is a fundamental philosophical attitude as I, in my capacityof human being, live only with the other, in full interaction. On my own I am nothing. Throughout this paperwe find arguments for the idea according to which the philosophical discourse subordinates an art ofgenuinely living and communicating about balance and avoidance of excess, about the ability to assume andovercome, about lucidity and wisdom, about credibility, certainty and truth, about freedom and limitation,about the meaning and value of the human condition.

[On the philosophical genealogy of Freud].

Science.gov (United States)

Dimitrov, C T

1975-06-01

The origins of psycho-analysis, like those of every other medico-psychological study, have their own particular scientific and specific social, historical and philosophical-theoretical presuppositions. Freud's philosophical genealogy is closely linked to classical german philosophy and subsequent philosophical movements. I. Kant, J.-F. Herbart, A. Schopenhauer, F. Nietzsche, E. v. Hartmann, G. T. Fechner, E. Mach, W. Ostwald, L. Feuerbach and others did not only emphasise the significance of drives and the unconscious in human behaviour, they also described many psychological mechanisms from depth psychology, (for example repression, condensation, substitution, sublimation). Some false theoretical trends in psycho-analysis (biologism, psychologism and simplifying psycho-energetics to simplify) can be explained to some extent by the influences mentioned above.

Philosophical Papers

African Journals Online (AJOL)

The other minds skeptic supposes there may be no minds other than his. The external world skeptic thinks there could be no world external to him. Some philosophers think a person can refute the skeptic and prove that his world is not the solitary scenario the skeptic supposes his could be. In this paper I examine one ...

Extending Value Logic Thinking to Value Logic Portfolios

DEFF Research Database (Denmark)

Andersen, Poul Houman; Ritter, Thomas

2014-01-01

Based on value creation logic theory (Stabell & Fjeldstad, 1998), this paper suggests an extension of the original Stabell & Fjeldstad model by an additional fourth value logic, the value system logic. Furthermore, instead of only allowing one dominant value creation logic for a given firm...... or transaction, an understanding of firms and transactions as a portfolio of value logics (i.e. an interconnected coexistence of different value creation logics) is proposed. These additions to the original value creation logic theory imply interesting avenues for both, strategic decision making in firms...

Evaluating the philosophical foundation of 2013 Curriculum

Directory of Open Access Journals (Sweden)

M. Mardiana

2017-12-01

Full Text Available The study was to: (1 identify the interpretation toward the philosophical foundation of 2013 Curriculum; and (2 evaluate the philosophical foundation of 2013 Curriculum. In order to achieve these objectives, the researchers implemented the method of philosophy interpretation, namely a method that might discover an individual’s paradigm through the texts or the articles that he or she composed. Furthermore, in order to evaluate the philosophical foundation of 2013 Curriculum the researchers implemented certain criteria and this effort was supported by the expert interview. The data were analyzed by means of hermeneutic method, namely the presence of a relationship among the three elements namely text, interpreter and reader. The conclusions of the study then were as follows: (1 the interpretation toward the philosophical foundation of 2013 Curriculum contained six points namely: (a establishing and developing the nation’s attitude and civilization or the nation’s character, (b developing the curriculum based on the nation’s culture, (c referring to the fact that education had been a process of developing the learning participants’ potentials, (d referring to the fact that education had been based on the nation’s culture and experience in the past, (e referring to the fact that education had been basis of the nation’s life continuity and (f Referring to the fact that education had been adjusted to the life of the learning participants as an individual, a society member and a citizen; (2 the six philosophical reasons namely: (a perennialism, (b essentialism, (c progressivism, (d pragmatism, (e existentialism and (f reconstructionism; (3 the following evaluation results: (a the philosophical foundation of 2013 Curriculum based on the interpretation results had provided clear educational objectives and functions, (b the philosophical foundation of 2013 Curriculum had been in accordance to facts, (c the philosophical foundation of 2013

Philosophical Toys Today

Czech Academy of Sciences Publication Activity Database

Dvořák, Tomáš

2013-01-01

Roč. 35, č. 2 (2013), s. 173-196 ISSN 1210-0250 R&D Projects: GA ČR(CZ) GAP401/11/2338 Institutional support: RVO:67985955 Keywords : philosophical toys * scientific instruments * modern visual culture Subject RIV: AA - Philosophy ; Religion

Three-valued logics in modal logic

NARCIS (Netherlands)

Kooi, Barteld; Tamminga, Allard

2013-01-01

Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-valued logic into a modal formula. Second, we

Towards a Formal Occurrence Logic based on Predicate Logic

DEFF Research Database (Denmark)

Badie, Farshad; Götzsche, Hans

2015-01-01

In this discussion we will concentrate on the main characteristics of an alternative kind of logic invented by Hans Götzsche: Occurrence Logic, which is not based on truth functionality. Our approach is based on temporal logic developed and elaborated by A. N. Prior. We will focus on characterising...... argumentation based on formal Occurrence Logic concerning events and occurrences, and illustrate the relations between Predicate Logic and Occurrence Logic. The relationships (and dependencies) is conducive to an approach that can analyse the occurrences of ”logical statements based on different logical...... principles” in different moments. We will also conclude that the elaborated Götzsche’s Occurrence Logic could be able to direct us to a truth-functional independent computer-based logic for analysing argumentation based on events and occurrences....

Specifics of methodology historical and philosophical researh of hesychasm

Directory of Open Access Journals (Sweden)

A. B. Klimenko

2014-03-01

Full Text Available The article is devoted to the research methodology of  Hesychasm ­ one of the most important schools of the Byzantine philosophy, which played a significant role in the development of modern civilization. However, to date it remains a kind of «terra incognita» for the world historical and philosophical thought. Hesychasm is a kind of Christian mystical worldview that is embodied in a certain spiritual practices that form the basis of Orthodox asceticism. Even half a century ago, history of philosophy left without attention of philosophical and theological teachings of the authors of the late antiquity and the early middle ages, be they Christian thinkers or the neo­Platonists. The era of post­Plotins philosophers Neoplatonists or commentators on Aristotle considered as a period of decline of this philosophy and the time of the rise of irrationality. For the same reason it was considered that the system of Christian thinkers cannot and should not be subject to the historical and philosophical science. This fully relates Hesychasm. However, on the basis of works of the French philosopher P. Ado, the paper argues that philosophy in late antiquity when there is Hesychasm is first of all a way of life, and therefore Hesychasm can be considered as a specific philosophical school of Christian asceticism. The main modern method of historical and philosophical studies is the hermeneutical reconstruction of cultural meaning of the philosophical texts, however, Hesychasm cannot be reduced to the «amount of texts» or rational philosophical discourses. When learning is impossible not to take into account the existing experience, what is behind the lyrics: the experience of the inner purification, «the noetic prayer, which often has verbal reflection. Therefore, along with the use of hermeneutic and semiotic principles of research work with the texts, there is a problem of the analysis of the experience of spiritual practices. This requires the use

Logic programming extensions of Horn clause logic

Directory of Open Access Journals (Sweden)

Ron Sigal

1988-11-01

Full Text Available Logic programming is now firmly established as an alternative programming paradigm, distinct and arguably superior to the still dominant imperative style of, for instance, the Algol family of languages. The concept of a logic programming language is not precisely defined, but it is generally understood to be characterized buy: a declarative nature; foundation in some well understood logical system, e.g., first order logic.

Intuitionistic hybrid logic

DEFF Research Database (Denmark)

Braüner, Torben

2011-01-01

Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area.......Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area....

Mario Bunge: Physicist and Philosopher

Science.gov (United States)

Matthews, Michael R.

Mario Bunge was born in Argentina in the final year of the First World War.He learnt atomic physics and quantum mechanics from an Austrian refugee who had been a student of Heisenberg. Additionally he taught himself modern philosophy in an environment that was a philosophical backwater. He was the first South American philosopher of science to be trained in science. His publications in physics, philosophy, psychology, sociology and the foundations of biology, are staggering in number, and include a massive 8-volume Treatise on Philosophy. The unifying thread of his scholarship is the constant and vigorous advancement of the Enlightenment Project, and criticism of cultural and academic movements that deny or devalue the core planks of the project: namely its naturalism, the search for truth, the universality of science, rationality, and respect for individuals. At a time when specialisation is widely decried, and its deleterious effects on science, philosophy of science, educational research and science teaching are recognised - it is salutary to see the fruits of one person's pursuit of the Big'' scientific and philosophical picture.

Philosophical Papers: Submissions

African Journals Online (AJOL)

Articles should be relevant to the analytic tradition in philosophy, understood broadly and including critiques of that tradition. All submissions are independently refereed. In most cases, decisions are based on reports from at least two referees. Final editorial decisions are made by the Editorial Board of Philosophical Papers.

Classical logic and logicism in human thought

OpenAIRE

Elqayam, Shira

2012-01-01

This chapter explores the role of classical logic as a theory of human reasoning. I distinguish between classical logic as a normative, computational and algorithmic system, and review its role is theories of human reasoning since the 1960s. The thesis I defend is that psychological theories have been moving further and further away from classical logic on all three levels. I examine some prominent example of logicist theories, which incorporate logic in their psychological account, includin...

Molecular logic gates: the past, present and future.

Science.gov (United States)

Erbas-Cakmak, Sundus; Kolemen, Safacan; Sedgwick, Adam C; Gunnlaugsson, Thorfinnur; James, Tony D; Yoon, Juyoung; Akkaya, Engin U

2018-04-03

The field of molecular logic gates originated 25 years ago, when A. P. de Silva published a seminal article in Nature. Stimulated by this ground breaking research, scientists were inspired to join the race to simulate the workings of the fundamental components of integrated circuits using molecules. The rules of this game of mimicry were flexible, and have evolved and morphed over the years. This tutorial review takes a look back on and provides an overview of the birth and growth of the field of molecular logics. Spinning-off from chemosensor research, molecular logic gates quickly proved themselves to be more than intellectual exercises and are now poised for many potential practical applications. The ultimate goal of this vein of research became clearer only recently - to "boldly go where no silicon-based logic gate has gone before" and seek out a new deeper understanding of life inside tissues and cells.

Naming Being - or the Philosophical Content of Heidegger's National Socialism

NARCIS (Netherlands)

Blok, V.

2012-01-01

This contribution discusses the philosophical meaning of the Martin Heidegger’s Rectoral address. First of all, Heidegger’s philosophical basic experience is sketched as the background of his Rectoral address; the being-historical concept of “Anfang”. Then, the philosophical question of the Rectoral

Two Forms of Philosophical Argument or Critique

Science.gov (United States)

Marshall, James D.

2004-01-01

In this paper the author looks at two forms of philosophical argument or critique. These are derived by himself from the work of the late Kantian scholar, Stephan Korner who, in his book "What is Philosophy?" (1969), draws a number of distinctions between different forms of "philosophical" argument or critique. The two forms of derived argument,…

The philosopher in Plato’s state

Directory of Open Access Journals (Sweden)

Nikitović Aleksandar

2012-01-01

Full Text Available Plato’s political theory rests on metaphysical principles that are understandable to only a few. It is assumed that only a narrow group of philosophers is able to put this theory into practice, and using repressive measures. The fewer the initiated the greater the repression. It is assumed that those who do not know the truth can neither predict their destiny nor do anything to make it better because they are unable to understand the goal and purpose of the repression. It is demonstrated that, in the imagined use of force, the sophists, who do acknowledge it, resort to repression to a much lesser extent than Plato’s philosopher. At first, Plato’s philosopher rejects the use of force as virtue, but it turns out to be indispensible, and in incomparably more aspects than it was in the sophists’ case. [Projekat Ministarstva nauke Republike Srbije, br. 179049

Logical labyrinths

CERN Document Server

Smullyan, Raymond

2008-01-01

This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic, a subject that has many important applications to philosophy, mathematics, and computer science. T

Training and "Abrichtung": Wittgenstein as a Tragic Philosopher of Education

Science.gov (United States)

Friesen, Norm

2017-01-01

As a landmark philosopher of language and of mind, Ludwig Wittgenstein is also remarkable for having crossed, with apparent ease, the "continental divide" in philosophy. It is consequently not surprising that Wittgenstein's work, particularly in the "Philosophical Investigations," has been taken up by philosophers of education…

Philosophical and methodological analyses in Japanese particle physics

Energy Technology Data Exchange (ETDEWEB)

Bardos, G. (Kossuth Lajos Tudomanyegyetem, Debrecen (Hungary). Elmeleti Fizikai Tanszek)

1984-01-01

The history and philosophy of the Japanese school of dialectical materialism and its influence on nuclear and particle physicists are discussed. The ideas of main characters of this philosophical school are summerized. Parallel physical and philosophical works of Sakata are analyzed.

[Different philosophical traditions for knowledge development in nursing sciences].

Science.gov (United States)

Ballard, Ariane; Khadra, Christelle; Le May, Sylvie; Gendron, Sylvie

2016-03-01

doctoral studies in nursing engage a critical reflections about philosophical traditions inherent to knowledge development. critical realism, hermeneutics, postmodernism and poststructuralism refer to philosophical traditions that are generally less explored in nursing, although they are attracting greater attention. this paper offers an introductory presentation to these traditions as the authors also reflect upon their contribution to nursing knowledge development in. for each tradition, ontological and epistemological properties are presented to provide an overview of their main features. Contributions to nursing knowledge development are then discussed. ontology refers to stratified, fixed and changing, or multiple realities, depending on the philosophical tradition. Likewise, epistemology emphasizes the explanatory power of knowledge, intersubjectivity, or inherent power dynamics. the diversity of philosophical traditions represents an asset that can significantly contribute to the advancement of the nursing discipline. clarification of the philosophical dimensions that underlie knowledge development is essential for doctoral nursing students in the process of developing their research projects and future programmes of research.

Social-philosophical practices of success

Directory of Open Access Journals (Sweden)

S. R. Karpenko

2017-01-01

Is social-philosophical experts of success represent the complicated system of various world outlook, speech, mental factors and events in life of the various professional, age and subcultural bunches producing assessments under different visual angles, from positions of various social installations and identity in what the social philosophy of success expresses. In the course of forming social an expert (both in daily, and in an institutional discourse are shaped also theoretical ideas success: instrumental, is social-philosophical, is social-psychological, world outlook, historical and cultural, etc., characterising thereby various systems of a social discourse. Examination is social-philosophical the success expert shows the real complexity and ambiguity of the given appearance. Besides the presented typology constructed as the most approximate abstract plan, in each separate case probably build-up of typological models according to a principle ad hoc. It looks quite justified, considering that circumstance that representations about success and the successful person are constantly transformed and acquire new performances. Efficiency of the further examinations of a discourse and a success expert will depend on accepting of new heuristic approaches, capable to consider multidimensionality and ambiguity of the given phenomenon.

Interacting institutional logics in general dental practice.

Science.gov (United States)

Harris, Rebecca; Holt, Robin

2013-10-01

We investigate the organisational field of general dental practice and how agents change or maintain the institution of values associated with the everyday work of health care provision. Our dataset comprise archival literature and policy documents, interview data from field level actors, as well as service delivery level interview data and secondary data gathered (2011-12) from 16 English dental practices. Our analysis provides a typology of institutional logics (prevailing systems of value) experienced in the field of dental practice. Confirming current literature, we find two logics dominate how care is assessed: business-like health care and medical professionalism. We advance the literature by finding the business-like health care logic further distinguished by values of commercialism on the one hand and those of accountability and procedural diligence on the other. The logic of professionalism we also find is further distinguished into a commitment to clinical expertise and independence in delivering patient care on the one hand, and concerns for the autonomy and sustainability of a business enterprise on the other. Copyright © 2013 The Authors. Published by Elsevier Ltd.. All rights reserved.

Discussing a Philosophical Background for the Ethnomathematical Program

Science.gov (United States)

Vilela, Denise Silva

2010-01-01

This article examines the extent to which Wittgenstein's analytical framework may be relevant to philosophical reflection on ethnomathematics. The discussion develops Bill Barton's suggestion that a philosophical basis for the ethnomathematical program should include and explain culturally different mathematics systems, and the coexistence of…

Terrorism: some philosophical and ethical dilemmas

OpenAIRE

Stojanov, Trajce; Unsal, Zeynep

2017-01-01

Philosophers weren`t thinking a lot about terrorism before the terrorist attacks in the United States on 11 September 2001. Or even when they were thinking the main concern was how to deal with terrorism. But after this attack terrorism was high on the philosophical agenda mainly manifested as an ethical problem. The key concern was: can terrorism be morally justified? That is the issue we are dealing in this paper too. But, the answer of this question largely depends on the treatment of t...

Encyclopedia of cosmology historical, philosophical, and scientific foundations of modern cosmology

CERN Document Server

Hetherington, Norriss S

2014-01-01

The Encyclopedia of Cosmology, first published in 1993, recounts the history, philosophical assumptions, methodological ambiguities, and human struggles that have influenced the various responses to the basic questions of cosmology through the ages, as well as referencing important scientific theories.Just as the recognition of social conventions in other cultures can lead to a more productive perspective on our own behaviour, so too a study of the cosmologies of other times and places can enable us recognise elements of our own cosmology that might otherwise pass as inevitable developments.Ap

The Philosopher In The Newspaper: Serhiy Krymsky As A Public Intellectual

Directory of Open Access Journals (Sweden)

Melnyk Andriy

2015-06-01

Full Text Available Interactions of philosophical and journalistic spheres, mediatization of philosophy are main problems of this article. Author considers public philosophy of contemporary Ukrainian philosopher Serhiy Krymsky and determines a role of philosophical journalism in modern media discourse.

Co to znaczy filozofować? (What does Philosophizing Mean?

Directory of Open Access Journals (Sweden)

Aldona Pobojewska

2011-09-01

Full Text Available A philosophy teacher should constantly raise the question about the form of philosophical education. Following this need I undertook the problem “what is the philosophizing” once again. The results of this reflection are the following paper presented. It has two main parts. In the first – I present the philosophizing as rational reasoning which has to do with science and with common sense thinking even. In thesecond part – I point out a set of properties specific to philosophizing.

THE RECEPTION OF THE PHILOSOPHICAL TRADITION AS A WAY OF FORMING AMERICAN PERSONALISM: THE POST-SECULAR VIEW

Directory of Open Access Journals (Sweden)

V. O. Patsan

2016-06-01

reconstruction of its genesis oriented towards the meta-ontological dimension of the personality. The scientific novelty of the study consists in initiating the reflection of the way of defining the inner experience of the self as the all-sufficient criterion of cognition which was paved by the personalist thought of the USA in the course of revising the classical rationalist models of the subjectivity and broke the ground for constructing “the personal world” in the space of rational consciousness formed in North America. On the base of analyzing Bowne's revision of Kant's transcendental idealism aimed at the explication of the immediacy of self-experience the author reveals that such argumentation for its cognitive primacy transforms into affirming the mediation of the inner appeal of the human personality to living God by the outer interpersonal experience of rational cognition. The revealed regression to the rationally mediated relationship of the created person with Creator is connected with the restriction of the research for “personal beginning of all speculation” which resulted in the personal metaphysics of B. P. Bowne by the rationalistic tools of the personal self-reflection.  The study proves that it was predetermined by the philosopher's confessional belonging to the Methodist Church detached from patristic Trinitology and Christology forming the arsenal of trinitarian meta-logic intended to expound the personhood as the ultimate principle of being. Conclusions define the resource of Bowne's idea of the “personal interpretation of experience” which inspired the subsequent “personalized” ontological constructions in the personalistic domain established on the North American continent. They form the dialogic space of the personalist philosophy of the USA predetermining the accumulation of its potential in the interaction with other philosophical currents.  Manifesting itself as the personalistic inspiration of the emerging trends of thought this

Hybrid Logical Analyses of the Ambient Calculus

DEFF Research Database (Denmark)

Bolander, Thomas; Hansen, René Rydhof

2007-01-01

In this paper, hybrid logic is used to formulate a rational reconstruction of a previously published control flow analysis for the mobile ambients calculus and we further show how a more precise flow-sensitive analysis, that takes the ordering of action sequences into account, can be formulated...

Philosophical counselling: Towards a 'new approach' in pastoral ...

African Journals Online (AJOL)

In this article it was argued that philosophical counselling opens up new avenues for pastoral care and counselling. Philosophical counselling probes into the realm of different schemata of interpretation. A model for the making of a spiritual existential analysis was proposed in order to detect the impact of the Christian ...

The philosophical terrain of behavior analysis: a review of B. A. Thyer (Ed.), The Philosophical Legacy of Behaviorism.

Science.gov (United States)

Lamal, P A

2000-09-01

The Philosophical Legacy of Behaviorism, edited by Bruce A. Thyer, is a set of original contributions, each dealing, from a behavioral stance, with one of the following major topics of philosophy: epistemology, ethics, consciousness, language, free will and determinism, and self-control. Confusions about radical behaviorism and its similarities to, and differences from, other behavioral and non-behavioral approaches are described in the book, which provides a state-of-the-art description of the philosophical underpinnings of behavior analysis.

PHILOSOPHICAL AND ANTHROPOLOGICAL PRINCIPLES OF AESTETICS IN POST-CLASSICAL EPOCH

Directory of Open Access Journals (Sweden)

Dariia M. Skalska

2013-09-01

Full Text Available Purpose. To understand the dynamics of aesthetic conception as representative of the main directions of philosophical anthropology, identifying their contribution to the development of aesthetics and expand its research field. The condition of the study of the problem is the evolutionary process of adequateness, authenticity and alternativeness in determination of both the phenomenon of "aesthetic" and its role in philosophical and anthropological  convention. Methodology. Both the measurements of aesthetic as a unique, peculiar, specific and aesthetic dimensions of philosophical anthropology /systems of philisophy/ have in sight  the necessity to solve the same problem - the identification of new methodological basis. Theoretical results. The experience of theoretical researches of contemporary domestic and foreign philosophical and aesthetic schools іs generalized. The content of phenomenological and existential breakthrough in  modern age  of aesthetics іs revealed. The essence of "anthropological turn" in European philosophy of 20th century  as philosophical paradigm of the modern age and its impact on development of aesthetic theories of post-classical period was investigated. Conclusion. Philosophical and anthropological studies have amounted the "methodological synthesis" that appeared as the theoretical principles of the understanding of aesthetics due to its polystylistics.

Logical Characterisation of Ontology Construction using Fuzzy Description Logics

DEFF Research Database (Denmark)

Badie, Farshad; Götzsche, Hans

had the extension of ontologies with Fuzzy Logic capabilities which plan to make proper backgrounds for ontology driven reasoning and argumentation on vague and imprecise domains. This presentation conceptualises learning from fuzzy classes using the Inductive Logic Programming framework. Then......, employs Description Logics in characterising and analysing fuzzy statements. And finally, provides a conceptual framework describing fuzzy concept learning in ontologies using the Inductive Logic Programming....

YHWH and the God of philosophical theology

Directory of Open Access Journals (Sweden)

J W Gericke

2005-10-01

Full Text Available In popular orthodox Christian philosophical theology, it is often taken for granted that the divine philosophised about is none other than the Hebrew deity YHWH himself. Moreover , it is often assumed that the Old� Testament depicts YHWH as being, inter alia, single, omnipotent, omniscient, omnipresent, and eternal. Now while it is to be admitted that there are indeed depictions of YHWH in the Old Testament in which his profile might be thought of as corresponding more or less to the popular philosophical ideal, it is also true that there are many representations that contradict it. In this article, the author looks at how the popular profile of� YHWH in the Old Testament as reconstructed by some philosophical theologians claiming to be �biblical�� is deconstructed when it is juxtaposed with alternative renderings of the divine in the same texts.

Manipulating potential wells in Logical Stochastic Resonance to obtain XOR logic

International Nuclear Information System (INIS)

Storni, Remo; Ando, Hiroyasu; Aihara, Kazuyuki; Murali, K.; Sinha, Sudeshna

2012-01-01

Logical Stochastic Resonance (LSR) is the application of Stochastic Resonance to logic computation, namely the phenomenon where a nonlinear system driven by weak signals representing logic inputs, under optimal noise, can yield logic outputs. We extend the existing results, obtained in the context of bistable systems, to multi-stable dynamical systems, allowing us to obtain XOR logic, in addition to the AND (NAND) and OR (NOR) logic observed in earlier studies. This strategy widens the scope of LSR from the application point of view, as XOR forms the basis of ubiquitous bit-by-bit addition, and conceptually, showing the ability to yield non-monotonic input–output logic associations. -- Highlights: ► We generalize Logical Stochastic Resonance from bistable to multi-stable systems. ► We propose a tristable dynamical system formed of piecewise linear functions. ► The system can correctly reproduce XOR logic behavior using the LSR principle. ► The system yields different logic behavior without the need to change the dynamics.

Classical Mathematical Logic The Semantic Foundations of Logic

CERN Document Server

Epstein, Richard L

2011-01-01

In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. These lead to the formalization of the real numbers and Euclidean plane geometry. The scope and limitations of modern logic are made clear in these formalizations. The book provides detailed explanations of all proo

Open Access, data capitalism and academic publishing.

Science.gov (United States)

Hagner, Michael

2018-02-16

Open Access (OA) is widely considered a breakthrough in the history of academic publishing, rendering the knowledge produced by the worldwide scientific community accessible to all. In numerous countries, national governments, funding institutions and research organisations have undertaken enormous efforts to establish OA as the new publishing standard. The benefits and new perspectives, however, cause various challenges. This essay addresses several issues, including that OA is deeply embedded in the logic and practices of data capitalism. Given that OA has proven an attractive business model for commercial publishers, the key predictions of OA-advocates, namely that OA would liberate both scientists and tax payers from the chains of global publishing companies, have not become true. In its conclusion, the paper discusses the opportunities and pitfalls of non-commercial publishing.

Hybridity in the Higher Education of Ukraine: Global Logic or Local Idiosyncrasy?

Directory of Open Access Journals (Sweden)

Olga Gomilko

2016-10-01

Full Text Available Hybridity as a heuristic concept of the globalization and post-colonialism discourses is used for 1 understanding the logic of the modernization of the higher education of Ukraine (HEU, and 2 for making a meaningful diagnosis of those educational pathologies that restrain it. The educational pathologies are considered as the conditioned by post-coloniality and post-totalitarianism departure or deviation from the undertaking of the original missions of higher education (HE: “to educate, to train and to undertake research” (World Declaration on Higher Education for the Twenty-First Century: Vision and Action, 1998. Modernity as a philosophical concept and normative ideal that focus on increasing rational components in a human life is exploited for showing the ways of carrying out the missions of HE by adjusting particular patterns of rationality to the needs and wants of society. However, globalization puts modernity under challenges due to its bent toward de/or non-modern cultural practices. That’s why the logic of modernization in HEU acquires hybrid characteristics by fitting together different, multiple, opposing educational models and standards – post-colonial, post-totalitarian, modern, de/non-modern and global through the local acceptance. Therefore, the locality turns into a focal point of the modernization of HEU in a global context. The modernization of HEU reveals the ambivalent meaning of hybridity in its producing and destructive potential, i.e. as a global logic or a local idiosyncrasy.

Transforming equality logic to propositional logic

NARCIS (Netherlands)

Zantema, H.; Groote, J.F.

2003-01-01

Abstract We investigate and compare various ways of transforming equality formulas to propositional formulas, in order to be able to solve satisfiability in equality logic by means of satisfiability in propositional logic. We propose equality substitution as a new approach combining desirable

Feser on Rothbard as a Philosopher

Directory of Open Access Journals (Sweden)

Gerard Casey

2009-08-01

Full Text Available In “Rothbard as a philosopher” (Feser 2006 Edward Feser harshly criticises the philosophical abilities of Murray Rothbard. According to Feser, Rothbard seems unable to produce arguments that don’t commit obvious fallacies or produces arguments that fail to address certain obvious objections. His criticism centres on what he regards as Rothbard’s principal argument for the thesis of self-ownership. In this paper, I attempt to show that Feser’s criticism fails of its purpose and that Rothbard is very far from being the epitome of philosophical ineptitude that Feser takes him to be.

Towards a Theory of Convention

DEFF Research Database (Denmark)

Hansen, Pelle Guldborg

2006-01-01

Some thirty years ago Lewis published his Convention: A philosophical Study (Lewis 1969). Besides exciting the logical community by providing the seminal analysis work on common knowledge, it also laid the foundations for the formal approach to the study of social conventions by means of game the...

ON DELIMITING AFRICAN PHILOSOPHY AND THE ...

African Journals Online (AJOL)

Ike Odimegwu

Hermeneutical Investigation of the Conditions of its Possibility” - an extract was published in .... defining African philosophy in terms of sages raises the problem that the difference ... beings. Universalism. This is a philosophical view that is rooted in the idea of logic and .... hegemony whether cultural and/or economical.

Logic and Ontology

Directory of Open Access Journals (Sweden)

Newton C. A. da Costa

2002-12-01

Full Text Available In view of the present state of development of non classical logic, especially of paraconsistent logic, a new stand regarding the relations between logic and ontology is defended In a parody of a dictum of Quine, my stand May be summarized as follows. To be is to be the value of a variable a specific language with a given underlying logic Yet my stand differs from Quine’s, because, among other reasons, I accept some first order heterodox logics as genuine alternatives to classical logic I also discuss some questions of non classical logic to substantiate my argument, and suggest that may position complements and extends some ideas advanced by L Apostel.

Structural Logical Relations

DEFF Research Database (Denmark)

Schürmann, Carsten; Sarnat, Jeffrey

2008-01-01

Tait's method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed lambda-calculi. Historically, these proofs have been extremely difficult to formalize in proof assistants with weak meta-logics......, such as Twelf, and yet they are often straightforward in proof assistants with stronger meta-logics. In this paper, we propose structural logical relations as a technique for conducting these proofs in systems with limited meta-logical strength by explicitly representing and reasoning about an auxiliary logic...

The Use of Philosophical Practice in Lifelong and Self-Directed Learning

DEFF Research Database (Denmark)

Hansen, Finn Thorbjørn

2001-01-01

In this article I invite the reader to reconsider philosophical counselling and practice first of all as a pedagogical practice. Recent research in adult education and especially in the area of "self-directed learning" reveals a growing interest in the existential and philosophical dimensions...... of learning and guidance in the adult education setting. I suggest that we use philosophical counselling to strengthen the adult´s capacity for lifelong and self-directed learning and that philosophical practice in general could be connected to a new kind of "existential adult pedagogy"....

IMPLIED AUTHOR IN PHILOSOPHICAL NOVELS

Directory of Open Access Journals (Sweden)

Olga Senkāne

2014-10-01

Full Text Available The present article falls within a number of papers about research on specification of philosophical novels. The aim of this article is to analyze author’s function as a narrative category in classical philosophical novels (Franz Kafka "The Trial" (1925, "The Castle" (1926, Jean-Paul Sartre "Nausea" (1938, Hermann Hesse "The Glass Bead Game" (1943, Albert Camus "The Plague" (1947 and a novel of Latvian prose writer Ilze Šķipsna "Neapsolītās zemes" ["Un-Promised Lands"] (1970. The analysis is based on theoretical ideas of structural narratologists Gerard Genette, William Labov, Seymuor Chatman, Wolf Schmid, as well as philosophers Edmund Husserl, Jean-Paul Sartre, Paul Ricouer and semioticians Yuri Lotman (Юрий Лотман and Umberto Eco. The real author can ”enter” the text only indirectly—as an image, with the help of the storyteller, and the way how this ”entry” happens is determined by the narration of the real author or narrative (communication skills of the author. Thus, the author and implied author are functionally different concepts: author as a real person develops the concept idea, his intention is to define the concept under his original vision; narrator, in its turn, communicates with the reader, representing the concept, and his aim is to select appropriate means of communication with regard to reader’s perceptual abilities.

An evaluation of learning resources in the teaching of formal philosophical methods

Directory of Open Access Journals (Sweden)

Susan A.J. Stuart

2003-12-01

Full Text Available In any discipline, across a wide variety of subjects, there are numerous learning resources available to students. For many students the resources that will be most beneficial to them are quickly apparent but, because of the nature of philosophy and the philosophical method, it is not immediately clear which resources will be most valuable to students for whom the development of critical thinking skills is crucial. If we are to support these students effectively in their learning we must establish what these resources are how we can continue to maintain and improve them, and how we can encourage students to make good use of them. In this paper we describe and assess our evaluation of the use made by students of learning resources in the context of learning logic and in developing their critical thinking skills. We also assess the use of a new resource, electronic handsets, the purpose of which is to encourage students to respond to questions in lectures and to gain feedback about how they are progressing with the material.

BDI Logics

NARCIS (Netherlands)

Meyer, J.J.Ch.; Broersen, J.M.; Herzig, A.

2015-01-01

This paper presents an overview of so-called BDI logics, logics where the notion of Beliefs, Desires and Intentions play a central role. Starting out from the basic ideas about BDI by Bratman, we consider various formalizations in logic, such as the approach of Cohen and Levesque, slightly

Quantum Logic as a Dynamic Logic

NARCIS (Netherlands)

Baltag, A.; Smets, S.

We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear “no”.

Quantum logic as a dynamic logic

NARCIS (Netherlands)

Baltag, Alexandru; Smets, Sonja

We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear "no".

Product Lukasiewicz Logic

Czech Academy of Sciences Publication Activity Database

Horčík, Rostislav; Cintula, Petr

2004-01-01

Roč. 43, - (2004), s. 477-503 ISSN 1432-0665 R&D Projects: GA AV ČR IAA1030004; GA ČR GA201/02/1540 Grant - others:GA CTU(CZ) project 0208613; net CEEPUS(SK) SK-042 Institutional research plan: CEZ:AV0Z1030915 Keywords : fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras Subject RIV: BA - General Mathematics Impact factor: 0.295, year: 2004

Against Logical Form

Directory of Open Access Journals (Sweden)

P N Johnson-Laird

2010-10-01

Full Text Available An old view in logic going back to Aristotle is that an inference is valid in virtue of its logical form. Many psychologists have adopted the same point of view about human reasoning: the first step is to recover the logical form of an inference, and the second step is to apply rules of inference that match these forms in order to prove that the conclusion follows from the premises. The present paper argues against this idea. The logical form of an inference transcends the grammatical forms of the sentences used to express it, because logical form also depends on context. Context is not readily expressed in additional premises. And the recovery of logical form leads ineluctably to the need for infinitely many axioms to capture the logical properties of relations. An alternative theory is that reasoning depends on mental models, and this theory obviates the need to recover logical form.

The essential Turing Seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life plus the secrets of enigma

CERN Document Server

2004-01-01

The ideas that gave birth to the computer age. Alan Turing, pioneer of computing and WWII codebreaker, was one of the most important and influential thinkers of the twentieth century. In this volume for the first time his key writings are made available to a broad, non-specialist readership. They make fascinating reading both in their own right and for their historic significance: contemporary computational theory, cognitive science, artificial intelligence, and artificial life all spring from this ground-breaking work, which is also rich. in philosophical and logical insight. An introduction

Kantian Turning Point in Gadamer's Philosophical Hermeneutics

Directory of Open Access Journals (Sweden)

Kristína Bosáková

2016-11-01

Full Text Available The paper is treating the theme of a Kantian turning-point in the philosophical hermeneutics of H.- G. Gadamer based on of the harmonic relationship between metaphysics and science in Kantian philosophy from the point of view of the philosophical hermeneutics of Gadamer. The philosophical work of Kant had such an influence on Gadamer that without exaggerating we can talk about the Kantian turning-point in Gadamerian hermeneutics. Grondin, a former student of Gadamer, is talking about Kantian turning-point on the field of aesthetics, but in reality Kantian turning-point means much more than a mere change in the reception of the concept of judgement. It is a discovery of harmonical relationship between the beauty and the moral, between the reason and the sensitivity, between the modern sciences and the metaphysical tradition in the Kantian philosophy, made by Gadamer. This is what we call the Kantian turning-point in Gadamerian hermeneutics.

Peace Education: Exploring Some Philosophical Foundations

Science.gov (United States)

Page, James S.

2004-01-01

Peace education has been recognized as an important aspect of social education for the past three decades. The critical literature as well as official documents, however, have given little attention to its philosophical foundations. This essay explores these foundations in the ethics of (1) virtue, (2) consequentialism, (3) aesthetics, (4) conservative politics and (5) care. Each of these alone composes a significant element of peace education, although ultimately its solid basis can only be established through an integrative approach encouraging a culture of peace. The more complete development and articulation of the philosophical rationale of peace education is yet to be accomplished and remains a task for the future.

Superconductor fluxoid logic

International Nuclear Information System (INIS)

Andronov, A.A.; Kurin, V.V.; Levichev, M.Yu.; Ryndyk, D.A.; Vostokov, V.I.

1993-01-01

In recent years there has been much interest in superconductor logical devices. Our paper is devoted to the analysis of some new possibilities in this field. The main problems here are: minimization of time of logical operations and reducing of device scale. Josephson systems are quite appropriate for this purpose because of small size, short characteristic time and also small energy losses. Two different types of Josephson logic have been investigated during last years. The first type is based on hysteretic V-A characteristic of a single Josephson junction. Superconducting and resistive (with nonzero voltage) states are considered as logical zero and logical unit. The second one - rapid single flux quantum logic, has been developed recently and is based on SQUID-like bistability. Different logical states are the states with different number of magnetic flux quanta inside closed superconducting contour. Information is represented by voltage pulses with fixed ''area'' (∫ V(t)/dt). This pulses are generated when logical state of SQUID-like elementary cell changes. The fundamental role of magnetic flux quantization in this type of logic leads to the necessity of large enough self-inductance of superconductor contour and thus to limitations on minimal device dimensions. (orig.)

Advances in Modal Logic

DEFF Research Database (Denmark)

Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume...... is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space, provability logic, dynamic...... epistemic logic, and the logic of evidence....

Mathematical logic

CERN Document Server

Kleene, Stephen Cole

1967-01-01

Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.

Classical Logic and Quantum Logic with Multiple and Common Lattice Models

Directory of Open Access Journals (Sweden)

Mladen Pavičić

2016-01-01

Full Text Available We consider a proper propositional quantum logic and show that it has multiple disjoint lattice models, only one of which is an orthomodular lattice (algebra underlying Hilbert (quantum space. We give an equivalent proof for the classical logic which turns out to have disjoint distributive and nondistributive ortholattices. In particular, we prove that both classical logic and quantum logic are sound and complete with respect to each of these lattices. We also show that there is one common nonorthomodular lattice that is a model of both quantum and classical logic. In technical terms, that enables us to run the same classical logic on both a digital (standard, two-subset, 0-1-bit computer and a nondigital (say, a six-subset computer (with appropriate chips and circuits. With quantum logic, the same six-element common lattice can serve us as a benchmark for an efficient evaluation of equations of bigger lattice models or theorems of the logic.

Should Philosophers and Educators Be Speaking to Each Other?

Science.gov (United States)

Fenstermacher, Gary D.

2002-01-01

Responds to Arcilla's article, "Why Aren't Philosophers and Educators Speaking to One Another?" suggesting that philosophers and educators are actually speaking to one another, copiously and productively, though the conversation sometimes takes other, less direct modes. The paper asks whether they should be talking to each other,…

Latin American Philosophers: Some Recent Challenges to Their Intellectual Character

Directory of Open Access Journals (Sweden)

Susana Nuccetelli

2016-07-01

Full Text Available For Latin American philosophers, the quality of their own philosophy is a recurrent issue. Why hasn’t it produced any internationally recognized figure, tradition, or movement? Why is it mostly unknown inside and outside Latin America? Although skeptical answers to these questions are not new, they have recently shifted to some critical-thinking competences and dispositions deemed necessary for successful philosophical theorizing. Latin American philosophers are said to lack, for example, originality in problem-solving, problem-making, argumentation, and to some extent, interpretation. Or does the problem arise from their vices of “arrogant reasoning?” On my view, all of these answers are incomplete, and some even self-defeating. Yet they cast some light on complex, critical-thinking virtues and vices that play a significant role in philosophical thinking.

Propositional Logics of Dependence

NARCIS (Netherlands)

Yang, F.; Väänänen, J.

2016-01-01

In this paper, we study logics of dependence on the propositional level. We prove that several interesting propositional logics of dependence, including propositional dependence logic, propositional intuitionistic dependence logic as well as propositional inquisitive logic, are expressively complete

Abductive Logic Grammars

DEFF Research Database (Denmark)

Christiansen, Henning; Dahl, Veronica

2009-01-01

By extending logic grammars with constraint logic, we give them the ability to create knowledge bases that represent the meaning of an input string. Semantic information is thus defined through extra-grammatical means, and a sentence's meaning logically follows as a by-product of string rewriting....... We formalize these ideas, and exemplify them both within and outside first-order logic, and for both fixed and dynamic knowledge bases. Within the latter variety, we consider the usual left-to-right derivations that are traditional in logic grammars, but also -- in a significant departure from...

Peirce and Rationalism: Is Peirce a Fully Semiotic Philosopher?

Science.gov (United States)

Stables, Andrew

2014-01-01

While Peirce is a seminal figure for contemporary semiotic philosophers, it is axiomatic of a fully semiotic perspective that no philosopher or philosophy (semiotics included) can provide any final answer, as signs are always interpreted and the context of interpretation always varies. Semiosis is evolutionary: it may or may not be construed as…

Applications of Logic Coverage Criteria and Logic Mutation to Software Testing

Science.gov (United States)

Kaminski, Garrett K.

2011-01-01

Logic is an important component of software. Thus, software logic testing has enjoyed significant research over a period of decades, with renewed interest in the last several years. One approach to detecting logic faults is to create and execute tests that satisfy logic coverage criteria. Another approach to detecting faults is to perform mutation…

What conceptual spaces can do for Carnap's late inductive logic.

Science.gov (United States)

Sznajder, Marta

2016-04-01

In the last published account of his late inductive logic, the Basic System of Inductive Logic, Rudolf Carnap introduced a new element to the systems of inductive logic, namely the so-called attribute spaces. These geometrical structures model the meanings of the predicates of the object language and have a similar structure as the conceptual spaces employed by cognitive scientists like Peter Gärdenfors. I show how the development of the theory of conceptual spaces helps us to see the addition of attribute spaces as a step forward in explicating the concept of confirmation. I discuss the differences and similarities of the two theories and investigate the possibilities for developing further connections. Copyright © 2016 Elsevier Ltd. All rights reserved.

Philosophical explorations on energy transition

NARCIS (Netherlands)

Geerts, Robert-Jan

2017-01-01

This dissertation explores energy transition from a philosophical perspective. It puts forward the thesis that energy production and consumption are so intimately intertwined with society that the transition towards a sustainable alternative will involve more than simply implementing novel

EDUCATION FOR SUSTAINABLE DEVELOPMENT: PHILOSOPHICAL ASPECT

Directory of Open Access Journals (Sweden)

K. M. Alilova

2016-01-01

Full Text Available Aim. The aim is to consider the relationship of philosophy and education; the article also reviews the Education for Sustainable Development (ESD, a global model for a special educational activity. We also discuss the features of the philosophical approach to the issue of sustainable development. Discussion. In research, we use the method of socio-natural approach, a new educational paradigm that combines the theory and concept of training and education within the anthropocentric approach based on humanistic philosophical ideas which laid the basis for understanding the person as the subject of life, history and culture. We analyzed environmental and educational aspects of sustainable development in the current context. In order to address these challenges, philosophy produces new concepts, theories and paradigms. It is necessary to work on people's motivation and values, develop their cooperation skills, teach civic engagement and democratic by action rather than words. Only a highly educated society can generate environmental paradigm and implement the strategy of sustainable development. Conclusions. We recommend transferring research outcomes into practice in schools starting with elementary school, as well as in vocational schools and universities. Clarifying the essence of the concept of education for sustainable development is possible through philosophical understanding of its genesis and ideas.

Stochastic coalgebraic logic

CERN Document Server

Doberkat, Ernst-Erich

2009-01-01

Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations and an analysis of Kripke models.

God and religion in post-modern philosophers

Directory of Open Access Journals (Sweden)

José J. Queiroz

2016-12-01

Full Text Available This paper is an essay on the positions of some post-modern philosophers on religion, with the debate about post-modernity as a background. Its preliminary objective is to situate post-modernity taking a position between plain acceptance and categorical refusal in contemporary society. In this polemical field, the paper focuses on three important post-modern philosophers by pointing their contributions for a new thinking about religion today. The procedure consists in the reading of the authors´ texts looking for an interpretation of their discourses on God, religion and the sacred. The conclusion is that post-modernity is not as new era overcoming modernity, but that it is comprised of new themes  that are on the fringes  or even  in opposite directions of modernity´s parameters . One can find these themes in many fields of human knowledge including theology and science of religion. On Derrida´s position, who is the most focused philosopher, the text is still embryonic as it comes from ongoing research.  

A Logic Model for Evaluating the Academic Health Department.

Science.gov (United States)

Erwin, Paul Campbell; McNeely, Clea S; Grubaugh, Julie H; Valentine, Jennifer; Miller, Mark D; Buchanan, Martha

2016-01-01

Academic Health Departments (AHDs) are collaborative partnerships between academic programs and practice settings. While case studies have informed our understanding of the development and activities of AHDs, there has been no formal published evaluation of AHDs, either singularly or collectively. Developing a framework for evaluating AHDs has potential to further aid our understanding of how these relationships may matter. In this article, we present a general theory of change, in the form of a logic model, for how AHDs impact public health at the community level. We then present a specific example of how the logic model has been customized for a specific AHD. Finally, we end with potential research questions on the AHD based on these concepts. We conclude that logic models are valuable tools, which can be used to assess the value and ultimate impact of the AHD.

Linking the Tao, biomathics and information through the logic of energy.

Science.gov (United States)

Brenner, Joseph E

2017-12-01

The knowledge accumulated in West and East is incomplete in different ways. The mainstream Western approach has contributed the basis for modern science, but indications have appeared in the Western literature that something has been missing in it that Eastern thought could offer. This paper explores the similarities and differences between Eastern and Western approaches to knowledge and whether a trend exists toward their conjunction or convergence. I suggest that a process of conjunction of these different modes of exploration of what the concepts of 'Life and Mind' really entail, at the interface of philosophy and science, is taking place in the areas of information and biomathics. These conjunctions in China and in the West are characterized by scientific and philosophical systems which are holistic rather than reductionist. I argue that a non-standard, non-truth-functional logic of energy, based on the work of Stéphane Lupasco (1900-1988), provides a thread linking these approaches. Grounded in modern physics, it can describe the qualitative changes which are the focus of Chinese thought. In biology, Lupasco showed how the principles of this logic of dynamic relations operate in intra- and inter-cellular processes and at higher levels of organization. This paper supports key, primarily Chinese concepts and critiques the logical and categorial distinctions underlying and restricting the Western world-view. The paper also supports the implicit openness of Integral Biomathics to qualitative Eastern perspectives. Its finality is to find, from the conjunction, "better ideas for better exploration" of the nature of mind and life. This is not an academic exercise but a moral imperative for both Eastern and Western society. Copyright © 2017 Elsevier Ltd. All rights reserved.

Meta-Logical Reasoning in Higher-Order Logic

DEFF Research Database (Denmark)

Villadsen, Jørgen; Schlichtkrull, Anders; Hess, Andreas Viktor

The semantics of first-order logic (FOL) can be described in the meta-language of higher-order logic (HOL). Using HOL one can prove key properties of FOL such as soundness and completeness. Furthermore, one can prove sentences in FOL valid using the formalized FOL semantics. To aid...

A Logical Approach to Modal Verbs 3. “Must”

Directory of Open Access Journals (Sweden)

Imre Attila

2017-12-01

Full Text Available The article aims at a logical approach to discussing must, organized around the core meaning of necessity, split into epistemic (logical necessity and deontic necessity (obligation. After discussing must as a central modal auxiliary, we present various meanings of must, relying on authoritative sources published for international (English, Hungarian, and Romanian students. Possible issues of teaching must are also dealt with, supported by data from a popular TV series containing modal verbs. The conclusion discusses the importance and relativity of a number of occurrences, trying to offer a possible teaching option for modals stemming from practice.

Fifty years of fuzzy logic and its applications

CERN Document Server

Rishe, Naphtali; Kandel, Abraham

2015-01-01

This book presents a comprehensive report on the evolution of Fuzzy Logic since its formulation in Lotfi Zadeh’s seminal paper on “fuzzy sets,” published in 1965. In addition, it features a stimulating sampling from the broad field of research and development inspired by Zadeh’s paper. The chapters, written by pioneers and prominent scholars in the field, show how fuzzy sets have been successfully applied to artificial intelligence, control theory, inference, and reasoning. The book also reports on theoretical issues; features recent applications of Fuzzy Logic in the fields of neural networks, clustering, data mining, and software testing; and highlights an important paradigm shift caused by Fuzzy Logic in the area of uncertainty management. Conceived by the editors as an academic celebration of the fifty years’ anniversary of the 1965 paper, this work is a must-have for students and researchers willing to get an inspiring picture of the potentialities, limitations, achievements and accomplishments...

Connections among quantum logics

International Nuclear Information System (INIS)

Lock, P.F.; Hardegree, G.M.

1985-01-01

In this paper, a theory of quantum logics is proposed which is general enough to enable us to reexamine a previous work on quantum logics in the context of this theory. It is then easy to assess the differences between the different systems studied. The quantum logical systems which are incorporated are divided into two groups which we call ''quantum propositional logics'' and ''quantum event logics''. The work of Kochen and Specker (partial Boolean algebras) is included and so is that of Greechie and Gudder (orthomodular partially ordered sets), Domotar (quantum mechanical systems), and Foulis and Randall (operational logics) in quantum propositional logics; and Abbott (semi-Boolean algebras) and Foulis and Randall (manuals) in quantum event logics, In this part of the paper, an axiom system for quantum propositional logics is developed and the above structures in the context of this system examined. (author)

Technology, recommendation and design: on being a 'paternalistic' philosopher.

Science.gov (United States)

Wong, Pak-Hang

2013-03-01

Philosophers have talked to each other about moral issues concerning technology, but few of them have talked about issues of technology and the good life, and even fewer have talked about technology and the good life with the public in the form of recommendation. In effect, recommendations for various technologies are often left to technologists and gurus. Given the potential benefits of informing the public on their impacts on the good life, however, this is a curious state of affairs. In the present paper, I will examine why philosophers are seemingly reluctant to offer recommendations to the public. While there are many reasons for philosophers to refrain from offering recommendations, I shall focus on a specific normative reason. More specifically, it appears that, according to a particular definition, offering recommendations can be viewed as paternalistic, and therefore is prima facie wrong to do so. I will provide an argument to show that the worry about paternalism is unfounded, because a form of paternalism engendered by technology is inevitable. Given the inevitability of paternalism, I note that philosophers should accept the duty to offer recommendations to the public. I will then briefly turn to design ethics, which has reconceptualised the role of philosophers and, in my mind, fitted well with the inevitability of paternalism. Finally, I shall argue that design ethics has to be supplemented by the practice of recommendation if it is to sustain its objective.

Religion as a philosophical matter

DEFF Research Database (Denmark)

Albinus, Lars

with groundbreaking thoughts about culture and a basic human 'conditionality' among interwar philosophers such as Ernst Cassirer, Ludwig Wittgenstein, Walter Benjamin, and Martin Heidegger. Finally it draws a line to Jean-Luc Nancy’s deconstruction of Christianity which can also be seen as a deconstruction...

A brief philosophical encounter with science and medicine.

Science.gov (United States)

Karbasizadeh, Amir Ehsan

2013-08-01

We show a lot of respect for science today. To back up our claims, we tend to appeal to scientific methods. It seems that we all agree that these methods are effective for gaining the truth. We can ask why science has its special status as a supplier of knowledge about our external world and our bodies. Of course, one should not always trust what scientists say. Nonetheless, epistemological justification of scientific claims is really a big project for philosophers of science. Philosophers of science are interested in knowing how science proves what it does claim and why it gives us good reasons to take these claims seriously. These questions are epistemological questions. Epistemology is a branch of philosophy which deals with knowledge claims and justification. Besides epistemological questions, metaphysical and ethical issues in science are worthy of philosophical scrutiny. This paper gives a short survey of these intellectually demanding issues.

Shirakatsi Astronomical and Natural Philosophical Views

Science.gov (United States)

Mkrtchyan, Lilit

2016-12-01

Our work is aimed at presenting Shirakatsi astronomical and natural philosophical views. Karl Anania Shirakatsi is classified as one of the world-class intellectual geniuses. He was endowed with exceptional talent and analyzing scientific understanding of natural phenomena. He refers his philosophical works to almost all fields of science, cosmography, mathematics, calendarology, historiography, etc. Shirakatsy's earnings of natural science and natural philosophy in medieval is too big He was the first prominent scholar and thinker of his time, creating a unique, comprehensive gitapilisopayakan system that still feeds the human mind. The scientific value of Shirakatsi has great importance not only for Armenians but also for the whole world of science, history, culture and philosophy. Shirakatsi can be considered not only national but also universal greatness.

Paraconsistent Computational Logic

DEFF Research Database (Denmark)

Jensen, Andreas Schmidt; Villadsen, Jørgen

2012-01-01

In classical logic everything follows from inconsistency and this makes classical logic problematic in areas of computer science where contradictions seem unavoidable. We describe a many-valued paraconsistent logic, discuss the truth tables and include a small case study....

What are Institutional Logics

DEFF Research Database (Denmark)

Berg Johansen, Christina; Waldorff, Susanne Boch

This study presents new insights into the explanatory power of the institutional logics perspective. With outset in a discussion of seminal theory texts, we identify two fundamental topics that frame institutional logics: overarching institutional orders guides by institutional logics, as well...... as change and agency generated by friction between logics. We use these topics as basis for an analysis of selected empirical papers, with the aim of understanding how institutional logics contribute to institutional theory at large, and which social matters institutional logics can and cannot explore...

PHILOSOPHICAL COMMUNITARIANISM LIKE THE ACTUAL PARADIGM OF SOCIAL BEING

Directory of Open Access Journals (Sweden)

Oleg Borisovich Davydov

2015-12-01

Full Text Available The article discusses one of the most pressing areas of social philosophy – communitarianism. Analyzes the basic concepts that operate representatives of the philosophical direction, among them – the community, the common good, virtue ethics. Demonstrates that the issues raised in the social and philosophical discussions that ensued between the liberal and communitarian social philosophy are essential for the social practice, and therefore, can not be solved solely by means of the theoretical. Considrered the main points of communitarian critics of liberal philosophy. Ethical dimensions of philosophy, which is constitutive for the communitarian discourse, also have importance in today’s society, which is accompanied by a deep crisis. Analyzed the concept of virtue, which plays a key role in the socio-philosophical communitarianism.

Dispositional logic

Science.gov (United States)

Le Balleur, J. C.

1988-01-01

The applicability of conventional mathematical analysis (based on the combination of two-valued logic and probability theory) to problems in which human judgment, perception, or emotions play significant roles is considered theoretically. It is shown that dispositional logic, a branch of fuzzy logic, has particular relevance to the common-sense reasoning typical of human decision-making. The concepts of dispositionality and usuality are defined analytically, and a dispositional conjunctive rule and dispositional modus ponens are derived.

Logic and structure

CERN Document Server

Dalen, Dirk

1983-01-01

A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-Löwenheim, elementary equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical logic is rounded off with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, one chapter is devoted to intuitionistic logic. Completeness is established for Kripke semantics. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property have been incorporated. The power and elegance of natural deduction is demonstrated best in the part of proof theory cal...

Dementia: sociological and philosophical constructions.

Science.gov (United States)

Davis, Daniel H J

2004-01-01

This analysis presents a challenge to the biomedical view of dementia as a disease. This view is critiqued from two perspectives: those of sociology and philosophy. Because these domains inform the creation of the medical discourse, their analysis provides an important refinement to the apprehension of the phenomenon of dementia. From the work of Foucault, and in particular his analysis of the historical origins of modern medicine, the sociological construction of dementia is considered. Following this, the philosophical question of Being is discussed, considering particularly the positions of Heidegger and Merleau-Ponty. Lastly aspects of dementia nursing that are damaging to those relatives forced to take on the role of primary carer are isolated, in the context of Kitwood's view that it is possible to maintain personhood at the extremes of this condition. It is suggested that this critique of sociological and philosophical foundations of dementia might offer a way of approaching the dismantling of the self and revise current conceptions of dementia care for the better.

Catharsis – Philosophical and Spiritual Aspects of Long-Distance Running

Directory of Open Access Journals (Sweden)

Nemec Marcel

2016-05-01

Full Text Available The purpose of the study was to identify and analyze the occurrence of cathartic states in a sample of long-distance runners. Data collected via questionnaires were used to evaluate quantitative variables complemented by heuristics while aiming at qualitatively categorize the areas of cathartic states in the context of philosophical and spiritual aspects of long-distance running. The study findings objectify philosophical and spiritual aspects affecting personalities of long-distance runners. The study findings have shown that catharsis represents a relevant philosophical and spiritual aspect affecting long-distance running. We assume that authentic experience of catharsis and its effects motivates runners to perform regular physical activity. The analysis of philosophical and spiritual aspects of long-distance running has revealed a multi-spectral holistic relevance based on the transfer affecting a specific way of life, spectrum of values, ethical personality traits, and also the quality of long-distance runners’ lives.

First-Order Hybrid Logic

DEFF Research Database (Denmark)

Braüner, Torben

2011-01-01

Hybrid logic is an extension of modal logic which allows us to refer explicitly to points of the model in the syntax of formulas. It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one...... often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem often actually improves the behaviour of the underlying modal formalism....... For example, it becomes far simpler to formulate proof-systems for hybrid logic, and completeness results can be proved of a generality that is simply not available in modal logic. That is, hybridization is a systematic way of remedying a number of known deficiencies of modal logic. First-order hybrid logic...

Metamathematics of fuzzy logic

CERN Document Server

Hájek, Petr

1998-01-01

This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named `fuzzy inference' can be naturally understood as logical deduction.

A Brief Philosophical Encounter with Science and Medicine

Directory of Open Access Journals (Sweden)

Amir Ehsan Karbasizadeh

2013-01-01

Full Text Available We show a lot of respect for science today. To back up our claims, we tend to appeal to scientific methods. It seems that we all agree that these methods are effective for gaining the truth. We can ask why science has its special status as a supplier of knowledge about our external world and our bodies. Of course, one should not always trust what scientists say. Nonetheless, epistemological justification of scientific claims is really a big project for philosophers of science. Philosophers of science are interested in knowing how science proves what it does claim and why it gives us good reasons to take these claims seriously. These questions are epistemological questions. Epistemology is a branch of philosophy which deals with knowledge claims and justification. Besides epistemological questions, metaphysical and ethical issues in science are worthy of philosophical scrutiny. This paper gives a short survey of these intellectually demanding issues.

Equational type logic

NARCIS (Netherlands)

Manca, V.; Salibra, A.; Scollo, Giuseppe

1990-01-01

Equational type logic is an extension of (conditional) equational logic, that enables one to deal in a single, unified framework with diverse phenomena such as partiality, type polymorphism and dependent types. In this logic, terms may denote types as well as elements, and atomic formulae are either

Henkin and Hybrid Logic

DEFF Research Database (Denmark)

Blackburn, Patrick Rowan; Huertas, Antonia; Manzano, Maria

2014-01-01

Leon Henkin was not a modal logician, but there is a branch of modal logic that has been deeply influenced by his work. That branch is hybrid logic, a family of logics that extend orthodox modal logic with special proposition symbols (called nominals) that name worlds. This paper explains why...... Henkin’s techniques are so important in hybrid logic. We do so by proving a completeness result for a hybrid type theory called HTT, probably the strongest hybrid logic that has yet been explored. Our completeness result builds on earlier work with a system called BHTT, or basic hybrid type theory...... is due to the first-order perspective, which lies at the heart of Henin’s best known work and hybrid logic....

Institutional Logics in Action

DEFF Research Database (Denmark)

Lounsbury, Michael; Boxenbaum, Eva

2013-01-01

This double volume presents state-of-the-art research and thinking on the dynamics of actors and institutional logics. In the introduction, we briefly sketch the roots and branches of institutional logics scholarship before turning to the new buds of research on the topic of how actors engage...... institutional logics in the course of their organizational practice. We introduce an exciting line of new works on the meta-theoretical foundations of logics, institutional logic processes, and institutional complexity and organizational responses. Collectively, the papers in this volume advance the very...... prolific stream of research on institutional logics by deepening our insight into the active use of institutional logics in organizational action and interaction, including the institutional effects of such (inter)actions....

Moral Cognitivism | Lillehammer | Philosophical Papers

African Journals Online (AJOL)

The paper explicates a set of criteria the joint satisfaction of which is taken to qualify moral judgements as cognitive. The paper examines evidence that some moral judgements meet these criteria, and relates the resulting conception of moral judgements to ongoing controversies about cognitivism in ethics. Philosophical ...

Cosmos of science philosophical problems of the internal and external worlds

CERN Document Server

Earman, John

1998-01-01

The inaugural volume of the series, devoted to the work of philosopher Adolf Grünbaum, encompasses the philosophical problems of space, time, and cosmology, the nature of scientific methodology, and the foundations of psychoanalysis.

The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing

OpenAIRE

Dunn, J. Michael; Moss, Lawrence S.; Wang, Zhenghan

2013-01-01

We begin by discussing the history of quantum logic, dividing it into three eras or lives. The first life has to do with Birkhoff and von Neumann's algebraic approach in the 1930's. The second life has to do with attempt to understand quantum logic as logic that began in the late 1950's and blossomed in the 1970's. And the third life has to do with recent developments in quantum logic coming from its connections to quantum computation. We discuss our own work connecting quantum logic to quant...

Why Philosophical Pragmatics Needs Clinical Pragmatics

Directory of Open Access Journals (Sweden)

Ines Adornetti

2012-12-01

Full Text Available This paper aims to show how clinical pragmatics (the study of pragmatic deficits can fruitfully inform the classical theoretical models proposed by philosophical pragmatics. In the first part of the paper I argue that theories proposed in the domain of philosophical pragmatics, as those elaborated by Austin and Grice, are not plausible from a cognitive point of view and that for this reason they cannot be useful to understand pragmatic deficits. In the second part, I show that Relevance Theory overcomes this limitation (being consistent with the data about actual mind’s functioning, but I also argue that it offers a restricted view of human communication which has to be integrated with a model of language use that takes into account a central pragmatic property: coherence of discourse.

Real Islamic Logic

NARCIS (Netherlands)

Bergstra, J.A.

2011-01-01

Four options for assigning a meaning to Islamic Logic are surveyed including a new proposal for an option named "Real Islamic Logic" (RIL). That approach to Islamic Logic should serve modern Islamic objectives in a way comparable to the functionality of Islamic Finance. The prospective role of RIL

Philosophical and theoretical content of the nursing discipline in academic education: A critical interpretive synthesis.

Science.gov (United States)

Rega, Maria Luisa; Telaretti, Fabia; Alvaro, Rosaria; Kangasniemi, Mari

2017-10-01

Nursing as clinical practice, management and research are based on nursing philosophy and theory. Thus, the philosophical and theoretical content is required to be incorporated in academic education in order to enable nurses' skills for reflection, analysis, and thinking about the profession. The aim of this review was to describe what is known of the philosophical and theoretical content of the nursing discipline within academic education. A critical interpretive synthesis (CIS). Electronic searches were performed across four databases, CINAHL, Scopus, Medline, and Web of Science, for papers published in English from 1980 to 2016. The selection of original articles was based on stages, and inclusion and exclusion criteria were used. Quality of the selected papers were evaluated by method sensitive appraisal criteria. The five phases of CIS were used to combine the selected data. The searches resulted 9148 titles, whereas 13 were selected. Nurses need philosophical and theoretical education in order to be aware of human health and explain the complexity of the human experience of illness. The philosophy of science, the philosophy of care, and theory development were highlighted as the key contents in nursing academic education as these subjects are central to the discipline that ensures that nurses acquire advanced skills. A model was developed that linked disciplinary issues the progression nursing science through the influence of advanced skills. Based on the findings in this study the philosophical and theoretical content of nursing discipline crates a basis for the academic education and enables a professional and exclusive vision for nurses. It provides an overall understanding of people's lives and support nurses to achieve deeper awareness of the meaning of illness and health in a person lifespan what is needed on the evidence-based decision making. Copyright © 2017 Elsevier Ltd. All rights reserved.

What are Institutional Logics

OpenAIRE

Berg Johansen, Christina; Bock Waldorff, Susanne

2015-01-01

This study presents new insights into the explanatory power of the institutional logics perspective. With outset in a discussion of seminal theory texts, we identify two fundamental topics that frame institutional logics: overarching institutional orders guided by institutional logics, as well as change and agency generated by friction between logics. We use these topics as basis for an analysis of selected empirical papers, with the aim of understanding how institutional logics contribute to...

Errors of Logic and Scholarship Concerning Dissociative Identity Disorder

Science.gov (United States)

Ross, Colin A.

2009-01-01

The author reviewed a two-part critique of dissociative identity disorder published in the "Canadian Journal of Psychiatry". The two papers contain errors of logic and scholarship. Contrary to the conclusions in the critique, dissociative identity disorder has established diagnostic reliability and concurrent validity, the trauma histories of…

Critics to Metaphysics by Modern Philosophers: A Discourse on Human Beings in Reality

Directory of Open Access Journals (Sweden)

Frederikus Fios

2016-01-01

Full Text Available We have entered the 21st century that is popularly known as the era of the development of modern science and technology. Philosophy provides naming for contemporary era as postmodern era. But do we suddenly come to this day and age? No! Because humans are homo viator, persona that does pilgrimage in history, space and time. Philosophy has expanded periodically in the long course of history. Since the days of classical antiquity, philosophy comes with a patterned metaphysical paradigm. This paradigm survives very long in the stage history of philosophy as maintained by many philosophers who hold fast to the philosophical-epistemic claim that philosophy should be (das sollen metaphysical. Classical Greek philosopher, Aristotle was a philosopher who claims metaphysics as the initial philosophy. Then, Immanuel Kant, Hegel, Heidegger, Marx even Habermas offer appropriate shades of metaphysical philosophy versus spirit of the age. Modern philosophers offer a new paradigm in the way of doing philosophy. The new spirit of modern philosophers declared as if giving criticism on traditional western metaphysics (since Aristotle that are considered irrelevant. This paper intends to show the argument between traditional metaphysical and modern philosophers who criticize metaphysics. The author will make a philosophical synthesis to obtain enlightenment to the position of human beings in the space of time. Using the method of Hegelian dialectic (thesis-antiteses-synthesis, this topic will be developed and assessed in accordance with the interests of this paper. 

Special Needs: A Philosophical Analysis

Science.gov (United States)

Vehmas, Simo

2010-01-01

This paper attempts to illuminate a central concept and idea in special education discourse, namely, "special needs". It analyses philosophically what needs are and on what grounds they are defined as "special" or "exceptional". It also discusses whether sorting needs into ordinary and special is discriminatory. It is argued that individualistic…

The logical foundations of scientific theories languages, structures, and models

CERN Document Server

Krause, Decio

2016-01-01

This book addresses the logical aspects of the foundations of scientific theories. Even though the relevance of formal methods in the study of scientific theories is now widely recognized and regaining prominence, the issues covered here are still not generally discussed in philosophy of science. The authors focus mainly on the role played by the underlying formal apparatuses employed in the construction of the models of scientific theories, relating the discussion with the so-called semantic approach to scientific theories. The book describes the role played by this metamathematical framework in three main aspects: considerations of formal languages employed to axiomatize scientific theories, the role of the axiomatic method itself, and the way set-theoretical structures, which play the role of the models of theories, are developed. The authors also discuss the differences and philosophical relevance of the two basic ways of aximoatizing a scientific theory, namely Patrick Suppes’ set theoretical predicate...

Some relationships between logic programming and multiple-valued logic

International Nuclear Information System (INIS)

Rine, D.C.

1986-01-01

There have been suggestions in the artificial intelligence literature that investigations into relationships between logic programming and multiple-valued logic may be helpful. This paper presents some of these relationships through equivalent algebraic evaluations

Anarchism and the nature of man: a philosophical appraisal | Ogan ...

African Journals Online (AJOL)

This work with the title “Anarchism and the Nature of Man: a Philosophical Appraisal” holds that Anarchism as a belief, movement or school of thought boils down to the age long philosophical problem of the relationship between authority and individuals or put differently, the problem of the justification of constituted authority ...

Étienne Gilson’s Philosophical Realism / Realizm filozoficzny w ujęciu Étienne Gilsona

Directory of Open Access Journals (Sweden)

Natalia Kunat

2017-09-01

Full Text Available This paper attempts to analyze realist philosophy as the way of knowing reality in the thought of Étienne Gilson. The French Philosopher was a defender of philosophical realism who rationally justified the thesis about knowing things existing in the world independently of the knowing subject. Philosophical inquiry, carried out in a realist way, should start with the being which really exists. The basic philosophical method aims to rationally understand reality as well as explain the multifaceted cognition of reality. Gilson’s contribution to the development of philosophical realism includes the promotion of a realist philosophical awareness and the opposition to idealistic philosophies (Cartesianism, Kantianism.

People Like Logical Truth: Testing the Intuitive Detection of Logical Value in Basic Propositions.

Directory of Open Access Journals (Sweden)

Hiroko Nakamura

Full Text Available Recent studies on logical reasoning have suggested that people are intuitively aware of the logical validity of syllogisms or that they intuitively detect conflict between heuristic responses and logical norms via slight changes in their feelings. According to logical intuition studies, logically valid or heuristic logic no-conflict reasoning is fluently processed and induces positive feelings without conscious awareness. One criticism states that such effects of logicality disappear when confounding factors such as the content of syllogisms are controlled. The present study used abstract propositions and tested whether people intuitively detect logical value. Experiment 1 presented four logical propositions (conjunctive, biconditional, conditional, and material implications regarding a target case and asked the participants to rate the extent to which they liked the statement. Experiment 2 tested the effects of matching bias, as well as intuitive logic, on the reasoners' feelings by manipulating whether the antecedent or consequent (or both of the conditional was affirmed or negated. The results showed that both logicality and matching bias affected the reasoners' feelings, and people preferred logically true targets over logically false ones for all forms of propositions. These results suggest that people intuitively detect what is true from what is false during abstract reasoning. Additionally, a Bayesian mixed model meta-analysis of conditionals indicated that people's intuitive interpretation of the conditional "if p then q" fits better with the conditional probability, q given p.

ON TRANSLATION OF SOME PHILOSOPHICAL CONCEPTS IN KARL MARX’S WORKS

Directory of Open Access Journals (Sweden)

Mr. Pyotr N. Kondrashov

2016-06-01

Full Text Available The article considers, that in Russian-speaking editions of K. Marx's works some philosophical concepts (produktiv, erzeugen, Erzeugung, Äußerung, Aneignung, Genuß, Arbeit, Verkehr, Gebrauchswert were translated as words with the productive and economic sense while Marx put philosophical, anthropological and existential connotations into these words in various contexts. It led to incorrect understanding of Marx's philosophy. The author of the article draws a conclusion about indispensability of new adequate translation of Marx's works and about radical reconsideration of its philosophical system.

Philosophical engineering toward a philosophy of the web

CERN Document Server

Halpin, Harry

2013-01-01

This is the first interdisciplinary exploration of the philosophical foundations of the Web, a new area of inquiry that has important implications across a range of domains. Contains twelve essays that bridge the fields of philosophy, cognitive science, and phenomenologyTackles questions such as the impact of Google on intelligence and epistemology, the philosophical status of digital objects, ethics on the Web, semantic and ontological changes caused by the Web, and the potential of the Web to serve as a genuine cognitive extensionBrings together insightful new scholarship from well-known an

1. The Province of Philosophers

Indian Academy of Sciences (India)

Home; Journals; Resonance – Journal of Science Education; Volume 4; Issue 4. Mapmakers - The Province of Philosophers. Harini Nagendra. Series Article Volume 4 Issue 4 April 1999 pp 6-11. Fulltext. Click here to view fulltext PDF. Permanent link: https://www.ias.ac.in/article/fulltext/reso/004/04/0006-0011 ...

Joseph Hooker: a philosophical botanist

Indian Academy of Sciences (India)

2008-04-24

Apr 24, 2008 ... The nineteenth-century British botanist, Joseph Dalton Hooker, was one of the people whose career became a model for that of the modern, professional scientist. However, he preferred to refer to himself as a philosophical botanist, rather than a professional. This paper explores the reasons for this choice, ...

The role of Philosophical Hermeneutics in contributing to an understanding of physiotherapy practice: a reflexive illustration.

Science.gov (United States)

Stenner, Rob; Mitchell, Theresa; Palmer, Shea

2017-09-01

This paper provides an overview of Philosophical Hermeneutics based on the work of German philosopher Hans Georg Gadamer. The concepts of the 'hermeneutic circle' as a vehicle for interpretation, management of the researcher's pre-understandings (prejudices), and the 'fusion of horizons' are introduced and illustrated by examples from the first author's research, before considering how rigour can be achieved in this type of research. The actual research study which aimed to explore how shared decision making and patient partnership are addressed by physiotherapists in the process of exercise prescription for patients with low back pain (LBP) is not the focus of this paper. However short descriptions of the study are used to explore issues surrounding a hermeneutic inquiry. For physiotherapists interested in research or considering undertaking an interpretive phenomenological inquiry, this theoretical discussion paper explores how Gadamer's philosophy offers a credible framework for undertaking such research. Copyright © 2016 Chartered Society of Physiotherapy. Published by Elsevier Ltd. All rights reserved.

Fighting corruption – a philosophical approach

Directory of Open Access Journals (Sweden)

Schalk W. Vorster

2013-07-01

Full Text Available Corruption has reached astounding proportions in South Africa. The purpose of this article is to contribute to philosophical approaches aimed at combating corruption. In considering punishment for acts of corruption the most common approach is based on the philosophical theory of consequentialism, which allows only consideration of the consequences of corrupt acts. Ideally, cognisance should be taken of the norms in question, especially those norms demanding the judicious execution of obligations. It was, however, found that the Kantian categorical imperative presupposes an ideal rational society. The imperative has to be ‘softened’ by also allowing for enquiry about the corruptor’s personal circumstances, in the light of Christ’s love commandment. This article highlights the most prominent attributes of two important philosophical theories applicable to the study of corruption, namely utilitarianism (a variant of consequentialism and deontology. It is argued that qualified deontological and utilitistic approaches hold the best promise to curb corruption in the long run. The conclusion is that the state will urgently have to attend to the social context by revitalising programmes of ‘social renewal’, based on effective application of the law, the provision of adequate education and the eradication of poverty. There is also an urgent need for the ‘moral renewal’ of the entire population, focused on Christian values, operationalised within the context of the South Africa of today. Herein lies a massive task for the church.

Further Questions: A Way Out of the Present Philosophical Situation (via Foucault

Directory of Open Access Journals (Sweden)

Leonard Lawlor

2011-06-01

Full Text Available Let us begin by assembling some signs of the present philosophical situation. On the one hand, the most important living French philosopher, Alain Badiou, calls for a “return to Plato,” despite the movement of anti-Platonism that dominated French and German thought in the 20th century. On the other hand, the present moment sees a resurgence of naturalism in philosophy in general (including and especially Anglophone analytic philosophy, despite the criticisms of naturalism that have appeared throughout the 20th century. Phenomenology seems to be at the center of both of these movements. On the one hand, it is the idea of a mathematized ontology that requires the return to Plato, a mathematized ontology constructed without a reflection on its transcendental grounds. On the other, the resurgence of naturalism is so strong that a book could be imagined and published with the bastard name of Naturalizing Phenomenology, as if the transcendental moment of phenomenology did not transform the very meaning of nature. These signs seem to indicate that we have entered into a phase of regression or even decline in philosophical thinking. If this interpretation of the signs is correct, if we have indeed entered into a phase of regression -- a twofold regression toward Platonism and toward naturalism -- we must ask the following question: is it possible for us to define something like a project or even a research agenda that would allow us to define a way of thinking that might lead us out of the present situation, a situation, it must be said, that seems dire for philosophy in general? If we can determine such a research agenda, perhaps we can also begin to understand what the tradition of “continental philosophy” has stood for.

Concurrent weighted logic

DEFF Research Database (Denmark)

Xue, Bingtian; Larsen, Kim Guldstrand; Mardare, Radu Iulian

2015-01-01

We introduce Concurrent Weighted Logic (CWL), a multimodal logic for concurrent labeled weighted transition systems (LWSs). The synchronization of LWSs is described using dedicated functions that, in various concurrency paradigms, allow us to encode the compositionality of LWSs. To reflect these......-completeness results for this logic. To complete these proofs we involve advanced topological techniques from Model Theory....

Three Philosophical Pillars That Support Collaborative Learning.

Science.gov (United States)

Maltese, Ralph

1991-01-01

Discusses three philosophical pillars that support collaborative learning: "spaces of appearance," active engagement, and ownership. Describes classroom experiences with collaborative learning supported by these pillars. (PRA)

Singularity hypotheses a scientific and philosophical assessment

CERN Document Server

Moor, James; Søraker, Johnny; Steinhart, Eric

2012-01-01

Singularity Hypotheses: A Scientific and Philosophical Assessment offers authoritative, jargon-free essays and critical commentaries on accelerating technological progress and the notion of technological singularity. It focuses on conjectures about the intelligence explosion, transhumanism, and whole brain emulation. Recent years have seen a plethora of forecasts about the profound, disruptive impact that is likely to result from further progress in these areas. Many commentators however doubt the scientific rigor of these forecasts, rejecting them as speculative and unfounded. We therefore invited prominent computer scientists, physicists, philosophers, biologists, economists and other thinkers to assess the singularity hypotheses. Their contributions go beyond speculation, providing deep insights into the main issues and a balanced picture of the debate.

Action Type Deontic Logic

DEFF Research Database (Denmark)

Bentzen, Martin Mose

2014-01-01

A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning...... are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the syntax and semantics of Action Type Deontic Logic is presented and it is shown to meet...

The Centrality of Philosophical Anthropology to (a Future) Environmental Ethics.

Science.gov (United States)

Gare, Arran

2016-01-01

While environmental ethics has successfully established itself in philosophy, as presently conceived it is still largely irrelevant to grappling the global ecological crisis because, as Alasdair MacIntyre has argued, ethical philosophy itself is in grave disorder. MacIntyre's historically oriented recovery of virtue ethics is defended, but it is argued that even MacIntyre was too constrained by received assumptions to overcome this disorder. As he himself realized, his ideas need to be integrated and defended through philosophical anthropology. However, it is suggested that current defenders of philosophical anthropology have not done it justice. To appreciate its importance it is necessary accept that we are cultural beings in which the core of culture is the conception of what are humans. This is presupposed not only in thought but in social practices and forms of life. This was understood by Aristotle, but modernity has been straightjacketed by the Seventeenth Century scientific revolution and Hobbes' philosophical anthropology, identifying knowledge and with techno-science and eliminating any place for questioning this conception of humans. The only conception of humanity that could successfully challenge and replace Hobbes' philosophical anthropology, it is argued, is Hegel's philosophical anthropology reformulated and developed on naturalistic foundations. This involves subordinating science to a reconceived humanities with a fundamentally different role accorded to ethics, placing it at the center of social life, politics and economics and at the centre of the struggle to transform culture and society to create an ecologically sustainable civilization.

Quantifiers for quantum logic

OpenAIRE

Heunen, Chris

2008-01-01

We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is just an incarnation of categorical logic, enabling us to establish an existential quantifier for quantum logic, and conclude that there cannot be a universal quantifier.

Mario Bunge: Physicist, philosopher and defender of science

Directory of Open Access Journals (Sweden)

Michael R. Matthews

2009-04-01

Full Text Available Mario Bunge was born in Argentina in the final year of the First World War. He learnt atomic physics andquantum mechanics from an Austrian refugee who had been a student of Heisenberg. Additionally he taughthimself modern philosophy in an environment that was a philosophical backwater. He was the first SouthAmerican philosopher of science to be trained in science. His publications in physics, philosophy, psychology,sociology and the foundations of biology, are staggering in number, and include a massive 8-volume Treatise onPhilosophy. The unifying thread of his scholarship is the constant and vigorous advancement of theEnlightenment Project, and criticism of cultural and academic movements that deny or devalue the core planksof the project: namely its naturalism, the search for truth, the universality of science, rationality, and respect forindividuals. At a time when specialisation is widely decried, and its deleterious effects on science, philosophy ofscience, educational research and science teaching are recognised – it is salutary to see the fruits of one person’spursuit of the ‘Big’ scientific and philosophical picture.

The Transcendence in Lucian Blaga’s Philosophical Thinking

Directory of Open Access Journals (Sweden)

Stelian Manolache

2016-03-01

Full Text Available On the occasion of the conference on Transcendence and Immanence - a topic buiding on the dialogue between philosophy and theology in the modern and post-modern time -, among the produced subjects, a discussion was held on the role played in respect with this dailogue by the inter-war famous philosophers, such as Lucian Blaga and Dumitru Stăniloaie. Below, we will present the issue of Transcendence according the the philosopher-poet Lucian Blaga’s vision; his vision is tructured into a Trilogy in his work: The Trilogy of Knowledge - The Dogmatic Aeon, The Luciferic Knowledge, The Transcendental Censorship - The Trilogy of the Culture - Horizon and Style; The Mioritic Space; The Genesis of the Metaphor and The Meaning of Culture - and The Trilogy of Values - Science and Creation; Magic Thinking and Religion; Art and Value. In these trilogies, the philosopher - poet elaborates, from an original metaphysical point of view, on the dimension of the knowledge of Transcendence - which he would define in in The Horizon of Mystery and Revelation. His vision will be addressed in a new theory of knowledge, which the philosopherpoet Lucian Blaga would distinguish as Paradisiac knowledge and Lucifer knowledge, within a new Metaphysics that would allow access to Transcendence and to the wonders beyond. Postulating the existence of certain faculties of Conscience, his Metaphysics would become, according to the Theory of Transcendence, a must for the human spirit; a proof for his approach would be the great philosophical systems of the world, from the antique to the modern.

The Vienna Roundabout. On the Significance of Philosophical Reaction

OpenAIRE

Hrachovec, Herbert

1989-01-01

There are three sentimental centres of 20th-century philosophical geography: Todtnauberg, Frankfurt and Vienna. Their exceptional status results not only from having given rise to decisive philosophical movements but also from the weight of stories about victimization and exile lacking with regard to Paris, Berkeley and Cambridge. Each of these centres is compromised in its own way: the Schwarzwald cottage from which Heidegger emerged to take over the Rektorat of Freiburg University and to wh...

Logic delays of 5-μm resistor coupled Josephson logic

International Nuclear Information System (INIS)

Sone, J.; Yoshida, T.; Tahara, S.; Abe, H.

1982-01-01

Logic delays of resistor coupled Josephson logic (RCJL) have been investigated. An experimental circuit with a cascade chain of ten RCJL OR gates was fabricated using Pb-alloy Josephson IC technology with 5-μm minimum linewidth. Logic delay was measured to be as low as 10.8 ps with power dissipation of 11.7 μW. This demonstrates a switching operation faster than those reported for other Josephson gate designs. Comparison with computer-simulation results is also presented

Radiation tolerant combinational logic cell

Science.gov (United States)

Maki, Gary R. (Inventor); Gambles, Jody W. (Inventor); Whitaker, Sterling (Inventor)

2009-01-01

A system has a reduced sensitivity to Single Event Upset and/or Single Event Transient(s) compared to traditional logic devices. In a particular embodiment, the system includes an input, a logic block, a bias stage, a state machine, and an output. The logic block is coupled to the input. The logic block is for implementing a logic function, receiving a data set via the input, and generating a result f by applying the data set to the logic function. The bias stage is coupled to the logic block. The bias stage is for receiving the result from the logic block and presenting it to the state machine. The state machine is coupled to the bias stage. The state machine is for receiving, via the bias stage, the result generated by the logic block. The state machine is configured to retain a state value for the system. The state value is typically based on the result generated by the logic block. The output is coupled to the state machine. The output is for providing the value stored by the state machine. Some embodiments of the invention produce dual rail outputs Q and Q'. The logic block typically contains combinational logic and is similar, in size and transistor configuration, to a conventional CMOS combinational logic design. However, only a very small portion of the circuits of these embodiments, is sensitive to Single Event Upset and/or Single Event Transients.

Erotetic epistemic logic

Czech Academy of Sciences Publication Activity Database

Peliš, Michal

2017-01-01

Roč. 26, č. 3 (2017), s. 357-381 ISSN 1425-3305 R&D Projects: GA ČR(CZ) GC16-07954J Institutional support: RVO:67985955 Keywords : epistemic logic * erotetic implication * erotetic logic * logic of questions Subject RIV: AA - Philosophy ; Religion OBOR OECD: Philosophy, History and Philosophy of science and technology http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2017.007

The Football of Logic

Directory of Open Access Journals (Sweden)

Schang Fabien

2017-03-01

Full Text Available An analogy is made between two rather different domains, namely: logic, and football (or soccer. Starting from a comparative table between the two activities, an alternative explanation of logic is given in terms of players, ball, goal, and the like. Our main thesis is that, just as the task of logic is preserving truth from premises to the conclusion, footballers strive to keep the ball as far as possible until the opposite goal. Assuming this analogy may help think about logic in the same way as in dialogical logic, but it should also present truth-values in an alternative sense of speech-acts occurring in a dialogue. The relativity of truth-values is focused by this way, thereby leading to an additional way of logical pluralism.

The Logic of Practice in the Practice of Logics

DEFF Research Database (Denmark)

Raviola, Elena; Dubini, Paola

2016-01-01

of logics through a six months full-time ethnographic study at Il Sole-24 Ore, the largest Italian financial newspaper, between 2007 and 2008. An original conceptual framework is developed to analyse how the logic of journalism is enacted vis-à-vis that of advertising in a setting in which an old technology...... for news production – print newspaper – coexists with a new one – website – and thus encounters between new and old technological possibilities make workings of institutional logics particularly visible. The findings point out different mechanisms of institutional work dealing with actions that, made...

Is a new version of philosophical pragmatism necessary? A reply to Barnes-Holmes

Science.gov (United States)

Leigland, Sam

2003-01-01

Barnes-Holmes (2000) discussed certain issues regarding philosophy, pragmatism, and behavior analysis, and offered a “behavioral pragmatism” based on or derived from behavior-analytic perspectives. In a comparison of certain philosophical views, Quine's concept of observation sentences was employed for representing pragmatism, but this concept is not sufficiently representative of the literature of philosophical pragmatism to warrant the broad conclusions drawn by Barnes-Holmes. Further, although the extensive and diverse literature of philosophical pragmatism has been shown by a number of writers to have various themes and perspectives in common with Skinner's radical behaviorism, it is unnecessary to extract a limited, generic version of pragmatism because (a) the latter cannot match the range and depth of the various extant versions and (b) the problems raised by Barnes-Holmes in justification for the new version yield readily to the current versions in philosophy. A set of philosophical views may provide additional verbal support for a given system of science, and the science of behavior analysis may eventually contribute to philosophical discourse. The latter, however, will not be achieved by proposing new versions of old philosophy, but rather by approaching established philosophical issues in new ways. PMID:22478409

A fast-slow logic system

International Nuclear Information System (INIS)

Kawashima, Hideo.

1977-01-01

A fast-slow logic system has been made for use in multi-detector experiments in nuclear physics such as particle-gamma and particle-particle coincidence experiments. The system consists of a fast logic system and a slow logic system. The fast logic system has a function of fast coincidences and provides timing signals for the slow logic system. The slow logic system has a function of slow coincidences and a routing control of input analog signals to the ADCs. (auth.)

Postmodernism: A Reaction to the Terrorism of the Modernist Philosophical Thought

Directory of Open Access Journals (Sweden)

Dr. Manzoor A. Khalidi

2008-04-01

Full Text Available This paper is the concluding part of a series of two papers exploring and explaining the concept of postmodernism. The approach adopted for examining the postmodern phenomenon was to picture it as a collage incorporating three distinct but interrelated concepts/themes: one, postmodernism as an epoch; two, postmodernism as a signifier of the problematical features or the limits of modernity; and three, postmodernism as a reaction to the terrorism of the modernist philosophical thought. The first two of these were discussed in the paper published in the pervious issue of the Market Forces. This paper involves an examination of the third theme: postmodernism as a reaction to the terrorism of the modernist philosophical thought which has been described as positivistic, technocentric, and rationalistic, and the belief in linear progress, absolute truths, the rational planning of ideal social orders, and the standardization of knowledge and production. The approach adopted for this paper involves the use of the term ‘post’ as a counter concept and a broad-gauged cultural and intellectual movement that is re-conceptualizing the way we experience and understand the world around us. It involves a re-examination of eight areas of our knowledge base that form the basis of our conceptual foundations. These are: the concept of truth; the concept of theory; the concept of representation; the concept and the relationship between the author, the text, and the reader; the concept of subject; the problematic of disciplinary research; the concept of space; and the concept of history. The discussion involves an examination of the normally accepted definitions of these concepts and the counter-concepts or the alternative definitions offered within the realm of postmodern philosophical thought. Investigation into the counter-concepts is aimed as understanding how postmodernism represents a departure in our way of thinking regarding the best strategy for

The Philosophical Anthropology of José Manzana

Directory of Open Access Journals (Sweden)

Rafael Gómez Miranda

2015-03-01

Full Text Available The main focus and interest of José Manzana’s philosophical anthropology is centred on the human condition, the sense of man’s action, the possibility of knowledge… and all that refers to «vertical transcendence», towards the Absolute, which finally culminates in God. With his philosophical anthropology, Manzana aims to ground on a transcendental method of reflection the conditions of man and his different options as a human being. The objective of this author is to clarify human existence by identifying his moment of creation. The aforementioned reflection brings us to three main dimensions of the individual: the human being as an inquiring entity, his interpersonal dimension and his awakening to the Transcendental.

Measuring Music Education: A Philosophical Investigation of the Model Cornerstone Assessments

Science.gov (United States)

Richerme, Lauren Kapalka

2016-01-01

Despite substantial attention to measurement and assessment in contemporary education and music education policy and practice, the process of measurement has gone largely undiscussed in music education philosophy. Using the work of physicist and philosopher Karen Barad, in this philosophical inquiry, I investigated the nature of measurement in…

Logic of likelihood

International Nuclear Information System (INIS)

Wall, M.J.W.

1992-01-01

The notion of open-quotes probabilityclose quotes is generalized to that of open-quotes likelihood,close quotes and a natural logical structure is shown to exist for any physical theory which predicts likelihoods. Two physically based axioms are given for this logical structure to form an orthomodular poset, with an order-determining set of states. The results strengthen the basis of the quantum logic approach to axiomatic quantum theory. 25 refs

Microelectromechanical reprogrammable logic device

KAUST Repository

Hafiz, Md Abdullah Al; Kosuru, Lakshmoji; Younis, Mohammad I.

2016-01-01

on the electrothermal frequency modulation scheme of a single microelectromechanical resonator, capable of performing all the fundamental 2-bit logic functions as well as n-bit logic operations. Logic functions are performed by actively tuning the linear resonance

One reason, several logics

Directory of Open Access Journals (Sweden)

Evandro Agazzi

2011-06-01

Full Text Available Humans have used arguments for defending or refuting statements long before the creation of logic as a specialized discipline. This can be interpreted as the fact that an intuitive notion of "logical consequence" or a psychic disposition to articulate reasoning according to this pattern is present in common sense, and logic simply aims at describing and codifying the features of this spontaneous capacity of human reason. It is well known, however, that several arguments easily accepted by common sense are actually "logical fallacies", and this indicates that logic is not just a descriptive, but also a prescriptive or normative enterprise, in which the notion of logical consequence is defined in a precise way and then certain rules are established in order to maintain the discourse in keeping with this notion. Yet in the justification of the correctness and adequacy of these rules commonsense reasoning must necessarily be used, and in such a way its foundational role is recognized. Moreover, it remains also true that several branches and forms of logic have been elaborated precisely in order to reflect the structural features of correct argument used in different fields of human reasoning and yet insufficiently mirrored by the most familiar logical formalisms.

GOAL Agents Instantiate Intention Logic

OpenAIRE

Hindriks, Koen; van der Hoek, Wiebe

2008-01-01

It is commonly believed there is a big gap between agent logics and computational agent frameworks. In this paper, we show that this gap is not as big as believed by showing that GOAL agents instantiate Intention Logic of Cohen and Levesque. That is, we show that GOAL agent programs can be formally related to Intention Logic.We do so by proving that the GOAL Verification Logic can be embedded into Intention Logic. It follows that (a fragment of) Intention Logic can be used t...

Noise-based logic: Binary, multi-valued, or fuzzy, with optional superposition of logic states

Energy Technology Data Exchange (ETDEWEB)

Kish, Laszlo B. [Texas A and M University, Department of Electrical and Computer Engineering, College Station, TX 77843-3128 (United States)], E-mail: laszlo.kish@ece.tamu.edu

2009-03-02

A new type of deterministic (non-probabilistic) computer logic system inspired by the stochasticity of brain signals is shown. The distinct values are represented by independent stochastic processes: independent voltage (or current) noises. The orthogonality of these processes provides a natural way to construct binary or multi-valued logic circuitry with arbitrary number N of logic values by using analog circuitry. Moreover, the logic values on a single wire can be made a (weighted) superposition of the N distinct logic values. Fuzzy logic is also naturally represented by a two-component superposition within the binary case (N=2). Error propagation and accumulation are suppressed. Other relevant advantages are reduced energy dissipation and leakage current problems, and robustness against circuit noise and background noises such as 1/f, Johnson, shot and crosstalk noise. Variability problems are also non-existent because the logic value is an AC signal. A similar logic system can be built with orthogonal sinusoidal signals (different frequency or orthogonal phase) however that has an extra 1/N type slowdown compared to the noise-based logic system with increasing number of N furthermore it is less robust against time delay effects than the noise-based counterpart.

Noise-based logic: Binary, multi-valued, or fuzzy, with optional superposition of logic states

International Nuclear Information System (INIS)

Kish, Laszlo B.

2009-01-01

A new type of deterministic (non-probabilistic) computer logic system inspired by the stochasticity of brain signals is shown. The distinct values are represented by independent stochastic processes: independent voltage (or current) noises. The orthogonality of these processes provides a natural way to construct binary or multi-valued logic circuitry with arbitrary number N of logic values by using analog circuitry. Moreover, the logic values on a single wire can be made a (weighted) superposition of the N distinct logic values. Fuzzy logic is also naturally represented by a two-component superposition within the binary case (N=2). Error propagation and accumulation are suppressed. Other relevant advantages are reduced energy dissipation and leakage current problems, and robustness against circuit noise and background noises such as 1/f, Johnson, shot and crosstalk noise. Variability problems are also non-existent because the logic value is an AC signal. A similar logic system can be built with orthogonal sinusoidal signals (different frequency or orthogonal phase) however that has an extra 1/N type slowdown compared to the noise-based logic system with increasing number of N furthermore it is less robust against time delay effects than the noise-based counterpart

Noise-based logic: Binary, multi-valued, or fuzzy, with optional superposition of logic states

Science.gov (United States)

Kish, Laszlo B.

2009-03-01

A new type of deterministic (non-probabilistic) computer logic system inspired by the stochasticity of brain signals is shown. The distinct values are represented by independent stochastic processes: independent voltage (or current) noises. The orthogonality of these processes provides a natural way to construct binary or multi-valued logic circuitry with arbitrary number N of logic values by using analog circuitry. Moreover, the logic values on a single wire can be made a (weighted) superposition of the N distinct logic values. Fuzzy logic is also naturally represented by a two-component superposition within the binary case ( N=2). Error propagation and accumulation are suppressed. Other relevant advantages are reduced energy dissipation and leakage current problems, and robustness against circuit noise and background noises such as 1/f, Johnson, shot and crosstalk noise. Variability problems are also non-existent because the logic value is an AC signal. A similar logic system can be built with orthogonal sinusoidal signals (different frequency or orthogonal phase) however that has an extra 1/N type slowdown compared to the noise-based logic system with increasing number of N furthermore it is less robust against time delay effects than the noise-based counterpart.

Whose Ethics? Which Wittgenstein? | Richter | Philosophical Papers

African Journals Online (AJOL)

. I argue that we should distinguish not only between Wittgenstein's personal opinions and his philosophy, but also, within his philosophical work, between broadly methodological remarks and what Wittgenstein might call genuinely ...

Theories About Blood Coagulation in the Writings of Ancient Greek Medico-philosophers.

Science.gov (United States)

Tsoucalas, Gregory; Karamanou, Marianna; Papaioannou, Theodoros G; Sgantzos, Markos

2017-01-01

Anaxagoras and Empedocles both established during the Presocratic era a pioneering theory for the creation of everything in the universe. Macrocosmos' impact through the "Four Elements Theory" explained the conglomeration of the blood inside the vessels. Hippocrates, who instituted the "Four Humours theory", clearly understood blood's coagulation and introduced the term "thrombus". Plato, Aristotle and Galen, all engaged with the clotting phenomenon trying to interpret it. After eons of inquiry, it was the innovative thinking of the ancient Greek medico philosophers that set the scientific bases towards the understanding of a process that had been analyzing until our era. Copyright© Bentham Science Publishers; For any queries, please email at epub@benthamscience.org.

Understanding Social Media Logic

Directory of Open Access Journals (Sweden)

José van Dijck

2013-08-01

Full Text Available Over the past decade, social media platforms have penetrated deeply into the mech­anics of everyday life, affecting people's informal interactions, as well as institutional structures and professional routines. Far from being neutral platforms for everyone, social media have changed the conditions and rules of social interaction. In this article, we examine the intricate dynamic between social media platforms, mass media, users, and social institutions by calling attention to social media logic—the norms, strategies, mechanisms, and economies—underpin­ning its dynamics. This logic will be considered in light of what has been identified as mass me­dia logic, which has helped spread the media's powerful discourse outside its institutional boundaries. Theorizing social media logic, we identify four grounding principles—programmabil­ity, popularity, connectivity, and datafication—and argue that these principles become increas­ingly entangled with mass media logic. The logic of social media, rooted in these grounding principles and strategies, is gradually invading all areas of public life. Besides print news and broadcasting, it also affects law and order, social activism, politics, and so forth. Therefore, its sustaining logic and widespread dissemination deserve to be scrutinized in detail in order to better understand its impact in various domains. Concentrating on the tactics and strategies at work in social media logic, we reassess the constellation of power relationships in which social practices unfold, raising questions such as: How does social media logic modify or enhance ex­isting mass media logic? And how is this new media logic exported beyond the boundaries of (social or mass media proper? The underlying principles, tactics, and strategies may be relat­ively simple to identify, but it is much harder to map the complex connections between plat­forms that distribute this logic: users that employ them, technologies that

Reprogrammable Logic Gate and Logic Circuit Based on Multistimuli-Responsive Raspberry-like Micromotors.

Science.gov (United States)

Zhang, Lina; Zhang, Hui; Liu, Mei; Dong, Bin

2016-06-22

In this paper, we report a polymer-based raspberry-like micromotor. Interestingly, the resulting micromotor exhibits multistimuli-responsive motion behavior. Its on-off-on motion can be regulated by the application of stimuli such as H2O2, near-infrared light, NH3, or their combinations. Because of the versatility in motion control, the current micromotor has great potential in the application field of logic gate and logic circuit. With use of different stimuli as the inputs and the micromotor motion as the output, reprogrammable OR and INHIBIT logic gates or logic circuit consisting of OR, NOT, and AND logic gates can be achieved.

An Introduction to the Foundations of Chemical Information Theory. Tarski–Lesniewski Logical Structures and the Organization of Natural Sorts and Kinds

Directory of Open Access Journals (Sweden)

Jerry L. R. Chandler

2017-01-01

Full Text Available Organic mathematics is an applied mathematics of philosophical atomism. The order of the chemical elements in the table of elements is the source of order for the logical operations of addition and subtraction of atomic numbers. The inverse square laws of physics are the source of organization of subatomic structures of chemical atoms (atomic and molecular structures. These facts are foundational to the logic of the chemical sciences and are therefore the scientific basis for chemical information theory. The theories and facts of the chemical sciences are so perplex that several forms of symbolic representations are necessary to communicate the broad range of scientific concepts used to inquire into the nature of natural sorts and kinds. The logics proposed by Tarski, Lesniewski and Malatesta are applied to the construction of a numerical “spine” of perplex numbers representing atomic numbers as meta-symbols in meta-languages. The orbital angular momenta of certain collections of electrical particles (also known as “handedness” are critical components in constructing the logical propositions of the perplex number “spine”. Biological communication channels can function if and only if the natural sorts and kinds are consistent with the matching patterns of the optical isomers. The terms spinners and twisters are introduced to express the electro-mechanical torques necessary for encoding chemical information. This hypothesis can be tested by several categories of experiments, including clinical pharmaco-dynamics and clinical toxico-dynamics of dissymmetric isomers of different sorts and kinds.

Logic analysis and verification of n-input genetic logic circuits

DEFF Research Database (Denmark)

Baig, Hasan; Madsen, Jan

2017-01-01

. In this paper, we present an approach to analyze and verify the Boolean logic of a genetic circuit from the data obtained through stochastic analog circuit simulations. The usefulness of this analysis is demonstrated through different case studies illustrating how our approach can be used to verify the expected......Nature is using genetic logic circuits to regulate the fundamental processes of life. These genetic logic circuits are triggered by a combination of external signals, such as chemicals, proteins, light and temperature, to emit signals to control other gene expressions or metabolic pathways...... accordingly. As compared to electronic circuits, genetic circuits exhibit stochastic behavior and do not always behave as intended. Therefore, there is a growing interest in being able to analyze and verify the logical behavior of a genetic circuit model, prior to its physical implementation in a laboratory...

Prospects of luminescence based molecular scale logic gates and logic circuits

International Nuclear Information System (INIS)

Speiser, Shammai

2016-01-01

In recent years molecular electronics has emerged as a rapidly growing research field. The aim of this review is to introduce this subject as a whole with special emphasis on molecular scale potential devices and applications. As a particular example we will discuss all optical molecular scale logic gates and logic circuits based on molecular fluorescence and electronic excitation transfer processes. Charge and electronic energy transfers (ET and EET) are well-studied examples whereby different molecules can signal their state from one (the donor, D) to the other (the acceptor, A). We show how a half-adder logic circuit can be implemented on one molecule that can communicate its logic output as input to another half-adder molecule. This is achieved as an electronic energy transfer from a donor to an acceptor, thus implementing a molecular full adder. We discuss a specific pair, the rhodamine–azulene, for which there is considerable spectroscopic data, but the scheme is general enough to allow a wide choice of D and A pairs. We present results based on this pair, in which, for the first time, an all optical half-adder and full-adder logic circuits are implemented. - Highlights: • Molecular scale logic • Photoquenching • Full adder

Prospects of luminescence based molecular scale logic gates and logic circuits

Energy Technology Data Exchange (ETDEWEB)

Speiser, Shammai, E-mail: speiser@technion.ac.il

2016-01-15

In recent years molecular electronics has emerged as a rapidly growing research field. The aim of this review is to introduce this subject as a whole with special emphasis on molecular scale potential devices and applications. As a particular example we will discuss all optical molecular scale logic gates and logic circuits based on molecular fluorescence and electronic excitation transfer processes. Charge and electronic energy transfers (ET and EET) are well-studied examples whereby different molecules can signal their state from one (the donor, D) to the other (the acceptor, A). We show how a half-adder logic circuit can be implemented on one molecule that can communicate its logic output as input to another half-adder molecule. This is achieved as an electronic energy transfer from a donor to an acceptor, thus implementing a molecular full adder. We discuss a specific pair, the rhodamine–azulene, for which there is considerable spectroscopic data, but the scheme is general enough to allow a wide choice of D and A pairs. We present results based on this pair, in which, for the first time, an all optical half-adder and full-adder logic circuits are implemented. - Highlights: • Molecular scale logic • Photoquenching • Full adder.

Challenges in reading the Greek philosophers

Directory of Open Access Journals (Sweden)

Behnaz Aghili Dehkordi

2017-08-01

Full Text Available Although Presocratics in 600 B.C founded new research ways in science and philosophy, wrote the first scientific essays, introduced basic conceptions of deduction, and abandoned mythological explanations, all we have of their works is but the fragments in the works of further doxographers, biographers, historians or philosophers who brought their statements between their own words. This would sometimes result in misunderstanding the presocratics’ purposes. Hermann Diels in his Doxographi Graeci raised a new method for dealing with doxography tradition. Diels’ new approach to doxography returned all this tradition to Aristotle’s pupil, Theophrastus. Some scholars like Jaap Mansfield criticized his disregard for the sophists like Gorgias and Hippias, and the successions of philosophers. According to his criticism, some matters like the Sophists’ influence on Plato, Aristotle’s definition of Doxa in the Placita and the influence of the succession and interpretation tradition on doxogtaphy are more noteworthy than Diels has thought.

Application of linear logic to simulation

Science.gov (United States)

Clarke, Thomas L.

1998-08-01

Linear logic, since its introduction by Girard in 1987 has proven expressive and powerful. Linear logic has provided natural encodings of Turing machines, Petri nets and other computational models. Linear logic is also capable of naturally modeling resource dependent aspects of reasoning. The distinguishing characteristic of linear logic is that it accounts for resources; two instances of the same variable are considered differently from a single instance. Linear logic thus must obey a form of the linear superposition principle. A proportion can be reasoned with only once, unless a special operator is applied. Informally, linear logic distinguishes two kinds of conjunction, two kinds of disjunction, and also introduces a modal storage operator that explicitly indicates propositions that can be reused. This paper discuses the application of linear logic to simulation. A wide variety of logics have been developed; in addition to classical logic, there are fuzzy logics, affine logics, quantum logics, etc. All of these have found application in simulations of one sort or another. The special characteristics of linear logic and its benefits for simulation will be discussed. Of particular interest is a connection that can be made between linear logic and simulated dynamics by using the concept of Lie algebras and Lie groups. Lie groups provide the connection between the exponential modal storage operators of linear logic and the eigen functions of dynamic differential operators. Particularly suggestive are possible relations between complexity result for linear logic and non-computability results for dynamical systems.

Quantum logics with existence property

International Nuclear Information System (INIS)

Schindler, C.

1991-01-01

A quantum logic (σ-orthocomplete orthomodular poset L with a convex, unital, and separating set Δ of states) is said to have the existence property if the expectation functionals on lin(Δ) associated with the bounded observables of L form a vector space. Classical quantum logics as well as the Hilbert space logics of traditional quantum mechanics have this property. The author shows that, if a quantum logic satisfies certain conditions in addition to having property E, then the number of its blocks (maximal classical subsystems) must either be one (classical logics) or uncountable (as in Hilbert space logics)

Philosophic-educational intelligence analysis as a subject of marketing management

OpenAIRE

N. V. Litvinenko

2014-01-01

The highest value for the philosophical problems of education should consider introducing within the philosophical foundations of marketing management methodology for systematic consideration of education as a social subject­object process, which is based on needs. Philosophy of Education in the face of marketing philosophy and management philosophy got a good theoretical and methodological framework for the synthesis of market interpretations educational development and the development of fu...

Between Laws and Models: Some Philosophical Morals of Lagrangian Mechanics

OpenAIRE

Butterfield, Jeremy

2004-01-01

I extract some philosophical morals from some aspects of Lagrangian mechanics. (A companion paper will present similar morals from Hamiltonian mechanics and Hamilton-Jacobi theory.) One main moral concerns methodology: Lagrangian mechanics provides a level of description of phenomena which has been largely ignored by philosophers, since it falls between their accustomed levels--``laws of nature'' and ``models''. Another main moral concerns ontology: the ontology of Lagrangian mechanics is bot...

Flat Coalgebraic Fixed Point Logics

Science.gov (United States)

Schröder, Lutz; Venema, Yde

Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the μ-calculus and its relatives. However, popular fixed point logics tend to trade expressivity for simplicity and readability, and in fact often live within the single variable fragment of the μ-calculus. The family of such flat fixed point logics includes, e.g., CTL, the *-nesting-free fragment of PDL, and the logic of common knowledge. Here, we extend this notion to the generic semantic framework of coalgebraic logic, thus covering a wide range of logics beyond the standard μ-calculus including, e.g., flat fragments of the graded μ-calculus and the alternating-time μ-calculus (such as ATL), as well as probabilistic and monotone fixed point logics. Our main results are completeness of the Kozen-Park axiomatization and a timed-out tableaux method that matches ExpTime upper bounds inherited from the coalgebraic μ-calculus but avoids using automata.

The Logic of Reflection: Samuel Taylor Coleridge's "treatise on Logic"

Science.gov (United States)

Land, Janet Sanders

Though others discuss Coleridge's interest in science, light imagery, the phenomenon of reflection, and his references to Newton and Opticks,^1 this is the first study to examine Coleridge's art in terms of optics, its developing theories, and the nature-of-light debate. This study examines Coleridge's early predilection for visions, illusions, and the supernatural and demonstrates that he gradually shifts from the supernatural to the scientific aspects of "visions" and "illusions," concentrating on causes of illusions and the effects of their deceptive qualities rather than their mystical features. By the 1820's, his preoccupation with illusions had become an interest in optics, fueled, no doubt, by the increasing controversy of the nature-of-light debate and the number of advances in optics resulting from the efforts of its opponents to prove their theories. Tracing the development of the debate, its escalation in the early nineteenth century, and the formation of Coleridge's opinion concerning key issues of the debate, I outline the evolution of Coleridge's theory of reflection and examine the exposition of that theory in his treatise, Logic (1981). Finally, I analyze the relationship between the advances in optics and Coleridge's concepts of thought and knowledge and his notion of the mind as an instrument of knowledge. These ideas in turn, altered his opinions concerning the validity of knowledge resulting from philosophic debate, scientific experiment, and poetic exploration. ftn^1John Beer, "Coleridge and Wordsworth on Reflection," The Wordsworth Circle 20 (1989): 20-29; Coleridge the Visionary. London: Chatto and Windus, 1959; and Coleridge's Poetic Intelligence. London: Macmillan, 1977 and M. H. Abrams Natural Supernaturalism: Tradition and Revolution in Romantic Literature. New York: Norton, 1971; and "Coleridge's 'A Light in Sound': Science, Metascience, and Poetic Imagination." The Correspondent Breeze: Essays on English Romanticism. Eds. M. H. Abrams

A Century of John and Evelyn Dewey's "Schools of To-Morrow": Rousseau, Recorded Knowledge, and Race in the Philosopher's Most Problematic Text

Science.gov (United States)

Fallace, Thomas; Fantozzi, Victoria

2015-01-01

A century ago, John Dewey and his daughter Evelyn published "Schools of To-morrow" to nearly universal acclaim. However, over the course of the 20th century, critics of Dewey have drawn upon "Schools of To-morrow" to accuse him of being an uncritical disciple of French philosopher, Jean Rousseau, of being opposed to the…

Creative Understanding Philosophical Reflections on Physics

CERN Document Server

Torretti, Roberto

1990-01-01

"A pleasure to read. Gracefully written by a scholar well grounded in the relevant philosophical, historical, and technical background. . . . a helpfully clarifying review and analysis of some issues of importance to recent philosophy of science and a source of some illuminating insights."—Burke Townsend, Philosophy of Science

MEMS Logic Using Mixed-Frequency Excitation

KAUST Repository

Ilyas, Saad

2017-06-22

We present multi-function microelectromechanical systems (MEMS) logic device that can perform the fundamental logic gate AND, OR, universal logic gates NAND, NOR, and a tristate logic gate using mixed-frequency excitation. The concept is based on exciting combination resonances due to the mixing of two or more input signals. The device vibrates at two steady states: a high state when the combination resonance is activated and a low state when no resonance is activated. These vibration states are assigned to logical value 1 or 0 to realize the logic gates. Using ac signals to drive the resonator and to execute the logic inputs unifies the input and output wave forms of the logic device, thereby opening the possibility for cascading among logic devices. We found that the energy consumption per cycle of the proposed logic resonator is higher than those of existing technologies. Hence, integration of such logic devices to build complex computational system needs to take into consideration lowering the total energy consumption. [2017-0041

Con Drury: philosopher and psychiatrist.

Science.gov (United States)

Hayes, John

2017-12-01

Maurice O'Connor Drury (1907-76), an Irish psychiatrist, is best known for his accounts of his close friendship with the eminent twentieth-century philosopher, Ludwig Wittgenstein. His only book, The Danger of Words (1973), was well received by those who had an interest in the relationship between psychiatry, psychology and philosophy. This article concentrates on Drury's experiences, studies and writings in these fields.

Philosophic-educational intelligence analysis as a subject of marketing management

Directory of Open Access Journals (Sweden)

N. V. Litvinenko

2014-11-01

Full Text Available Philosophy of Education creates conceptual and methodological prerequisites for distribution to the field of marketing management in education as a portion of the general laws of development of scientific knowledge. Marketing management education facilitates the implementation of a sociologically principles, adapting to their needs sociocentrical priorities developed within the philosophy of education. The most significant factor in social development has been the ability of society to the creation and innovation through the use of their intellectual potential. The concept of intellectual capacity within the philosophical and educational research marketing management should be used primarily in view of its importance for personal development needs analysis in the context of the needs of social and economic development, that is a combination of the characteristics of carrier capacity (human and its socio­cultural environment. For marketing management education is most important composition of individual intellectual potential. The most heuristic value for philosophical and educational analysis of marketing management has its creative cognitive component that directs people to the practical application of knowledge and mental abilities. Intellectual potential can be seen within the philosophical and educational analysis of marketing management is quite close to the economic category of «human capital» and the philosophical category of «personal capacity».

Amplifying genetic logic gates.

Science.gov (United States)

Bonnet, Jerome; Yin, Peter; Ortiz, Monica E; Subsoontorn, Pakpoom; Endy, Drew

2013-05-03

Organisms must process information encoded via developmental and environmental signals to survive and reproduce. Researchers have also engineered synthetic genetic logic to realize simpler, independent control of biological processes. We developed a three-terminal device architecture, termed the transcriptor, that uses bacteriophage serine integrases to control the flow of RNA polymerase along DNA. Integrase-mediated inversion or deletion of DNA encoding transcription terminators or a promoter modulates transcription rates. We realized permanent amplifying AND, NAND, OR, XOR, NOR, and XNOR gates actuated across common control signal ranges and sequential logic supporting autonomous cell-cell communication of DNA encoding distinct logic-gate states. The single-layer digital logic architecture developed here enables engineering of amplifying logic gates to control transcription rates within and across diverse organisms.

Aufklärung and Eternal Peace: Problems of Kantian Philosophical Projects

Directory of Open Access Journals (Sweden)

Vladimir-Adrian Costea

2018-03-01

Full Text Available This paper aims to critically analyze the major projects of Kantian philosophy in relation to the ideal of Aufklärung and the establishment of Eternal Peace. The main objective of the research is to analyze the originality and boundaries of Kantian projects both at the level of the practical (moral rationale and at the level of the relations of power and interests of the state actors on the international political scene. We aim to identify the boundaries of the Kantian approach in order to establish Eternal Peace, applying the logic of the power relations existing on the international political scene. The secondary objective of the research is to identify how the individual and the state are projected into Kantian philosophy. The original aspect of this article is the decoding of Kantian critical thinking in relation to the project of Aufklärung and the establishment of Eternal Peace. The main result of the research is that the tension of reasoning applied by philosopher Immanuel Kant regarding the definition of human nature and the relationship of forces on the international political scene. Applying the practical (moral rationale used to define the individual’s inclination to get out of the minority state (by knowledge becomes problematic at the time of the Kantian approach to justify the (political necessity of Eternal Peace.

The Quantum Logical Challenge: Peter Mittelstaedt's Contributions to Logic and Philosophy of Science

Science.gov (United States)

Beltrametti, E.; Dalla Chiara, M. L.; Giuntini, R.

2017-12-01

Peter Mittelstaedt's contributions to quantum logic and to the foundational problems of quantum theory have significantly realized the most authentic spirit of the International Quantum Structures Association: an original research about hard technical problems, which are often "entangled" with the emergence of important changes in our general world-conceptions. During a time where both the logical and the physical community often showed a skeptical attitude towards Birkhoff and von Neumann's quantum logic, Mittelstaedt brought into light the deeply innovating features of a quantum logical thinking that allows us to overcome some strong and unrealistic assumptions of classical logical arguments. Later on his intense research on the unsharp approach to quantum theory and to the measurement problem stimulated the increasing interest for unsharp forms of quantum logic, creating a fruitful interaction between the work of quantum logicians and of many-valued logicians. Mittelstaedt's general views about quantum logic and quantum theory seem to be inspired by a conjecture that is today more and more confirmed: there is something universal in the quantum theoretic formalism that goes beyond the limits of microphysics, giving rise to interesting applications to a number of different fields.

Querying Natural Logic Knowledge Bases

DEFF Research Database (Denmark)

Andreasen, Troels; Bulskov, Henrik; Jensen, Per Anker

2017-01-01

This paper describes the principles of a system applying natural logic as a knowledge base language. Natural logics are regimented fragments of natural language employing high level inference rules. We advocate the use of natural logic for knowledge bases dealing with querying of classes...... in ontologies and class-relationships such as are common in life-science descriptions. The paper adopts a version of natural logic with recursive restrictive clauses such as relative clauses and adnominal prepositional phrases. It includes passive as well as active voice sentences. We outline a prototype...... for partial translation of natural language into natural logic, featuring further querying and conceptual path finding in natural logic knowledge bases....

Reading a Feminist Response on “The Book of Knowledge” based on Gadamer’s Philosophical Hermeneutics

Directory of Open Access Journals (Sweden)

Faqihuddin Abdul Kodir

2017-08-01

Full Text Available The position of woman and knowledge in Islamic perspective has been an interesting issue in Islamic studies. One of the female Muslim scholars who focus her studies on feminism is Sa’diyya Shaikh. By exploring Gadamer’s philosophical hermeneutics, this paper is aimed at explaining the basic concepts of the philosophical hermeneutics of Sa’diyya Shaikh’s “Knowledge, Women, and Gender in the Hadith: a Feminist Interpretation” published in 2014. The work is focused on the interpretation responding to the selected texts of the Hadith in “The Book of Knowledge”, the collection of the prophetic traditions by Sahih al-Bukhari. It was found out that prejudice influences Shaikh’s motivation in interpreting the text. However, as there are neither merely subjective nor objective aspects in the interpretation, Shaikh positions herself in the structures of self-understanding which reveal “the truth” for her within a horizon. Indeed, Shaikh’s interpretation is dynamic. Thus, it can still be fixed and changed to invite new perspectives

Questions and dependency in intuitionistic logic

NARCIS (Netherlands)

Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan

2017-01-01

In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and

Logic Meeting

CERN Document Server

Tugué, Tosiyuki; Slaman, Theodore

1989-01-01

These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.

Publishing South African scholarship in the global academic community

Science.gov (United States)

le Roux, Elizabeth

2015-01-01

South Africa's academic publishing history has been profoundly influenced by its colonial heritage. This is reflected in the publication of Transactions of the South African Philosophical Society (later, the Royal Society of South Africa) from 1878. Although the Society and journal sought to promote original research about South Africa, it was modelled after the Royal Society in London and formed part of an imperial scientific community. As the local higher education institutions grew more independent and research-focused, local scholarly publishing developed as well, with university presses playing an increasingly important role. The University of South Africa (Unisa) Press started publishing departmental journals in the 1950s, with a focus on journals that ‘speak to the student’, and it is today the only South African university press with an active journals publishing programme. As external funding declined and the country became intellectually isolated in the high apartheid period, the Press managed to attract journals that could no longer be subsidized by learned societies and other universities. More recently, new co-publishing arrangements have brought South African journals back into an international intellectual community. Although some argue that this constitutes a re-colonization of South African knowledge production, it is also an innovative strategy for positioning local research in a global context. PMID:26495579

PUBLISHING SOUTH AFRICAN SCHOLARSHIP IN THE GLOBAL ACADEMIC COMMUNITY.

Science.gov (United States)

Le Roux, Elizabeth

2015-09-20

South Africa's academic publishing history has been profoundly influenced by its colonial heritage. This is reflected in the publication of Transactions of the South African Philosophical Society (later, the Royal Society of South Africa) from 1878. Although the Society and journal sought to promote original research about South Africa, it was modelled after the Royal Society in London and formed part of an imperial scientific community. As the local higher education institutions grew more independent and research-focused, local scholarly publishing developed as well, with university presses playing an increasingly important role. The University of South Africa (Unisa) Press started publishing departmental journals in the 1950s, with a focus on journals that 'speak to the student', and it is today the only South African university press with an active journals publishing programme. As external funding declined and the country became intellectually isolated in the high apartheid period, the Press managed to attract journals that could no longer be subsidized by learned societies and other universities. More recently, new co-publishing arrangements have brought South African journals back into an international intellectual community. Although some argue that this constitutes a re-colonization of South African knowledge production, it is also an innovative strategy for positioning local research in a global context.

What is mathematical logic?

CERN Document Server

Crossley, J N; Brickhill, CJ; Stillwell, JC

2010-01-01

Although mathematical logic can be a formidably abstruse topic, even for mathematicians, this concise book presents the subject in a lively and approachable fashion. It deals with the very important ideas in modern mathematical logic without the detailed mathematical work required of those with a professional interest in logic.The book begins with a historical survey of the development of mathematical logic from two parallel streams: formal deduction, which originated with Aristotle, Euclid, and others; and mathematical analysis, which dates back to Archimedes in the same era. The streams beg

Introduction to mathematical logic

CERN Document Server

Mendelson, Elliott

2015-01-01

The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Church, Kleene, Rosser, and Turing.The sixth edition incorporates recent work on Gödel's second incompleteness theorem as well as restoring an appendix on consistency proofs for first-order arithmetic. This appendix last appeared in the first edition. It is offered in th

A Logic for Choreographies

DEFF Research Database (Denmark)

Lopez, Hugo Andres; Carbone, Marco; Hildebrandt, Thomas

2010-01-01

We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL...... ), a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service specifications. Finally, we show that, despite GL is undecidable, there is a significant decidable fragment which we provide with a sound and complete proof...

The Philosophical Foundations of Modern Medicine

CERN Document Server

Lee, Dr Keekok

2011-01-01

An exploration of the philosophical foundation of modern medicine which explains why such a medicine possesses the characteristics it does and where precisely its strengths as well as its weaknesses lie. Written in plain English, it should be accessible to anyone who is intellectually curious, lay persons and medical professionals alike.

Philosophical inquiry and the goals of nursing: a critical approach for disciplinary knowledge development and action.

Science.gov (United States)

Grace, Pamela J; Perry, Donna J

2013-01-01

Philosophical inquiry remains critically important for nursing education, practice, and knowledge development. We propose a 3-level taxonomy of philosophical inquiry to guide nursing curricula and research development. Important background information about philosophy and the development of philosophical methods is given. Then philosophical inquiry is linked to the goals of nursing using our proposed taxonomy: level I-cultivating an attitude of "critical consciousness" related to all nursing situations and actions, level II-analysis and application of philosophical perspectives to nursing problems and level III-generating new knowledge for nursing purposes including new theories of practice and research.

Do institutional logics predict interpretation of contract rules at the dental chair-side?

Science.gov (United States)

Harris, Rebecca; Brown, Stephen; Holt, Robin; Perkins, Elizabeth

2014-12-01

In quasi-markets, contracts find purchasers influencing health care providers, although problems exist where providers use personal bias and heuristics to respond to written agreements, tending towards the moral hazard of opportunism. Previous research on quasi-market contracts typically understands opportunism as fully rational, individual responses selecting maximally efficient outcomes from a set of possibilities. We take a more emotive and collective view of contracting, exploring the influence of institutional logics in relation to the opportunistic behaviour of dentists. Following earlier qualitative work where we identified four institutional logics in English general dental practice, and six dental contract areas where there was scope for opportunism; in 2013 we surveyed 924 dentists to investigate these logics and whether they had predictive purchase over dentists' chair-side behaviour. Factor analysis involving 300 responses identified four logics entwined in (often technical) behaviour: entrepreneurial commercialism, duty to staff and patients, managerialism, public good. Copyright © 2014 The Authors. Published by Elsevier Ltd.. All rights reserved.

Fuzzy Logic and Arithmetical Hierarchy III

Czech Academy of Sciences Publication Activity Database

Hájek, Petr

2001-01-01

Roč. 68, č. 1 (2001), s. 129-142 ISSN 0039-3215 R&D Projects: GA AV ČR IAA1030004 Institutional research plan: AV0Z1030915 Keywords : fuzzy logic * basic fuzzy logic * Lukasiewicz logic * Godel logic * product logic * arithmetical hierarchy Subject RIV: BA - General Mathematics

Modern logic and quantum mechanics

International Nuclear Information System (INIS)

Garden, R.W.

1984-01-01

The book applies the methods of modern logic and probabilities to ''interpreting'' quantum mechanics. The subject is described and discussed under the chapter headings: classical and quantum mechanics, modern logic, the propositional logic of mechanics, states and measurement in mechanics, the traditional analysis of probabilities, the probabilities of mechanics and the model logic of predictions. (U.K.)

Semantic theory for logic programming

Energy Technology Data Exchange (ETDEWEB)

Brown, F M

1981-01-01

The author axiomatizes a number of meta theoretic concepts which have been used in logic programming, including: meaning, logical truth, nonentailment, assertion and erasure, thus showing that these concepts are logical in nature and need not be defined as they have previously been defined in terms of the operations of any particular interpreter for logic programs. 10 references.

Toward a New Philosophical Anthropology of Education: Fuller Considerations of Social Constructivism

Science.gov (United States)

Fleury, Stephen; Garrison, Jim

2014-01-01

Philosophical anthropology is philosophical inquiry into human nature that seeks to answer the fundamental question of what generally characterizes human beings and differentiates them from other creatures and things. Political theories considerably influence educational theories. We call attention to the fact that the three main political…

Epistemic logic

NARCIS (Netherlands)

Meyer, J.-J.

1999-01-01

Knowledge has been subject of philosophical study since ancient times. This is not surprising since knowledge is crucial to humans in order to control their actions and the appetite for acquiring it seems innate to the human race. Phi- losophy, therefore, has always occupied itself with the

Social and philosophical analysis of brand clothes : the Ukrainian context

Directory of Open Access Journals (Sweden)

H. V. Skalatskaya

2016-06-01

Full Text Available The purpose of the article is to consider the prospects of social and philosophical analysis of the product (clothes of fashion brand. In social and philosophical analysis of brand clothes, its fashion shows there is a range of discursive questions: the use and the definition of the concepts «designer» and «brand»; thematic focus of the brand (fabrics, colors, prints, shapes its semantics; format of representation of fashion collection in dependence; and a number of other structural elements. In the analysis of fashion trends or seasonal collections the concepts designer or brand are used. The concept «brand» contains an economic component, certain calculations, and intangible assets (goodwill; design work is subject to market needs and the interests of consumers (for analysis of the individual designer the biographical method is used. Theoretical analysis of fashion cannot be made apart from empirical material. A performative approach of K. Wolfe can be the methodology of the social and philosophical research of fashion show. The advantages of this method of the research are to determine fashion as performative space, staging ideas of the designer in the fashion show and making clothes. Implementation of performative approach allowed considering thematic focus of the brand of clothes and format of its representation in seasonal fashion shows on the example of Ukrainian brand «Domanoff». Social and philosophical analysis of brand clothes can be divided into the following main components, excluding aesthetic and economic aspects: the use of the concepts designer and brand (a set of aesthetic, economic, social and subjective components and design`s view; review of the semantics of clothes and staging (by providing clothes in the form of seasonal fashion shows of collections. For complex social and socio­philosophical analysis of fashion brand it necessary to have: the press release (description, designer`s interview (disclosure of early

Logic and Learning

DEFF Research Database (Denmark)

Hendricks, Vincent Fella; Gierasimczuk, Nina; de Jong, Dick

2014-01-01

Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive in- ference. Johan van Benthem’s vision of the “dynamic turn” has not only brought renewed life to research agendas in logic as the study of inform......Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive in- ference. Johan van Benthem’s vision of the “dynamic turn” has not only brought renewed life to research agendas in logic as the study...... of information processing, but likewise helped bring logic and learning in close proximity. This proximity relation is examined with respect to learning and belief revision, updating and efficiency, and with respect to how learnability fits in the greater scheme of dynamic epistemic logic and scientific method....

Magnonic logic circuits

International Nuclear Information System (INIS)

Khitun, Alexander; Bao Mingqiang; Wang, Kang L

2010-01-01

We describe and analyse possible approaches to magnonic logic circuits and basic elements required for circuit construction. A distinctive feature of the magnonic circuitry is that information is transmitted by spin waves propagating in the magnetic waveguides without the use of electric current. The latter makes it possible to exploit spin wave phenomena for more efficient data transfer and enhanced logic functionality. We describe possible schemes for general computing and special task data processing. The functional throughput of the magnonic logic gates is estimated and compared with the conventional transistor-based approach. Magnonic logic circuits allow scaling down to the deep submicrometre range and THz frequency operation. The scaling is in favour of the magnonic circuits offering a significant functional advantage over the traditional approach. The disadvantages and problems of the spin wave devices are also discussed.

Seneca's theology in its philosophical context

NARCIS (Netherlands)

van Houte, M.S.A.|info:eu-repo/dai/nl/304835862

2010-01-01

This study aims at a better understanding of the theological views of the Roman Stoic Seneca and the status of these views in relation to those of the earlier Stoics, and in the context of various other factors, such as the views of other philosophical schools and the purpose of Seneca's work.This

Relativistic quantum logic

International Nuclear Information System (INIS)

Mittelstaedt, P.

1983-01-01

on the basis of the well-known quantum logic and quantum probability a formal language of relativistic quantum physics is developed. This language incorporates quantum logical as well as relativistic restrictions. It is shown that relativity imposes serious restrictions on the validity regions of propositions in space-time. By an additional postulate this relativistic quantum logic can be made consistent. The results of this paper are derived exclusively within the formal quantum language; they are, however, in accordance with well-known facts of relativistic quantum physics in Hilbert space. (author)

Taylorism and the Logic of Learning Outcomes

Science.gov (United States)

Stoller, Aaron

2015-01-01

This essay examines the shared philosophical foundations of Fredrick W. Taylor's scientific management principles and the contemporary learning outcomes movement (LOM). It analyses the shared philosophical ground between the focal point of Taylor's system--"the task"--and the conceptualization and deployment of "learning…

Implementing conventional logic unconventionally: photochromic molecular populations as registers and logic gates.

Science.gov (United States)

Chaplin, J C; Russell, N A; Krasnogor, N

2012-07-01

In this paper we detail experimental methods to implement registers, logic gates and logic circuits using populations of photochromic molecules exposed to sequences of light pulses. Photochromic molecules are molecules with two or more stable states that can be switched reversibly between states by illuminating with appropriate wavelengths of radiation. Registers are implemented by using the concentration of molecules in each state in a given sample to represent an integer value. The register's value can then be read using the intensity of a fluorescence signal from the sample. Logic gates have been implemented using a register with inputs in the form of light pulses to implement 1-input/1-output and 2-input/1-output logic gates. A proof of concept logic circuit is also demonstrated; coupled with the software workflow describe the transition from a circuit design to the corresponding sequence of light pulses. Copyright © 2012 Elsevier Ireland Ltd. All rights reserved.

A Logic for Choreographies

Directory of Open Access Journals (Sweden)

Marco Carbone

2011-10-01

Full Text Available We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL, a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service specifications. Finally, we show that, despite GL is undecidable, there is a significant decidable fragment which we provide with a sound and complete proof system for checking validity of formulae.

Relational Parametricity and Separation Logic

DEFF Research Database (Denmark)

Birkedal, Lars; Yang, Hongseok

2008-01-01

Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new interpretation of the logic for a programming language with higher types. Our interpretation is based on Reynolds's relational...... parametricity, and it provides a formal connection between separation logic and data abstraction. Udgivelsesdato: 2008...

Heterogeneous logics of competition

DEFF Research Database (Denmark)

Mossin, Christiane

2015-01-01

of competition are only realized as particular forms of social organization by virtue of interplaying with other kinds of logics, like legal logics. (2) Competition logics enjoy a peculiar status in-between constructedness and givenness; although competition depends on laws and mechanisms of socialization, we...... still experience competition as an expression of spontaneous human activities. On the basis of these perspectives, a study of fundamental rights of EU law, springing from the principle of ‘free movement of people’, is conducted. The first part of the empirical analysis seeks to detect the presence...... of a presumed logic of competition within EU law, whereas the second part focuses on particular legal logics. In this respect, the so-called ‘real link criterion’ (determining the access to transnational social rights for certain groups of unemployed people) is given special attention. What is particularly...

Philosophia ad bellum

Directory of Open Access Journals (Sweden)

Yu. O. Loboda

2014-06-01

Full Text Available In the paper «Philosophia ad bellum» is being realized an attempt to classify philosophic approaches to the study of phenomenon of war by the analogy with the structure of «Just war theory» – 1. Philosophia ad bellum – «philosophy for war», where are investigated ways of using of philosophic methods of cognition in applied military sciences; 2. Philosophia supra bello – «philosophy above war», which investigates world­view, historic­philosophic, existential, logic­epistemological aspects of war; 3. Philosophia contra belli – «philosophy against war», where research of the essence of war gets its logical conclusion in grounding of the absurdity of thinking schemes which justify war as an act of violence. In the article was made historic­philosophic overview of the part «Philosophia ad bellum», where were showed tangent questions, which are considered by philosophic logic and theory of strategic intelligence. It was stated, that specialists if military intelligence admit the important role of researches in logic and theory of cognition in their professional work; were defined basic questions, which have the most essential interest for military professionals. There were analyzed ways of using of philosophic methods in developing military strategies, was made a conclusion that philosophy can be a basis of strategic failures and victories as well.

Basic logic and quantum entanglement

International Nuclear Information System (INIS)

Zizzi, P A

2007-01-01

As it is well known, quantum entanglement is one of the most important features of quantum computing, as it leads to massive quantum parallelism, hence to exponential computational speed-up. In a sense, quantum entanglement is considered as an implicit property of quantum computation itself. But... can it be made explicit? In other words, is it possible to find the connective 'entanglement' in a logical sequent calculus for the machine language? And also, is it possible to 'teach' the quantum computer to 'mimic' the EPR 'paradox'? The answer is in the affirmative, if the logical sequent calculus is that of the weakest possible logic, namely Basic logic. - A weak logic has few structural rules. But in logic, a weak structure leaves more room for connectives (for example the connective 'entanglement'). Furthermore, the absence in Basic logic of the two structural rules of contraction and weakening corresponds to the validity of the no-cloning and no-erase theorems, respectively, in quantum computing

Logic regression and its extensions.

Science.gov (United States)

Schwender, Holger; Ruczinski, Ingo

2010-01-01

Logic regression is an adaptive classification and regression procedure, initially developed to reveal interacting single nucleotide polymorphisms (SNPs) in genetic association studies. In general, this approach can be used in any setting with binary predictors, when the interaction of these covariates is of primary interest. Logic regression searches for Boolean (logic) combinations of binary variables that best explain the variability in the outcome variable, and thus, reveals variables and interactions that are associated with the response and/or have predictive capabilities. The logic expressions are embedded in a generalized linear regression framework, and thus, logic regression can handle a variety of outcome types, such as binary responses in case-control studies, numeric responses, and time-to-event data. In this chapter, we provide an introduction to the logic regression methodology, list some applications in public health and medicine, and summarize some of the direct extensions and modifications of logic regression that have been proposed in the literature. Copyright © 2010 Elsevier Inc. All rights reserved.

Using Abductive Research Logic: "The Logic of Discovery", to Construct a Rigorous Explanation of Amorphous Evaluation Findings

Science.gov (United States)

Levin-Rozalis, Miri

2010-01-01

Background: Two kinds of research logic prevail in scientific research: deductive research logic and inductive research logic. However, both fail in the field of evaluation, especially evaluation conducted in unfamiliar environments. Purpose: In this article I wish to suggest the application of a research logic--"abduction"--"the logic of…

Philosophical problems between teaching and learning

Directory of Open Access Journals (Sweden)

Raquel Alvim Monteiro

2016-12-01

Full Text Available This paper intends to think the relation between teaching and learning, questioning the conception of education as a way to shape the subject involved in this relationship. Thus, introduce some legal bases readings that establish the Brazilian high school in order to consider the importance of discussing philosophically the Philosophy teaching.This way, with the reading of Foucault and Deleuze, rethink the conception of subject present in the parameters that rule the education, as well as the education paradigm as a way to promote the student to a social subject. In this sense, it is necessary to bring official discourse elements to stablish the conception of educating in this curriculum and, together, discuss about the notion of subject present in this documents. We intend to dissolve the comprehension of universal subject in order to treat the subjectivities and rethink the relation between teaching and learning. This relation is designed, most of the time, with a certain homogeneity in the formation of a certain subject and a certain knowledge. Therefore, this proposal aims to question the bases of education that start from a perception of teaching as a product. Discourse about a teaching that does not address only content transmission, but a teaching as philosophical experience. Think with Deleuze that learning is related not only to a rational aspect, but also to a sensitive one. However, starting with some researchers interested in the subject, consider these terms in order to propose possibilities of thinking a philosophical Philosophy teaching in high school. It is noteworthy that this proposal do not intend to deplete the thought of concepts that are so complex, but to raise questions that are still in an investigation process and should be analyzed constantly.

Status of the human embryo: Philosophical Foundations from Phenomenology

Directory of Open Access Journals (Sweden)

Maria Emilia de Oliveira Schpallir Silva

2017-10-01

Full Text Available Given the difficulty in demonstrating the moment of ontogenesis in which personalization takes place, we sought to define, from a philosophic point of view, the nature of the human embryo regarding its individuality, using Phenomenology, specifically reflections of philosophers Bourghet and Merleau-Ponty on the embryo. Although the statement of their individuality does not entail ethical content in itself, from the point of view of ethical responsibility, it is an extremely important fact to be considered in the bioethical reflection about the moment of ontogeny from which human life must (ethical duty be protected.

Social research design: framework for integrating philosophical and practical elements.

Science.gov (United States)

Cunningham, Kathryn Burns

2014-09-01

To provide and elucidate a comprehensible framework for the design of social research. An abundance of information exists concerning the process of designing social research. The overall message that can be gleaned is that numerable elements - both philosophical (ontological and epistemological assumptions and theoretical perspective) and practical (issue to be addressed, purpose, aims and research questions) - are influential in the process of selecting a research methodology and methods, and that these elements and their inter-relationships must be considered and explicated to ensure a coherent research design that enables well-founded and meaningful conclusions. There is a lack of guidance concerning the integration of practical and philosophical elements, hindering their consideration and explication. The author's PhD research into loneliness and cancer. This is a methodology paper. A guiding framework that incorporates all of the philosophical and practical elements influential in social research design is presented. The chronological and informative relationships between the elements are discussed. The framework presented can be used by social researchers to consider and explicate the practical and philosophical elements influential in the selection of a methodology and methods. It is hoped that the framework presented will aid social researchers with the design and the explication of the design of their research, thereby enhancing the credibility of their projects and enabling their research to establish well-founded and meaningful conclusions.

Moral Attention: A Comparative Philosophical Study

Science.gov (United States)

Gendron, Claude

2016-01-01

The notion of moral attention allows the recognition of fundamental aspects of ethical life ignored or neglected by mainstream ethical theories. It is central to the theories of several notable female ethicists and many of them identify the French philosopher Simone Weil as the source of the contemporary use of this concept which invites…

Connections among quantum logics

International Nuclear Information System (INIS)

Lock, P.F.; Hardegree, G.M.

1985-01-01

This paper gives a brief introduction to the major areas of work in quantum event logics: manuals (Foulis and Randall) and semi-Boolean algebras (Abbott). The two theories are compared, and the connection between quantum event logics and quantum propositional logics is made explicit. In addition, the work on manuals provides us with many examples of results stated in Part I. (author)

Philosophical origins of the social rate of discount in cost-benefit analysis.

Science.gov (United States)

Robinson, J C

1990-01-01

The social rate of discount--that is, the way decision makers today evaluate future consequences of collective activity--raises difficult issues of intergenerational justice. When benefits are discounted at the present rate the United States government requires, serious efforts to promote public health over the long term will fail cost-benefit tests. No consensus exists among theorists to establish fair rates; philosophers support discounting with economic arguments that economists reject, while economists no less paradoxically support the concept using philosophical arguments that philosophers disavow. A new emphasis on the role of consumers' and citizens' time preferences, however, will keep open rather than close debates on the social discount rate.

VULNERABILITY, AUTHENTICITY, AND INTER-SUBJECTIVE CONTACT: PHILOSOPHICAL PRINCIPLES OF INTEGRATIVE PSYCHOTHERAPY

OpenAIRE

Richard G. Erskine

2013-01-01

The Philosophical principles of a relationally focused Integrative Psychotherapy are described through the concepts of vulnerability, authenticity, and inter-subjective contact. Eight principles or therapist attitudes are outlined with clinical examples that illustrate the philosophy. These philosophical principles provide the foundation for a theory of methods. This article is based on a keynote address given at the 6th International Integrative Psychotherapy Association Conference, Granth...

Safety logic systems of PFBR

International Nuclear Information System (INIS)

Sambasivan, S. Ilango

2004-01-01

Full text : PFBR is provided with two independent, fast acting and diverse shutdown systems to detect any abnormalities and to initiate safety action. Each system consists of sensors, signal processing systems, logics, drive mechanisms and absorber rods. The absorber rods of the first system are Control and Safety Rods (CSR) and that of the second are called as Diverse Safety Rods (DSR). There are nine CSR and three DSR. While CSR are used for startup, control of reactor power, controlled shutdown and SCRAM, the DSR are used only for SCRAM. The respective drive mechanisms are called as CSRDM and DSRDM. Each of these two systems is capable of executing the shutdown satisfactorily with single failure criteria. Two independent safety logic systems based on diverse principles have been designed for the two shut down systems. The analog outputs of the sensors of Core Monitoring Systems comprising of reactor flux monitoring, core temperature monitoring, failed fuel detection and core flow monitoring systems are processed and converted into binary signals depending on their instantaneous values. Safety logic systems receive the binary signals from these core-monitoring systems and process them logically to protect the reactor against postulated initiating events. Neutronic and power to flow (P/Q) signals form the inputs to safety logic system-I and temperature signals are inputs to the safety logic system II. Failed fuel detection signals are processed by both the shut down systems. The two logic systems to actuate the safety rods are also based on two diverse designs and implemented with solid-state devices to meet all the requirements of safety systems. Safety logic system I that caters to neutronic and P/Q signals is designed around combinational logic and has an on-line test facility to detect struck at faults. The second logic system is based on dynamic logic and hence is inherently safe. This paper gives an overview of the two logic systems that have been

A Paraconsistent Higher Order Logic

DEFF Research Database (Denmark)

Villadsen, Jørgen

2004-01-01

of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc. Higher order logics have the advantages of being expressive and with several automated theorem provers available. Also the type system can be helpful. We present a concise description of a paraconsistent higher order...... of the logic is examined by a case study in the domain of medicine. Thus we try to build a bridge between the HOL and MVL communities. A sequent calculus is proposed based on recent work by Muskens. Many non-classical logics are, at the propositional level, funny toys which work quite good, but when one wants...

Breaking the fault tree circular logic

International Nuclear Information System (INIS)

Lankin, M.

2000-01-01

Event tree - fault tree approach to model failures of nuclear plants as well as of other complex facilities is noticeably dominant now. This approach implies modeling an object in form of unidirectional logical graph - tree, i.e. graph without circular logic. However, genuine nuclear plants intrinsically demonstrate quite a few logical loops (circular logic), especially where electrical systems are involved. This paper shows the incorrectness of existing practice of circular logic breaking by elimination of part of logical dependencies and puts forward a formal algorithm, which enables the analyst to correctly model the failure of complex object, which involves logical dependencies between system and components, in form of fault tree. (author)

Indexical Hybrid Tense Logic

DEFF Research Database (Denmark)

Blackburn, Patrick Rowan; Jørgensen, Klaus Frovin

2012-01-01

In this paper we explore the logic of now, yesterday, today and tomorrow by combining the semantic approach to indexicality pioneered by Hans Kamp [9] and refined by David Kaplan [10] with hybrid tense logic. We first introduce a special now nominal (our @now corresponds to Kamp’s original now...... operator N) and prove completeness results for both logical and contextual validity. We then add propositional constants to handle yesterday, today and tomorrow; our system correctly treats sentences like “Niels will die yesterday” as contextually unsatisfiable. Building on our completeness results for now......, we prove completeness for the richer language, again for both logical and contextual validity....

The Joint Philosophical Program of Russell and Wittgenstein and Its Demise

Directory of Open Access Journals (Sweden)

Nikolay Milkov

2013-03-01

Full Text Available Between April and November 1912, Bertrand Russell and Ludwig Wittgenstein were engaged in a joint philosophical program. Wittgenstein’s meeting with Gottlob Frege in December 1912 led, however, to its dissolution—the joint program was abandoned. Section 1 of this paper outlines the key points of that program, identifying what Russell and Wittgenstein each contributed to it. The second section determines precisely those features of their collaborative work that Frege criticized. Finally, building upon the evidence developed in the first two sections, section 3 recasts along previously undeveloped lines Wittgensein’s logical–philosophical discoveries in the two years following his encounter with Frege in 1912. The paper concludes, in section 4, with an overview of the dramatic consequences the Frege–Wittgenstein critique had for Russell’s philosophical development.

Fiction and Conviction | Blackburn | Philosophical Papers

African Journals Online (AJOL)

I claim that there is nothing so unusual in the interleaving of myth or fiction and history that Williams finds in Herodotus. I also reflect on the difficulty of separating acceptance of truth from acceptance of myth, metaphor, and model, not only in history but also in science. Philosophical Papers Vol.32(3) 2003: 243-260 ...

Can a Rabbit Be a Scientist? Stimulating Philosophical Dialogue in Science Classes

Science.gov (United States)

Dunlop, Lynda; de Schrijver, Jelle

2018-01-01

Philosophical dialogue requires an approach to teaching and learning in science that is focused on problem posing and provides space for meaning making, finding new ways of thinking and understanding and for linking science with broader human experiences. This article explores the role that philosophical dialogue can play in science lessons and…

Reversible logic gates on Physarum Polycephalum

International Nuclear Information System (INIS)

Schumann, Andrew

2015-01-01

In this paper, we consider possibilities how to implement asynchronous sequential logic gates and quantum-style reversible logic gates on Physarum polycephalum motions. We show that in asynchronous sequential logic gates we can erase information because of uncertainty in the direction of plasmodium propagation. Therefore quantum-style reversible logic gates are more preferable for designing logic circuits on Physarum polycephalum

Logical entropy of quantum dynamical systems

Directory of Open Access Journals (Sweden)

Ebrahimzadeh Abolfazl

2016-01-01

Full Text Available This paper introduces the concepts of logical entropy and conditional logical entropy of hnite partitions on a quantum logic. Some of their ergodic properties are presented. Also logical entropy of a quantum dynamical system is dehned and ergodic properties of dynamical systems on a quantum logic are investigated. Finally, the version of Kolmogorov-Sinai theorem is proved.

From Logical to Distributional Models

Directory of Open Access Journals (Sweden)

Anne Preller

2014-12-01

Full Text Available The paper relates two variants of semantic models for natural language, logical functional models and compositional distributional vector space models, by transferring the logic and reasoning from the logical to the distributional models. The geometrical operations of quantum logic are reformulated as algebraic operations on vectors. A map from functional models to vector space models makes it possible to compare the meaning of sentences word by word.

Logic reversibility and thermodynamic irreversibility demonstrated by DNAzyme-based Toffoli and Fredkin logic gates.

Science.gov (United States)

Orbach, Ron; Remacle, Françoise; Levine, R D; Willner, Itamar

2012-12-26

The Toffoli and Fredkin gates were suggested as a means to exhibit logic reversibility and thereby reduce energy dissipation associated with logic operations in dense computing circuits. We present a construction of the logically reversible Toffoli and Fredkin gates by implementing a library of predesigned Mg(2+)-dependent DNAzymes and their respective substrates. Although the logical reversibility, for which each set of inputs uniquely correlates to a set of outputs, is demonstrated, the systems manifest thermodynamic irreversibility originating from two quite distinct and nonrelated phenomena. (i) The physical readout of the gates is by fluorescence that depletes the population of the final state of the machine. This irreversible, heat-releasing process is needed for the generation of the output. (ii) The DNAzyme-powered logic gates are made to operate at a finite rate by invoking downhill energy-releasing processes. Even though the three bits of Toffoli's and Fredkin's logically reversible gates manifest thermodynamic irreversibility, we suggest that these gates could have important practical implication in future nanomedicine.

Functions and generality of logic reflections on Dedekind's and Frege's logicisms

CERN Document Server

Benis-Sinaceur, Hourya; Sandu, Gabriel

2015-01-01

This book examines three connected aspects of Frege's logicism: the differences between Dedekind's and Frege's interpretation of the term 'logic' and related terms and reflects on Frege's notion of function, comparing its understanding and the role it played in Frege's and Lagrange's foundational programs. It concludes with an examination of the notion of arbitrary function, taking into account Frege's, Ramsey's and Russell's view on the subject. Composed of three chapters, this book sheds light on important aspects of Dedekind's and Frege's logicisms. The first chapter explains how, although he shares Frege's aim at substituting logical standards of rigor to intuitive imports from spatio-temporal experience into the deductive presentation of arithmetic, Dedekind had a different goal and used or invented different tools. The chapter highlights basic dissimilarities between Dedekind's and Frege's actual ways of doing and thinking. The second chapter reflects on Frege's notion of a function, in comparison with ...

An Algebraic View of Super-Belnap Logics

Czech Academy of Sciences Publication Activity Database

Albuquerque, H.; Přenosil, Adam; Rivieccio, U.

2017-01-01

Roč. 105, č. 6 (2017), s. 1051-1086 ISSN 0039-3215 R&D Projects: GA ČR GBP202/12/G061 Grant - others:EU(XE) PIRSES- GA-2012-31898 Institutional support: RVO:67985807 Keywords : Super-Belnap logics * Four-valued logic * Paraconsistent logic * Belnap–Dunn logic * FDE * Logic of Paradox * Kleene logic * Exactly True logic * De Morgan algebras * Abstract Algebraic Logic * Leibniz filters * Strong versions of logics Subject RIV: BA - General Mathematics OBOR OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) Impact factor: 0.589, year: 2016

Logic Programming: PROLOG.

Science.gov (United States)

Lopez, Antonio M., Jr.

1989-01-01

Provides background material on logic programing and presents PROLOG as a high-level artificial intelligence programing language that borrows its basic constructs from logic. Suggests the language is one which will help the educator to achieve various goals, particularly the promotion of problem solving ability. (MVL)

Introduction to fuzzy logic using Matlab

CERN Document Server

Sivanandam, SN; Deepa, S N

2006-01-01

Fuzzy Logic, at present is a hot topic, among academicians as well various programmers. This book is provided to give a broad, in-depth overview of the field of Fuzzy Logic. The basic principles of Fuzzy Logic are discussed in detail with various solved examples. The different approaches and solutions to the problems given in the book are well balanced and pertinent to the Fuzzy Logic research projects. The applications of Fuzzy Logic are also dealt to make the readers understand the concept of Fuzzy Logic. The solutions to the problems are programmed using MATLAB 6.0 and the simulated results are given. The MATLAB Fuzzy Logic toolbox is provided for easy reference.

Basic logic and quantum entanglement

Energy Technology Data Exchange (ETDEWEB)

Zizzi, P A [Dipartimento di Matematica Pura ed Applicata, Via Trieste 63, 35121 Padova (Italy)

2007-05-15

As it is well known, quantum entanglement is one of the most important features of quantum computing, as it leads to massive quantum parallelism, hence to exponential computational speed-up. In a sense, quantum entanglement is considered as an implicit property of quantum computation itself. But... can it be made explicit? In other words, is it possible to find the connective 'entanglement' in a logical sequent calculus for the machine language? And also, is it possible to 'teach' the quantum computer to 'mimic' the EPR 'paradox'? The answer is in the affirmative, if the logical sequent calculus is that of the weakest possible logic, namely Basic logic. - A weak logic has few structural rules. But in logic, a weak structure leaves more room for connectives (for example the connective 'entanglement'). Furthermore, the absence in Basic logic of the two structural rules of contraction and weakening corresponds to the validity of the no-cloning and no-erase theorems, respectively, in quantum computing.

Implicational (semilinear) logics III: completeness properties

Czech Academy of Sciences Publication Activity Database

Cintula, Petr; Noguera, Carles

2018-01-01

Roč. 57, 3-4 (2018), s. 391-420 ISSN 0933-5846 R&D Projects: GA ČR GA13-14654S EU Projects: European Commission(XE) 689176 - SYSMICS Institutional support: RVO:67985807 ; RVO:67985556 Keywords : abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness Subject RIV: BA - General Mathematics; BA - General Mathematics (UTIA-B) OBOR OECD: Computer science s, information science , bioinformathics (hardware development to be 2.2, social aspect to be 5.8) Impact factor: 0.394, year: 2016

Implicational (semilinear) logics III: completeness properties

Czech Academy of Sciences Publication Activity Database

Cintula, Petr; Noguera, Carles

2018-01-01

Roč. 57, 3-4 (2018), s. 391-420 ISSN 0933-5846 R&D Projects: GA ČR GA13-14654S EU Projects: European Commission(XE) 689176 - SYSMICS Institutional support: RVO:67985807 ; RVO:67985556 Keywords : abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness Subject RIV: BA - General Mathematics; BA - General Mathematics (UTIA-B) OBOR OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) Impact factor: 0.394, year: 2016

Heritage of the romantic philosophy in post-Linnaean botany Reichenbach's reception of Goethe's metamorphosis of plants as a methodological and philosophical framework.

Science.gov (United States)

Robin, Nicolas

2011-01-01

This paper demonstrates the importance of the reception and development of Goethe's metamorphosis of plants as a methodological and philosophical framework in the history of botanical theories. It proposes a focus on the textbooks written by the German botanist Ludwig Reichenbach and his first attempt to use Goethe's idea of metamorphosis of plants as fundamental to his natural system of plants published under the title 'Botany for Women', in German Botanik für Damen (1828). In this book, Reichenbach paid particular attention to Goethe's sensitive views on the essence of nature; he regarded Goethe's idea of metamorphosis in the plant kingdom as an ideal model to interpret connections of natural phenomena, in particular as a conceptual frame for a natural system. Furthermore, he aimed to develop the philosophical statement of the metamorphosis, in which he called for nature-philosophical conceptions in order to materialize his representation of plant "affinities," and of a kind of "ontogeny" of the whole plant kingdom. This paper demonstrates that, between speculative views and empirical attempts, the extent to which Reichenbach actually belonged to a new "school" of thought, which left its mark on the history and philosophy of botany.

Microelectromechanical reprogrammable logic device

Science.gov (United States)

Hafiz, M. A. A.; Kosuru, L.; Younis, M. I.

2016-01-01

In modern computing, the Boolean logic operations are set by interconnect schemes between the transistors. As the miniaturization in the component level to enhance the computational power is rapidly approaching physical limits, alternative computing methods are vigorously pursued. One of the desired aspects in the future computing approaches is the provision for hardware reconfigurability at run time to allow enhanced functionality. Here we demonstrate a reprogrammable logic device based on the electrothermal frequency modulation scheme of a single microelectromechanical resonator, capable of performing all the fundamental 2-bit logic functions as well as n-bit logic operations. Logic functions are performed by actively tuning the linear resonance frequency of the resonator operated at room temperature and under modest vacuum conditions, reprogrammable by the a.c.-driving frequency. The device is fabricated using complementary metal oxide semiconductor compatible mass fabrication process, suitable for on-chip integration, and promises an alternative electromechanical computing scheme. PMID:27021295

Microelectromechanical reprogrammable logic device

KAUST Repository

Hafiz, Md Abdullah Al

2016-03-29

In modern computing, the Boolean logic operations are set by interconnect schemes between the transistors. As the miniaturization in the component level to enhance the computational power is rapidly approaching physical limits, alternative computing methods are vigorously pursued. One of the desired aspects in the future computing approaches is the provision for hardware reconfigurability at run time to allow enhanced functionality. Here we demonstrate a reprogrammable logic device based on the electrothermal frequency modulation scheme of a single microelectromechanical resonator, capable of performing all the fundamental 2-bit logic functions as well as n-bit logic operations. Logic functions are performed by actively tuning the linear resonance frequency of the resonator operated at room temperature and under modest vacuum conditions, reprogrammable by the a.c.-driving frequency. The device is fabricated using complementary metal oxide semiconductor compatible mass fabrication process, suitable for on-chip integration, and promises an alternative electromechanical computing scheme.

Coherent quantum logic

International Nuclear Information System (INIS)

Finkelstein, D.

1987-01-01

The von Neumann quantum logic lacks two basic symmetries of classical logic, that between sets and classes, and that between lower and higher order predicates. Similarly, the structural parallel between the set algebra and linear algebra of Grassmann and Peano was left incomplete by them in two respects. In this work a linear algebra is constructed that completes this correspondence and is interpreted as a new quantum logic that restores these invariances, and as a quantum set theory. It applies to experiments with coherent quantum phase relations between the quantum and the apparatus. The quantum set theory is applied to model a Lorentz-invariant quantum time-space complex

A Brief Prehistory of Philosophical Paraconsistency

Directory of Open Access Journals (Sweden)

William H. F. Altman

2010-04-01

Full Text Available In celebration of Newton da Costa’s place in the history of paraconsistency, this paper considers the use and abuse of deliberate self-contradiction. Beginning with Parmenides, developed by Plato, and continued by Cicero, an ancient philosophical tradition used deliberately paraconsistent discourses to reveal the truth. In modern times, decisionism has used deliberate self-contradiction against Judeo-Christian revelation.

Does Prigogine’s Non-linear Thermodynamics Support Popular Philosophical Discussions of Self-Organization?

Directory of Open Access Journals (Sweden)

Alexander Pechenkin

2015-10-01

Full Text Available The article is concerned with the philosophical talks which became popular in the 1980s and have kept their popularity till now–the philosophical essays about self-organization. The author attempts to find out as to which extent are these essays founded on the scientific theory to which they regularly refer, that is, Ilya Prigogine’s non-linear thermodynamics. The author insists that the equivalent of self-organization in Prigogine’s theoretical physics is the concept of dissipative structure. The concept of selforganization, as it is used in philosophical literature, presupposes a sequence of extrapolations, the first extrapolation being conducted by Prigogine and his coauthors. They became to use the concept of dissipative structure beyond the rigorous theory of this phenomenon. The subsequent step was that the scientific term “dissipative structure” was replaced by the vague concept “self-organization” in many popular and semi-popular books and papers. The author also emphasizes that by placing the concept of self-organization into the framework of philosophical concepts (the picture of the world, the ideals of scientific thought, the contemporary scientific revolution, etc. a philosopher conducts the extrapolation of extrapolation and comes to a kind of what Edmund Husserl called Weltanschauung (‘worldview’ philosophy.

Logical database design principles

CERN Document Server

Garmany, John; Clark, Terry

2005-01-01

INTRODUCTION TO LOGICAL DATABASE DESIGNUnderstanding a Database Database Architectures Relational Databases Creating the Database System Development Life Cycle (SDLC)Systems Planning: Assessment and Feasibility System Analysis: RequirementsSystem Analysis: Requirements Checklist Models Tracking and Schedules Design Modeling Functional Decomposition DiagramData Flow Diagrams Data Dictionary Logical Structures and Decision Trees System Design: LogicalSYSTEM DESIGN AND IMPLEMENTATION The ER ApproachEntities and Entity Types Attribute Domains AttributesSet-Valued AttributesWeak Entities Constraint

A Philosophical Look at the Higgs Mechanism

NARCIS (Netherlands)

Friederich, Simon

2014-01-01

On the occasion of the recent experimental detection of a Higgs-type particle at the Large Hadron Collider at CERN, the paper reviews philosophical aspects of the Higgs mechanism as the presently preferred account of the generation of particle masses in the Standard Model of elementary particle

Neither logical empiricism nor vitalism, but organicism: what the philosophy of biology was.

Science.gov (United States)

Nicholson, Daniel J; Gawne, Richard

2015-12-01

Philosophy of biology is often said to have emerged in the last third of the twentieth century. Prior to this time, it has been alleged that the only authors who engaged philosophically with the life sciences were either logical empiricists who sought to impose the explanatory ideals of the physical sciences onto biology, or vitalists who invoked mystical agencies in an attempt to ward off the threat of physicochemical reduction. These schools paid little attention to actual biological science, and as a result philosophy of biology languished in a state of futility for much of the twentieth century. The situation, we are told, only began to change in the late 1960s and early 1970s, when a new generation of researchers began to focus on problems internal to biology, leading to the consolidation of the discipline. In this paper we challenge this widely accepted narrative of the history of philosophy of biology. We do so by arguing that the most important tradition within early twentieth-century philosophy of biology was neither logical empiricism nor vitalism, but the organicist movement that flourished between the First and Second World Wars. We show that the organicist corpus is thematically and methodologically continuous with the contemporary literature in order to discredit the view that early work in the philosophy of biology was unproductive, and we emphasize the desirability of integrating the historical and contemporary conversations into a single, unified discourse.

VULNERABILITY, AUTHENTICITY, AND INTER-SUBJECTIVE CONTACT: PHILOSOPHICAL PRINCIPLES OF INTEGRATIVE PSYCHOTHERAPY

Directory of Open Access Journals (Sweden)

Richard G. Erskine

2013-11-01

Full Text Available The Philosophical principles of a relationally focused Integrative Psychotherapy are described through the concepts of vulnerability, authenticity, and inter-subjective contact. Eight principles or therapist attitudes are outlined with clinical examples that illustrate the philosophy. These philosophical principles provide the foundation for a theory of methods. This article is based on a keynote address given at the 6th International Integrative Psychotherapy Association Conference, Grantham, UK, July 11-14, 2013.

Proposal for the Formalization of Dialectical Logic

Directory of Open Access Journals (Sweden)

José Luis Usó-Doménech

2016-12-01

Full Text Available Classical logic is typically concerned with abstract analysis. The problem for a synthetic logic is to transcend and unify available data to reconstruct the object as a totality. Three rules are proposed to pass from classic logic to synthetic logic. We present the category logic of qualitative opposition using examples from various sciences. This logic has been defined to include the neuter as part of qualitative opposition. The application of these rules to qualitative opposition, and, in particular, its neuter, demonstrated that a synthetic logic allows the truth of some contradictions. This synthetic logic is dialectical with a multi-valued logic, which gives every proposition a truth value in the interval [0,1] that is the square of the modulus of a complex number. In this dialectical logic, contradictions of the neuter of an opposition may be true.

Wiittgensteins's contributions to a Philosophical reflection on technology

Directory of Open Access Journals (Sweden)

Geraldo Dôres Armendane

2016-12-01

Full Text Available This article examines Wittgenstein’s cultural pessimism on the progress of Western techno-scientific civilization in the first half of the twentieth century, as well as the contributions of the Austrian thinker for a philosophical reflection on technology. We will also show that Wittgenstein’s philosophical position was based on a deep and intense activity of thought and language. The text is divided on in three parts: the first shows Wittgenstein’s cultural pessimism on the technological civilization progress; the second shows Wittgenstein's relationship with science and his strong opposition to the scientist ideology; the third presents Wittgenstein’s conception of philosophy therapy including for the uses of technological civilization. Finally, we conclude by showing that Wittgenstein's philosophy avoids the use of the "ladder" dealing with problems in the contemporary world.

Lectures on Logic and Computation

DEFF Research Database (Denmark)

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers fo...

Strong Completeness for Markovian Logics

DEFF Research Database (Denmark)

Kozen, Dexter; Mardare, Radu Iulian; Panangaden, Prakash

2013-01-01

In this paper we present Hilbert-style axiomatizations for three logics for reasoning about continuous-space Markov processes (MPs): (i) a logic for MPs defined for probability distributions on measurable state spaces, (ii) a logic for MPs defined for sub-probability distributions and (iii) a log...

Linear Logic on Petri Nets

DEFF Research Database (Denmark)

Engberg, Uffe Henrik; Winskel, Glynn

This article shows how individual Petri nets form models of Girard's intuitionistic linear logic. It explores questions of expressiveness and completeness of linear logic with respect to this interpretation. An aim is to use Petri nets to give an understanding of linear logic and give some apprai...

Literacy and Technological Development in Nigeria: A Philosophical ...

African Journals Online (AJOL)

Literacy and Technological Development in Nigeria: A Philosophical ... Many challenges have occurred in society as a result of advances in sciences and technology. ... historical and cultural factors determine if and how, a technology is used.

The logic of actual obligation. An alternative approach to deontic logic

NARCIS (Netherlands)

Voorbraak, F.

In this paper we develop a system of deontic logic (LAO, the logic of actual obligation) with a rather limited scope: we are, only interested in obligations as far as they: are relevant for deciding what actions actually ought to be done in a particular situation, given some normative system N.

From the history of logic. Semantics of homonymy in Porphyry’s logic

Directory of Open Access Journals (Sweden)

Garin Sergey Vyacheslavovich

2016-10-01

Full Text Available The article deals with the logical and semantic aspects of the theory of homonyms in Aristotle’s “Categories” within the context of Porphyry’s commentaries. We consider the logical formation of the doctrine of homonymy of nouns, verbs, and conjunctions in Ancient Greek. We reveal the difficulty in interpreting the terms “κατηγορίαι”, “ὄνομα” and “ῥῆμα”. The paper has shed some light on different aspects of Porphyry’s logic.

THE PRINCIPLES OF LAW. PHILOSOPHICAL APPROACH

Directory of Open Access Journals (Sweden)

MARIUS ANDREESCU

2013-05-01

Full Text Available Any scientific intercession that has as objective, the understanding of the significances of the “principle of law” needs to have an interdisciplinary character, the basis for the approach being the philosophy of the law. In this study we fulfill such an analysis with the purpose to underline the multiple theoretical significances due to this concept, but also the relationship between the juridical principles and norms, respectively the normative value of the principle of the law. Thus are being materialized extensive references to the philosophical and juridical doctrine in the matter. This study is a pleading to refer to the principles, in the work for the law’s creation and applying. Starting with the difference between “given” and ‘constructed” we propose the distinction between the “metaphysical principles” outside the law, which by their contents have philosophical significances, and the “constructed principles” elaborated inside the law. We emphasize the obligation of the law maker, but also of the expert to refer to the principles in the work of legislation, interpretation and applying of the law. Arguments are brought for the updating, in certain limits, the justice – naturalistic concepts in the law.

Theories of Social Media: Philosophical Foundations

Directory of Open Access Journals (Sweden)

Jiayin Qi

2018-02-01

Full Text Available Although many different views of social media coexist in the field of information systems (IS, such theories are usually not introduced in a consistent framework based on philosophical foundations. This paper introduces the dimensions of lifeworld and consideration of others. The concept of lifeworld includes Descartes’ rationality and Heidegger’s historicity, and consideration of others is based on instrumentalism and Heidegger’s “being-with.” These philosophical foundations elaborate a framework where different archetypal theories applied to social media may be compared: Goffman’s presentation of self, Bourdieu’s social capital, Sartre’s existential project, and Heidegger’s “shared-world.” While Goffman has become a frequent reference in social media, the three other references are innovative in IS research. The concepts of these four theories of social media are compared with empirical findings in IS literature. While some of these concepts match the empirical findings, some other concepts have not yet been investigated in the use of social media, suggesting future research directions. Keywords: Social media, Lifeworld, Consideration of others, Rationality, Historicity, Instrumentalism, Being-with, Presentation of self

Software theory a cultural and philosophical study

CERN Document Server

Frabetti, Federica

2014-01-01

This book engages directly in close readings of technical texts and computer code in order to show how software works. It offers an analysis of the cultural, political, and philosophical implications of software technologies that demonstrates the significance of software for the relationship between technology, philosophy, culture, and society.

Modal Logics for Cryptographic Processes

DEFF Research Database (Denmark)

Frendrup, U.; Huttel, Hans; Jensen, N. J.

2002-01-01

We present three modal logics for the spi-calculus and show that they capture strong versions of the environment sensitive bisimulation introduced by Boreale et al. Our logics differ from conventional modal logics for process calculi in that they allow us to describe the knowledge of an attacker ...

Optimization methods for logical inference

CERN Document Server

Chandru, Vijay

2011-01-01

Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach. Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though ""solving logical inference problems with optimization methods may seem a bit like eating sauerkraut with chopsticks. . . it is the mathematical structure of a problem that determines whether an optimization model can help solve it, not the context in which the problem occurs."" Presenting powerful, proven optimization techniques for logic in

Logic and Philosophy of Time

DEFF Research Database (Denmark)

By blending historical research with current research, this collection (loosely inspired by themes from the work of Arthur Prior) demonstrates the importance of Prior's writings and helps us to gain a deeper understanding of time, its logic(s), and its language(s).......By blending historical research with current research, this collection (loosely inspired by themes from the work of Arthur Prior) demonstrates the importance of Prior's writings and helps us to gain a deeper understanding of time, its logic(s), and its language(s)....

Logical independence and quantum randomness

International Nuclear Information System (INIS)

Paterek, T; Kofler, J; Aspelmeyer, M; Zeilinger, A; Brukner, C; Prevedel, R; Klimek, P

2010-01-01

We propose a link between logical independence and quantum physics. We demonstrate that quantum systems in the eigenstates of Pauli group operators are capable of encoding mathematical axioms and show that Pauli group quantum measurements are capable of revealing whether or not a given proposition is logically dependent on the axiomatic system. Whenever a mathematical proposition is logically independent of the axioms encoded in the measured state, the measurement associated with the proposition gives random outcomes. This allows for an experimental test of logical independence. Conversely, it also allows for an explanation of the probabilities of random outcomes observed in Pauli group measurements from logical independence without invoking quantum theory. The axiomatic systems we study can be completed and are therefore not subject to Goedel's incompleteness theorem.

Philosophical introduction to set theory

CERN Document Server

Pollard, Stephen

2015-01-01

The primary mechanism for ideological and theoretical unification in modern mathematics, set theory forms an essential element of any comprehensive treatment of the philosophy of mathematics. This unique approach to set theory offers a technically informed discussion that covers a variety of philosophical issues. Rather than focusing on intuitionist and constructive alternatives to the Cantorian/Zermelian tradition, the author examines the two most important aspects of the current philosophy of mathematics, mathematical structuralism and mathematical applications of plural reference and plural

Logic an introductory course

CERN Document Server

Newton-Smith, WH

2003-01-01

A complete introduction to logic for first-year university students with no background in logic, philosophy or mathematics. In easily understood steps it shows the mechanics of the formal analysis of arguments.

A Resolution Prover for Coalition Logic

OpenAIRE

Nalon, Cláudia; Zhang, Lan; Dixon, Clare; Hustadt, Ullrich

2014-01-01

We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency. The theorem prover CLProver is based on recent work on a resolution-based calculus for Coalition Logic that operates on coalition problems, a normal form for Coalition Logic. We provide an overview of coalition problems and of the resolution-based calculus for Coalition Logic. We then give details of the implementation of CLProver and prese...

On Witnessed Models in Fuzzy Logic III - Witnessed Gödel Logics

Czech Academy of Sciences Publication Activity Database

Hájek, Petr

2010-01-01

Roč. 56, č. 2 (2010), s. 171-174 ISSN 0942-5616 R&D Projects: GA MŠk(CZ) 1M0545 Institutional research plan: CEZ:AV0Z10300504 Keywords : mathematical fuzzy logic * Gödel logic * witnessed models * arithmetical complexity Subject RIV: BA - General Mathematics Impact factor: 0.361, year: 2010

Design and experimentation of BSFQ logic devices

International Nuclear Information System (INIS)

Hosoki, T.; Kodaka, H.; Kitagawa, M.; Okabe, Y.

1999-01-01

Rapid single flux quantum (RSFQ) logic needs synchronous pulses for each gate, so the clock-wiring problem is more serious when designing larger scale circuits with this logic. So we have proposed a new SFQ logic which follows Boolean algebra perfectly by using set and reset pulses. With this logic, the level information of current input is transmitted with these pulses generated by level-to-pulse converters, and each gate calculates logic using its phase level made by these pulses. Therefore, our logic needs no clock in each gate. We called this logic 'Boolean SFQ (BSFQ) logic'. In this paper, we report design and experimentation for an AND gate with inverting input based on BSFQ logic. The experimental results for OR and XOR gates are also reported. (author)

C. F. v. Weizsaecker. Physicist, philosopher, visionary; C. F. v. Weizsaecker. Physiker, Philosoph, Visionaer

Energy Technology Data Exchange (ETDEWEB)

Goernitz, Thomas

2012-11-01

The 20th century with its political, social, and scientific aspects bundles itself in the life of Carl Friedrich v. Weizsaecker. As comprehensive thinker of the presence he led natural science, philosophy, and spirituality to a unity. In the public the grandson of last in Germany enobled minster and brother of the senior federal president achieved by his engagement for peace and disarmament a global effect. Competently and understandably his visionary and prospective physical ideas and his philosophical considerations are explained by his long standing coworker and close confident.

A Philosophical reflection on European integration : Aristotelian subsidiarity versus Kantian universalism

OpenAIRE

Bielskis, Andrius

2010-01-01

This paper aims to show how contemporary Aristotelian political philosophy can be utilised in our reflections on European integration. It argues that changes in international relations after the end of the Cold War and a growing cultural divide between Europe and the US makes Europe's Western identity untenable. Through a brief philosophical sketch of the history of 'the West' it argues that Europe needs to return to its European rather than Western roots. The philosophical emphasis on nation...

Combining Paraconsistent Logic with Argumentation

NARCIS (Netherlands)

Grooters, Diana; Prakken, Hendrik

2014-01-01

One tradition in the logical study of argumentation is to allow for arguments that combine strict and defeasible inference rules, and to derive the strict inference rules from a logic at least as strong as classical logic. An unsolved problem in this tradition is how the trivialising effect of the

Anticoincidence logic using PALs

International Nuclear Information System (INIS)

Bolanos, L.; Arista Romeu, E.

1997-01-01

This paper describes the functioning principle of an anticoincidence logic and a design of this based on programing logic. The circuit was included in a discriminator of an equipment for single-photon absorptiometry

How can one be both a philosophical ethicist and a democrat?

Science.gov (United States)

Oswald, Malcolm

2015-03-01

How can one be both a philosophical ethicist and a democrat? In this article I conclude that it can be difficult to reconcile the two roles. One involves understanding, and reconciling, the conflicting views of citizens, and the other requires the pursuit of truth through reason. Nevertheless, an important function of philosophy and ethics is to inform and improve policy. If done effectively, we could expect better, and more just, laws and policies, thereby benefiting many lives. So applying philosophical thinking to policy is an important job. However, it comes with substantial difficulties, not least in reconciling, or choosing between, competing philosophical theories. Despite the importance of the task, and the apparent obstacles, there is relatively little literature on how to apply ethics to real-world policy-making. Democracies need ethicists who can engage in democratic debate and bridge the gap between philosophy and public policy. I offer some tactics here.

PHILOSOPHICAL AND ANTHROPOLOGICAL IMPORTANCE OF DEVELOPMENT OF ARTIFICIALLY CREATED INTELLIGENT SYSTEMS

Directory of Open Access Journals (Sweden)

Yu. D. Gensitskiy

2015-12-01

Full Text Available Purpose. Understanding the philosophical and anthropological importance of the development the artificial intelligence systems requires the analysis of the socio and anthropological content of intercomputer problems of interaction in the context of media philosophical praxis, anthropological maintenance of intellect nature, considering the specifics of the concept of artificial intelligence systems in the environment of M2M development of socio-cognitive practices of intercomputer interaction of social and humanitarian potential. Methodology. The implementation target is seen in the use of scientific and theoretical basis of the media philosophical, philosophical anthropology, the media philosophical approach to understanding society, science and technology, the use of publications on selected topics of research. Scientific novelty. The concept of artificial intelligence systems in the aspect of social and humanitarian potential of their formation and development in the environment of M2M was considered. The problems of machine learning as technology transformation M2M were analysed. The anthropological threats to the development of artificially created intelligent systems were defined. Conclusions. From the global risks point of view, one of the most critical circumstances due to the artificial intelligent system can strengthen its intelligence very quickly. The obvious reason for suspecting such an opportunity – a recursive self-improvement. Such system becomes smarter, including the intelligent writing of internal cognitive function, that the ability to rewrite their existing cognitive function to make it work better. This will make such systems more intelligent, and smarter in terms of the processing itself. The success of artificial intelligence may be the beginning of the end of the human race. Almost any technology falling into malicious hands reveals the potential for harm, but when it comes to artificial intelligent system, there is a

Philosophical Performances in Everyday Life Situations

Directory of Open Access Journals (Sweden)

Rüdiger H. Rimpler

2016-07-01

Following some of the ideas of Julian Klein and Arno Böhler on the significance of our feelings and on the limits of conceptual thinking I propose a specific form of philosophical performances, which is based on a grounding of emotions within thinking and on postponed deliberations within networking groups of individuals who are sharing a similar background of specific experiences in a given population.

The literary and philosophical conceptions of Laza Kostić

Directory of Open Access Journals (Sweden)

Aleksić Slađana V.

2016-01-01

Full Text Available Laza Kostić, in the early seventies of the XIX century, opposed the utilitarianism of Nikolay Chernyshevsky and Svetozar Markovié, and advocated the idea of aestheticism in poetry and art. In his study about Jovan Jovanović Zmaj, Kostić had discovered two opposing processes in the poet, which he symbolically named the battle between the dragon and the nightingale. Kostić's conception about the origin of poetry is at the intersection of romanticist poetics about creation from divine inspiration, and a philosophical concept of the interference as a basic principle. The paper sheds light on the correspondence among the philosophical and literary views of Laza Kostić and his artistic work.

Contextual logic for quantum systems

International Nuclear Information System (INIS)

Domenech, Graciela; Freytes, Hector

2005-01-01

In this work we build a quantum logic that allows us to refer to physical magnitudes pertaining to different contexts from a fixed one without the contradictions with quantum mechanics expressed in no-go theorems. This logic arises from considering a sheaf over a topological space associated with the Boolean sublattices of the ortholattice of closed subspaces of the Hilbert space of the physical system. Different from standard quantum logics, the contextual logic maintains a distributive lattice structure and a good definition of implication as a residue of the conjunction

Tensor product of quantum logics

Science.gov (United States)

Pulmannová, Sylvia

1985-01-01

A quantum logic is the couple (L,M) where L is an orthomodular σ-lattice and M is a strong set of states on L. The Jauch-Piron property in the σ-form is also supposed for any state of M. A ``tensor product'' of quantum logics is defined. This definition is compared with the definition of a free orthodistributive product of orthomodular σ-lattices. The existence and uniqueness of the tensor product in special cases of Hilbert space quantum logics and one quantum and one classical logic are studied.

Microelectromechanical resonator based digital logic elements

KAUST Repository

Hafiz, Md Abdullah Al

2016-10-20

Micro/nano-electromechanical resonator based mechanical computing has recently attracted significant attention. However, its full realization has been hindered by the difficulty in realizing complex combinational logics, in which the logic function is constructed by cascading multiple smaller logic blocks. In this work we report an alternative approach for implementation of digital logic core elements, multiplexer and demultiplexer, which can be used to realize combinational logic circuits by suitable concatenation. Toward this, shallow arch shaped microresonators are electrically connected and their resonance frequencies are tuned based on an electrothermal frequency modulation scheme. This study demonstrates that by reconfiguring the same basic building block, the arch microresonator, complex logic circuits can be realized.

Microelectromechanical resonator based digital logic elements

KAUST Repository

Hafiz, Md Abdullah Al; Kosuru, Lakshmoji; Younis, Mohammad I.; Fariborzi, Hossein

2016-01-01

Micro/nano-electromechanical resonator based mechanical computing has recently attracted significant attention. However, its full realization has been hindered by the difficulty in realizing complex combinational logics, in which the logic function is constructed by cascading multiple smaller logic blocks. In this work we report an alternative approach for implementation of digital logic core elements, multiplexer and demultiplexer, which can be used to realize combinational logic circuits by suitable concatenation. Toward this, shallow arch shaped microresonators are electrically connected and their resonance frequencies are tuned based on an electrothermal frequency modulation scheme. This study demonstrates that by reconfiguring the same basic building block, the arch microresonator, complex logic circuits can be realized.

Students’ logical-mathematical intelligence profile

Science.gov (United States)

Arum, D. P.; Kusmayadi, T. A.; Pramudya, I.

2018-04-01

One of students’ characteristics which play an important role in learning mathematics is logical-mathematical intelligence. This present study aims to identify profile of students’ logical-mathematical intelligence in general and specifically in each indicator. It is also analyzed and described based on students’ sex. This research used qualitative method with case study strategy. The subjects involve 29 students of 9th grade that were selected by purposive sampling. Data in this research involve students’ logical-mathematical intelligence result and interview. The results show that students’ logical-mathematical intelligence was identified in the moderate level with the average score is 11.17 and 51.7% students in the range of the level. In addition, the level of both male and female students are also mostly in the moderate level. On the other hand, both male and female students’ logical-mathematical intelligence is strongly influenced by the indicator of ability to classify and understand patterns and relationships. Furthermore, the ability of comparison is the weakest indicator. It seems that students’ logical-mathematical intelligence is still not optimal because more than 50% students are identified in moderate and low level. Therefore, teachers need to design a lesson that can improve students’ logical-mathematical intelligence level, both in general and on each indicator.

Fuzzy Versions of Epistemic and Deontic Logic

Science.gov (United States)

Gounder, Ramasamy S.; Esterline, Albert C.

1998-01-01

Epistemic and deontic logics are modal logics, respectively, of knowledge and of the normative concepts of obligation, permission, and prohibition. Epistemic logic is useful in formalizing systems of communicating processes and knowledge and belief in AI (Artificial Intelligence). Deontic logic is useful in computer science wherever we must distinguish between actual and ideal behavior, as in fault tolerance and database integrity constraints. We here discuss fuzzy versions of these logics. In the crisp versions, various axioms correspond to various properties of the structures used in defining the semantics of the logics. Thus, any axiomatic theory will be characterized not only by its axioms but also by the set of properties holding of the corresponding semantic structures. Fuzzy logic does not proceed with axiomatic systems, but fuzzy versions of the semantic properties exist and can be shown to correspond to some of the axioms for the crisp systems in special ways that support dependency networks among assertions in a modal domain. This in turn allows one to implement truth maintenance systems. For the technical development of epistemic logic, and for that of deontic logic. To our knowledge, we are the first to address fuzzy epistemic and fuzzy deontic logic explicitly and to consider the different systems and semantic properties available. We give the syntax and semantics of epistemic logic and discuss the correspondence between axioms of epistemic logic and properties of semantic structures. The same topics are covered for deontic logic. Fuzzy epistemic and fuzzy deontic logic discusses the relationship between axioms and semantic properties for these logics. Our results can be exploited in truth maintenance systems.

Adam Smith : Systematic Philosopher and Public Thinker

NARCIS (Netherlands)

Schliesser, E.

2017-01-01

This book treats Adam Smith as a systematic philosopher. Smith was a giant of the Scottish Enlightenment with polymath interests. The book explores Smith’s economics and ethics in light of his other commitments on the nature of knowledge, the theory of emotions, the theory of mind, his account of

Introducing Giovanni Gentile, the "Philosopher of Fascism"

Science.gov (United States)

Clayton, Thomas

2009-01-01

This essay aims to introduce Giovanni Gentile to scholars of Gramsci studies broadly and Gramsci-education studies more specifically. The largest part of the essay explores Gentile's academic life, his philosophical agenda, and his political career. Having established a basis for understanding the educational reform Gentile enacted as Mussolini's…

Philosophical conceptions of the self: implications for cognitive science.

Science.gov (United States)

Gallagher

2000-01-01

Several recently developed philosophical approaches to the self promise to enhance the exchange of ideas between the philosophy of the mind and the other cognitive sciences. This review examines two important concepts of self: the 'minimal self', a self devoid of temporal extension, and the 'narrative self', which involves personal identity and continuity across time. The notion of a minimal self is first clarified by drawing a distinction between the sense of self-agency and the sense of self-ownership for actions. This distinction is then explored within the neurological domain with specific reference to schizophrenia, in which the sense of self-agency may be disrupted. The convergence between the philosophical debate and empirical study is extended in a discussion of more primitive aspects of self and how these relate to neonatal experience and robotics. The second concept of self, the narrative self, is discussed in the light of Gazzaniga's left-hemisphere 'interpreter' and episodic memory. Extensions of the idea of a narrative self that are consistent with neurological models are then considered. The review illustrates how the philosophical approach can inform cognitive science and suggests that a two-way collaboration may lead to a more fully developed account of the self.

Logical independence and quantum randomness

Energy Technology Data Exchange (ETDEWEB)

Paterek, T; Kofler, J; Aspelmeyer, M; Zeilinger, A; Brukner, C [Institute for Quantum Optics and Quantum Information, Austrian Academy of Sciences, Boltzmanngasse 3, A-1090 Vienna (Austria); Prevedel, R; Klimek, P [Faculty of Physics, University of Vienna, Boltzmanngasse 5, A-1090 Vienna (Austria)], E-mail: tomasz.paterek@univie.ac.at

2010-01-15

We propose a link between logical independence and quantum physics. We demonstrate that quantum systems in the eigenstates of Pauli group operators are capable of encoding mathematical axioms and show that Pauli group quantum measurements are capable of revealing whether or not a given proposition is logically dependent on the axiomatic system. Whenever a mathematical proposition is logically independent of the axioms encoded in the measured state, the measurement associated with the proposition gives random outcomes. This allows for an experimental test of logical independence. Conversely, it also allows for an explanation of the probabilities of random outcomes observed in Pauli group measurements from logical independence without invoking quantum theory. The axiomatic systems we study can be completed and are therefore not subject to Goedel's incompleteness theorem.

Marketing Logics, Ambidexterity and Influence

DEFF Research Database (Denmark)

Tollin, Karin; Schmidt, Marcus

2012-01-01

in four CMOs have taken on this challenge, or adopted a marketing logic which could be referred to as ambidextrous. Furthermore, the study shows that this logic exerts a stronger impact on marketing's influence, compared to logics related to assuring brand consistency and measuring the performance...... of marketing processes. Three other ways to enact marketing management were also revealed, namely: an innovation; a communication; and a supporting marketing logic. This leads us to conclude that the influence of companies' marketing functions show up a heterogeneous picture within which the marketing logics......The duties of companies' chief marketing officers (CMOs) seem incompatible. They are expected to ensure that their company's market assets are properly exploited and recorded, while simultaneously enacting a proactive role in the company's business development. This study shows that about one...

Optical programmable Boolean logic unit.

Science.gov (United States)

Chattopadhyay, Tanay

2011-11-10

Logic units are the building blocks of many important computational operations likes arithmetic, multiplexer-demultiplexer, radix conversion, parity checker cum generator, etc. Multifunctional logic operation is very much essential in this respect. Here a programmable Boolean logic unit is proposed that can perform 16 Boolean logical operations from a single optical input according to the programming input without changing the circuit design. This circuit has two outputs. One output is complementary to the other. Hence no loss of data can occur. The circuit is basically designed by a 2×2 polarization independent optical cross bar switch. Performance of the proposed circuit has been achieved by doing numerical simulations. The binary logical states (0,1) are represented by the absence of light (null) and presence of light, respectively.

The philosophical premises of the second King Report on corporate governance

Directory of Open Access Journals (Sweden)

G.J. Rossouw

2005-07-01

Full Text Available This article focuses on the philosophical presuppositions of the second King Report on corporate governance for South Africa (hereafter referred to as the King II Report. Especially in the “Introduction and Background” section of the King II Report it is clear that the Report is premised upon a specific understanding of the present-day corporation and its moral obligations. The purpose of this article is to commit what Charles Taylor called “an act of retrieval” in which the philosophical premises of the King II Report will be unearthed and exposed. It will be argued that the view of the present-day corporation that underlies the King II Report could be related back to a number of debates on the notion of the comtemporary corporation and its moral responsibilities that have been played out since the 1970s. It will be indicated how these debates provide the philosophical foundations for the view of the comtemporary corporation and its moral obligations that is espoused in the King II Report. The claim made in the Report that the African world view and culture influenced the Report’s notion of corporate governance will also be critically reviewed. Finally it will be attempted to evaluate to what extent the recommendations of the King II Report live up to its own philosophical premises.

Pulse coded safety logic for PFBR

International Nuclear Information System (INIS)

Anwer, Md. Najam; Satheesh, N.; Nagaraj, C.P.; Krishnakumar, B.

2002-01-01

Full text: Reactor safety logic is designed to initiate safety action against design basis events. The reactor is shutdown by de-energizing electromagnets and dropping the absorber rods under gravity. In prototype fast breeder reactor (PFBR), shutdown is affected by two independent shutdown systems, viz., control and safety rod drive mechanism (CSRDM) and diverse safety rod drive mechanism (DSRDM). Two separate safety logics are proposed for CSRDM and DSRDM, i.e. solid state logic with on-line fine impulse test (FIT) for CSRDM and pulse coded safety logic (PCSL) for DSRDM. The PCSL primarily utilizes the fact that the vast majority of faults in the logic circuitry result in static conditions at the output. It is arranged such that the presence of pulses are required to hold the shutdown actuators and any DC logic state, either logic 0 or logic 1 releases them. It is a dynamic, self-testing logic and used in a number of reactors. This paper describes the principle of operation of PCSL, its advantages, the concept of guard line logic (GLL), detection of stuck at 0 and stuck at 1 faults, fail safe and diversity features. The implementation of PCSL using Altera Max+Plus II software for PFBR trip signals and the results of simulation are discussed. This paper also describes a test jig using 80186 based system for testing PCSL for various input parameter's combinations and monitoring the outputs

The nature of delusion: psychologically explicable? psychologically inexplicable? philosophically explicable? Part 2.

Science.gov (United States)

Cutting, J; Musalek, M

2016-03-01

The first part of this article dealt with the extant formulations of delusion, psychiatric and psychological, suggestions which, respectively, regard delusion as psychologically inexplicable or explicable. All this was subjected to critique. This second part puts forward informed philosophical thesis whereby delusion can be explained within the philosophical movement known as phenomenology and, in particular, Max Scheler's version of this. © The Author(s) 2015.

Towards rational closure for fuzzy logic: The case of propositional Godel logic

CSIR Research Space (South Africa)

Casini, G

2013-12-01

Full Text Available In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark and we are going to see whether such a construction can be adopted in the context of mathematical fuzzy logic, a so far (apparently) unexplored...

A Resolution Prover for Coalition Logic

Directory of Open Access Journals (Sweden)

Cláudia Nalon

2014-04-01

Full Text Available We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency. The theorem prover CLProver is based on recent work on a resolution-based calculus for Coalition Logic that operates on coalition problems, a normal form for Coalition Logic. We provide an overview of coalition problems and of the resolution-based calculus for Coalition Logic. We then give details of the implementation of CLProver and present the results for a comparison with an existing tableau-based solver.

Logical design for computers and control

CERN Document Server

Dodd, Kenneth N

1972-01-01

Logical Design for Computers and Control Logical Design for Computers and Control gives an introduction to the concepts and principles, applications, and advancements in the field of control logic. The text covers topics such as logic elements; high and low logic; kinds of flip-flops; binary counting and arithmetic; and Boolean algebra, Boolean laws, and De Morgan's theorem. Also covered are topics such as electrostatics and atomic theory; the integrated circuit and simple control systems; the conversion of analog to digital systems; and computer applications and control. The book is recommend

Self-knowledge in the process of interpreting philosophical texts

Directory of Open Access Journals (Sweden)

A. V. Kulik

2016-08-01

Full Text Available Modern philosophical researches pay attention to various aspects of self-knowledge investigation. For instance, there are works on historical concepts of self-knowledge (e.g. ones by C. Moore, or articles about the place of self-knowledge in the phenomenon of rationality (e.g. ones by J. Roessler, or articles about epistemological lacks of self-knowledge (e.g. ones by J. Fernández. However, our paper is about the aspect that is not in the researchers’ centre of attention. Our study shows that practicing of book reading can be a source of information not only about the content of the books, but also about their readers. We investigate a phenomenon of incompatible interpretations, Ludwig Wittgenstein’s ideas about understanding his texts, Merab Mamardashvili’s concept of ‘novel as a machine’, Ludwig Feuerbach’s theory of specifics of human cognition, and Philosophical Hermeneutics thinkers’ concepts about problems of understanding. The purpose of our paper is to describe possibilities of getting self-knowledge by analyzing the information about the results of philosophical texts reading. The research holds that these results give information about the content of the text as well as a reader’s ideas. A reader can use word forms from the texts to express his own implicit thoughts. Philosophical texts are the most effective tool for doing that because their content and ways of text organization stimulate such an activity. We illustrate these statements by examples from history of philosophy. For instance, we investigate the creation of the theory on the genealogy of morality by Friedrich Nietzsche. Analyzing phrases, which were important for him in the text, a person can estimate his own ideas. If one uses this theoretical model for getting self-knowledge he takes a new source of information about his own implicit ideas. The interpretation of this information will be effective. As a result of analyzing of Friedrich Schleiermacher

Separation Logic

DEFF Research Database (Denmark)

Reynolds, John C.

2002-01-01

In joint work with Peter O'Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative programs that use shared mutable data structure. The simple imperative programming language is extended with commands (not...... with the inductive definition of predicates on abstract data structures, this extension permits the concise and flexible description of structures with controlled sharing. In this paper, we will survey the current development of this program logic, including extensions that permit unrestricted address arithmetic...

How Objects Shape Logics in Construction

DEFF Research Database (Denmark)

Tryggestad, Kjell; Georg, Susse

2011-01-01

The notion of institutional logics is a key tenet in institutional theory but few studies have attended to the micro‐foundations of logics. The sociology of associations is used to explore the micro‐foundations of logics, their emergence and temporal–spatial importance. A case study of the constr......The notion of institutional logics is a key tenet in institutional theory but few studies have attended to the micro‐foundations of logics. The sociology of associations is used to explore the micro‐foundations of logics, their emergence and temporal–spatial importance. A case study...... and identities as emergent and contingent outcomes of the material practices of building construction. The argument is concluded by considering the building construction as a materially mediated meaning structure....

The Philosophical Problem of Truth in Librarianship

Science.gov (United States)

Labaree, Robert V.; Scimeca, Ross

2008-01-01

The authors develop a framework for addressing the question of truth in librarianship and in doing so attempt to move considerations of truth closer to the core of philosophical debates within the profession. After establishing ways in which philosophy contributes to social scientific inquiry in library science, the authors examine concepts of…

Logic and Philosophy of Time

DEFF Research Database (Denmark)

A.N. Prior (1914-69) in the course of the 1950s and 1960s founded a new and revolutionary paradigm in philosophy and logic. Its most central feature is the preoccupation with time and the development of the logic of time. However, this was inseparably interwoven with fundamental questions about h...... human freedom, ethics, and existence. This remarkable integration of themes also embodies an original and in fact revolutionary conception of logic. The book series, Logic and Philosophy of Time, is dedicated to a deep investigation and also the further development of Prior’s paradigm. ...

Harmonies of disorder Norbert Wiener : a mathematician-philosopher of our time

CERN Document Server

Montagnini, Leone

2017-01-01

This book presents the entire body of thought of Norbert Wiener (1894–1964), knowledge of which is essential if one wishes to understand and correctly interpret the age in which we live. The focus is in particular on the philosophical and sociological aspects of Wiener’s thought, but these aspects are carefully framed within the context of his scientific journey. Important biographical events, including some that were previously unknown, are also highlighted, but while the book has a biographical structure, it is not only a biography. The book is divided into four chronological sections, the first two of which explore Wiener’s development as a philosopher and logician and his brilliant interwar career as a mathematician, supported by his philosophical background. The third section considers his research during World War II, which drew upon his previous scientific work and reflections and led to the birth of cybernetics. Finally, the radical post-war shift in Wiener’s intellectual path is considered, e...

10. Chigbo J. Ekwealo Contextualising Philosophic Sagacity among ...

African Journals Online (AJOL)

Ekwealo

on Chinua Achebe's epic novel, Things Fall Apart, set among the Igbo of South-. Eastern ... because they chose to deny philosophic status to Africans in order to be compliant with the ..... condemned for seven years to live in a strange land.

Is Odysseus a philosopher?

Directory of Open Access Journals (Sweden)

Deretić Irina J.

2017-01-01

Full Text Available In this paper, the author attempts to demonstrate that certain philosophical questions are articulated in Homer's Odyssey, especially those that consider the relationship between truth, probability, and falsehood. First, the author discusses the following two assertions: 'Nobody is my name' and 'Nobody will I eat last among his comrades.' When asked by the one-eyed giant Polyphemus what his name really is, Odysseus replies that his name is 'Nobody'. Thereon, Polyphemus says that he will eat 'Nobody', considering 'Nobody' to be 'Somebody'. What appears to be a word-game is in fact an indicator of the necessity to determine the role of negative pronouns in a language, as well as to question their referential status. The negative pronouns like nobody or no one imply the non-existence of someone who can be described as 'nobody' or 'no one'. They can only designate, but they are non-referential. Because Polyphemus does not understand the sense of the negative pronouns, he believes that there is such a man, who is called 'Nobody', and whom he will eat. Therefore, one may claim that Homer's Odysseus discovers the meaning and role of the negative pronouns in a natural language, as well as how the misuse of these words can become a generator in lying and deceiving. Homer distinguishes two types of lies: 1 the absolute falsehoods, which are lies under all circumstances, and 2 the falsehoods which 'seem like the truth'. Most of Homer's Odysseus fantastic tales are of that kind - they are neither true nor false, but they 'seem like the truth'. The truth status of fiction as resembling the truth is one of Homer's discoveries, since he held that his main protagonist's narrations are neither true nor false, but they resemble the truth. The narrations should be as consistent and plausible as possible, in order to describe not what really happened, but 'what could have been happened', as Aristotle would claim. In the course of the paper, the author has

Reliability evaluation programmable logic devices

International Nuclear Information System (INIS)

Srivani, L.; Murali, N.; Thirugnana Murthy, D.; Satya Murty, S.A.V.

2014-01-01

Programmable Logic Devices (PLD) are widely used as basic building modules in high integrity systems, considering their robust features such as gate density, performance, speed etc. PLDs are used to implement digital design such as bus interface logic, control logic, sequencing logic, glue logic etc. Due to semiconductor evolution, new PLDs with state-of-the-art features are arriving to the market. Since these devices are reliable as per the manufacturer's specification, they were used in the design of safety systems. But due to their reduced market life, the availability of performance data is limited. So evaluating the PLD before deploying in a safety system is very important. This paper presents a survey on the use of PLDs in the nuclear domain and the steps involved in the evaluation of PLD using Quantitative Accelerated Life Testing. (author)

Generator of combined logical signals

International Nuclear Information System (INIS)

Laviron, Andre; Berard, Claude.

1982-01-01

The invention concerns a generator of combined logical signals to form combinations of two outputs at logical level 1 and N-2 outputs at logical level 0, among N generator outputs. This generator is characterized in that it includes a set of N means for storing combinations. Means enable the N storage means to be loaded with the logical levels corresponding to a pre-set starting combination, to control the operations for shifting the contents of the storage means and to control, by transfer facilities, the transfers of contents between these storage means. Controls enable the storage means to be actuated in order to obtain combinations of logical levels 1 and 0. The generation of combinations can be stopped after another pre-set combination. Application is for testing of safety circuits for nuclear power stations [fr

Flow Logic for Process Calculi

DEFF Research Database (Denmark)

Nielson, Hanne Riis; Nielson, Flemming; Pilegaard, Henrik

2012-01-01

Flow Logic is an approach to statically determining the behavior of programs and processes. It borrows methods and techniques from Abstract Interpretation, Data Flow Analysis and Constraint Based Analysis while presenting the analysis in a style more reminiscent of Type Systems. Traditionally...... developed for programming languages, this article provides a tutorial development of the approach of Flow Logic for process calculi based on a decade of research. We first develop a simple analysis for the π-calculus; this consists of the specification, semantic soundness (in the form of subject reduction......, and finally, we extend it to a relational analysis. A Flow Logic is a program logic---in the same sense that a Hoare’s logic is. We conclude with an executive summary presenting the highlights of the approach from this perspective including a discussion of theoretical properties as well as implementation...

Cell-to-Cell Communication Circuits: Quantitative Analysis of Synthetic Logic Gates

Science.gov (United States)

Hoffman-Sommer, Marta; Supady, Adriana; Klipp, Edda

2012-01-01

One of the goals in the field of synthetic biology is the construction of cellular computation devices that could function in a manner similar to electronic circuits. To this end, attempts are made to create biological systems that function as logic gates. In this work we present a theoretical quantitative analysis of a synthetic cellular logic-gates system, which has been implemented in cells of the yeast Saccharomyces cerevisiae (Regot et al., 2011). It exploits endogenous MAP kinase signaling pathways. The novelty of the system lies in the compartmentalization of the circuit where all basic logic gates are implemented in independent single cells that can then be cultured together to perform complex logic functions. We have constructed kinetic models of the multicellular IDENTITY, NOT, OR, and IMPLIES logic gates, using both deterministic and stochastic frameworks. All necessary model parameters are taken from literature or estimated based on published kinetic data, in such a way that the resulting models correctly capture important dynamic features of the included mitogen-activated protein kinase pathways. We analyze the models in terms of parameter sensitivity and we discuss possible ways of optimizing the system, e.g., by tuning the culture density. We apply a stochastic modeling approach, which simulates the behavior of whole populations of cells and allows us to investigate the noise generated in the system; we find that the gene expression units are the major sources of noise. Finally, the model is used for the design of system modifications: we show how the current system could be transformed to operate on three discrete values. PMID:22934039

A multiplicity logic unit

International Nuclear Information System (INIS)

Bialkowski, J.; Moszynski, M.; Zagorski, A.

1981-01-01

The logic diagram principle of operation and some details of the design of the multiplicity logic unit are presented. This unit was specially designed to fulfil the requirements of a multidetector arrangement for gamma-ray multiplicity measurements. The unit is equipped with 16 inputs controlled by a common coincidence gate. It delivers a linear output pulse with the height proportional to the multiplicity of coincidences and logic pulses corresponding to 0, 1, ... up to >= 5-fold coincidences. These last outputs are used to steer the routing unit working with the multichannel analyser. (orig.)

Logical inference and evaluation

International Nuclear Information System (INIS)

Perey, F.G.

1981-01-01

Most methodologies of evaluation currently used are based upon the theory of statistical inference. It is generally perceived that this theory is not capable of dealing satisfactorily with what are called systematic errors. Theories of logical inference should be capable of treating all of the information available, including that not involving frequency data. A theory of logical inference is presented as an extension of deductive logic via the concept of plausibility and the application of group theory. Some conclusions, based upon the application of this theory to evaluation of data, are also given

Layered Fixed Point Logic

DEFF Research Database (Denmark)

Filipiuk, Piotr; Nielson, Flemming; Nielson, Hanne Riis

2012-01-01

We present a logic for the specification of static analysis problems that goes beyond the logics traditionally used. Its most prominent feature is the direct support for both inductive computations of behaviors as well as co-inductive specifications of properties. Two main theoretical contributions...... are a Moore Family result and a parametrized worst case time complexity result. We show that the logic and the associated solver can be used for rapid prototyping of analyses and illustrate a wide variety of applications within Static Analysis, Constraint Satisfaction Problems and Model Checking. In all cases...

Description logics of context

CSIR Research Space (South Africa)

Klarman, S

2013-05-01

Full Text Available We introduce Description Logics of Context (DLCs) - an extension of Description Logics (DLs) for context-based reasoning. Our approach descends from J. McCarthy's tradition of treating contexts as formal objects over which one can quantify...

Hybrid Logic and its Proof-Theory

CERN Document Server

Brauner, Torben

2011-01-01

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relatio

The logic of ACP

NARCIS (Netherlands)

A. Ponse (Alban); M.B. van der Zwaag

2002-01-01

textabstractWe distinguish two interpretations for the truth value `undefined' in Kleene's three-valued logic. Combining these two interpretations leads to a four-valued propositional logic that characterizes two particular ingredients of process algebra: ``choice' and ``inaction'. We study two

All optical programmable logic array (PLA)

Science.gov (United States)

Hiluf, Dawit

2018-03-01

A programmable logic array (PLA) is an integrated circuit (IC) logic device that can be reconfigured to implement various kinds of combinational logic circuits. The device has a number of AND and OR gates which are linked together to give output or further combined with more gates or logic circuits. This work presents the realization of PLAs via the physics of a three level system interacting with light. A programmable logic array is designed such that a number of different logical functions can be combined as a sum-of-product or product-of-sum form. We present an all optical PLAs with the aid of laser light and observables of quantum systems, where encoded information can be considered as memory chip. The dynamics of the physical system is investigated using Lie algebra approach.

Aspects and modular reasoning in nonmonotonic logic

DEFF Research Database (Denmark)

Ostermann, Klaus

2008-01-01

Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic logic which deserves further study. As a concrete technical contribution and "appetizer", we outline an AO semantics de...... defined in default logic (a form of nonmonotonic logic), propose a definition of modular reasoning, and show that the default logic version of the language semantics admits modular reasoning whereas a conventional language semantics based on weaving does not....

Logic feels so good-I like it! Evidence for intuitive detection of logicality in syllogistic reasoning.

Science.gov (United States)

Morsanyi, Kinga; Handley, Simon J

2012-05-01

When people evaluate syllogisms, their judgments of validity are often biased by the believability of the conclusions of the problems. Thus, it has been suggested that syllogistic reasoning performance is based on an interplay between a conscious and effortful evaluation of logicality and an intuitive appreciation of the believability of the conclusions (e.g., Evans, Newstead, Allen, & Pollard, 1994). However, logic effects in syllogistic reasoning emerge even when participants are unlikely to carry out a full logical analysis of the problems (e.g., Shynkaruk & Thompson, 2006). There is also evidence that people can implicitly detect the conflict between their beliefs and the validity of the problems, even if they are unable to consciously produce a logical response (e.g., De Neys, Moyens, & Vansteenwegen, 2010). In 4 experiments we demonstrate that people intuitively detect the logicality of syllogisms, and this effect emerges independently of participants' conscious mindset and their cognitive capacity. This logic effect is also unrelated to the superficial structure of the problems. Additionally, we provide evidence that the logicality of the syllogisms is detected through slight changes in participants' affective states. In fact, subliminal affective priming had an effect on participants' subjective evaluations of the problems. Finally, when participants misattributed their emotional reactions to background music, this significantly reduced the logic effect. (c) 2012 APA, all rights reserved.

About social and cultural aspects of human nature in the context of philosophical anthropology

Directory of Open Access Journals (Sweden)

S. K. Kostiuchkov

2015-02-01

Full Text Available In the paper the approaches to socio­cultural understanding of human nature in the context of philosophical anthropology, analyzes the essence of human nature contradictions inherent in the contradiction between biological and social components; author focuses attention on the concept of «identity» in the context of philosophical anthropology and characterization of the status of human life; put forward a reasoned statement that outlook, as the level of philosophical understanding of the world, combining both biological and social components of human nature. It is emphasized that universal principle transistorychnym public attitudes towards human life is the recognition of its absolute value in different dimensions ­ religious, philosophical, scientific. The author notes that religious, especially biblical doctrine emphasizes the value of human life that flows from dignity of man, created in God’s image, a rational being who comes to Earth as, in a sense, a representative of God. The article stresses the urgency of a new philosophical paradigm as an important ideological guideline that requires perceive and understand the biological basis of man is not as indispensable, but neutral background of social life, but as a basis upon which and through which a person is transformed into a cultural and civilized being.

Specifying real-time systems with interval logic

Science.gov (United States)

Rushby, John

1988-01-01

Pure temporal logic makes no reference to time. An interval temporal logic and an extension to that logic which includes real time constraints are described. The application of this logic by giving a specification for the well-known lift (elevator) example is demonstrated. It is shown how interval logic can be extended to include a notion of process. How the specification language and verification environment of EHDM could be enhanced to support this logic is described. A specification of the alternating bit protocol in this extended version of the specification language of EHDM is given.

Continuous Markovian Logics

DEFF Research Database (Denmark)

Mardare, Radu Iulian; Cardelli, Luca; Larsen, Kim Guldstrand

2012-01-01

Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs). The modalities of CML evaluate the rates...... of the exponentially distributed random variables that characterize the duration of the labeled transitions of a CMP. In this paper we present weak and strong complete axiomatizations for CML and prove a series of metaproperties, including the finite model property and the construction of canonical models. CML...... characterizes stochastic bisimilarity and it supports the definition of a quantified extension of the satisfiability relation that measures the "compatibility" between a model and a property. In this context, the metaproperties allows us to prove two robustness theorems for the logic stating that one can...

THRESHOLD LOGIC IN ARTIFICIAL INTELLIGENCE

Science.gov (United States)

COMPUTER LOGIC, ARTIFICIAL INTELLIGENCE , BIONICS, GEOMETRY, INPUT OUTPUT DEVICES, LINEAR PROGRAMMING, MATHEMATICAL LOGIC, MATHEMATICAL PREDICTION, NETWORKS, PATTERN RECOGNITION, PROBABILITY, SWITCHING CIRCUITS, SYNTHESIS

[Origin and thought on the philosophical ideas of acupuncture in Chinese medicine].

Science.gov (United States)

Ren, Xiumei

2017-12-12

Acupuncture in Chinese medicine has been a treasure in Chinese traditional medicine for thousands of years. It is opposite to many basic theories in modern medicine in dynasties. Different from the cross compatibility and interactions among medical medicines, acupuncture in Chinese medicine has its own consolidation and inherent philosophical ideas. In view of this, how to discuss the philosophical ideas and its development of acupuncture in Chinese medicine becomes of great importance. It is crucial to clearly answer the three theoretical propositions in the development of acupuncture in Chinese medicine. Firstly, the differences in acupuncture should be identified between the ancient time and the modern time. The issues focus on the origin of Huangdi Neijing ( Yellow Emperor's Internal Medicine ) and its philosophical divergence. Secondly, the origin of acupuncture should be identified, whether it is from China or India. Thirdly, the differences in acupuncture should be identified between China and the west, focusing on the explanation and rectification of the interrelationship between the acupuncture in Chinese medicine and the western acupuncture. Hence, the basic features are discussed on the reality of acupuncture in Chinese medicine as well as its diversity. Finally, the proposition is extended on how to holistically grasp the philosophical foundation of acupuncture in Chinese medicine and its future trend.

A Philosophical Treatise of Universal Induction

Directory of Open Access Journals (Sweden)

Samuel Rathmanner

2011-06-01

Full Text Available Understanding inductive reasoning is a problem that has engaged mankind for thousands of years. This problem is relevant to a wide range of fields and is integral to the philosophy of science. It has been tackled by many great minds ranging from philosophers to scientists to mathematicians, and more recently computer scientists. In this article we argue the case for Solomonoff Induction, a formal inductive framework which combines algorithmic information theory with the Bayesian framework. Although it achieves excellent theoretical results and is based on solid philosophical foundations, the requisite technical knowledge necessary for understanding this framework has caused it to remain largely unknown and unappreciated in the wider scientific community. The main contribution of this article is to convey Solomonoff induction and its related concepts in a generally accessible form with the aim of bridging this current technical gap. In the process we examine the major historical contributions that have led to the formulation of Solomonoff Induction as well as criticisms of Solomonoff and induction in general. In particular we examine how Solomonoff induction addresses many issues that have plagued other inductive systems, such as the black ravens paradox and the confirmation problem, and compare this approach with other recent approaches.

Tolstoy’s Philosophic System and Taoism

Directory of Open Access Journals (Sweden)

Lu Venya

2012-01-01

Full Text Available Due to the intensive economic growth and consumer society formation, there expands a view that the human life value depends mainly on the material benefits and money; meanwhile, the moral values trail behind leading the humanity towards the spiritual crisis. The author recommends addressing the heritage of our great ancestors and studying both the works of L. N. Tolstoy and Taoism philosophy in order to maintain the spiritual self and revive our faith in human powers. Taoism is the native law of the world’s order demonstrating the natural ways of life, developing the harmonious life style, and teaching the natural control methods in compliance with the laws of nature.For the most Russian and Chinese readers Lev Tolstoy is a great writer and thinker; his philosophic system being one of the most significant in the Russian spirituality and ideology. L. Tolstoy rejected the western rationalism and studied the Chinese philosophic and religious doctrines. The author conducted a comparative analysis of Tolstoy’s concepts (non-resistance to evil by violence, wise non- doing and Taoism key concepts, and makes a conclusion about their organic interrelations, and the influence of the Chinese wisdom on Tolstoy’s works and worldview. 

The quantum world philosophical debates on quantum physics

CERN Document Server

Zwirn, Hervé

2017-01-01

In this largely nontechnical book, eminent physicists and philosophers address the philosophical impact of recent advances in quantum physics. These are shown to shed new light on profound questions about realism, determinism, causality or locality. The participants contribute in the spirit of an open and honest discussion, reminiscent of the time when science and philosophy were inseparable. After the editors’ introduction, the next chapter reveals the strangeness of quantum mechanics and the subsequent discussions examine our notion of reality. The spotlight is then turned to the topic of decoherence. Bohm’s theory is critically examined in two chapters, and the relational interpretation of quantum mechanics is likewise described and discussed. The penultimate chapter presents a proposal for resolving the measurement problem, and finally the topic of loop quantum gravity is presented by one of its founding fathers, Carlo Rovelli. The original presentations and discussions on which this volume is based t...

Cybernetic systems based on inductive logic

International Nuclear Information System (INIS)

Fry, Robert L.

2001-01-01

Recent work in the area of inductive logic suggests that cybernetics might be quantified and reduced to engineering practice. If so, then there are considerable implications for engineering, science, and other fields. This paper attempts to capture the essential ideas of cybernetics cast in the light of inductive logic. The described inductive logic extends conventional logic by adding a conjugate logical domain of questions to the logical domain of assertions intrinsic to Boolean Algebra with which most are familiar. This was first posited and developed by Richard Cox. Interestingly enough, these two logical domains, one of questions and the other of assertions, only exist relative to one another with each possessing natural measures of entropy and probability, respectively. Examples are given that highlight the utility of cybernetic approaches to neuroscience, algorithm design, system engineering, and the design and understanding of defensive and offensive systems. For example, the application of cybernetic approaches to defense systems suggests that these systems possess a wavefunction which like quantum mechanics, collapses when we 'look' through the eyes of the system sensors such as radars and optical sensors

A Denotational Semantics for Logic Programming

DEFF Research Database (Denmark)

Frandsen, Gudmund Skovbjerg

A fully abstract denotational semantics for logic programming has not been constructed yet. In this paper we present a denotational semantics that is almost fully abstract. We take the meaning of a logic program to be an element in a Plotkin power domain of substitutions. In this way our result...... shows that standard domain constructions suffice, when giving a semantics for logic programming. Using the well-known fixpoint semantics of logic programming we have to consider two different fixpoints in order to obtain information about both successful and failed computations. In contrast, our...... semantics is uniform in that the (single) meaning of a logic program contains information about both successful, failed and infinite computations. Finally, based on the full abstractness result, we argue that the detail level of substitutions is needed in any denotational semantics for logic programming....

Social space: Philosophical reflections | Strauss | South African ...

African Journals Online (AJOL)

Our analysis of the phrase 'social space' first of all concentrates on the modal or functional nature of the different aspects of reality, including the social and spatial aspects. Subsequently this leads to an analysis of the problem of modal analogies – one way in which an answer is given to the perennial philosophical problem ...

All-optical symmetric ternary logic gate

Science.gov (United States)

Chattopadhyay, Tanay

2010-09-01

Symmetric ternary number (radix=3) has three logical states (1¯, 0, 1). It is very much useful in carry free arithmetical operation. Beside this, the logical operation using this type of number system is also effective in high speed computation and communication in multi-valued logic. In this literature all-optical circuits for three basic symmetrical ternary logical operations (inversion, MIN and MAX) are proposed and described. Numerical simulation verifies the theoretical model. In this present scheme the different ternary logical states are represented by different polarized state of light. Terahertz optical asymmetric demultiplexer (TOAD) based interferometric switch has been used categorically in this manuscript.

On Structural Completeness of Tabular Superintuitionistic Logics

NARCIS (Netherlands)

Citkin, Alexander

2015-01-01

As usual, the superintuitionistic (propositional) logics (that is, logics extending intuitionistic logic) are being studied “modulo derivability”, meaning such logics are viewed extensionally — they are identified with the set of formulae that are valid (derivable in the corresponding calculus) in

Presentation. The affinity between logic and ethics

Directory of Open Access Journals (Sweden)

Sonia Natalia Cogollo-Ospina

2017-07-01

Full Text Available The presentation of this issue aims to reflect on the professional, research and publishing schemes in which we are immersed in the guidelines and imperatives of the time, centered on a neoliberal form of thought that has sometimes led people and institutions acting without the necessary discernments so that their actions would not be based on the principle of the common good. The first part contains the object of such reflection, and the articles in the second part of this issue have, inadvertently, the resonance of a logical-ethical blend. © Revista Colombiana de Ciencias Sociales.

A Logical Characterisation of Static Equivalence

DEFF Research Database (Denmark)

Hüttel, Hans; Pedersen, Michael D.

2007-01-01

-order logic for frames with quantification over environment knowledge which, under certain general conditions, characterizes static equivalence and is amenable to construction of characteristic formulae. The logic can be used to reason about environment knowledge and can be adapted to a particular application...... by defining a suitable signature and associated equational theory. The logic can furthermore be extended with modalities to yield a modal logic for e.g. the Applied Pi calculus....

Modal logics are coalgebraic

NARCIS (Netherlands)

Cirstea, C.; Kurz, A.; Pattinson, D.; Schröder, L.; Venema, Y.

2011-01-01

Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts. Coalgebraic semantics, on the other hand, provides a uniform and encompassing view on the large

Criteria for logical formalization

Czech Academy of Sciences Publication Activity Database

Peregrin, Jaroslav; Svoboda, Vladimír

2013-01-01

Roč. 190, č. 14 (2013), s. 2897-2924 ISSN 0039-7857 R&D Projects: GA ČR(CZ) GAP401/10/1279 Institutional support: RVO:67985955 Keywords : logic * logical form * formalization * reflective equilibrium Subject RIV: AA - Philosophy ; Religion Impact factor: 0.637, year: 2013

Honesty in partial logic

NARCIS (Netherlands)

W. van der Hoek (Wiebe); J.O.M. Jaspars; E. Thijsse

1995-01-01

textabstractWe propose an epistemic logic in which knowledge is fully introspective and implies truth, although truth need not imply epistemic possibility. The logic is presented in sequential format and is interpreted in a natural class of partial models, called balloon models. We examine the

PDL as a multi-agent strategy logic

NARCIS (Netherlands)

D.J.N. van Eijck (Jan); B.C. Schipper

2013-01-01

textabstractPropositional Dynamic Logic or PDL was invented as a logic for reasoning about regular programming constructs. We propose a new perspective on PDL as a multi-agent strategic logic (MASL). This logic for strategic reasoning has group strategies as first class citizens, and

Temporal logics and real time expert systems

NARCIS (Netherlands)

Blom, J.A.

1996-01-01

This paper introduces temporal logics. Due to the eternal compromise between expressive adequacy and reasoning efficiency that must decided upon in any application, full (first order logic or modal logic based) temporal logics are frequently not suitable. This is especially true in real time expert

Why Aren't Philosophers and Educators Speaking to Each Other? Some Reasons for Hope.

Science.gov (United States)

Ellett, Frederick S., Jr.

2002-01-01

Responds to Arcilla's article, "Why Aren't Philosophers and Educators Speaking to One Another?" noting complexities that complicate the answer and suggesting that they are indeed communicating if one accepts a broader definition of philosophers and educators. The essay asserts that little educational research and theory has had much…

PM 3655 PHILIPS Logic analyzer

CERN Multimedia

A logic analyzer is an electronic instrument that captures and displays multiple signals from a digital system or digital circuit. A logic analyzer may convert the captured data into timing diagrams, protocol decodes, state machine traces, assembly language, or may correlate assembly with source-level software. Logic Analyzers have advanced triggering capabilities, and are useful when a user needs to see the timing relationships between many signals in a digital system.

Weakly Intuitionistic Quantum Logic

NARCIS (Netherlands)

Hermens, Ronnie

2013-01-01

In this article von Neumann's proposal that in quantum mechanics projections can be seen as propositions is followed. However, the quantum logic derived by Birkhoff and von Neumann is rejected due to the failure of the law of distributivity. The options for constructing a distributive logic while

Review of the Book: Yakubovich M.M. Philosophical Thought of the Crimean Khanate

Directory of Open Access Journals (Sweden)

R.R. Abduzhemilev

2017-09-01

Full Text Available The book “Philosophical Thought of the Crimean Khanate” by Mikhaylo Yakubovich offers a comprehensive study of the religious and philosophical heritage of the Crimean Khanate. It should be mentioned that up to the present there was no such work among the list of available research monographs. There were only some fragmentary works, which did not cover the conceptual essence of the philosophical perspectives and concepts of medieval thinkers whose activity was shaped within the context of the Crimean Khanate. Thus, Mikhaylo Yakubovich’s contribution is obvious and there is no doubt of the work’s significance. The book consists of a preface, an introduction, seven chapters, conclusions, appendixes, list of illustrations (religious sites, libraries and photocopies of manuscripts, and a bibliography. A wide source-base is evident in the work: the bibliography lists manuscripts from various libraries throughout the world. In the first introductory chapter, a review of historiography is carried out and the range of sources within the framework of the study is defined. The prehistory of the formation of philosophical thought of the Crimean khanate, namely the origins of its formation back to the Golden Horde era, is outlined in the second chapter. This section presents the hermeneutical aspects of Sharaf ad-Din al-Kyrymi and Ahmad bin ‘Abd Allah al-Kyrymi’s interpretation of the philosophy of Ibn al-‘Arabi and Sadr al-Din al-Kunavi. The third chapter contains biographical information about Ibrahim al-Kyrymi, the specificity of the Qur’anic hermeneutics in his work, as well as the idea of a spiritual journey as viewed from anthropological and historiosophical perspectives. In the fourth chapter, the creativity of Abu’l-Baka’ al-Kafauvi is considered, while also reflecting on the life and scientific heritage of this philosopher, his work “al-Qulliyyat” in the context of Islamic encyclopedic learning, understanding the divine

Synthesizing biomolecule-based Boolean logic gates.

Science.gov (United States)

Miyamoto, Takafumi; Razavi, Shiva; DeRose, Robert; Inoue, Takanari

2013-02-15

One fascinating recent avenue of study in the field of synthetic biology is the creation of biomolecule-based computers. The main components of a computing device consist of an arithmetic logic unit, the control unit, memory, and the input and output devices. Boolean logic gates are at the core of the operational machinery of these parts, and hence to make biocomputers a reality, biomolecular logic gates become a necessity. Indeed, with the advent of more sophisticated biological tools, both nucleic acid- and protein-based logic systems have been generated. These devices function in the context of either test tubes or living cells and yield highly specific outputs given a set of inputs. In this review, we discuss various types of biomolecular logic gates that have been synthesized, with particular emphasis on recent developments that promise increased complexity of logic gate circuitry, improved computational speed, and potential clinical applications.

Non-commutative multiple-valued logic algebras

CERN Document Server

Ciungu, Lavinia Corina

2014-01-01

This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-valued logic algebras; a subject which has attracted much interest in the past few years because of its impact on information science, artificial intelligence and other subjects.   A study of the newest results in the field, the monograph includes treatment of pseudo-BCK algebras, pseudo-hoops, residuated lattices, bounded divisible residuated lattices, pseudo-MTL algebras, pseudo-BL algebras and pseudo-MV algebras. It provides a fresh perspective on new trends in logic and algebras in that algebraic structures can be developed into fuzzy logics which connect quantum mechanics, mathematical logic, probability theory, algebra and soft computing.   Written in a clear, concise and direct manner, Non-Commutative Multiple-Valued Logic Algebras will be of interest to masters and PhD students, as well as researchers in mathematical logic and theoretical computer science.

Synthesizing Biomolecule-based Boolean Logic Gates

Science.gov (United States)

Miyamoto, Takafumi; Razavi, Shiva; DeRose, Robert; Inoue, Takanari

2012-01-01

One fascinating recent avenue of study in the field of synthetic biology is the creation of biomolecule-based computers. The main components of a computing device consist of an arithmetic logic unit, the control unit, memory, and the input and output devices. Boolean logic gates are at the core of the operational machinery of these parts, hence to make biocomputers a reality, biomolecular logic gates become a necessity. Indeed, with the advent of more sophisticated biological tools, both nucleic acid- and protein-based logic systems have been generated. These devices function in the context of either test tubes or living cells and yield highly specific outputs given a set of inputs. In this review, we discuss various types of biomolecular logic gates that have been synthesized, with particular emphasis on recent developments that promise increased complexity of logic gate circuitry, improved computational speed, and potential clinical applications. PMID:23526588

Advances in temporal logic

CERN Document Server

Fisher, Michael; Gabbay, Dov; Gough, Graham

2000-01-01

Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the value of temporal logic in the specification and verification of computer programs. Today, a strong, vibrant international research community exists in the broad community of computer science and AI. This volume presents a number of articles from leading researchers containing state-of-the-art results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. Earlier versions of some of the articles were given at the most recent International Conference on Temporal Logic, University of Manchester, UK. Readership: Any student of the area - postgraduate, postdoctoral or even research professor ...

Quantum supports and modal logic

International Nuclear Information System (INIS)

Svetlichny, G.

1986-01-01

Recently Foulis, Piron, and Randall introduced a new interpretation of empirical and quantum logics which substitute for the notion of a probabilistic weight a combinatorial notion called a support. The informal use of the notion of ''possible outcomes of experiments'' suggests that this interpretation can be related to corresponding formal notions as treated by modal logic. The purpose of this paper is to prove that in fact supports are in one-to-one correspondence with the sets of possibly true elementary propositions in Kripke models of a set of modal formulas associated to the empirical or quantum logic. This hopefully provides a sufficiently detailed link between the two rather distinct logical systems to shed useful light on both

Processing device with self-scrubbing logic

Science.gov (United States)

Wojahn, Christopher K.

2016-03-01

An apparatus includes a processing unit including a configuration memory and self-scrubber logic coupled to read the configuration memory to detect compromised data stored in the configuration memory. The apparatus also includes a watchdog unit external to the processing unit and coupled to the self-scrubber logic to detect a failure in the self-scrubber logic. The watchdog unit is coupled to the processing unit to selectively reset the processing unit in response to detecting the failure in the self-scrubber logic. The apparatus also includes an external memory external to the processing unit and coupled to send configuration data to the configuration memory in response to a data feed signal outputted by the self-scrubber logic.

¿Qué es lo lógico? La logicidad dentro y fuera de la lógica (What is Logical? Logicality Inside and Outside Logic

Directory of Open Access Journals (Sweden)

Fernando Soler Toscano

2012-12-01

Full Text Available Resumen: La pregunta por la logicidad busca los criterios que hacen que cierto objeto se pueda considerar un objeto lógico. Los diferentes criterios de logicidad posibles marcarán no solo las distintas formas de concebir la lógica como disciplina académica, sino también distintos modos de entender, en el lenguaje ordinario o en otras disciplinas, qué quiere decir que algo es o no lógico. Mostramos que las aportaciones de las lógicas no clásicas y la pragmática, así como del estudio de otras formas de inferencia distintas de la deducción, enriquecen la caracterización intuitiva de la lógica, lo cual resulta de un interés especial cuando se trata de aplicar la lógica al entrenamiento y evaluación del razonamiento humano.Abstract: The question of logicality searches for criteria that make that a given object can be considered a logical object. Different criteria of logicality establish not only the different possible ways of conceiving logic as an academic discipline, but also the different ways of understanding, in natural language or in other disciplines, what means that something is logical or not. We show that the contribution of non-classical logics and pragmatics, and the study of other kinds of inference different to deduction, enrich the intuitive characterization of logic, which is of particular interest when trying to apply the logic for training and evaluating human reasoning.

Bayesians versus frequentists a philosophical debate on statistical reasoning

CERN Document Server

Vallverdú, Jordi

2016-01-01

This book analyzes the origins of statistical thinking as well as its related philosophical questions, such as causality, determinism or chance. Bayesian and frequentist approaches are subjected to a historical, cognitive and epistemological analysis, making it possible to not only compare the two competing theories, but to also find a potential solution. The work pursues a naturalistic approach, proceeding from the existence of numerosity in natural environments to the existence of contemporary formulas and methodologies to heuristic pragmatism, a concept introduced in the book’s final section. This monograph will be of interest to philosophers and historians of science and students in related fields. Despite the mathematical nature of the topic, no statistical background is required, making the book a valuable read for anyone interested in the history of statistics and human cognition.

Automata, Logic, and XML

OpenAIRE

NEVEN, Frank

2002-01-01

We survey some recent developments in the broad area of automata and logic which are motivated by the advent of XML. In particular, we consider unranked tree automata, tree-walking automata, and automata over infinite alphabets. We focus on their connection with logic and on questions imposed by XML.

Temporalized Epistemic Default Logic

NARCIS (Netherlands)

van der Hoek, W.; Meyer, J.J.; Treur, J.; Gabbay, D.

2001-01-01

The nonmonotonic logic Epistemic Default Logic (EDL) [Meyer and van der Hoek, 1993] is based on the metaphore of a meta-level architecture. It has already been established [Meyer and van der Hoek, 1993] how upward reflection can be formalized by a nonmonotonic entailment based on epistemic states,

Philosophizing about Teacher Dissatisfaction: A Multidisciplinary Hermeneutic Approach

Science.gov (United States)

Santoro, Doris A.

2015-01-01

In this methodological reflection, I describe the multidisciplinary hermeneutic process of philosophizing about teacher dissatisfaction. I discuss how philosophy serves as a starting point for interpretive work based on interviews with former teachers and readings of qualitative and quantitative research on teacher attrition and dissatisfaction.…

Logical analysis of biological systems

DEFF Research Database (Denmark)

Mardare, Radu Iulian

2005-01-01

R. Mardare, Logical analysis of biological systems. Fundamenta Informaticae, N 64:271-285, 2005.......R. Mardare, Logical analysis of biological systems. Fundamenta Informaticae, N 64:271-285, 2005....

Formalization of Many-Valued Logics

DEFF Research Database (Denmark)

Villadsen, Jørgen; Schlichtkrull, Anders

2017-01-01

Partiality is a key challenge for computational approaches to artificial intelligence in general and natural language in particular. Various extensions of classical two-valued logic to many-valued logics have been investigated in order to meet this challenge. We use the proof assistant Isabelle...... to formalize the syntax and semantics of many-valued logics with determinate as well as indeterminate truth values. The formalization allows for a concise presentation and makes automated verification possible....

Quantum logics and convex geometry

International Nuclear Information System (INIS)

Bunce, L.J.; Wright, J.D.M.

1985-01-01

The main result is a representation theorem which shows that, for a large class of quantum logics, a quantum logic, Q, is isomorphic to the lattice of projective faces in a suitable convex set K. As an application we extend our earlier results, which, subject to countability conditions, gave a geometric characterization of those quantum logics which are isomorphic to the projection lattice of a von Neumann algebra or a JBW-algebra. (orig.)

Towards new social media logic in healthcare and its interplay with clinical logic

NARCIS (Netherlands)

Smailhodzic, E.; Boonsta, A.; Langley, D.J.

2016-01-01

Social media enable patients to communicate with a large number of their peers, share experiences, and provide each other with emotional and informational support. In this way, social media using patients develop a new logic in healthcare, which we propose as social media logic. This raises the

A crash course in arrow logic

NARCIS (Netherlands)

Venema, Y.

This contribution gives a short introduction to arrow logic. We start by explaining the basic idea underlying arrow logic and the motivation for studying it (sections 1 and 2) We discuss some elementary duality theory between arrow logic and the algebraic theory of binary relations (section 3).

Enabling Concise and Modular Specifications in Separation Logic

DEFF Research Database (Denmark)

Jensen, Jonas Buhrkal

2014-01-01

logics and examples of using these logics to verify challenging programs. The article Modular Verification of Linked Lists with Views via Separation Logic reports on verification of a practical data structure with separation logic. The challenges identified in this work has served as motivation for later...... unstructured control flow and the lack of basic facilities in the language such as memory allocation and procedure calls. Finally, the chapter Techniques for Model Construction in Separation Logic surveys the mathematical techniques used to develop the previous separation logics and many other logics...

Fuzzy logic

CERN Document Server

Smets, P

1995-01-01

We start by describing the nature of imperfect data, and giving an overview of the various models that have been proposed. Fuzzy sets theory is shown to be an extension of classical set theory, and as such has a proeminent role or modelling imperfect data. The mathematic of fuzzy sets theory is detailled, in particular the role of the triangular norms. The use of fuzzy sets theory in fuzzy logic and possibility theory,the nature of the generalized modus ponens and of the implication operator for approximate reasoning are analysed. The use of fuzzy logic is detailled for application oriented towards process control and database problems.

Observations on the Monoidal t-norm Logic

Czech Academy of Sciences Publication Activity Database

Hájek, Petr

2002-01-01

Roč. 132, č. 1 (2002), s. 107-112 ISSN 0165-0114 R&D Projects: GA AV ČR IAA1030004 Institutional research plan: AV0Z1030915 Keywords : non-classical logics * basic fuzzy logic * monoidal t-norm logic * product logic Subject RIV: BA - General Mathematics Impact factor: 0.550, year: 2002

Anselm's logic of agency

NARCIS (Netherlands)

Uckelman, S.L.

2009-01-01

The origins of treating agency as a modal concept go back at least to the 11th century when Anselm, Archbishop of Canterbury, provided a modal explication of the Latin facere ‘to do’, which can be formalized within the context of modern modal logic and neighborhood semantics. The agentive logic

Logics of Business Education for Sustainability

Science.gov (United States)

Andersson, Pernilla; Öhman, Johan

2016-01-01

This paper explores various kinds of logics of "business education for sustainability" and how these "logics" position the subject business person, based on eight teachers' reasoning of their own practices. The concept of logics developed within a discourse theoretical framework is employed to analyse the teachers' reasoning.…

The Dynamic Turn in Quantum Logic

NARCIS (Netherlands)

Baltag, A.; Smets, S.

2012-01-01

In this paper we show how ideas coming from two areas of research in logic can reinforce each other. The first such line of inquiry concerns the "dynamic turn" in logic and especially the formalisms inspired by Propositional Dynamic Logic (PDL); while the second line concerns research into the

Quantum team logic and Bell's inequalities

NARCIS (Netherlands)

Hyttinen, T.; Paolini, G.; Väänänen, J.

2015-01-01

A logical approach to Bell’s Inequalities of quantum mechanics has been introduced by Abramsky and Hardy (Abramsky & Hardy, 2012). We point out that the logical Bell’s Inequalities of Abramsky & Hardy (2012) are provable in the probability logic of Fagin, Halpern and Megiddo (Fagin et al., 1990).

The dynamic turn in quantum logic

NARCIS (Netherlands)

Baltag, Alexandru; Smets, Sonja

In this paper we show how ideas coming from two areas of research in logic can reinforce each other. The first such line of inquiry concerns the "dynamic turn" in logic and especially the formalisms inspired by Propositional Dynamic Logic (PDL); while the second line concerns research into the

[The concept of mania in Greek medical and philosophical literature].

Science.gov (United States)

Corleto, L M

1992-01-01

Coverage of the concept of mania in late archaic Greek culture displays a clear difference between its use in medical and philosophical works. Medical literature uses the terms [Greek] and [Greek] to describe mania, with the condition seen largely associated with physical illness. Specific treatment for this attered psychic state is not advanced. The philosophical view sees mania as a divine folly and thus possessing positive as well as negative aspects. Plate identifies four types of mania and treatment is closely associated with the divinity seen as responsible for that particular type. The radical rationalism found in the medical literature is a counterpoint to moderation as shown by Plato with his interest on regulations of society.

Between Mediation and Mediatisation: Identity Dynamics at Play in Online Self-Publishing [Self-Broadcasting] Systems

Directory of Open Access Journals (Sweden)

Anabelle KLEIN

2010-01-01

Full Text Available Based on research conducted in Belgium for ten years on the identity dynamics within online self-publishing, self-broadcasting systems, this paper examines the extent to which the ongoing age of self-publishing follows a twofold logic of Self-Mediation and Self-Mediatization. After proposing a specific definition of the latter two concepts, the concept of “extimacy” will be implemented to shed light on the dynamics of Self-Mediation and Self-Mediatisation.

PHILOSOPHIC AND CLINICAL DISCOURSE OF THE TWENTIETH CENTURY

Directory of Open Access Journals (Sweden)

V. M. Skyrtach

2016-12-01

Full Text Available The purpose is to identify common and distinctive features of concepts and methodology of the problem of subject within different discourses, implicitly or explicitly relevant to the definition of "clinical" mode of human existence. The research methodology combines techniques of discourse analysis and basic principles of historical and philosophical studies. Originality of the research lies in definition of the clinical philosophical discourse as a special communicative process, where utterances not only focus on disease syndromes, and reveal phenomenology of inner experience of a pathological self, but also structure a certain type of sociality. Clinical discourse represents the space where the patient is treated not as a subject but as an object of disease. Ontology of clinical discourse prevails over ontology of disease, since its structures determine the notion of disease as such. Categorization of the disease, the idea of disease as a phenomenon subdued to professional authority leads to the idea of the need for patient’s isolation from the natural environment and removing him to special social institutions. The clinicist doctrines share the intention to reduce the patient’s self to its bodily dimension, while ignoring social determinants of psychological deviations. Conclusions of the study are summarized in the following positions: the current clinical discourse is based on the positivist-biological trend in humanitarian knowledge and it is the basis for the production and reproduction of medical and pharmaceutical repressive ideology; criticism of philosophical clinical discourse opens the possibility of overcoming the dominance of purely clinicist discourse; such a transformation is possible only after a paradigm shift in understanding the category of subject.

Qualitative research in multicultural psychology: philosophical underpinnings, popular approaches, and ethical considerations.

Science.gov (United States)

Ponterotto, Joseph G

2010-10-01

This article reviews the current and emerging status of qualitative research in psychology. The particular value of diverse philosophical paradigms and varied inquiry approaches to the advancement of psychology generally, and multicultural psychology specifically, is emphasized. Three specific qualitative inquiry approaches anchored in diverse philosophical research paradigms are highlighted: consensual qualitative research, grounded theory, and participatory action research. The article concludes by highlighting important ethical considerations in multicultural qualitative research. PsycINFO Database Record (c) 2010 APA, all rights reserved.

Analysis of the logic and framing of a tobacco industry campaign opposing standardised packaging legislation in New Zealand.

Science.gov (United States)

Waa, Andrew Morehu; Hoek, Janet; Edwards, Richard; Maclaurin, James

2017-11-01

The tobacco industry routinely opposes tobacco control policies, often using a standard repertoire of arguments. Following proposals to introduce standardised packaging in New Zealand (NZ), British American Tobacco New Zealand (BATNZ) launched the 'Agree-Disagree' mass media campaign, which coincided with the NZ government's standardised packaging consultations. This study examined the logic of the arguments presented and rhetorical strategies employed in the campaign. We analysed each advertisement to identify key messages, arguments and rhetorical devices, then examined the arguments' structure and assessed their logical soundness and validity. All advertisements attempted to frame BATNZ as reasonable, and each contained flawed arguments that were either unsound or based on logical fallacies. Flawed arguments included misrepresenting the intent of the proposed legislation (straw man), claiming standardised packaging would harm all NZ brands (false dilemma), warning NZ not to adopt standardised packaging because of its Australian origins (an unsound argument) or using vague premises as a basis for claiming negative outcomes (equivocation). BATNZ's Agree-Disagree campaign relied on unsound arguments, logical fallacies and rhetorical devices. Given the industry's frequent recourse to these tactics, we propose strategies based on our study findings that can be used to assist the tobacco control community to counter industry opposition to standardised packaging. Greater recognition of logical fallacies and rhetorical devices employed by the tobacco industry will help maintain focus on the health benefits proposed policies will deliver. Published by the BMJ Publishing Group Limited. For permission to use (where not already granted under a licence) please go to http://www.bmj.com/company/products-services/rights-and-licensing/.

Proof systems for Moss’ coalgebraic logic

NARCIS (Netherlands)

Bílková, M.; Palmigiano, A.; Venema, Y.

2014-01-01

We study Gentzen-style proof theory of the finitary version of the coalgebraic logic introduced by L. Moss. The logic captures the behaviour of coalgebras for a large class of set functors. The syntax of the logic, defined uniformly with respect to a finitary coalgebraic type functor T , uses a

Strategies and logics of internationalization

Directory of Open Access Journals (Sweden)

Mahjouba Ben Salem

2013-07-01

Full Text Available The race between firms to acquire capacities worldwide has evolved in a chronological order which centered at first around products, then around position to move later on to skills and to focus currently on networks. Similarly, when observing the evolution of the different international development strategies, it was found out that they have started by the exportation and the setting up of production subsidiaries to move more recently to such strategies as mergers & acquisitions and international alliances. The present paper investigates the relationship between the internationalization strategies and logics and comes to the conclusion that, a particular logic is behind every choice made. Indeed, the present work was conducted within the Tunisian food enterprises and helped confirm this hypothesis as it was found out that the position logic is behind the choice of exportation and the creation of production subsidiaries while the choice of partnership is based on the logic of skills. The option for merger, on the other hand, is motivated by the networks logic.

How to transform economics? A philosophical appraisal

Directory of Open Access Journals (Sweden)

Deniz Kellecioglu

2017-11-01

Full Text Available Ten years after the global financial crisis there is hardly any evidence that the theories, teaching and policies of mainstream economics have changed. This paper is an attempt to contribute to the greater understanding of this persistence, but also to the discussion on what the requirements are to materialise a transformation in economics, given the dismal outcomes in the world economy. The analytical approach of the paper is to utilise relevant philosophical accounts that point out attributes of dominant discourses, and methodological requirements to supersede an already dominant discourse. The objective is to contribute to an improved understanding of factors that obstruct or construct transformations in a knowledge field such as economics; and thereby contribute to transformation efforts, preferably for a more pluralist and emancipatory economics. Given the complexities and the tensions between different philosophical positions, the conclusions of this appraisal are summarised into five criteria that appear essential to realise a successful transformation in economics: critical juncture; dissimilarity; scholar validation; sensibility; and external power. It is suggested to revise efforts to fulfil these criteria as much, and as soon as possible, given the importance and urgency of changing the trajectory of our economies and societies.

A new hierarchy of infinitary logics in abstract algebraic logic

Czech Academy of Sciences Publication Activity Database

Lávička, Tomáš; Noguera, Carles

2017-01-01

Roč. 105, č. 3 (2017), s. 521-551 ISSN 0039-3215 R&D Projects: GA ČR GA13-14654S EU Projects: European Commission(XE) 689176 - SYSMICS Institutional support: RVO:67985556 ; RVO:67985807 Keywords : Abstract algebraic logic * consequence relations * infinitary logics * completeness properties Subject RIV: BA - General Mathematics; BA - General Mathematics (UIVT-O) OBOR OECD: Pure mathematics; Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) (UIVT-O) Impact factor: 0.589, year: 2016 http://library.utia.cas.cz/separaty/2017/MTR/noguera-0469118.pdf

Protein logic: a statistical mechanical study of signal integration at the single-molecule level.

Science.gov (United States)

de Ronde, Wiet; Rein ten Wolde, Pieter; Mugler, Andrew

2012-09-05

Information processing and decision-making is based upon logic operations, which in cellular networks has been well characterized at the level of transcription. In recent years, however, both experimentalists and theorists have begun to appreciate that cellular decision-making can also be performed at the level of a single protein, giving rise to the notion of protein logic. Here we systematically explore protein logic using a well-known statistical mechanical model. As an example system, we focus on receptors that bind either one or two ligands, and their associated dimers. Notably, we find that a single heterodimer can realize any of the 16 possible logic gates, including the XOR gate, by variation of biochemical parameters. We then introduce what to our knowledge is a novel idea: that a set of receptors with fixed parameters can encode functionally unique logic gates simply by forming different dimeric combinations. An exhaustive search reveals that the simplest set of receptors (two single-ligand receptors and one double-ligand receptor) can realize several different groups of three unique gates, a result for which the parametric analysis of single receptors and dimers provides a clear interpretation. Both results underscore the surprising functional freedom readily available to cells at the single-protein level. Copyright © 2012 Biophysical Society. Published by Elsevier Inc. All rights reserved.

Philosophical Issues in Ecology: Recent Trends and Future Directions

Directory of Open Access Journals (Sweden)

Mark Colyvan

2009-12-01

Full Text Available Philosophy of ecology has been slow to become established as an area of philosophical interest, but it is now receiving considerable attention. This area holds great promise for the advancement of both ecology and the philosophy of science. Insights from the philosophy of science can advance ecology in a number of ways. For example, philosophy can assist with the development of improved models of ecological hypothesis testing and theory choice. Philosophy can also help ecologists understand the role and limitations of mathematical models in ecology. On the other side, philosophy of science will be advanced by having ecological case studies as part of the stock of examples. Ecological case studies can shed light on old philosophical topics as well as raise novel issues for the philosophy of science. For example, understanding theoretical terms such as "biodiversity" is important for scientific reasons, but such terms also carry political importance. Formulating appropriate definitions for such terms is thus not a purely scientific matter, and this may prompt a reevaluation of philosophical accounts of defining theoretical terms. We consider some of the topics currently receiving attention in the philosophy of ecology and other topics in need of attention. Our aim is to prompt further exchange between ecology and philosophy of science and to help set the agenda for future work in the philosophy of ecology. The topics covered include: the role of mathematical models, environmental problem formulation, biodiversity, and environmental ethics.

Probabilistic logics and probabilistic networks

CERN Document Server

Haenni, Rolf; Wheeler, Gregory; Williamson, Jon; Andrews, Jill

2014-01-01

Probabilistic Logic and Probabilistic Networks presents a groundbreaking framework within which various approaches to probabilistic logic naturally fit. Additionally, the text shows how to develop computationally feasible methods to mesh with this framework.

Logic and discrete mathematics a concise introduction

CERN Document Server

Conradie, Willem

2015-01-01

A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade.  The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical logic as well as practical applications through the easy

Asynchronous Operators of Sequential Logic Venjunction & Sequention

CERN Document Server

Vasyukevich, Vadim

2011-01-01

This book is dedicated to new mathematical instruments assigned for logical modeling of the memory of digital devices. The case in point is logic-dynamical operation named venjunction and venjunctive function as well as sequention and sequentional function. Venjunction and sequention operate within the framework of sequential logic. In a form of the corresponding equations, they organically fit analytical expressions of Boolean algebra. Thus, a sort of symbiosis is formed using elements of asynchronous sequential logic on the one hand and combinational logic on the other hand. So, asynchronous

Parametric Linear Dynamic Logic

Directory of Open Access Journals (Sweden)

Peter Faymonville

2014-08-01

Full Text Available We introduce Parametric Linear Dynamic Logic (PLDL, which extends Linear Dynamic Logic (LDL by temporal operators equipped with parameters that bound their scope. LDL was proposed as an extension of Linear Temporal Logic (LTL that is able to express all ω-regular specifications while still maintaining many of LTL's desirable properties like an intuitive syntax and a translation into non-deterministic Büchi automata of exponential size. But LDL lacks capabilities to express timing constraints. By adding parameterized operators to LDL, we obtain a logic that is able to express all ω-regular properties and that subsumes parameterized extensions of LTL like Parametric LTL and PROMPT-LTL. Our main technical contribution is a translation of PLDL formulas into non-deterministic Büchi word automata of exponential size via alternating automata. This yields a PSPACE model checking algorithm and a realizability algorithm with doubly-exponential running time. Furthermore, we give tight upper and lower bounds on optimal parameter values for both problems. These results show that PLDL model checking and realizability are not harder than LTL model checking and realizability.

Philosophic Processes and the Study of Human Moving.

Science.gov (United States)

Bressan, Elizabeth S.; Pieter, Willy

1985-01-01

A theoretical framework describing second-order philosophical processes that can be productive for human movement studies is presented. The processes of edification and theory building can clarify issues, expand viewpoints, and establish systematic ways of dealing with a phenomenon, leading to the more mature forms of dialogues and theories. (MT)

Modal Logics with Counting

Science.gov (United States)

Areces, Carlos; Hoffmann, Guillaume; Denis, Alexandre

We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how this logic has been previously investigated under different guises. We show that the language is related to graded modalities and to hybrid logics. We illustrate a possible application of the language to the treatment of plural objects and queries in natural language. We investigate the expressive power of this logic via bisimulations, discuss the complexity of its satisfiability problem, define a new reasoning task that retrieves the cardinality bound of the extension of a given input formula, and provide an algorithm to solve it.

Paraconsistency properties in degree-preserving fuzzy logics

Czech Academy of Sciences Publication Activity Database

Ertola, R.; Esteva, F.; Flaminio, T.; Godo, L.; Noguera, Carles

2015-01-01

Roč. 19, č. 3 (2015), s. 531-546 ISSN 1432-7643 R&D Projects: GA ČR GAP202/10/1826 Institutional support: RVO:67985556 Keywords : Mathematical fuzzy logic * degree-preserving fuzzy logics * paraconsistent logics * logics of formal inconsistency Subject RIV: BA - General Mathematics Impact factor: 1.630, year: 2015 http://library.utia.cas.cz/separaty/2016/MTR/noguera-0469166.pdf

Quantum Logic and Quantum Reconstruction

OpenAIRE

Stairs, Allen

2015-01-01

Quantum logic understood as a reconstruction program had real successes and genuine limitations. This paper offers a synopsis of both and suggests a way of seeing quantum logic in a larger, still thriving context.

General Logic-Systems and Consequence Operators

OpenAIRE

Herrmann, Robert A.

2005-01-01

In this paper, general logic-systems are investigated. It is shown that there are infinitely many finite consequence operators defined on a fixed language L that cannot be generated from a finite logic-system. It is shown that a set map is a finite consequence operator iff it is defined by a general logic-system.

Logical Theories for Agent Introspection

DEFF Research Database (Denmark)

Bolander, Thomas

2004-01-01

Artificial intelligence systems (agents) generally have models of the environments they inhabit which they use for representing facts, for reasoning about these facts and for planning actions. Much intelligent behaviour seems to involve an ability to model not only one's external environment...... by self-reference. In the standard approach taken in artificial intelligence, the model that an agent has of its environment is represented as a set of beliefs. These beliefs are expressed as logical formulas within a formal, logical theory. When the logical theory is expressive enough to allow...... introspective reasoning, the presence of self-reference causes the theory to be prone to inconsistency. The challenge therefore becomes to construct logical theories supporting introspective reasoning while at the same time ensuring that consistency is retained. In the thesis, we meet this challenge by devising...

FUZZY LOGIC CONTROLLER IMPLEMENTATION FOR PHOTOVOLTAIC STATION

Directory of Open Access Journals (Sweden)

Imad Zein

2014-01-01

Full Text Available Solar panels have a nonlinear voltage-current characteristic, with a distinct maximum power point (MPP, which depends on the environmental factors, such as temperature and irradiation. In order to continuously harvest maximum power from the solar panels, they have to operate at their MPP despite the inevitable changes in the environment. This is why the controllers of all solar power electronic converters employ some method for maximum power point tracking (MPPT . Over the past years many MPPT techniques have been published and based on that the main paper’s objective is to analyze one of the most promising MPPT control algorithms: fuzzy logic controller. 

Preferential reasoning for modal logics

CSIR Research Space (South Africa)

Britz, K

2011-11-01

Full Text Available Modal logic is the foundation for a versatile and well-established class of knowledge representation formalisms in artificial intelligence. Enriching modal logics with non-monotonic reasoning capabilities such as preferential reasoning as developed...

Cultural Difference and Human Rights : A Philosophical-Anthropological Approach

NARCIS (Netherlands)

J. Kloeg (Julien)

2014-01-01

textabstractIn ‘Cultural Difference and Human Rights’, Julien Kloeg claims, with Pablo Gilabert, that theoretical attempts to justify human rights should move beyond the dichotomy of providing either a humanist or a political justification. Kloeg demonstrates how philosophical anthropology could

A Philosophical View of Research in Music Education

Science.gov (United States)

Jorgensen, Estelle R.

2009-01-01

In this paper, four interrelated questions are addressed: What counts as research? What are some present challenges to music education research? What should be the relationship between theory and empirical data? What ought to be the distinctive features of music education research? The purpose is to elucidate how philosophical inquiry can be…

Positioning positivism, critical realism and social constructionism in the health sciences: a philosophical orientation.

Science.gov (United States)

Cruickshank, Justin

2012-03-01

Positioning positivism, critical realism and social constructionism in the health sciences: a philosophical orientation This article starts by considering the differences within the positivist tradition and then it moves on to compare two of the most prominent schools of postpositivism, namely critical realism and social constructionism. Critical realists hold, with positivism, that knowledge should be positively applied, but reject the positivist method for doing this, arguing that causal explanations have to be based not on empirical regularities but on references to unobservable structures. Social constructionists take a different approach to postpositivism and endorse a relativist rejection of truth and hold that the task of research is to foster a scepticism that undermines any positive truth claim made. It is argued that social constructionism is a contradictory position. © 2011 Blackwell Publishing Ltd.

The humanistic psychology-positive psychology divide: contrasts in philosophical foundations.

Science.gov (United States)

Waterman, Alan S

2013-04-01

The relationship between the fields of humanistic and positive psychology has been marked by continued tension and ambivalence. This tension can be traced to extensive differences in the philosophical grounding characterizing the two perspectives within psychology. These differences exist with respect to (a) ontology, including the ways in which human nature is conceptualized regarding human potentials and well-being; (b) epistemology, specifically, the choice of research strategies for the empirical study of these concepts; and (c) practical philosophy, particularly the goals and strategies adopted when conducting therapy or undertaking counseling interventions. Because of this philosophical divide, adherents of the two perspectives may best be advised to pursue separately their shared desire to understand and promote human potentials and well-being.

Optically controllable molecular logic circuits