Dans cet article, nous appuyant sur un corpus de 3 444 075 tweets correspondant à 44 107 210 tokens (mots, signes de ponctuation, émojis, émoticônes, etc.) recueillis en décembre 2016, nous nous intéressons aux procédés de segmentation à l’œuvre dans les tweets. Après avoir évoqué certaines caractéristiques de ces écrits particuliers, nous rappelons les procédés généraux de segmentation à l’écrit : les signes de ponctuation et les connecteurs. Nous nous penchons ensuite sur la segmentation opérée dans les tweets par ces (...) deux procédés généraux. Enfin, nous montrons que les émoticônes et les émojis constituent des procédés spécifiques permettant de diversifier les stratégies de segmentation des utilisateurs de tweets (et d’autres écrits numériques, tels les SMS et les courriels). (shrink)

Des philosophes de la logique comme Prior et Mulligan considèrent le connecteur de vérité ‘Il est vrai que ’ comme étant plus fondamental que le prédicat de vérité ‘ est vrai’. Des philosophes comme Bolzano et Horwich ont adopté l’ordre inverse de priorités et je me suis rallié à eux dans Conceptions of Truth. Je continue à penser que le prédicat « porte la culotte » et vais tenter de désamorcer les arguments contre cette conception, mais je vais aussi (...) rejeter un de mes arguments antérieurs en faveur de celle-ci.Logical Philosophers like Prior and Mulligan regard the truth connective ‘It is true that ’ as more basic than the truth predicate ‘ is true’. Philosophers like Bolzano and Horwich have adopted the opposite priority setting, and in Conceptions of Truth I joined them. I still think that the predicate ‘wears the trousers’, and I shall try to defuse the arguments against this view, but I shall also reject one of my earlier arguments for it. (shrink)

« Cet article vise, par le recours à la catégorie de bruit, à ouvrir des voies capables de raccorder la philosophie et l’éducation. mon hypothèse centrale est que la catégorie de bruit instaure un connecteur critique qui active conjointement l’ontologie d’Alain Badiou et la pédagogie de Paulo Freire 1. Le bruit, postulé ici comme la temporalisation phénoménologique du vide ontologique de Badiou, devient la condition de possibilité à la fois de l’émergence d’un sujet et de sa fidélité à une (...) procédure de vérité. je pose ici un Sujet générique de l’éducation comme l’émanation temporelle du lieu ouvert par la catégorie philosophique de Vérité. je propose, en somme, qu’une telle “éducation dans le bruit” ne soit que l’aspect praxial, temporel et immanément freirien de la notion purement philosophique de Badiou d’une “éducation par les vérités. 2 ». (shrink)

Le problème du temps tourmente et nourrit la philosophie depuis sa naissance. Dans ce cadre, une lecture métaphysique des textes de S. Leśniewski permet de développer un point de vue original sur certaines propriétés fondamentales du temps logique. En particulier, après une analyse minutieuse des œuvres philosophiques de jeunesse, et notamment de l’article « La vérité est-elle éternelle ou éternelle et sempiternelle? », nous montrons que le temps logique est, chez Leśniewski, inévitablement double : les propositions, dont la vérité doit (...) pouvoir être _éternelle_, sont des entités qui se développent dans un espace et dans un temps déterminés. De même, cette double temporalité apparaît dans l’Ontologie, un calcul logique des noms dont l’axiomatique est établie à partir du foncteur ε, connecteur logique à la fois inscrit dans un espace et dans un temps et néanmoins sans ancrage temporel. Ainsi, plusie... (shrink)

SummaryLooking at proof theory as an attempt to ‘code’ the general pattern of the logical steps of a mathematical proof, the question of what kind of rules can make the meaning of a logical connective completely explicit does not seem to have been answered satisfactorily. The lambda calculus seems to have been more coherent simply because the use of ‘λ’ together with its projection 'apply' is specified by what can be called a 'reduction' rule: β‐conversion. We attempt to analyse the (...) role of proof rules, making use of a set of formal rules designed to capture both the notions of proof theory and those of the lambda‐calculus: Martin‐Löf's Intuitionistic Type Theory.RésuméSi on considère la théorie de la démonstration comme une tentative de ‘codifier’ les pas logiques d'une démonstration mathématique, on se rendra compte qu'on n'a pas répondu de façon satisfaisante à la question suivante: quelles sont les règies qui rendent complètement explicite le sens d'un connecteur logique? Le lambda‐calcul a été apparemment plus cohérent, tout simplement parce que l'utilisation du‘λ’ avec sa projection 'apply' est spécifiée par une regie de 'réduction': β‐conversion. Nous essayons d'analyser le rôle des règies de démonstration, en utilisant un système formel de règies conçu pour englober à la fois les notions de la théorie de la démonstration et celles du lambda‐calcul: la Théorie Intuitionniste des Types de Martin‐Löf.ZusammenfassungWenn man Beweistheorie als einen Versuch, ein allgemeines Muster der logischen Schritte in einem mathematischen Beweis zu kodifizieren, betrachtet, so scheint die Frage nach der Art von Regeln , die die Bedeutung von logischen Operatoren vollständig beschreiben, nicht zufriedenstellend beantwortet. Der Lambda‐Kalkül erscheint, kohärenter, einfach deshalb weil der Gebrauch von ‘λ’ zusammen mit dessen Projektion 'apply' durch Regeln bestimmt wird, die man 'Reduktions'‐Regeln nennen kann: β‐Konversion. Wir versuchen, die Rolle von Beweisregeln zu analysieren, indem wir ein Regelsystem verwenden, das sowohl die Begriffe der Beweistheorie als auch diejenigen des Lambda‐Kalküls erfasst, nämlich die Martin‐Löfsche Typentheorie. (shrink)

