The main result of the present paper — Theorem 3 — establishes the equivalence of the interpolation and amalgamation properties for a large family of logics and their associated classes of matrices.

We show that base matrices for P(ω)∕fin of regular height larger than h necessarily have maximal branches that are not cofinal. The same holds for base matrices of height h if tSpoiler

Logic and Philosophy of Logic

Direct download (2 more)  

 

Export citation  

 

Bookmark   1 citation  

The plurivalent logics considered in Graham Priest's recent paper of that name can be thought of as logics determined by matrices whose underlying algebras are power algebras, where the power algebra of a given algebra has as elements textit{subsets} of the universe of the given algebra, and the power matrix of a given matrix has has the power algebra of the latter's algebra as its underlying algebra, with its designated elements being selected in a natural way on the basis of (...) those of the given matrix. The present discussion stresses the continuity of Priest's work on the question of which matrices determine consequence relations which remain unaffected on passage to the consequence relation determined by the power matrix of the given matrix with the corresponding question in equational logic as to which identities holding in an algebra continue to hold in its power algebra. Both questions are sensitive to a decision as to whether or not to include the empty set as an element of the power algebra, and our main focus will be on the contrast, when it is included, between the power matrix semantics and the four-valued Dunn--Belnap semantics for first-degree entailment a la Anderson and Belnap) in terms of sets of classical values, in which the empty set figures in a somewhat different way, as Priest had remarked his 1984 study, `Hyper-contradictions', in which what we are calling the power matrix construction first appeared. (shrink)

We examine the notion of primitive satisfaction in logical matrices. Theorem II. 1, being the matrix counterpart of Baker's well-known result for congruently distributive varieties of algebras (cf [1], Thm. 1.5), links the notions of primitive and standard satisfaction. As a corollary we give the matrix version of Jónsson's Lemma, proved earlier in [4]. Then we investigate propositional logics with disjunction. The main result, Theorem III. 2, states a necessary and sufficient condition for such logics to be finitely based.

In this book, the authors introduce the linguistic set associated with a linguistic variable and the structure of matrices, which they define as linguistic matrices. The authors build linguistic matrices only for those linguistic variables which yield a linguistic continuum or an ordered linguistic set. This book is organised into three chapters. The first chapter is introductory, in which we introduce all the basic concepts of linguistic variables and the associated linguistic set to make this book self-contained. Chapter two introduces (...) linguistic matrices and develops basic properties associated with them, like types of matrices, transpose of matrices and diagonal matrices. Most of the properties enjoyed by real or complex matrices are satisfied by these linguistic matrices. Chapter three deals with operations on the linguistic matrices. (shrink)

In the present paper, we study some properties of matrices for non-structural consequence operators. These matrices were introduced in a former work (see [3]). In sections 1. and 2., general definitions and theorems are recalled; in section 3. a correspondence is studied, among our matrices and Wójcicki's ones for structural operators. In section 4. a theorem is given about operators, induced by submatrices or epimorphic images, or quotient matrices of a given one.Such matrices are used to characterize lattices of non-structural (...) consequence operators, by constructing lattices, antiisomorphic to them (see section 5.). In the last section, a sufficient condition is given for a non-structural operator to be finite. (shrink)

It is shown that the class of reduced matrices of a logic is a 1 st order -class provided the variety associated with has the finite replacement property in the sense of [7]. This applies in particular to all 2-valued logics. For 3-valued logics the class of reduced matrices need not be 1 st order.

La migration familiale forcée est un parcours émaillé de moments d’attente plus ou moins longs. Dans cette attente, il arrive que le corps engage un travail de somatisation permettant au sujet migrant de passer de la survie à la reprise en main progressive de sa subjectivité. À partir du suivi d’une jeune femme ayant été contrainte de migrer de l’Afrique du Nord à la France dans un contexte de violence politique et présentant des manifestations somatiques, la réflexion porte sur (...) la manière dont le corps vient signifier cette exigence de travail et sur la manière dont les premiers affects bruts permettent d’entendre la mise en mouvement des processus de pré-élaboration de la souffrance psychique et du trauma. (shrink)

