Search results for " logic"

Probabilistic semantics for categorical syllogisms of Figure II

2018

A coherence-based probability semantics for categorical syllogisms of Figure I, which have transitive structures, has been proposed recently (Gilio, Pfeifer, & Sanfilippo [15]). We extend this work by studying Figure II under coherence. Camestres is an example of a Figure II syllogism: from Every P is M and No S is M infer No S is P. We interpret these sentences by suitable conditional probability assessments. Since the probabilistic inference of \(\bar{P}|S\) from the premise set \(\{M|P,\bar{M}|S\}\) is not informative, we add \(p(S|(S \vee P))>0\) as a probabilistic constraint (i.e., an “existential import assumption”) to obtain probabilistic informativeness. We show how to propagate the…

Branch-and-Price-and-Cut for the Truck-and-Trailer Routing Problem with Time Windows

2018

In this paper, we present a new branch-and-price-and-cut algorithm to solve the truck-and-trailer routing problem with time windows (TTRPTW) and two real-world extensions. In all TTRPTW variants, the fleet consists of one or more trucks that may attach a trailer. Some customers are not accessible with a truck-and-trailer combination, but can however be serviced by one if the trailer is previously detached and parked at a suitable location. In the first extension, the planning horizon comprises two days and customers may be visited either on both days or only once, in which case twice the daily supply must be collected. The second extension incorporates load transfer times depending on the …

Trust-enhanced data integrity model

2012

In this paper we propose an enhancement of data integrity model. The proposed model is based on the idea of Biba integrity model but uses more elaborated integrity measurements. Since integrity can be seen as “trustworthiness of data and resources”, we propose to utilize trustworthiness opinions from subjective logic and express levels of integrity as levels of trustworthiness.

The Slingshot Argument. Troubles for the Correspondence Theory of Truth

2010

Truth and Facts. Rejection of the slingshot argument in defence of the correspondence theory of truth

2011

Logic, Computing and Biology

2015

Logic and Computing are appropriate formal languages for Biology, and we may well be surprised by the strong analogy between software and DNA, and between hardware and the protein machinery of the cell. This chapter examines to what extent any biological entity can be described by an algorithm and, therefore, whether the Turing machine and the halting problem concepts apply. Last of all, I introduce the concepts of recursion and algorithmic complexity, both from the field of computer science, which can help us understand and conceptualise biological complexity.

Corrigendum to “Off-line control of the postprandial glycemia in type 1 diabetes patients by a fuzzy logic decision support” [Expert Systems with App…

2012

Visual Arguments in Film

2008

Nuestro objetivo es señalar algunas diferencias entre los argumentos verbales y visuales, y promover la perspectiva retórica de la argumentación, yendo más allá de la relevancia de la lógica y de la pragmática. En nuestra opinión, si ha de ser racional y aceptable como argumentación (visual), un film debe dirigirse a espectadores que tienen creencias informadas sobre el tema visto en la pantalla y sobre las limitaciones y las convenciones del medio. En nuestras reflexiones, aplicamos el análisis retórico al cine como un acto simbólico, humano y comunicativo que a veces puede entenderse como un argumento trazado visualmente. Como mezcla de estímulos visuales, auditivos y verbales, el film ex…

Reaching for different ends through tenure track—institutional logics in university career systems

2020

AbstractIn this study, we used the institutional logics perspective to identify the logics underpinning the tenure track career system, how the logics manifest themselves in recruitment and performance management and how academic leaders and academics negotiate between the logics. The study contributes to research on governance dynamics in academia and to universities’ organisational transformation in the context of strategic actorhood. The data comprised interviews with academic leaders (vice-rectors, deans, department heads) and academics in tenure track positions at two Finnish universities. Empirically, the study explores two key areas of human resource management: recruitment and perfo…

Interventi per la rimozione delle cause del ritardo nel percorso universitario e per la promozione delle competenze logico-dialogiche degli studenti

2012

Interventions for the removal of the causes of delay in university curriculum and the promotion of students’ logic-dialogical skills. In order to help the students of the course of degree in Sciences of the Primary Formation who are late in their university studies two types of intervention have been carried out: the testing of a counseling and a Philosophy for Chidren-based training activity. The counseling has aimed to encourage the comparison between the resources possessed by the students and the opportunities offered by the educational context in order to focus on possible interventions and support in-depth. Overall assessment of the counseling is good, as most of the students involved…