La solution des antinomies s’accomplit en 3 étapes. 1° La théorie des types de Russell avec l’axiome de réductibilité. 2° Ramsey divise les antinomies en deux groupes. Le premier groupe reçoit sa solution de la simple théorie des types ; seul, le groupe élargi exige l’axiome de réductibilité. 3° Hilbert fonde la théorie métamathématique de la preuve, que les logiciens polonais élargissent en une métalogique. Gödel découvre l’arithmétisation et il prouve l’existence de propositions insolubles. Tarski montre que le concept de (...) vérité ne peut être défini sans contradiction que dans un métalangage. Carnap généralise ce résultat, ce qui fait que les antinomies syntactiques sont sans dommage pour la science. (shrink)

SummaryRussell's vicious‐circle principle is an endeavour to express a general principle of mathematics which, as the author feels, is fundamental for mathematics. This principle, in a sense warranty of formal consistency, interdicts in some form or other the selfapplication of mathematical entities. It is shown that the VCP is a vicious‐circle fallacy; that, although it can't be given an expression which is simultaneously formal and generally valid, it is generally presupposed by mathematics as far as a consistent formalism is concerned; (...) that this paradoxical situation refers to an essentially informal and non‐mathematical domain which forms a necessary condition for mathematics, but can't exhaustively be expressed in any mathematical formalism. Finally the distinction between semantical and syntactical import and the character of negation are restated in view of these results.RésuméLe principe du cercle vicieux de Russell a, selon l'auteur, une portée générale et fondamentale en mathématiques: il interdit, sous quelque forme que ce soit, lapos;application dapos;entités mathématiques à elles‐mêmes. Ce principe est équivalent au paradoxe de Russell; on ne peut pas le formaliser sous peine de compromettre sa validite universelle, et pourtant il constitue une présupposition de tout formalisme qui veut éviter la contradiction. Cette situation paradoxale nous renvoie à un domaine essentiellement in‐formel et non‐mathématique, qui embrasse le formalisme mathématique, en constitue une condition nécessaire, mais ne peut être exprimé dans aucun formalisme dapos;une manière exhaustive. Finalement le problème logique de la négation et celui de la distinction entre les rapports sémantiques et syntactiques sont repris à la lumière de ces résultats.ZusammenfassungRussells Zirkelprinzip ist der Versuch, ein allgemeingültiges Prinzip der Mathematik auszudrücken, das, wie der Verfasser meint, von grundsätzlicher Bedeutung ist. Dieses Prinzip, das in einem gewissen Sinne die formale Widerspruchsfreiheit verbürgt, verbietet die Selbstbezüglichkeit mathematischer Entitäten. Der Artikel zeigt, dass es mit Russells Paradox äquivalent ist, und dass es eine allgemeine Voraussetzung der Mathematik als eines konsistenten Formalismus darstellt, obwohl man ihm selbst keinen zugleich allgemeingültigen und formellen Ausdruck geben kann; es wird des weiteren gezeigt, dass diese paradoxale Situation auf ein wesentlich informelles und nicht‐mathematisches Gebiet verweist, das eine notwendige Bedingung für die Mathematik darstellt, jedoch selber nicht erschöpfend im Formalismus dargestellt werden kann. Schliesslich werden a) die Unterscheidung zwischen semantischen und syntakti‐schen Beziehungen und b) die Negation im Lichte dieser Ergebnisse neu überdacht. (shrink)

ZusammenfassungIn einem typenfreien formalen System, das widerspruchsfrei ist und alle Begriffe der klassischen Mathematik darzustellen vermag, können nicht alle Gesetze der klassischen Aussagenlogik gelten. Es entsteht daher das Problem, die aussagenlogischen Eigenschaften formaler Systeme allgemein zu untersuchen. Unter gewissen Voraussetzungen in aussagenlogischer Hinsicht wird die « aussagenlogische Vollständigkeit » und die « aussagenlogische Widerspruchsfreiheit » eines formalen Systems durch das Tertium non datur beziehungsweise durch die Schlussregel des Ex falso quodlibet charakterisiert. Es werden Entscheidungsverfahren für diejenigen syntaktischen Schlussregeln entwickelt, die (...) unter den vorliegenden aussagenlogischen Voraus‐setzungen in jedem formalen System beziehungsweise in jedem aussagen‐logisch vollständigen formalen System beziehungsweise in jedem aussagen‐logisch widerspruchsfreien formalen System gelten.RésuméDans un système formel sans types sans contradictions et qui pent représenter toutes les notions des mathkmatiques classiques, toutes les lois de la logiqrie propositionelle classique ne peuvent pas êvalables. C'est de là que s'ensuit le problème de discuter généralement les propriétés des systèmes formels en ce qu'elles concernent la logique des propositions. Sous certaines suppositions à I'Cgard des expressions propositionelles le « complet propositionel » et la « non‐contradiction propositionelle » se caractérisent par le tertium non datur ou plutôt par la rkgle d'inférence du ex falso quodlibet. On développe des méthodes de décision pour ces règles d'inférence syntactiques qui sont valables dans chaque système formel sous les suppositions données et pour ces régles d'inférence qui sont valables dans chaque système complet ou consistarit au point de vue de la logiqire des propositions.In a formal system without types which contains no contradictions and is able to represent all notions of classical mathematics, all the laws of classical propositional calculus cannot be valid. From this fact ensues the problem generally to explore the properties of formal systems from the point of view of the propositional calculus. Under certain assumptions conrerninq the propositional expressions the « propositional completeness » and the « propositional consistency » of a formal system is characterized through the tertium Ron datur, respectively through the inference rule of the ex falso quodlibet. There are decision procedures for the syntactical inference rules which in every formal system are valid under the given assumptions and for the syntactical inference rules of every formal system which is complete or consistent with respect to the propositional calculus. (shrink)