The class Matr(C) of all matrices for a prepositional logic (, C) is investigated. The paper contains general results with no special reference to particular logics. The main theorem (Th. (5.1)) which gives the algebraic characterization of the class Matr(C) states the following. Assume C to be the consequence operation on a prepositional language induced by a class K of matrices. Let m be a regular cardinal not less than the cardinality of C. Then Matr (C) is the least class (...) of matrices containing K and closed under m-reduced products, submatrices, matrix homomorphisms, and matrix homomorphic counter-images. (shrink)

Cet article s’appuie sur les résultats d’une étude menée en partenariat entre une équipe pluridisciplinaire de cliniciens en santé mentale de Montréal, spécialisés en intervention auprès de personnes attirées par ou engagées dans l’extrémisme violent, et une équipe de recherche qui documente et étudie les interventions de l’équipe. L’étude documente l’émergence de systèmes de croyances de plus en plus dystopiques, hétérogènes et violents, particulièrement chez les jeunes. La perte de confiance dans les institutions et un malaise autour des représentations et (...) rôles de genre sont des thématiques récurrentes. Une analyse des dynamiques familiales et sociales dans les trajectoires de patients attirés par l’extrémisme violent suggère l’existence de processus traumatiques de quête de sens et d’appartenance qui font écho à des mécanismes de perte, de régression et de deuil. Les auteurs proposent de concevoir ce mécanisme comme un « deuil épistémique » qui pourrait aider à expliquer l’émergence d’idéologies hybrides dans le paysage de l’extrémisme violent. (shrink)

Pour présenter la thérapie familiale psychanalytique, l’auteure en évoque la genèse en France, en explicite les visées, puis s’attache à en décrire le processus. En appui sur le cas clinique d’une famille suivie, sont mis en évidence les points délicats depuis la demande de la famille jusqu’à l’arrêt de la thérapie. La technique est décrite ainsi que les différentes étapes qui tentent d’amener chacun à gagner en individuation. L’auteure insiste sur les prérequis nécessaires de la formation dispensée aux thérapeutes (...) qui s’engagent dans cette pratique. (shrink)

Zusammenfassung Erklärungen zu Unterschieden in den motorischen Leistungen von Kindern verweisen vielfach auf statusspezifische Unterschiede und den daraus resultierenden Benachteiligungen unterer sozialer Statusgruppen. Die folgende Studie verfolgt das Ziel, eine differenziertere Prüfung erklärungsrelevanter familiärer Faktoren vorzunehmen, indem Effekte elterlicher Ressourcen sowie deren bewegungsbezogenen Sozialisationspraktiken hinsichtlich der motorischen Leistung ihrer Kinder simultan berücksichtigt werden. Datengrundlage der empirischen Analyse bilden standardisierte Querschnittserhebungen von Chemnitzer Kindern im Rahmen der Schuleingangsuntersuchung. Deskriptive Befunde bestätigen zunächst statusspezifische Unterschiede in der motorischen Leistung der Kinder. Allerdings zeigen (...) multivariate Regressionsanalysen zwischen den Statusgruppen, dass der ‚reine‘ Effekt kaum noch zur Differenzierung der motorischen Leistung der Kinder beiträgt, wenn weitere einstellungs- und verhaltensbezogene Variablen einbezogen werden. Betrachtet man die Einflüsse innerhalb der Statusgruppen, so zeigt sich interessanterweise, dass bei den Familien mit niedrigerem Sozialstatus eine höhere Variabilität hinsichtlich bewegungsbezogener Einstellungen und Praktiken besteht. (shrink)

Viale introduced covering matrices in his proof that SCH follows from PFA. In the course of the proof and subsequent work with Sharon, he isolated two reflection principles, CP and S, which, under certain circumstances, are satisfied by all covering matrices of a certain shape. Using square sequences, we construct covering matrices for which CP and S fail. This leads naturally to an investigation of square principles intermediate between □κ and □ for a regular cardinal κ. We provide a detailed (...) picture of the implications between these square principles. (shrink)

