Search results for "Determinacy"
showing 8 items of 28 documents
Towards Axiomatic Basis of Inductive Inference
2001
The language for the formulation of the interesting statements is, of course, most important. We use first order predicate logic. Our main achievement in this paper is an axiom system which we believe to be more powerful than any other natural general purpose discovery axiom system. We prove soundness of this axiom system in this paper. Additionally we prove that if we remove some of the requirements used in our axiom system, the system becomes not sound. We characterize the complexity of the quantifier prefix which guaranties provability of a true formula via our system. We prove also that if a true formula contains only monadic predicates, our axiom system is capable to prove this formula…
Gauss words and the topology of finitely determined map germs from R^n to R^n
2013
El objetivo de este trabajo es la clasificación topológica de gérmenes de aplicación finitamente determinados en el caso real equidimensional, es decir, de R^n en R^n, mediante la construcción de un invariante topológico completo asociado al link de dichos gérmenes. El link se define como la intersección de la imagen de un representante de nuestro germen f con una esfera S^n centrada en el origen y suficientemente pequeña. Para el caso n=2, una vez construido dicho invariante (las palabras de Gauss adaptadas a este caso particular), obtenemos la clasificación topológica de dichos gérmenes prácticamente en su totalidad en el caso de corrango 1 y parcialmente en el caso de corrango 2. Por últ…
Double point curves for corank 2 map germs from C2 to C3
AbstractWe characterize finite determinacy of map germs f:(C2,0)→(C3,0) in terms of the Milnor number μ(D(f)) of the double point curve D(f) in (C2,0) and we provide an explicit description of the double point scheme in terms of elementary symmetric functions. Also we prove that the Whitney equisingularity of 1-parameter families of map germs ft:(C2,0)→(C3,0) is equivalent to the constancy of both μ(D(ft)) and μ(ft(C2)∩H) with respect to t, where H⊂C3 is a generic plane.
Helping lecturers address and formulate teaching challenges: an exploratory study
2018
International audience; In this paper we present an exploratory study on the kind of questions or difficulties lecturers point out at the beginning of an educational course – to be addressed in it. These questions happen to be very general and are poorly connected to the knowledge to be taught. We suggest a twofold interpretation of this phenomenon. On the one hand, and in the line of the didactic transposition theory, teachers do not allow themselves to raise questions about the knowledge that is supposed to be their main field of expertise. On the other hand, the prevailing institutional pedagogy does not provide teachers with a fruitful enough conceptual frame to formulate this kind of q…
Rights, Balancing and Certainty
2022
L’indeterminatezza è una delle caratteristiche salienti del diritto negli stati costituzionali contemporanei. Tale caratteristica mette in crisi le concezioni “oggettualistiche” del diritto che riducono il diritto a un insieme di norme o a un insieme di fatti e corrobora quelle concezioni che considerano il diritto una pratica sociale interpretativa. La costituzionalizzazione degli ordinamenti giuridici accresce la flessibilità del diritto a detrimento della certezza e impone a tutti – legislatori, giudici e individui soggetti al diritto – di assumersi le proprie responsabilità e i rischi che ne conseguono. Il modo in cui il legislatore, a diversi livelli, fronteggia l’attuale pandemia da C…
En defensa de una concepción alternativa de la interpretación jurídica
2011
RESUMEN El presente trabajo tiene como objetivo analizar críticamente las concepciones de la interpretación jurídica – cognitiva, escéptica, e intermedia – que vienen copando la discusión en torno a esta cuestión en el ámbito de la Teoría del Derecho y presentar los rasgos básicos de una comprensión de la tarea interpretativa, en cierto sentido alternativa a las anteriores teorías estándar, que ofrece una mejor explicación de sus aspectos centrales ABSTRACT This work looks critically into three conceptions of legal interpretation - cognitive, skeptical, and intermediate- that come monopolizing the discussion on this issue in the field of Law Theory. This paper presents the basic features o…
L’eterno ritorno del problema del metodo
2022
Fabio Ciaramelli’s book L’ordine simbolico della legge e il problema del metodo proposes a convincing methodological perspective for legal knowledge in contemporary constitutional democracies. The central claim is that a middle path between strong objectivism and absolute discretion exists. Ciaramelli thinks that the key concept for legal methodology is that of “symbolic order”. In this paper I deal with this notion and try to emphasize some features of it from a perspective slightly different from Ciaramelli’s one.
No Safe Haven for Truth Pluralists
2021
Truth pluralism offers the latest extension in the tradition of substantive theorizing about truth. While various forms of this thesis are available, most frameworks commit to domain reliance. According to domain reliance, various ways of being true, such as coherence and correspondence, are tied to discourse domains rather than individual sentences. From this follows that the truth of different types of sentences is accounted for by their domain membership. For example, sentences addressing ethical matters are true if they cohere and those addressing extensional states of affairs if they correspond. By tying distinct truth-grounding properties to domains rather than individual sentences, t…