52,492 research outputs found
LOGICAL AND PSYCHOLOGICAL PARTITIONING OF MIND: DEPICTING THE SAME MAP?
The aim of this paper is to demonstrate that empirically delimited structures of mind are also differentiable by means of systematic logical analysis. In the sake of this aim, the paper first summarizes Demetriou's theory of cognitive organization and growth. This theory assumes that the mind is a multistructural entity that develops across three fronts: the processing system that constrains processing potentials, a set of specialized structural systems (SSSs) that guide processing within different reality and knowledge domains, and a hypecognitive system that monitors and controls the functioning of all other systems. In the second part the paper focuses on the SSSs, which are the target of our logical analysis, and it summarizes a series of empirical studies demonstrating their autonomous operation. The third part develops the logical proof showing that each SSS involves a kernel element that cannot be reduced to standard logic or to any other SSS. The implications of this analysis for the general theory of knowledge and cognitive development are discussed in the concluding part of the paper
On an Intuitionistic Logic for Pragmatics
We reconsider the pragmatic interpretation of intuitionistic logic [21]
regarded as a logic of assertions and their justications and its relations with classical
logic. We recall an extension of this approach to a logic dealing with assertions
and obligations, related by a notion of causal implication [14, 45]. We focus on
the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on
polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the
S4 modal translation, we give a denition of a system AHL of bi-intuitionistic logic
that correctly represents the duality between intuitionistic and co-intuitionistic logic,
correcting a mistake in previous work [7, 10]. A computational interpretation of cointuitionism
as a distributed calculus of coroutines is then used to give an operational
interpretation of subtraction.Work on linear co-intuitionism is then recalled, a linear
calculus of co-intuitionistic coroutines is dened and a probabilistic interpretation
of linear co-intuitionism is given as in [9]. Also we remark that by extending the
language of intuitionistic logic we can express the notion of expectation, an assertion
that in all situations the truth of p is possible and that in a logic of expectations
the law of double negation holds. Similarly, extending co-intuitionistic logic, we can
express the notion of conjecture that p, dened as a hypothesis that in some situation
the truth of p is epistemically necessary
Categories without structures
The popular view according to which Category theory provides a support for
Mathematical Structuralism is erroneous. Category-theoretic foundations of
mathematics require a different philosophy of mathematics. While structural
mathematics studies invariant forms (Awodey) categorical mathematics studies
covariant transformations which, generally, don t have any invariants. In this
paper I develop a non-structuralist interpretation of categorical mathematics
and show its consequences for history of mathematics and mathematics education.Comment: 28 page
The Means/Side-Effect Distinction in Moral Cognition: A Meta-Analysis
Experimental research suggests that people draw a moral distinction between bad outcomes brought about as a means versus a side effect (or byproduct). Such findings have informed multiple psychological and philosophical debates about moral cognition, including its computational structure, its sensitivity to the famous Doctrine of Double Effect, its reliability, and its status as a universal and innate mental module akin to universal grammar. But some studies have failed to replicate the means/byproduct effect especially in the absence of other factors, such as personal contact. So we aimed to determine how robust the means/byproduct effect is by conducting a meta-analysis of both published and unpublished studies (k = 101; 24,058 participants). We found that while there is an overall small difference between moral judgments of means and byproducts (standardized mean difference = 0.87, 95% CI 0.67 â 1.06; standardized mean change = 0.57, 95% CI 0.44 â 0.69; log odds ratio = 1.59, 95% CI 1.15 â 2.02), the mean effect size is primarily moderated by whether the outcome is brought about by personal contact, which typically involves the use of personal force
Graphical Reasoning in Compact Closed Categories for Quantum Computation
Compact closed categories provide a foundational formalism for a variety of
important domains, including quantum computation. These categories have a
natural visualisation as a form of graphs. We present a formalism for
equational reasoning about such graphs and develop this into a generic proof
system with a fixed logical kernel for equational reasoning about compact
closed categories. Automating this reasoning process is motivated by the slow
and error prone nature of manual graph manipulation. A salient feature of our
system is that it provides a formal and declarative account of derived results
that can include `ellipses'-style notation. We illustrate the framework by
instantiating it for a graphical language of quantum computation and show how
this can be used to perform symbolic computation.Comment: 21 pages, 9 figures. This is the journal version of the paper
published at AIS
Automated data pre-processing via meta-learning
The final publication is available at link.springer.comA data mining algorithm may perform differently on datasets with different characteristics, e.g., it might perform better on a dataset with continuous attributes rather than with categorical attributes, or the other way around.
As a matter of fact, a dataset usually needs to be pre-processed. Taking into account all the possible pre-processing operators, there exists a staggeringly large number of alternatives and nonexperienced users become overwhelmed.
We show that this problem can be addressed by an automated approach, leveraging ideas from metalearning.
Specifically, we consider a wide range of data pre-processing techniques and a set of data mining algorithms. For each data mining algorithm and selected dataset, we are able to predict the transformations that improve the result
of the algorithm on the respective dataset. Our approach will help non-expert users to more effectively identify the transformations appropriate to their applications, and hence to achieve improved results.Peer ReviewedPostprint (published version
Relational parametricity for higher kinds
Reynoldsâ notion of relational parametricity has been extremely influential and well studied for polymorphic programming languages and type theories based on System F. The extension of relational parametricity to higher kinded polymorphism, which allows quantification over type operators as well as types, has not received as much attention. We present a model of relational parametricity for System FÏ, within the impredicative Calculus of Inductive Constructions, and show how it forms an instance of a general class of models defined by Hasegawa. We investigate some of the consequences of our model and show that it supports the definition of inductive types, indexed by an arbitrary kind, and with reasoning principles provided by initiality
Two-Level Type Theory and Applications
We define and develop two-level type theory (2LTT), a version of Martin-L\"of
type theory which combines two different type theories. We refer to them as the
inner and the outer type theory. In our case of interest, the inner theory is
homotopy type theory (HoTT) which may include univalent universes and higher
inductive types. The outer theory is a traditional form of type theory
validating uniqueness of identity proofs (UIP). One point of view on it is as
internalised meta-theory of the inner type theory.
There are two motivations for 2LTT. Firstly, there are certain results about
HoTT which are of meta-theoretic nature, such as the statement that
semisimplicial types up to level can be constructed in HoTT for any
externally fixed natural number . Such results cannot be expressed in HoTT
itself, but they can be formalised and proved in 2LTT, where will be a
variable in the outer theory. This point of view is inspired by observations
about conservativity of presheaf models.
Secondly, 2LTT is a framework which is suitable for formulating additional
axioms that one might want to add to HoTT. This idea is heavily inspired by
Voevodsky's Homotopy Type System (HTS), which constitutes one specific instance
of a 2LTT. HTS has an axiom ensuring that the type of natural numbers behaves
like the external natural numbers, which allows the construction of a universe
of semisimplicial types. In 2LTT, this axiom can be stated simply be asking the
inner and outer natural numbers to be isomorphic.
After defining 2LTT, we set up a collection of tools with the goal of making
2LTT a convenient language for future developments. As a first such
application, we develop the theory of Reedy fibrant diagrams in the style of
Shulman. Continuing this line of thought, we suggest a definition of
(infinity,1)-category and give some examples.Comment: 53 page
- âŠ