Au travers du cas clinique d’un adolescent placé dans les services de l’Aide sociale à l’enfance souffrant d’une problématique honteuse et d’un délabrement du lien maternel, l’auteur de cet article étudie en quoi l’écoute familiale modifie l’écoute individuelle à l’aide du concept de scénario généalogique porte-la-honte développé par Pierre Benghozi. À la suite de cet auteur, il propose un nécessaire décalage de l’écoute intrapsychique dans les thérapies familiales vers le transpsychique car une honte intrapsychique exprimée peut aussi être le (...) rappel d’une honte transpsychique indicible, non élaborée. (shrink)

Sections 1, 2 and 3 contain the main result, the strong finite axiomatizability of all 2-valued matrices. Since non-strongly finitely axiomatizable 3-element matrices are easily constructed the result reveals once again the gap between 2-valued and multiple-valued logic. Sec. 2 deals with the basic cases which include the important F i from Post's classification. The procedure in Sec. 3 reduces the general problem to these cases. Sec. 4 is a study of basic algebraic properties of 2-element algebras. In particular, we (...) show that equational completeness is equivalent to the Stone-property and that each 2-element algebra generates a minimal quasivariety. The results of Sec. 4 will be applied in Sec. 5 to maximality questions and to a matrix free characterization of 2-valued consequences in the lattice of structural consequences in any language. Sec. 6 takes a look at related axiomatization. problems for finite algebras and matrices. We study the notion of a propositional consequence with equality and, among other things, present explicit axiomatizations of 2-valued consequences with equality. (shrink)

En famille, on joue avec son corps, avec des objets, avec des mots, individuellement ou à plusieurs. Cette activité naturelle et universelle participe à la fonction mythopoïétique de la famille et aux processus de transformation que nécessite la transmission de la vie psychique. Lorsque ces fonctions font défaut, la famille est en souffrance. Cas pratiques à l’appui, l’article montre que la thérapie familiale psychanalytique offre alors un néo-groupe pour (ré)apprendre à jouer, où objets bruts, objets de relation, peuvent être (...) des embrayeurs ou des médiateurs des différents moments du processus thérapeutique. (shrink)

À partir de certains écrits sur la médiation familiale, l’auteur propose une réflexion critique, destinée à mettre en évidence les limites d’une théorisation de cette pratique fondée sur la seule référence à la mythologie actuelle de l’individu souverain et autonome. En un premier temps, des métaphores récurrentes sous la plume des médiateurs familiaux sont analysées et rapportées à cette mythologie contemporaine. En un deuxième temps, l’auteur propose un cadre théorique susceptible de permettre de penser différemment la médiation familiale. (...) Une conception anthropologico-psychanalytique des liens de filiation et de parentalité est envisagée, comme pouvant fonder une pratique de la médiation familiale qui prendrait en compte la spécificité des liens familiaux. (shrink)

Ordinary dialogical logic offers processing memory as a history of dialogues. Find a reference in this history is an ambiguous process, which can transform in complex or impossible issues the questions that compose a dialogue. Thus, two researches of justifications overlap in a dual problem of justification. In addition, this consideration of the memory uses a lot of technical resources.We propose a dialogical formalism that solves these problems: double justification, composition, memory saving. To do this, we will develop "special" rules (...) that will reconfigure the formalism and consider the metaphysical and philosophical concepts in this logical system and its interpretations.This article is divided into three parts:A presentation of the dialogical framework oriented towards the presentation of the problem of double justification.A re-interpretation of this framework in terms of matrices: the logical formulas modeled on the linguistic and mathematical language reading are replaced by a concept borrowed from the game semantical approach.A brief summary of the new approaches presented by this method: reaffirmation of the clear separation between different levels of analysis and economy on the amount of memory required. (shrink)

Confidence ratings have often been integrated into reasoning and intelligence tasks as a means for assessing meta-reasoning processes. Although it is often assumed that eliciting these judgements throughout reasoning tasks has no effect on the underlying performance outcomes, this is yet to be established empirically. The current study examines whether eliciting CR from participants during a fluid-reasoning task influences their performance and how this effect is moderated by their initial self-confidence in their own reasoning abilities. In a first experiment, we (...) found that participants performing CR during Raven's Progressive Matrices significantly outperformed a control group who did not provide ratings. Additionally, a second experiment demonstrated that CR only facilitated performance in participants who have a high level of initial self-confidence in their reasoning ability, whereas they were detrimental to participants low in self-confidence. (shrink)