Ce numéro est dédié à l’étude des corrélations entre les éléments initiaux ou leur absence, et certains « faits linguistiques » qui se produisent dans la phrase d’accueil ainsi que dans la séquence textuelle (phrases qui suivent et qui précèdent). Par élément initial nous désignons un élément situé dans la zone initiale de la phrase, c’est-à-dire avant le sujet, ou avant le verbe en cas d’inversion du sujet : expression adverbiale ou adjectivale, prédication seconde, connecteur, etc. S’il exi...

Dans cet article, j'analyse le problème des significations des constantes logiques. Ces significations sont-elles fixées conventionnellement comme le suggèrent Carnap et Wittgenstein, ou bien doivent-elles s'imposer à tous et ne pas dépendre de décisions préalables ? Après avoir examiné le conventionnalisme de Wittgenstein et Carnap et l'anti-conventionnalisme de Peacocke selon lequel les sens des constantes logiques reposent sur des conceptions implicites, je montre que les deux thèses sont également critiquables. La première ne résiste pas à l'incohérence du connecteur « (...) tonk », inventé par Prior, dont les règles montrent que la convention ne peut pas déterminer à elle seule les significations des constantes logiques, la deuxième ne tient pas assez compte des divergences importantes entre les logiques. En me basant sur différents systèmes logiques, je présente de nouveaux arguments pour défendre une position intermédiaire selon laquelle chaque constante logique se déploie en diverses variantes qui forment un spectre allant de la version la plus forte à la version la plus faible. Dans ce cadre, le concept de décision joue un rôle en logique, mais les décisions sont prises en amont, en fonction de certaines conceptions touchant la vérité, la déduction et les critères de logicité adoptés par les logiciens, et tiennent compte des intuitions fondamentales liéesà chaque constante. (shrink)

Dans cet article, j'analyse le problème des significations des constantes logiques. Ces significations sont-elles fixées conventionnellement comme le suggèrent Carnap et Wittgenstein, ou bien doivent-elles s'imposer à tous et ne pas dépendre de décisions préalables? Après avoir examiné le conventionnalisme de Wittgenstein et Carnap et l'anti-conventionnalisme de Peacocke selon lequel les sens des constantes logiques reposent sur des conceptions implicites, je montre que les deux thèses sont également critiquables. La première ne résiste pas à l'incohérence du connecteur « tonk (...) », inventé par Prior, dont les règles montrent que la convention ne peut pas déterminer à elle seule les significations des constantes logiques, la deuxième ne tient pas assez compte des divergences importantes entre les logiques. En me basant sur différents systèmes logiques, je présente de nouveaux arguments pour défendre une position intermédiaire selon laquelle chaque constante logique se déploie en diverses variantes qui forment un spectre allant de la version la plus forte à la version la plus faible. Dans ce cadre, le concept de décision joue un rôle en logique, mais les décisions sont prises en amont, en fonction de certaines conceptions touchant la vérité, la déduction et les critères de logicité adoptés par les logiciens, et tiennent compte des intuitions fondamentales liéesà chaque constante. (shrink)

Dans le paradigme russellien, les termes dénotants ou termes quantifiés comme «plusieurs hommes», «quelques hommes», «tous les hommes», sont analysés à l'aide de quantificateurs, de variables, de prédicats et de connecteurs logiques à l'intérieur de phrases complètes exprimant des propositions générales. Les descriptions définies comme les descriptions indéfinies y sont aussi traitées comme des termes quantifiés.

La logique IF prétend constituer une alternative à la logique classique du premier ordre : en libéralisant les schémas de dépendance entre quantificateurs, elle mènerait à leur terme les idées sous-jacentes à la logique classique. Mais les jeux de Hintikka ne constituent pas la seule manière possible de fournir une sémantique pour l’indépendance : on pourrait au contraire vouloir le faire dans le cadre d’une sémantique récursive avec des quantificateurs de Henkin. Nous présentons ici quelques arguments techniques et philosophiques en (...) faveur de IF, en montrant pourquoi son concept d’indépendance, élargi aux connecteurs, peut prétendre être pleinement général, et en montrant en quel sens la logique IF traite l’indépendance de manière analytique. Ce dernier point est réalisé à travers une explicitation du contenu épistémique de IF, sous la forme d’une traduction partielle dans la logique modale. (shrink)

