Formal semantics for propositional attitudes
- Daniel Vanderveken
Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention. My purpose is to present a general model-theoretical semantics of propositional attitudes of any cognitive or volitive mode. In my view, one can recursively define the set of all psychological modes of attitudes. As Descartes anticipated, the two primitive modes are those of belief and desire. Complex modes are obtained by adding to primitive modes special cognitive and volitive ways or special propositional content or preparatory conditions. According to standard logic of attitudes (Hintikka), human agents are either perfectly rational or totally irrational. I...
Fuzzy Energy Management for Photovoltaic Water Pumping System
- Imene Yahyaoui; Maher Chaabene; Fernando Tadeo
A Fuzzy energy management algorithm for a photovoltaic water pumping installation is presented and validated experimentally, using a plant composed of photovoltaic panels, battery banks, DC/AC converters, relays and a water pump. Considering many criteria related to the battery safe operation, fulfilling the water volume needed by the crops and ensuring a continuous function of the pump, the algorithm decides the switching of the relays, which link the installation’ components. The algorithm is evaluated for a specific case study: tomato irrigation in Tunisia. Obtained results confirm that the irrigation water demand is covered during the season with a minimum use...
Implementation of Reversible Logic Gate in Quantum Dot Cellular Automata
- Rubina Akter; Nazrul Islam; Mawlana Bhashani Science; Sajjad Waheed
Quantum Dot Cellular Automata (QCA) is a nanotechnology with many attractive features such as higher speed, smaller size, higher switching frequency, higher scale integration and low power consumption. There are many researches have been reported on the design of reversible logic gates compared to the reversible TR. This paper proposes a modified design of the reversible Feynman gate and also propose reversible TR gate, then design 1-bit comparator using reversible TR gates and Feynman Gate. The result shows an efficient technique to design Feynman gate and one bit comparator. The proposed gates can be easily used to design complex circuits...
Aristotle's ategorical Syllogisms as Dialectical Games. Work in Progress
- Rahman, Shahid; Crubellier, Michel; Mcconaughey, Zoe
It is the introduction of book in Preparation on the links between Aristotle's Logic and his dialectics The main claim is that nowadays dialogical frame for logic provides the most accurate reconstruction of Arisotl'es general notion of logic
From Universal Logic to Computer Science, and back
- Alfred Tarski; Haskell Curry; Roman Suszko; Saul Kripke; Dana Scott; Dov Gabbay
Abstract. Computer Science has been long viewed as a consumer of mathematics in general, and of logic in particular, with few and minor contributions back. In this article we are challenging this view with the case of the relationship between specification theory and the universal trend in logic. 1 From Universal Logic... Although universal logic has been clearly recognised as a trend in mathematical logic since about one decade only, mainly due to the efforts of Jean-Yves Béziau and his colleagues, it had a presence here and there since much longer. For example the anthology  traces universal logic ideas...
Modular Machine Code Verification
- Zhaozhong Ni
Formally establishing safety properties of software presents a grand challenge to the computer science community. Producing proof-carrying code, i.e., machine code with machine-checkable specifications and proofs, is particularly difficult for system softwares written in low-level languages. One central problem is the lack of verification theories that can handle the expressive power of low-level code in a modular fashion. In particular, traditional type- and logic-based verification approaches have restrictions on either expressive power or modularity. This dissertation presents XCAP, a logic-based proof-carrying code framework for modular machine code verification. In XCAP, program specifications are written as general logic predicates, in which...
Elaborating domain descriptions (preliminary report
- Andreas Herzig; Laurent Perrussel; Ivan Varzinczak
In this work we address the problem of elaborating domain descrip-tions (alias action theories), in particular those that are expressed in dynamic logic. We dene a general method based on contraction of formulas in a version of propositional dynamic logic with an incor-porated solution to the frame problem. We present the semantics of our theory change and dene syntactical operators for contracting a domain description. We establish soundness and completeness of the operators w.r.t. the semantics for descriptions that satisfy a principle of modularity that we have proposed elsewhere. We also investigate an example of changing non-modular domain descriptions.
A theorem proving approach to analysis of secure information flow
- Ádám Darvas; Reiner Hähnle; David S
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feasible, these approaches suffer from the need for abstraction and the high cost of building dedicated tools for real programming languages. We recast the information flow problem in a general program logic rather than a problem-specific one. We investigate the feasibility of this approach by showing how a general purpose tool for software verification can be used to perform information flow analyses. We are able to handle phenomena like method calls, loops, and object types for the target language Java Card. We are...
1Intuitionistic Truth-knowledge Symmetric Bilattices for Uncertainty in Intelligent Systems
Abstract — Differently from pure probability theory the com-mon uncertain information is perception-based and imprecise . Human belief, confidence level, etc.. are approximate hu-man perceptions and the intelligent systems need a general approximate reasoning logic for them. We propose a family of intuitionistic bilattices with full truth-knowledge duality to be used in logic programming for such uncertain information. The simplest of them, based on intuitionistic truth-functually complete extension of Belnap’s 4-valued bilattice, can be used in paraconsistent programming, that is, for knowledge bases with incomplete and inconsistent information. The other two families are useful for an approximate logic theory where...
Universal Logic as a General Theory of Logic
- Musa Akrami
Nowadays, we are confronted with important debates concerning “pluralism”, “monism”, “relativism”, and “absolutism” in logic on the one hand, and “combinations of logics”, and “translations of logics into each other”, on the other hand.
In a global reaction to the plurality of logics. Some important researches have been done in the framework of an extensive project called “universal logic” with two readings: 1) “universal logic as the general theory of logic(s)” or “universal logic as a general theory of logic(s)”; 2) “universal logic as the comprehensive logic”, or “super-logic”, or “mother logic”, a notion which encompasses all logics and generates them.,...
A formação profissional crítica em Serviço Social inserida na ordem do capital monopolista Critical professional background in Social Services within the monopolistic capital order
- Ricardo Silvestre da Silva
O texto que segue trata sobre as transformações que vêm ocorrendo no ensino superior brasileiro a partir da última década, e como as mesmas vêm reorganizando-o em favor dos interesses do grande capital orientado pelos organismos internacionais, que inserem a educação definitivamente na lógica lucrativa do mercado. Este quadro mais geral traz grandes desafios para o conjunto das forças políticas progressistas preocupadas em garantir a estrutura universitária pautada no ensino, pesquisa e extensão de qualidade, incluído aí o Serviço Social e seu projeto ético-político.
The following text is about the transformation that has occurred in the Brazilian university education since the...
A Teaching Expression Method based on Systems Science
- Yingchun Li
The key of teaching is to design some "Teaching Main Line ", and ultimately to impart the knowledge and its structure of teachers and teaching materials to students themselves knowledge and its structure. This research indicates that the knowledge /system inner logic are differ from students comprehension logic, the teaching process in general is a kind of linearization process of teaching knowledge. Discussed the linearization of teaching process, as for transformation and restoration of the knowledge/system structure. Therefore given a Systems-Science Based Knowledge Model (SSBKM) for structure and organization methods of a knowledge; especially focuses on “the teaching mainline method...
La inestabilidad político-militar durante la primera república central, 1835-1839. La lógica del pronunciamiento en la figura del general José Urrea
- Gerardo Palomo González
El análisis desarrollado en este trabajo se ubica en un breve periodo de la historia política del México independiente (1835-1839) caracterizado por un cambio radical en la forma de gobierno, al pasar de la república federal a un régimen centralista, y por la oleada de pronunciamientos en favor de la república federal que se manifestó enseguida. Se trata de un momento histórico que bien podemos caracterizar en términos de crisis política y cuyo análisis nos muestra, en síntesis, que una de las principales causas del pronunciamiento como práctica consuetudinaria de la época fue la falta de legitimidad política tanto de...
Flexibilización laboral y mecanismos informales de regulación de los mercados de trabajo: Un estudio en la producción cinematográfica argentina Labor flexibilization and informal mechanisms of labour markets regulation: A study in the Argentinean film industry
- María Noel Bulloni Yaquinta
El artículo explora una serie de cuestiones contenidas en un trabajo de investigación sobre la regulación social del trabajo en la producción cinematográfica argentina. Con la intensión de captar las complejidades que presenta la regulación del trabajo por proyectos, el estudio se ha interrogado a propósito de aquellos ámbitos en donde, de acuerdo con cierta literatura post-fordista, las redes sociales operan como mecanismos informales de regulación. Sin embargo, a diferencia de esta literatura, se pondrá en evidencia que este tipo de regulación de ninguna manera escapa de la lógica más general que rige toda relación capital-trabajo.
The article explores on some...
Norma y principio en el "Jus commune"
- Francisco Carpintero
El estudio ofrece una síntesis de algunos aspectos de la metodología de los juristas del Jus Commune y de algunos teólogos influidos por ella. El autor diferencia claramente dos momentos de la reflexión sobre la ciencia jurídica. Uno, el anterior al siglo XVII, y el otro, que comienza en el siglo XVI, que en el plano filosófico general fue el representado por Gabriel Vázquez de Belmonte, Luis de Molina y Francisco Suárez. Gabriel Vázquez se rebeló estruendosamente frente a Tomás de Aquino _y con él, frente al espíritu de la filosofía práctica medieval_ y le siguieron por este camino Molina...
Frequency Value Grammar and Information Theory
- Asa M. Stepak
Previous efforts to calculate the entropy of written English were based upon inadequate forward (one-way) n-gram models that will result in an overestimation of the entropy. These models failed to recognize that in English, generally, function words preceding an open-class word within a phrasal unit is not homomorphic with the forward n-gram analysis since these words represent decompressions of cognitive objects in the information source probability space that tend to be homomorphic with a backward n-gram analysis. A backward n-gram analysis in these instances will result in word frequency values more representative of cognitive object co-occurrences in the `information source`...
Pricing and reimbursement of orphan drugs: the need for more transparency
- Simoens Steven
Pricing and reimbursement of orphan drugs are an issue of high priority for policy makers, legislators, health care professionals, industry leaders, academics and patients. This study aims to conduct a literature review to provide insight into the drivers of orphan drug pricing and reimbursement.
Although orphan drug pricing follows the same economic logic as drug pricing in general, the monopolistic power of orphan drugs results in high prices: a) orphan drugs benefit from a period of marketing exclusivity; b) few alternative health technologies are available; c) third-party payers and patients have limited negotiating power; d) manufacturers attempt to maximise...
The clinical method as a teaching method in the Medical Career El método clínico como método de enseñanza en la carrera de medicina
- Luis Allberto Corona Martinez; Mercedes Fonseca Hernández
The clinical method applied in the medical assistance to sick people is an essential category in the Clinical Sciences. Its use as a method in the teaching learning process in the disciplines and subjects of the clinical cycle in the medical profession contributes not only to master this method deeply, but to systematize all those abilities, that as a system, gather as a whole during its application. Therefore, the clinical method constitutes the main via to develop the student’s professional abilities, proving that the logic of the profession becomes at the same time the logical thinking of the Comprehensive General...
Specialization of Recursive Predicates from Positive Examples Only
- Moussa Demba
Problem statement: Given an overly general (definite) program P and its intended semantics Ø (the programmers intentions) where P does not satisfy Ø, find out a new version P of P such that P satisfies Ø. Approach: We proposed an approach for correcting overly general programs from positive examples by exploiting program synthesis techniques. The synthesized program, P, is a specialization of the original one, P. In contrast to the previous approaches for logic program specialization, no negative examples were given as input but they will be discovered by the algorithm itself. The specialization process is performed according to the...
Historia de los Servicios de Inteligencia: El Período Predemocrático
- Zorzo Ferrer, Francisco Javier
<i>Los Servicios de Inteligencia en la fase que se extiende desde el final de la guerra civil hasta el fallecimiento del General Franco sufrieron, como es lógico, las vicisitudes propias de una organización que estuvo sometida, en un principio, a la situación mundial, derivada del desarrollo de la Segunda Guerra Mundial y ala precariedad de medios, humanos y materiales, fundamentalmente hasta la década de los años 70, que se derivaban de la propia situación nacional.
En sus orígenes estuvieron obligados a mantener una estructura similar a la existente durante la guerra civil, como consecuencia del desarrollo de la guerra...