ABSTRACTThe articles Maximality and Refutability Skura [. Maximality and refutability. Notre Dame Journal of Formal Logic, 45, 65–72] and Three-valued Maximal Paraconsistent Logics Skura and Tuziak [. Three-valued maximal paraconsistent logics. In Logika. Wydawnictwo Uniwersytetu Wrocławskiego] introduced a simple method of proving maximality of a given paraconsistent matrix. This method stemmed from the so-called refutation calculus, where the focus in on rejecting rather than accepting formulas. The article A Generalisation of a Refutation-related Method in Paraconsistent Logics Trybus [. A generalisation (...) of a refutation-related method in paraconsistent logics. Logic and Logical Philosophy, 27. doi:10.12775/llp.2018.002] was a first step towards generalising the method. In it, a number of 3-valued paraconsistent matrices were shown maximal. In this article we extend these results to cover a number of n-valued paraconsistent matrices using the same method. (shrink)

In this paper we extend some techniques from the theory of conse- quences operations and logical matrices into the wider area of entailment relations.

On peut considérer que ce qui se produit dans le travail familial thérapeutique avec une famille dans une institution donnée est révélateur du fonctionnement de la famille tel que cette dernière le projette sur l’institution. Mais ce qui se passe dans cette thérapie peut aussi refléter le fonctionnement de l’institution à ce moment précis : ce qui se vit dans l’institution a souvent des répercussions sur les prises en charge thérapeutiques.

As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necessary property of any relevant logic. In this paper, we shall consider two versions of the vsp, what we label the "weak vsp" (wvsp) and the "strong vsp" (svsp). In addition, the "no loose pieces property," a property related to the wvsp and the svsp, will be defined. Each one of these properties shall generally be characterized by means of a class of logical matrices. In (...) this way, any logic verified by an actual matrix in one of these classes has the property the class generally represents. Particular matrices (and so, logics) in each class are provided. (shrink)

The paper is a continuation of the investigations of [3]. We assume that the reader is familiar with the notion of an !-saturated model and the notation applied in the theory of models. We refer to [2] for all model- theoretic terms which appear in this note.

La médiation familiale existe en France depuis un peu moins de vingt ans et elle a obtenu, en 2002, une reconnaissance officielle sous la forme de la création d’un diplôme décerné par l’État. Cet article analyse le succès de la médiation et la place qu’elle occupe aujourd’hui dans la régulation des affaires privées. Pour ce faire, il considère différents niveaux de changement: l’évolution de la famille, celle de l’intervention sociale, ainsi que les stratégies développées par les médiateurs. En ce (...) qui concerne la famille et les ruptures d’union, la médiation familiale s’inscrit dans le droit fil des conceptions qui dominent actuellement. Elle se fait le promoteur de séparations négociées, permettant le maintien des relations entre l’enfant et le parent avec lequel il ne vit pas. S’agissant des transformations de l’action sociale, la médiation apparaît également comme l’expression d’un mouvement plus large : la diffusion d’une forme « douce » d’encadrement des comportements privés. En médiation, les parties sont conduites à écouter l’autre et à faire des concessions. Le dispositif lui-même est porteur d’une normativité forte. Le succès de la médiation ne s’explique cependant que si l’on prend en considération le troisième niveau, l’action des médiateurs : renforcement de la formation, obtention de soutiens sans faille dans la société civile et l’État, et détermination dans la volonté de créer une profession. L’auteur s’interroge sur les raisons qui sont à la base de cette détermination et évoque les questions qui se posent aujourd’hui aux médiateurs. (shrink)

À partir d’un cas de médiation familiale judiciaire entre deux parents séparés, et en conflit au sujet de l’exercice de l’autorité parentale conjointe, il s’agit de montrer comment un dispositif de médiation peut remettre en mouvement le processus de restauration du lien parental. Celui-ci est considéré dans les trois dimensions de l’institution (le droit), de l’interrelation et du groupe familial comme enveloppe psychique. Le tiers médiateur est représenté par deux éléments : la fonction symbolique du cadre et la capacité (...) du médiateur à pouvoir penser le processus. (shrink)

