This book focuses on analyzing data on current initiatives and best practices in citizen engagement and education programs across various disciplines by highlighting emergent research and application techniques within citizen science initiatives.

This article discusses the logic of the Epimenides Paradox using a graphical representation of the logical operators involved. The graphical representation of the Logical Operators is the one used in digital electronics. This method of investigation is very effective in revealing the hidden error in the reasoning that leads to the contradiction. The article explains the vicious circle that the mind goes through when trying to analyze the Paradox. Finally, the article proposes a solution of the Paradox with final conclusions (...) that are not paradoxical but simply counterintuitive. The endless deduction is generated by subsequent evaluations that take place on different levels. In its evaluation the Mind alternates a level of logical evaluation with a level of semantic evaluation. (shrink)

"Results presented in two international seminars held in Palermo and Milan in 2012"--Page 1.

The present book is a collection of 9 essays, focusing on the ethical, religious, and political aspects of Wittgenstein's thought, illustrated and investigated with reference to their complex interaction with Wittgenstein's philosophical method and with his conception of language and human agency.

Consider any subvariety of BL-algebras generated by a single BL-chain which is the ordinal sum of the standard MV-algebra on [0, 1] and a basic hoop H. We present a geometrical characterization of elements in the finitely generated free algebra of each of these subvarieties. In this characterization there is a clear insight of the role of the regular and dense elements of the generating chain. As an application, we analyze maximal and prime filters in the free algebra.

Classification learning is a preeminent human ability within the animal kingdom but the key mechanisms of brain networks regulating learning remain mostly elusive. Recent neuroimaging advancements have depicted human brain as a complex graph machinery where brain regions are nodes and coherent activities among them represent the functional connections. While long-term motor memories have been found to alter functional connectivity in the resting human brain, a graph topological investigation of the short-time effects of learning are still not widely investigated. For (...) instance, classification learning is known to orchestrate rapid modulation of diverse memory systems like short-term and visual working memories but how the brain functional connectome accommodates such modulations is unclear. We used publicly available repositories (openfmri.org) selecting three experiments, two focused on short-term classification learning along two consecutive runs where learning was promoted by trial-by-trial feedback errors, while a further experiment was used as supplementary control. We analyzed the functional connectivity extracted from BOLD fMRI signals, and estimated the graph information processing in the cerebral networks. The information processing capability, characterized by complex network statistics, significantly improved over runs, together with the subject classification accuracy. Instead, null-learning experiments, where feedbacks came with poor consistency, did not provoke any significant change in the functional connectivity over runs. We propose that learning induces fast modifications in the overall brain network dynamics, definitely ameliorating the short-term potential of the brain to process and integrate information, a dynamic consistently orchestrated by modulations of the functional connections among specific brain regions. (shrink)

An l-hemi-implicative semilattice is an algebra $$\mathbf {A} = $$ A= such that $$$$ is a semilattice with a greatest element 1 and satisfies: for every $$a,b,c\in A$$ a,b,c∈A, $$a\le b\rightarrow c$$ a≤b→c implies $$a\wedge b \le c$$ a∧b≤c and $$a\rightarrow a = 1$$ a→a=1. An l-hemi-implicative semilattice is commutative if if it satisfies that $$a\rightarrow b = b\rightarrow a$$ a→b=b→a for every $$a,b\in A$$ a,b∈A. It is shown that the class of l-hemi-implicative semilattices is a variety. These algebras provide (...) a general framework for the study of different algebras of interest in algebraic logic. In any l-hemi-implicative semilattice it is possible to define an derived operation by $$a \sim b := \wedge $$ a∼b:=∧. Endowing $$$$ with the binary operation $$\sim $$ ∼ the algebra $$$$ results an l-hemi-implicative semilattice, which also satisfies the identity $$a \sim b = b \sim a$$ a∼b=b∼a. In this article, we characterize the commutative l-hemi-implicative semilattices. We also provide many new examples of l-hemi-implicative semilattice on any semillatice with greatest element. Finally, we characterize congruences on the classes of l-hemi-implicative semilattices introduced earlier and we characterize the principal congruences of l-hemi-implicative semilattices. (shrink)