La logique IF prétend constituer une alternative à la logique classique du premier ordre : en libéralisant les schémas de dépendance entre quantificateurs, elle mènerait à leur terme les idées sous-jacentes à la logique classique. Mais les jeux de Hintikka ne constituent pas la seule manière possible de fournir une sémantique pour l’indépendance : on pourrait au contraire vouloir le faire dans le cadre d’une sémantique récursive avec des quantificateurs de Henkin. Nous présentons ici quelques arguments techniques et philosophiques en (...) faveur de IF, en montrant pourquoi son concept d’indépendance, élargi aux connecteurs, peut prétendre être pleinement général, et en montrant en quel sens la logique IF traite l’indépendance de manière analytique. Ce dernier point est réalisé à travers une explicitation du contenu épistémique de IF, sous la forme d’une traduction partielle dans la logique modale. (shrink)

L’A. revient, dans le prolongement de son ouvrage L’anthropologie logique de Quine (qui plaçait l’accent sur la traduction, la logique et le principe de charité chez Quine) sur un élément souvent négligé de la thèse d’indétermination de la traduction, à savoir la reconstruction/identification des connecteurs logiques par l’assentiment et le dissentiment. Après avoir examiné diverses objections à l’utilisation par Quine des « fonctions de verdict » dans la traduction, l’A. en vient à la véritable motivation de Quine dans son recours (...) à l’assentiment, qui émerge dans l’ouvrage méconnu the roots of reference. Quine revient, par cet usage de l’assentiment, à la question de l’analyticité et à sa critique des « Deux dogmes », qu’il nuance, dans son oeuvre tardive, par la suggestion d’une analyticité non seulement naturalisée, mais socialisée. (shrink)

L’A. revient, dans le prolongement de son ouvrage L’anthropologie logique de Quine sur un élément souvent négligé de la thèse d’indétermination de la traduction, à savoir la reconstruction/identification des connecteurs logiques par l’assentiment et le dissentiment. Après avoir examiné diverses objections à l’utilisation par Quine des « fonctions de verdict » dans la traduction, l’A. en vient à la véritable motivation de Quine dans son recours à l’assentiment, qui émerge dans l’ouvrage méconnu The Roots of Reference. Quine revient, par cet (...) usage de l’assentiment, à la question de l’analyticité et à sa critique des « Deux dogmes », qu’il nuance, dans son oeuvre tardive, par la suggestion d’une analyticité non seulement naturalisée, mais socialisée. The A., following a path opened in her early work L’anthropologie logique de Quine discusses an often neglected subargument of the indeterminacy thesis, i.e. the reconstruction or identification of logical connectives through the recognition of assent and dissent. After envisioning several objections to Quine’s “verdict tables” in the process of radical transaltion, the A. comes to the actual motivation in Quine’s use of assent, which emerges in his underrated book The Roots of Reference. Quine, by his use of assent, returns to the matter of the nature of analyticity, and corrects in his later work his earlier critique of “Two Dogmas”, by suggesting the possibility of naturalized, and socialized, definition of analyticity. (shrink)

Je vais traiter ici des inférences dont la validité tient au rôle qu'y jouent les cinq connecteurs « ⊃ », « ∼ », « & », « V » et « ≡ », les deux quantificateurs « ∀ » et « ∃ », et le signe d'identité « = ». Qu'on me permette de rappeler que les deux conjectures présentéd dans ma première étude se sont avéré'es justes. En premier lieu, toute règle de structure et toute règie d'élimination ou d'introduction (...) pour « & » ou « V » qui vaut pour la logique classique des connecteurs vaut également pour la logique intuitionniste des connecteurs. En second lieu, tout énoncé du genre A1, A2, …, An ⊢ B qui vaut pour la logique classique des connecteurs peut s'obtenir exclusivement à l'aide des règles de structure R, P, E, S, et des règles d'elimination et d'introduction pour ceux des connecteurs « ⊃ », « ∼ », « & », « V » et « ≡ » qui figurent dans A1, A2, …, An, et B. (shrink)

Cet article a pour objet d'étudier diverses règies d'inférence dites “règies de Gentzen”. Je me limiterai dans cette première partie aux inférences dont la validité tient au rôle qu'y jouent les cinq connecteurs « ⊃ », « ∼ », « & », « ∨ », et « ≡ ». Celles dont la validité tient au rôle qu'y jouent ces cinq connecteurs, les deux quantificateurs « ∀ » et « ∃ », et le signe d'égalité ou d'identité « = », feront (...) l'objet d'une autre étude. Quelques-uns des résultats que je soumettrai dans ces deux études sont le fruit de mes propres recherches; d'autres sont dus à divers collègues avec qui j'ai eu le plaisir de collaborer ces dernières années. (shrink)