Formal Logic and Formal Semantics #2

Logic ◽  
2013 ◽  
pp. 333-374
2019 ◽  
pp. 40-47
Author(s):  
E. A. Mironchik

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.


2015 ◽  
pp. 33
Author(s):  
Miguel López Astorga

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.


The papers collected in this third volume of Oxford Studies in Experimental Philosophy illustrate the ways in which the field continues to broaden, taking on new methodological approaches and interacting with substantive theories from an ever wider array of disciplines. As the papers themselves clearly show, some recent research in experimental philosophy is going more deeply into well-established questions in the field, but at the same time, other strands of research are exploring issues that hardly appeared at all in the field even a few years ago. Thus, we see the introduction of new empirical and statistical methods (network analysis), new theoretical approaches (formal semantics), and the development of entirely new interdisciplinary connections (in the emerging field of “experimental jurisprudence”)


Author(s):  
Sarah E. Murray

This book gives a compositional, truth‐conditional, crosslinguistic semantics for evidentials set in a theory of the semantics for sentential mood. Central to this semantics is a proposal about a distinction between what propositional content is at‐issue, roughly primary or proffered, and what content is not‐at‐issue. Evidentials contribute not‐at‐issue content, more specifically what I will call a not‐at‐issue restriction. In addition, evidentials can affect the level of commitment a sentence makes to the main proposition, contributed by sentential mood. Building on recent work in the formal semantics of evidentials and related phenomena, the proposed semantics does not appeal to separate dimensions of illocutionary meaning. Instead, I argue that all sentences make three contributions: at‐issue content, not‐at‐issue content, and an illocutionary relation. At‐issue content is presented, made available for subsequent anaphora, but is not directly added to the common ground. Not‐at‐issue content directly updates the common ground. The illocutionary relation uses the at‐issue content to impose structure on the common ground, which, depending on the clause type (e.g., declarative, interrogative), can trigger further updates. Empirical support for this proposal comes from Cheyenne (Algonquian, primary data from the author’s fieldwork), English, and a wide variety of languages that have been discussed in the literature on evidentials.


Sign in / Sign up

Export Citation Format

Share Document