A qualitative difference between Rules and Similarity in categorization can be described in terms of “commitment”: Rules entail it, Similarity does not. Commitment derives from people's knowledge of a domain, and it is what justifies people's inferences, selective attention, and dismissal of irrelevant information. Studies show that when children have knowledge, they manifest these aspects of commitment, thus overcoming Similarity.
Tomasello et al. argue that cultural cognition derives from humans' unique motivation to share psychological states. We suggest that what underlies this motivation is children's propensity to seek out the underlying causes of behavior. This propensity, combined with children's competence at it, makes them especially skillful at acquiring the intentional, conventional, and reliable forms that constitute culture.
This paper attempts to show the existence of an ethical dimension of teaching as an educational activity. In order to achieve this, two main errors must be avoided: on the one hand, the idea that the ethical dimension of teaching is an alternative approach to a technological paradigm; on the other hand, the idea that this dimension constitutes only an external factor in regulating educational activities. After analysing the arguments most frequently used in justifying the ethical dimension of teaching, the (...) authors argue for the need to reconstruct a concept of pedagogical effectiveness in which the ethical component constitutes an intrinsic element. Finally, content for the ethical dimension of teaching from the viewpoint of socialisation through human rights is suggested. (shrink)
The objective of this paper is analyzing to which extent the multiverse hypothesis provides a real explanation of the peculiarities of the laws and constants in our universe. First we argue in favor of the thesis that all multiverses except Tegmark’s “mathematical multiverse” are too small to explain the fine tuning, so that they merely shift the problem up one level. But the “mathematical multiverse" is surely too large. To prove this assessment, we have performed a number of experiments with (...) cellular automata of complex behavior, which can be considered as universes in the mathematical multiverse. The analogy between what happens in some automata (in particular Conway’s “Game of Life") and the real world is very strong. But if the results of our experiments can be extrapolated to our universe, we should expect to inhabit—in the context of the multiverse—a world in which at least some of the laws and constants of nature should show a certain time dependence. Actually, the probability of our existence in a world such as ours would be mathematically equal to zero. In consequence, the results presented in this paper can be considered as an inkling that the hypothesis of the multiverse, whatever its type, does not offer an adequate explanation for the peculiarities of the physical laws in our world. (shrink)
When considering m-sequents, it is always possible to obtain an m-sequent calculus VL for every m-valued logic (defined from an arbitrary finite algebra L of cardinality m) following for instance the works of the Vienna Group for Multiple-valued Logics. The Gentzen relations associated with the calculi VL are always finitely equivalential but might not be algebraizable. In this paper we associate an algebraizable 2-Gentzen relation with every sequent calculus VL in a uniform way, provided the original algebra L has a (...) reduct that is a distributive lattice or a pseudocomplemented distributive lattice. We also show that the sentential logic naturally associated with the provable sequents of this algebraizable Gentzen relation is the logic that preserves degrees of truth with respect to the original algebra (in contrast with the more common logic that merely preserves truth). Finally, for some particular logics we obtain 2-sequent calculi that axiomatize the algebraizable Gentzen relations obtained so far. (shrink)
A world without individual entities? An advice to not to extract immediate ontological consequences from quantum theory. Should we assume a world without individual entities? I pledge not to extract immediate ontological consequences from quantum theory. My intention is to focus on the complexity of ontological concepts commonly associated with quantum theory. Using as an example the compatibility of EPR correlations with the existence of individual entities, it is shown that an absolute rejection of an ontological category, based on some (...) aspects of the formalism of quantum theory, does not seem reasonable. A consequence of this argument is that the common sense view – the world is composed of individual entities – can be maintained, despite of the particularities of quantum mechanics. (shrink)
In this paper we show that, in Gentzen systems, there is a close relation between two of the main characters in algebraic logic and proof theory respectively: protoalgebraicity and the cut rule. We give certain conditions under which a Gentzen system is protoalgebraic if and only if it possesses the cut rule. To obtain this equivalence, we limit our discussion to what we call regular sequent calculi, which are those comprising some of the structural rules and some logical rules, in (...) a sense we make precise. We note that this restricted set of rules includes all the usual rules in the literature. We also stress the difference between the case of two-sided sequents and the case of many-sided sequents, in which more conditions are needed. (shrink)
Miranda Fricker characterizes the most basic or primary form of epistemic, testimonial injustice by way of a set of negative delimitations. In this paper I raise some doubts about how these delimitations are drawn, about the wrongful harms and disadvantages the testimonial injustice is supposed to entail and produce,and about the way Miranda Fricker clarifies the perfectionist character of the corrective virtue on the part of hearers, the ethical and intellectual virtue of testimonial justice.
Łukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Łukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Łukasiewicz algebra by using a “truth-preserving” scheme. This deductive system is algebraizable, non-selfextensional and does not satisfy the deduction theorem. In addition, there exists no Gentzen calculus fully adequate (...) for it. Another presentation of the same deductive system can be obtained from a substructural Gentzen calculus. In this paper we use the framework of abstract algebraic logic to study a different deductive system which uses the aforementioned algebra under a scheme of “preservation of degrees of truth”. We characterize the resulting deductive system in a natural way by using the lattice filters of Wajsberg algebras, and also by using a structural Gentzen calculus, which is shown to be fully adequate for it. This logic is an interesting example for the general theory: it is selfextensional, non-protoalgebraic, and satisfies a “graded” deduction theorem. Moreover, the Gentzen system is algebraizable. The first deductive system mentioned turns out to be the extension of the second by the rule of Modus Ponens. (shrink)
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current approaches are based on purely syntactic solutions, i.e. a grammar that defines a rights expression language. These languages are difficult to put into practise due to the lack of explicit semantics that facilitate its implementation. Moreover, they are simple from the legal point of view because they are intended just to model the (...) usage licenses granted by content providers to end-users. Thus, they ignore the copyright framework that lies behind and the whole value chain from creators to end-users. Our proposal is to use a semantic approach based on semantic web ontologies. We detail the development of a copyright ontology in order to put this approach into practice. It models the copyright core concepts for creation, rights and the basic kinds of actions that operate on content. Altogether, it allows building a copyright framework for the complete value chain. The set of actions operating on content are our smaller building blocks in order to cope with the complexity of copyright value chains and statements and, at the same time, guarantee a high level of interoperability and evolvability. The resulting copyright modelling framework is flexible and complete enough to model many copyright scenarios, not just those related to the economic exploitation of content. The ontology also includes moral rights, so it is possible to model this kind of situations as it is shown in the included example model for a withdrawal scenario. Finally, the ontology design and the selection of tools result in a straightforward implementation. Description Logic reasoners are used for license checking and retrieval. Rights are modelled as classes of actions, action patterns are modelled also as classes and the same is done for concrete actions. Then, to check if some right or license grants an action is reduced to check for class subsumption, which is a direct functionality of these reasoners. (shrink)
Es indudable que el inconsciente colectivo estudiado por Jung y su escuela psicoanalítica, nos ha demostrado fehacientemente que las conductas observadas y aprendidas en la infancia tanto en la familia como en la sociedad, se reproducen de manera muy similar en las generaciones jóvenes.
El 40 aniversario de la Pacem in Terris de Juan XXIII muestra su continuidad con Kant y Rawls. Los tres proclaman no a la guerra; se oponen al clash of civilisations; afirman que la paz exige el Estado de Derecho y de derechos, el respeto a los derechos humanos y fundamentales de las personas y de los pueblos y el sometimiento a las Naciones Unidas. Mientras que para Kant el imperativo ético conlleva la erradicación de la guerra, también para Rawls (...) el orden internacional supone la eliminación de la guerra y el triunfo del Derecho; para Juan XXIII el reconocimiento y el respeto universal a los derechos humanos y/o fundamentales es condición y a la vez presupuesto y efecto de la paz que también exige la igualdad y la garantía de las necesidades primarias. (shrink)
This work is devoted to clear how the foundation of modern thought takes place as a reinforced reiteration of metaphysics which is provoked by a defensive fold of reason against the assault of transrational. We begin showing the way this asault is experimented by Descartes in a decisive moment of his life and how reagently replies to him. The article continues showing how physics and metaphysics are being moved in Descartes on the wake of a try to build seawalls against (...) the incessant return of what has been repressed. (shrink)
Human beings choose rationally according to their own belief systems. Without taking into consideration these belief systems, which do not only contain theoretical assumptions about reality but also practical convictions, emotions, evaluations and preferences, it is not possible to understand how and why they choose and decide as they choose and decide under uncertainty. Belief systems are of great utility for beings whose form of rationality is a limited and bounded one. Due to the qualitative structure of belief systems, the (...) mathematical models develo-ped in the fields of game theory and rational choice theory are not always the adequate instrument to conceptualize them. (shrink)
La teoría generativa y la teoría sistémico-funcional pueden concebirse como teorías científicas: Han confirmado hipótesis, proveen explicaciones y, a partir de estas últimas, efectúan predicciones. Sin embargo, ambas teorías manejan supuestos incompatibles sobre el mismo objeto: el lenguaje. Después de analizar el problema de las confirmaciones y las explicaciones en lingüística, se intentará demostrar que esa incompatibilidad puede resolverse mediante un �principio de complementariedad�: El lenguaje es, al mismo tiempo, una �facultad de la mente� y un �producto de la cultura�, (...) aunque los dos aspectos (el �mental� y el �cultural�) no puedan captarse en el ámbito de una sola teoría. (shrink)
Este artículo analiza la concepción de la intencionalidad colectiva de John Searle. Primero, enmarca dicho concepto en el conjunto de la ontología social del autor, y expone algunos puntos clave de su teoría de la intencionalidad. Segundo, presenta el modo en que Searle concibe la intencionalidad colectiva y el modo en que compatibiliza dicha idea con el individualismo metodológico y con el internalismo mental. Por último, explica las principales insuficiencias de la propuesta de Searle y la incoherencia existente entre los (...) propósitos generales del autor y su tratamiento de la intencionalidad colectiva. (shrink)