L'importance de l'analyse psychologique dans ce que l'on pourrait appeler, à la suite de George Briscoe Kerferd, « le mouvement sophistique », n'est pas en soi une découverte. De nombreuses études se sont en effet attachées à en souligner la portée, notamment dans ses rapports avec l'art rhétorique et son application pratique dans le cadre de la πόλις athénienne du Ve siècle où la parole — sous forme d'ἀγών, de débat contradictoire à l'assemblée ou au tribunal — prévalait sur tous (...) les autres instruments de pouvoir, violence et contrainte physique notamment. Dans un monde où « l’art politique, pour l'essentiel, maniement du langage », selon les mots de Jean-Pierre Vernant, analyser les mécanismes du logos, en connaître les règles, permettait de se rendre maître en persuasion, de posséder un instrument privilégié de victoire. Néanmoins, en marge de cet intérêt manifeste pour l'analyse du pouvoir du λόγος dans le corpus sophistique, on ne trouve, de manière assez paradoxale, qu'un nombre très limité de travaux s'attachant à questionner le sens, le statut et, in fine, la légitimité d'une « psychologie » au sens plein du terme. Et pourtant, la question se pose : peut-on parler d'une psychologie sophistique ou faut-il considérer que pour ces penseurs la ψυχή se donnait comme un état de fait dont il suffisait de connaître empiriquement le mécanisme? Y a-t-il quelque chose en-deçà de la psychagogie chez les sophistes? Dans cet article, nous tenterons de montrer qu’il est possible de voir en Alcidamas, disciple de Gorgias et auteur du Sur ceux qui composent des discours par écrit ou Sur les Sophistes, un éloge paradoxal, puisqu’écrit, de l’improvisation, un penseur de la ψυχή et non plus seulement de la potentialité psychagogique du λόγος. En effet, le développement d'une réflexion riche et complexe sur l’organisation logique et syntactique du discours d’une part, et sur l'âme et ses opérateurs d’autre part – réflexion qui conduit Alcidamas à réévaluer les modalités de relation entre l'orateur et son auditoire — permet de mettre en évidence une redéfinition (bien qu'en filigrane) de l'art rhétorique qui, ne pouvant plus dès lors reposer sur une revendication du pouvoir de la persuasion a maxima, devra accorder à la notion de vraisemblance une place centrale. (shrink)

La signification est un phénomène social qui ne peut être compris de manière satisfaisante que par rapport à deux entités duales : une communauté et un langage. Elle se manifeste dans la sphère publique en tant que réponse discriminative à un stimulus sémiotique, c'est-à-dire en tant que réaction typique à un stimulus vicariant (qui rend possibles les expériences indirectes). Les modèles ou les schémas d’action sémiotique émergent de la conformité générale des membres d’une communauté à certaines conventions de langage. Si (...) les réactions à un stimulus semblent contingentes ou complètement imprédictibles, on peut en déduire qu’aucune signification n’a été (re)produite. Les significations ne sont pas de propriétés des signes et ne sont pas déterminées causalement par ceux-ci. Par conséquent, elles ne peuvent pas être transférées d’une personne à l’autre en même temps que la transmission des stimuli sémiotiques. Lorsque les membres d’une communauté font l’effort de se conformer – en tant qu’agents rationnels normaux – aux conventions linguistiques en vigueur, ils (re)créent le significations à un niveau syntactique, sémantique et pragmatique, aussi bien au niveau du langage qu’au niveau du métalangage. De plus, ayant en vue les circonstances de la communication, ils préfèrent un certain degré de socialisation des significations véhiculées ; ce degré est situé entre le niveau strictement personnel des idiosyncrasies et le niveau conformiste des significations standardisées. Les communicateurs performants essaient d’éviter les deux extrêmes à la fois, étant suffisamment coopérants pour renforcer les conventions de langage existantes, qui rendent possibles les conventions de langage existantes, tout en rendant possible la compréhension ; en même temps, ils sont suffisamment hétérodoxes pour se rapporter à des significations qui stimulent leur ouverture, leur curiosité et leur flexibilité. (shrink)

1. Les procédés de construction du calcul logique classique. Les expressions. Les propositions. Les propositions syntactiques. Les propriétés ou rapports de structure. On recherche ici un système d’axiomes d’où puissent se déduire les propriétés de structure, sans aucun appel à l’intuition. — 2. Les quatre axiomes de 1’« arithmétique généralisée ». — 3. Extension de ce système d’axiomes au système d’axiomes de la syntaxe du calcul logique. Possibilité de déduire des propositions syntactiques sans revenir à l’intuition. — 4. L’avantage de (...) la méthode axiomatique. (shrink)

ZusammenfassungDa die zuletzt von Shimony, Lehman und Kemeny ausgebaute Begründung der Wahrscheinlichkeitstheorie durch Zurückführung auf den Begriff der Wette im wesentlichen nur die Axiome von Kolmogoroff liefert, welche für die Anwendungen nicht ausreichen, muss man nach einem neuen Prinzip suchen, um weitere Axiome zu gewinnen. Als solches bietet sich an ein Einfachheitsprinzip, welches besagt, dass eine einfachere Hypothese die wahrscheinlichere ist. Es wird kritisch berichtet über verschiedene Versuche, die in Münster insbesondere von Kiesow und W. Oberschelp unternommen worden sind, um (...) dieses Einfachheitsprinzip zu präzisieren durch eine exakte Definition der Einfachheit, welche im wesentlichen als sprachliche Einfachheit aufgefasst wird.RésuméRécemment Shimony, Lehman et Kemeny ont développé une fondation de la théorié de la probabilite au moyen d'une réduction au concept de la gageure, qui permet de comprendre essentiellement les axiomes donnés par Kolmogoroff, mais pas d'autres axiomes dont on se sert souvent pour légitimer les applications de la théorie de la probabilité. Il est done nécessaire de chercher un nouveau principe pour motiver ces autres axiomes. On peut réussir en utilisant un principe de simplicité disant que la probabilité d'une hypothése diminue avec sa complication. Un récit et une critique sont donnés concernant plusieurs recherches faites à MuUnster, spécialement par M. Kiesow et M. W. Oberschelp, pour préciser la notion de la simplicité en la réduisant à certaines propriétés syntactiques des propositions.Shimony, Lehman and Kemeny recently developed a foundation of the theory of confirmation by reduction to the concept of rational betting. This procedure yields essentially only the axioms first stated by Kolmogoroff. It is well known that these are not sufficient for application. Thus it is necessary to search for a new principle if one wants to motivate new axioms. This can be done by a principle of simplicity, which expresses that the probability of a hypothesis increases with its degree of simplicity. A critical survey is given about several attempts which have been tried in Münster especially by Kiesow and W. Oberschelp with the aim to make the notion of simplicity precise. The simplicity is reduced to syntactical properties of propositions. (shrink)

Se analiza, en este estudio, la sintáctica, la semántica y la pragmática del conflicto en una muestra de 359 profesores de enseñanza no universitaria en España. Se establece la vinculación entre las dimensiones de la sintáctica del conflicto y los modos o estrategias de afrontamiento del conflicto propuestos por Kreidler, 1984. Los resultados apuntan hacia una visión negativista de la realidad del conflicto como fruto de la cultura, aunque con ciertos indicios de positividad en cuanto a la pragmática del conflicto.

Multi-word formation processes in Portuguese comprise root-compounding (e.g., toxicodependente ‘drug addict’, agridoce ‘sour sweet’), word-compounding (e.g., barco-casa ‘houseboat’, guarda-roupa ‘wardrobe’, cantora-atriz ‘singer/actress’), and blending (e.g., cartomente ‘lying fortune teller’ < cartomante ‘fortune teller’ + mente ‘he/she lies’, tristemunho ‘sad testimony’ < triste ‘sad’ + testemunho ‘testimony’, cantautor ‘singer and composer’ < cantor singer + autor ‘composer’). Compound structures have been quite thoroughly described by several authors (e.g., Villalva & Gonçalves 2015), whereas blending has garnered some controversial and even contradictory analyses. (...) Some authors claim that blends and compounds have similar structures, while others consider that they have completely different structures (e.g., Gries 2004b, Minussi & Nóbrega 2014). This paper focuses on the description and analysis of an annotated corpus of Portuguese blends, and on the presentation of experimental evidence that aims to assess the knowledge of these words by native young adult European and Brazilian Portuguese speakers.The first section is devoted to the presentation of Portuguese blends, namely regarding the status of their constituents and their linear relationships, grammatical structure, and the phonetic/prosodic relationship that holds between the blends and their base words. The second section focuses on the description of the Portuguese blend corpus. Although new coinages make this a never-ending work in progress, it is presently formed by (circa) 300 blends, collected in a variety of sources, from literary texts to political and social commenting, advertising, or even individual ad hoc instances. The information gathered in the corpus comprehends all the features considered in the analysis of the blends, presented in section 1, and it also provides data on attestation and frequency. The third section presents an analysis of a sub-corpus (184 forms), related to their linear structure, grammatical and prosodic relationships, and a cross-analysis that suggests that there is a strong link between headedness and cliphood. Finally, the fourth section offers a brief presentation of experimental work that suggests that clips facilitate the processing of blends, since the clipped word is more frequently used in replies to a familiarity test, and the same happens with reaction time values obtained in a lexical decision test. (shrink)