Search results for " Logic"
showing 10 items of 1720 documents
Networked Analysis of a Teaching Unit for Primary School Symmetries in the Form of an E-Book
2021
In mathematics education, technology offers many opportunities to enrich curricular contents. Plane symmetries is a topic often skipped by primary teachers. However, it is important and may be worked in attractive ways in dynamic geometry software environments. In any regular classroom there are students with different levels of mathematical attainment, some needing easy tasks while others, particularly mathematically-gifted students, need challenging problems. We present a teaching unit for plane symmetries, adequate for upper primary school grades, implemented in a fully interactive electronic book, with most activities solved in GeoGebra apps. The book allows student to choose which itin…
Gestalt Theory, Data Decomposition and Functional Architecture in Visual Neuroscience
2013
Classical and recent result about neuronal properties, and their functions and architectural design prompted claims to bring gestalt theory to bear on neurosciences reserach. It is deemed to contribute to understand brain mechanism through descriptions of visual functions expected to be wired in the brain. The standard models of data decomposition and functional architecture in visual neuroscience are discussed. Such issues as visual primitives identification and neuronal activity integration in gestaltist terms are introduced.
Les théoriciens spontanés : comment les évaluateurs construisent et révisent leurs connaissances des programmes par l'expérience
2021
International audience; What exactly do evaluators learn about programs through experience and how? We chose a constructivist framework to investigate the structure of evaluators’ program-related knowledge, namely the form, content, and origins of their expressed theories. In this context, we complemented a Piagetian theory of learning with new developments offered by “probabilistic” (or “Bayesian”) models of learning. We conducted “explicitation” interviews with nine experienced practitioners, some specializing in the education or agri-environment sectors and some generalists. After examining the form and content of their program-related knowledge, we examine its development through experi…
Working with Multiple Ontologies on the Semantic Web.
2016
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with multiple distinct, but linked, ontologies. OWL provides the owl:imports construct which, roughly, allows Web ontologies to include other Web ontologies, but only by merging all the linked ontologies into a single logical "space". Recent work on multidimensional logics, fusions and other combinations of modal logics, distributed and contextual logics, and the like have tried to find formalisms wherein knowledge bases (and their logic) are kept more distinct but yet affect each other. These formalisms have various …
Functional and Structural Roles of Data in Service Ecosystems
2023
Data play an increasingly important role in today’s service ecosystems, where actors integrate resources to create value at different levels of aggregation (micro, meso, macro). To advance our understanding of the role of data in such contemporary data-rich service ecosystems, we draw on the service-dominant (S-D) logic and data ecosystem literature. Extending the current understanding of data in the literature, we demonstrate how data and data ecosystems have become intertwined with service ecosystems and how data as a meta-resource connects actors, enhances systemic visibility, and drives innovation in these ecosystems. peerReviewed
Imprecise probability assessments and the Square of Opposition
There is a long history of investigations on the square of opposition spanning over two millenia. A square of opposition represents logical relations among basic sentence types in a diagrammatic way. The basic sentence types, traditionally denoted by A (universal affirmative: ''Every S is P''), E (universal negative: ''No S is P''), I (particular affirmative: ''Some S are P''), and O (particular negative: ''Some S are not P''), constitute the corners of the square, and the logical relations--contradiction, contrarity, subalternation, and sub-contrarity--form the diagonals and the sides of the square. We investigate the square of opposition from a probabilistic point of view. To manage impre…
Probabilistic Logic under Coherence: Complexity and Algorithms
2005
In previous work [V. Biazzo, A. Gilio, T. Lukasiewicz and G. Sanfilippo, Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P, Journal of Applied Non-Classical Logics 12(2) (2002) 189---213.], we have explored the relationship between probabilistic reasoning under coherence and model-theoretic probabilistic reasoning. In particular, we have shown that the notions of g-coherence and of g-coherent entailment in probabilistic reasoning under coherence can be expressed by combining notions in model-theoretic probabilistic reasoning with concepts from default reasoning. In this paper, we continue this line of research. Based on the above sem…
Consumer Information Services in Intercultural Tourism : An Ethnographic Study of Chinese Outbound Backpackers
2017
This paper reports the findings of an ethnographic study of Chinese outbound backpackers’ use and adoption of consumer information services (CIS) in an intercultural tourism setting. We apply McKenna et al.’s research model of consumers’ adoption of information services as the analytical lens for the interpretive qualitative study. The data gathering was conducted in four different countries. The findings of the study confirm linkages between four information service types and the use and adoption of CIS. The study also found that service types are more diversely linked than the earlier studies have predicted and therefore we propose a revised research model, which can be used for studying …
Ideological, Institutional and Affective Practices of Interpersonal Violence
2020
The first chapter presents the book’s point of departure as well as its central concepts and structure. It outlines the current understandings of and theoretical approaches to the intersections of violence, gender and affect. The starting point is that gendered violence and violating practices are embedded in social structures of power and in inequalities, institutions, regimes and the symbolic order. They are manifested in human interaction as well as in cultural discourses and representations. The chapter also gives an overview of the abundant research and various perspectives involved in analysing the intersections of violence, gender and affect as well as the continuities and interconne…
Il critico-trascendentale tra logica e metafisica
2010
Il critico trascendentale kantiano, fondato sistematicamente nella "Scienza della Logica" di Hegel, costituisce un passaggio ineludibile per comprendere la fondazione della metafisica come logica e le sue ripercussioni sul pensiero contemporaneo.