In our paper “A general characterization of the variable-sharing property by means of logical matrices”, a general class of so-called “Relevant logical matrices”, RMLs, is defined. The aim of this paper is to define a class of simpler Relevant logical matrices RMLs′serving the same purpose that RMLs, to wit: any logic verified by an RML′has the variable-sharing property and related properties predicable of the logic of entailment E and of the logic of relevance R.

Résumé L’article vise à souligner la signification politique de l’avènement de la Critique kantienne. Pour ce faire, une double thèse est défendue : il y a une matrice juridique sous-jacente au mouvement conceptuel de la philosophie critique, dont la puissance émancipatrice et révolutionnaire se manifeste à la lumière du contexte historique de sa formulation. L’argument se déploie de la façon suivante : une exploration des rapports entre la formule « révolution de la pensée » que l’on trouve dans la (...) Critique de la raison pure et le contexte historique de la publication l’œuvre ; ensuite un examen de la métaphore juridique et la façon dont elle incarne l’idée d’une philosophie critique ; et pour conclure la suggestion d’une hypothèse interprétative d’après laquelle le « contrat originaire » est un opérateur conceptuel accomplissant un mouvement analogue à celui qui est exigé de la philosophie critique : le passage du niveau individuel au niveau intersubjectif.The aim of the article is to highlight the political significance of the advent of Kant’s Critique. In order to establish it, a double thesis is defended: there is a juridical matrix underlying the conceptual movement of the critical philosophy, whose emancipatory and revolutionary strength is revealed in the light of the context of its formulation. The argument will be deployed in the following way: an exploration of the connections between the formula “a revolution in thought” articulated in the Critique and the historical context of its publication; followed by an exam of the juridical metaphor of the Tribunal and the way in which it embodies the idea of a critical philosophy and finally, as a conclusion, the suggestion of an interpretative hypothesis according to which the notion of contract is a conceptual operator accomplishing an analogous movement to the one required from the critical philosophy: the passage from the subjective level to the intersubjective one. (shrink)

The concept of supermatrix for social scientists was first introduced by Paul Horst. The main purpose of his book was to introduce this concept to social scientists, students, teachers and research workers who lacked mathematical training. This book introduces the concept of fuzzy super matrices and operations on them. The author has provided only those operations on fuzzy supermatrices that are essential for developing super fuzzy multi expert models. This book will be highly useful to social scientists who wish to (...) work with multi expert models. (shrink)

We first relate the random matrix model to a Fokker-Planck Hamiltonian system, such that the correlation functions of the model are expressed as the vacuum expectation values of equal-time products of density operators. We then analyze the universality of the random matrix model by solving the Focker-Planck Hamiltonian system for large N. We use two equivalent methods to do this, namely the method of relating it to a system of interacting fermions in one space dimension and the method of collective (...) fields for large N matrix quantum mechanics. The final result using both these methods is the same Hamiltonian system of chiral bosons on a circle, which manifestly exhibits the universality of the random matrix model. (shrink)

In this book authors study neutrosophic super matrices. The concept of neutrosophy or indeterminacy happens to be one the powerful tools used in applications like FCMs and NCMs where the expert seeks for a neutral solution. Thus this concept has lots of applications in fuzzy neutrosophic models like NRE, NAM etc. These concepts will also find applications in image processing where the expert seeks for a neutral solution.

Ce volume est la première étape dans la question philosophique de l'existence de Dieu. Qu'est-ce qu'être intelligent sinon la capacité de rechercher et de recevoir la vérité? Il y a plus : la raison peut conduite à la fois, à Dieu. Et même, l'acte de foi est essentiellement un acte d'intelligence. La connaissance de Dieu vivifie la raison et la couronne. L'intelligence a été donnée par Dieu à l'homme et, avec elle, les idées dont l'être est l'âme et Dieu l'intelligence (...) suprême. (shrink)

Dans une perspective psychanalytique familiale, l’article s’attache à montrer comment l’utilisation du dessin spontané de l’enfant en consultation familiale permet de saisir les articulations entre les espaces psychiques – subjectif et intersubjectif –, soutient le processus créatif et favorise l’élaboration du traumatisme psychique. Il précise les fondements théoriques et les règles techniques à respecter dans le maniement des médiateurs spontanés dont ce type de dessin fait partie, aux côtés du récit de rêve et du jeu, en consultation (...) class='Hi'>familiale. Une situation clinique d’une famille dont le père a vécu une trajectoire d’exil traumatique décrit comment cette façon d’aborder les dessins de ses enfants suscite le sien propre, ainsi qu’un récit de rêve et un jeu de mime. L’ensemble de la démarche soutient la narrativité familiale portant sur la trajectoire d’exil et ses traumas. (shrink)

