Storrs McCall. A simple decision procedure for one-variable implication/negation formulae in intuitionist logic. Notre Dame journal of formal logic, vol. 3 (1962), pp. 120–122.

1964 ◽  
Vol 29 (4) ◽  
pp. 212-213
Author(s):  
Gene F. Rose
Keyword(s):  
Decision Procedure ◽  
Formal Logic ◽  
Intuitionist Logic

ALGEBRA OF PREDICATES AND RELATED GEOMETRIC MODELS CREATION IN REGARDS OF UNIFIED STATE EXAM IN INFORMATICS (RUSSIAN EGE)

2019 ◽  
pp. 40-47
Author(s):  
E. A. Mironchik
Keyword(s):  
Geometric Model ◽  
Main Idea ◽  
Formal Logic ◽  
High Complexity ◽  
Geometric Models ◽  
Complexity Problem ◽  
Logical Expression ◽  
State Examination

The article discusses the method of solving the task 18 on the Unified State Examination in Informatics (Russian EGE). The main idea of the method is to write the conditions of the problem utilizing the language of formal logic, using elementary predicates. According to the laws of logic the resulting complex logical expression would be transformed into an expression, according to which a geometric model is supposed to be constructed which allows to obtain an answer. The described algorithm does allow high complexity problem to be converted into a simple one.

¿Razonamos en función de nuestro conocimiento general? Un estudio de las interacciones entre el procesamiento de la información y la inferencia lógica

2015 ◽  
pp. 33
Author(s):  
Miguel López Astorga
Keyword(s):  
Information Processing ◽  
Teaching And Learning ◽  
Learning Processes ◽  
Formal Logic ◽  
Conditional Reasoning ◽  
General Knowledge

RESUMENEn este trabajo, analizamos un experimento sobre el razonamiento condicional de Staller, Sloman y Ben-Zeev (2000). En dicho experimento, los sujetos parecen manifestar un comportamiento contrario a las prescripciones de la lógica formal. Nosotros lo revisamosy descubrimos todas las variables que es preciso atender en los procesos de enseñanza y aprendizaje, variables que no siempre son consideradas por los docentes.Palabras clave: condicional, conocimiento general, inferencia, procesamiento de la información, representación mental.DO WE REASON ACCORDING TO OUR GENERALKNOWLEDGE? A STUDY ABOUT INTERACTIONSBETWEEN INFORMATION PROCESSING AND LOGICALINFERENCEABSTRACTIn this paper, I analyze an experiment about conditional reasoning presented by Staller,Sloman and Ben-Zeev (2000). In that experiment, the subjects’ behavior seems contradictory to prescriptions of formal logic. I check it and I discover all the variables that we need to deal with them in teaching and learning processes, despite that such variables are notalways checked by the teachers.Keywords: conditional, general knowledge, inference, information processing, mentalrepresentation.

A Decision Procedure for Bit-Vector Arithmetic

1998 ◽  
Author(s):  
Clark W. Barrett ◽  
David L. Dill ◽  
Jeremy R. Levitt
Keyword(s):  
Decision Procedure ◽  
Bit Vector

Samuel Beckett's Debt to Aristotle: Cosmology, Syllogism, Space, Time

2010 ◽  
Vol 22 (1) ◽  
pp. 181-195 ◽  
Author(s):  
Anthony Cordingley
Keyword(s):  
Trinity College ◽  
Space Time ◽  
Formal Logic ◽  
Trinity College Dublin ◽  
Space And Time ◽  
Creative Transformation ◽  
Cosmic Order

This essay argues for the presence of Aristotelian ideas of cosmic order, syllogism, space and time in Beckett's . It accounts for how such ideas impact upon the novel's 'I' as he attempts to offer a philosophical 'solution' to his predicament in an underworld divorced from the revolving heavens. Beckett's study of formal logic as a student at Trinity College, Dublin and his private study of philosophy in 1932 is examined in this light; particularly his “Philosophy Notes,” along with some possible further sources for his knowledge. The essay then reveals a creative transformation of Aristotelian ideas in which led to formal innovations, such as the continuous present of its narrative.

Hegel's Conception of the Study of Human Nature

1970 ◽  
Vol 4 ◽  
pp. 32-47
Author(s):  
H. B. Acton
Keyword(s):  
Twentieth Century ◽  
Human Nature ◽  
Dialectical Materialism ◽  
Philosophy Of History ◽  
Formal Logic ◽  
Human Society ◽  
Royal Family ◽  
Dialectical Method ◽  
English Speaking ◽  
The Creation

It is easy to understand why Hegel's philosophy should be little studied by English-speaking philosophers today. Those who at the beginning of the twentieth century initiated the movement we are now caught up in presented their earliest philosophical arguments as criticisms of the prevailing Anglo-Hegelian views. It may now be thought illiberal to take much interest in this perhaps excusably slaughtered royal family, and positively reactionary to hanker after the foreign dynasty from which it sometimes claimed descent. Hegel was a systematic philosopher with a scope hardly to be found today, and men who, as we say, wish to keep up with their subject may well be daunted at the idea of having to understand a way of looking at philosophy which they suspect would not repay them for their trouble anyway. Furthermore, since Hegel wrote, formal logic has advanced in ways he could not have foreseen, and has, it seems to many, destroyed the whole basis of his dialectical method. At the same time, the creation of a science of sociology, it is supposed, has rendered obsolete the philosophy of history for which Hegel was at one time admired. In countries where there are Marxist intellectuals, Hegel does get discussed as the inadvertent forerunner of historical and dialectical materialism. But in England, where there is no such need or presence, there do not seem to be any very strong ideological reasons for discussing him. In what follows I shall be asking you to direct your thoughts to certain forgotten far-off things which I hope you will find historically interesting even if you do not agree with me that they give important clues for an understanding of human nature and human society.

An Automata-Theoretic Decision Procedure for Propositional Temporal Logic with Since and Until1

1992 ◽  
Vol 17 (3) ◽  
pp. 271-282
Author(s):  
Y.S. Ramakrishna ◽  
L.E. Moser ◽  
L.K. Dillon ◽  
P.M. Melliar-Smith ◽  
G. Kutty
Keyword(s):  
Temporal Logic ◽  
Decision Procedure ◽  
Linear Time ◽  
Computer Systems ◽  
Hierarchical Abstraction ◽  
Soundness And Completeness

We present an automata-theoretic decision procedure for Since/Until Temporal Logic (SUTL), a linear-time propositional temporal logic with strong non-strict since and until operators. The logic, which is intended for specifying and reasoning about computer systems, employs neither next nor previous operators. Such operators obstruct the use of hierarchical abstraction and refinement and make reasoning about concurrency difficult. A proof of the soundness and completeness of the decision procedure is given, and its complexity is analyzed.

Sign in / Sign up

Export Citation Format

Share Document