Search results for " LOGICA"
showing 10 items of 167 documents
Organo o canone? Annotazioni kantiane sul rapporto fra metafisica e logica
2010
Agents Displacement in Arbitrary Geometrical Spaces: An Evolutionary Computation based Approach
2015
In many different social contexts, communication allows a collective intelligence to emerge. However, a correct way of exchanging information usually requires determined topological configurations of the agents involved in the process. Such a configuration should take into account several parameters, e.g. agents positioning, their proximity and time efficiency of communication. Our aim is to present an algorithm, based on evolutionary programming, which optimizes agents placement on arbitrarily shaped areas. In order to show its ability to deal with arbitrary bi-dimensional topologies, this algorithm has been tested on a set of differently shaped areas that present concavities, convexities …
L'ordine nascosto. Natura e armonia all'origine del pensiero filosofico e scientifico
2007
Identification of Distributed Systems with Logical Interaction Structure
2012
This paper focuses on the structure identification problem for a class of networked systems, where the interaction among components or agents is described through logical maps. In particular, agents are heterogeneous cooperating systems, i.e. they may have different individual dynamics and different interaction rules depending on input events. While we assume that the individual agents' dynamics are known, each agent has partial knowledge of the logical map encoding the interaction of another agent with its neighbors. Based on the so-called algebraic normal form for binary functions, we present a technique by which the network structure described by a logical function can be dynamically est…
Pattern-Recognition: a Foundational Approach
2015
This paper aims at giving a contribution to the ongoing attempt to turn the theory of pattern-recognition into a rigorous science. In this article we address two problems which lie at the foundations of pattern-recognition theory: (i) What is a pattern? and (ii) How do we come to know patterns? In so doing much attention will be paid to tracing a non-arbitrary connection between (i) and (ii), a connection which will be ultimately based on considerations relating to Darwin’s theory of evolution.
Object, Structure, and Form
2012
The main task of this paper is to develop the non-Platonist view of mathematics as a science of structures I have called, borrowing the label from Putnam, `realism with the human face'. According to this view, if by `object' we mean what exists independently of whether we are thinking about it or not, mathematics is a science of patterns (structures), where patterns are neither objects nor properties of objects, but aspects (or aspects of aspects, etc.) of concrete objects which dawn on us when we represent objects (or aspects of... within a given system (of representation). Mathematical patterns, therefore, are real, because they ultimately depend on concrete objects, but are neither objec…
On Formalizing Logical Modalities
2021
This paper is in the scope of the philosophy of modal logic; more precisely, it concerns the semantics of modal logic, when the modal elements are interpreted as logical modalities. Most authors have thought that the logic for logical modality—that is, the one to be used to formalize the notion of logical truth (and other related notions)—is to be found among logical systems in which modalities are allowed to be iterated. This has raised the problem of the adequacy, to that formalization purpose, of some modal schemes, such as S4 and S5 . It has been argued that the acceptance of S5 leads to non-normal modal systems, in which the uniform substitution rule fails. The thesis supported in this…
Super-critical and sub-critical bifurcations in a reaction-diffusion Schnakenberg model with linear cross-diffusion
2016
In this paper the Turing pattern formation mechanism of a two components reaction-diffusion system modeling the Schnakenberg chemical reaction is considered. In Ref. (Madzavamuse et al., J Math Biol 70(4):709–743, 2015) it was shown how the presence of linear cross-diffusion terms favors the destabilization of the constant steady state. We perform the weakly nonlinear multiple scales analysis to derive the equations for the amplitude of the Turing patterns and to show how the cross-diffusion coefficients influence the occurrence of super-critical or sub-critical bifurcations. We present a numerical exploration of far from equilibrium regimes and prove the existence of multistable stationary…
L’oggettività nelle teorie scientifiche rispetto alle pratiche del “discorso dominante” in Foucault
2022
The correspondence theory of truth can be arranged in such a way as to contain aspects of a “molecular” holism, in which background knowledge is linked but kept distinct from the content of the single proposition. Within this perspective, a proposition can still be a “representation” of a fact, always approximate and renegotiable, which nonetheless highlights the structure of the state of affairs in order to also illuminate the molecular group of states of affairs, of finite number, connected to the fact. Theories describe or represent real aspects of the world, but these aspects can always be analyzed in more depth, and they are never definitive, similar to the different levels of reality …
Productive Ambiguity in Mathematics
2011
According to E. Grosholz, there is a phenomenon called `productive ambiguity' which plays a very important role in mathematics, and the sciences, because it is instrumental to the resolution of many open questions. The main task of this paper is that of assessing Grosholz's claim with regard to mathematics.