L’auteur situe dans une perspective historique les apports d’E. Pichon Rivière à la psychanalyse. Les liens et leurs aires d’expression, les groupes internes, le porte-voix, la question du dépôt et celle de la transmission seront pour cet auteur les bases permettant de définir la famille. La famille comme groupe se structure à travers des liens inconscients. Les représentations inconscientes prennent forme dans les habitudes et croyances familiales qui correspondent au groupe d’appartenance d’origine.

Two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. Usually, this theory is presented in an informal manner. In this thesis, I take first steps in formalizing it, and use the formalization to present some considerations in favor of two-dimensional semantics. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that (...) captures the relevant ideas of two-dimensional semantics. I use this to show that some criticisms of two-dimensional semantics that claim that the theory is incoherent are not justified. I also axiomatize the logic, and compare it to the most important proposals in the literature that define similar logics. To indicate that two-dimensional semantics is a plausible semantic theory, I give an argument that shows that all theorems of the logic can be philosophically justified independently of two-dimensional semantics. (shrink)

Le présent article porte sur la trame relationnelle tissée autour de l’enfant né par gestation pour autrui ou conçu grâce à un don d’ovules, et plus spécifiquement sur les affiliations familiales qui émergent de ce processus inédit d’enfantement à plusieurs. La démonstration s’appuie sur les récits de 38 femmes canadiennes impliquées dans une entente de procréation assistée avec autrui en tant que mères, femmes porteuses ou donneuses. Deux cas de figure mettant en lumière la construction des liens d’apparentement entre les (...) personnes concernées sont présentés, qu’il s’agisse d’une inscription dans le réseau de parenté de l’enfant ou d’une reconnaissance symbolique mutuelle basée sur l’amitié. La proximité relationnelle entre les adultes est au cœur d’une filiation métissée qui témoigne de leur préoccupation commune envers l’intérêt de l’enfant. (shrink)

In this paper I give conditions under which a matrix characterisation of validity is correct for first order logics where quantifications are restricted by statements from a theory. Unfortunately the usual definition of path closure in a matrix is unsuitable and a less pleasant definition must be used. I derive the matrix theorem from syntactic analysis of a suitable tableau system, but by choosing a tableau system for restricted quantification I generalise Wallen's earlier work on modal logics. The tableau system (...) is only correct if a new condition I call alphabetical monotonicity holds. I sketch how the result can be applied to a wide range of logics such as first order variants of many standard modal logics, including non-serial modal logics. (shrink)

It is well documented that training the rules employed in figural matrices tests enhances test performance. Previous studies only compare experimental conditions in which all or no rules were trained and therefore ignore the particular influence of knowledge about the easy and difficult rules. With the current study, we wanted to provide some first insights into this topic. Respondents were assigned to four groups that received training for no rules, only the easy rules, only the difficult rules, or for all (...) rules. The results show that a training only for the difficult rules was more effective than the other trainings. This applies also to performance in the easy rules that were actually not part of the training. A possible explanation for this finding is a facilitation of the solution process that is primarily driven by knowledge about the difficult rules. In conclusion, our results demonstrate that taking differences between the rules into account may provide a deeper understanding of the effects of trainings for figural matrices tests. (shrink)

I discuss the connection between the Hamiltonian and path integral approaches for fermionic fields. I show how the temporal Wilson projection operators appear naturally in a lattice action. I also carefully treat the insertion of a chemical potential term.

There are exactly two nonfinitely axiomatizable algebraic matrices with one binary connective o such thatx(yz) is a tautology of . This answers a question asked by W. Rautenberg in [2], P. Wojtylak in [8] and W. Dziobiak in [1]. Since every 2-element matrix can be finitely axiomatized ([3]), the matrices presented here are of the smallest possible size and in some sense are the simplest possible.