Plan:
1. Système de symboles d'information linguistique.
2. Langages naturels et artificiels, leur interaction.
3. Catégories sémantiques du langage.
1. Le langage consiste en un système de symboles informatifs inextricablement lié à la pensée, qui assure l'existence directe de nos pensées et sert à établir la communication entre les personnes. L'apprentissage de la langue est l'une des tâches importantes de la science de la logique. On sait que la pensée est un phénomène idéal qui abstrait et résume le monde. Les choses abstraites, les généralités ne peuvent être enregistrées qu'à l'aide du langage.
L'unité du langage et de la pensée s'exprime dans la parole. La parole existe sous forme parlée et écrite, dans laquelle nos pensées entrent dans une forme matérielle, c'est-à-dire sous une forme perceptible, et n'appartiennent donc plus à un individu, mais à la société.
La langue a été créée et développée sur la base du travail social des personnes. C'est pourquoi il a une profonde signification sociale et fait partie intégrante de notre culture et de notre histoire.
Avec l'aide du langage, les connaissances se créent, s'accumulent et se transmettent d'une génération à l'autre. De cette façon, il aide à mener à bien un travail d'éducation et d'éducation, à développer notre culture.
Un signe est un objet matériel qui agit comme un représentant d'un autre objet dans le processus de cognition et offre la possibilité de donner certains messages à son sujet, de le stocker, de le traiter et de le transmettre. tous les symboles ne peuvent pas être des symboles linguistiques. Les signes non linguistiques comprennent les signes-copies (par exemple, une carte photographique, une empreinte digitale, etc.), les signes-index ou les signes indicatifs (par exemple, une augmentation de la température corporelle est un signe de maladie, la fumée est un signe de feu, etc.) est inclus.
Les signes linguistiques existent sous forme de symboles et n'ont aucune similitude de structure avec les objets qu'ils représentent. La logique se concentre sur l'étude de tels signes linguistiques.
Les signes linguistiques ont leur propre signification et contenu. Le contenu d'un signe linguistique est constitué de l'objet qu'il représente. Par exemple, le mot "audience" représente un objet réel existant - le contenu de la pensée reflétant l'audience. La signification du signe langagier est la caractéristique (description) de l'objet qu'il exprime. Par exemple, le sens du mot "Auditorium" est "une salle conçue pour la formation", "une salle spécialement équipée" et ainsi de suite.
Des penseurs comme Aristote et Leibniz ont accordé une grande attention à l'étude de la fonction des symboles dans la cognition. Le développement de la doctrine des symboles devient un véritable enjeu au XIXe siècle. C'est à cette époque que le philosophe américain Charles Pierce (1839-1914) fonde la science sémiotique des signes. Cette discipline analyse le signe linguistique dans trois directions différentes. Le premier est la sémantique, qui étudie la relation entre un signe et l'objet qu'il représente. La seconde est la pragmatique, qui étudie le rapport des personnes aux signes et les relations entre les personnes à l'aide des signes. Le troisième s'appelle la syntaxe, qui étudie les relations entre les signes (les règles de construction du langage). La science de la logique s'intéresse davantage à la sémantique des symboles du langage.
2. Il existe deux types de langage. Ce sont des langues naturelles et artificielles. Les langues naturelles ou nationales sont constituées de symboles d'information sonores (parole) et graphiques (écriture) formés historiquement. Tout symbole isolé du langage naturel ne représente rien en soi. Ces signes deviennent des signes qui n'acquièrent une certaine signification et un certain contenu que lorsqu'ils entrent dans le système linguistique, qui a été créé sur la base du développement de l'activité pratique et de la pensée humaines.
Le langage naturel a une grande opportunité de couvrir et d'exprimer les objets, les phénomènes et leurs propriétés et relations appartenant à divers domaines du monde objectif et de la connaissance. Il est considéré comme un système sémantiquement fermé. En d'autres termes, le langage naturel peut se construire et s'exprimer indépendamment sans référence à d'autres langages.
En plus de cela, l'utilisation du langage naturel entraîne également certaines difficultés dans le processus cognitif. Ils sont liés aux éléments suivants : 1) le sens des mots en langage naturel change avec le temps ; 2) en langage naturel, un mot peut exprimer plusieurs concepts (homonymes) ou un concept peut être exprimé en plusieurs mots (synonymes) ; 3) l'idée exprimée à l'aide de certains mots de la langue naturelle n'a pas de sens clair (par exemple, dans l'opinion "Karim ne connaît pas bien une langue étrangère", il n'est pas indiqué que Karim ne connaît pas une langue étrangère langue bien par rapport à qui ou quelle tâche effectuer). Afin de s'affranchir de tels phénomènes en langage naturel, des termes (termes) sont utilisés dans les connaissances scientifiques. Un terme est un mot qui a un sens précis et défini, et ce sens est indiqué par une définition. De plus, la précision du langage naturel est obtenue en utilisant un langage artificiel.
Le langage artificiel consiste en un système de symboles d'information auxiliaires créés sur la base du langage naturel, qui sert à exprimer et à transmettre clairement et économiquement les messages existants. Le langage artificiel utilise des caractères spéciaux créés artificiellement, c'est-à-dire des symboles-symboles. Les pensées ayant un contenu concret en langage naturel sont remplacées par de tels symboles dans la connaissance scientifique. Dès lors, le langage artificiel assure de ne travailler qu'avec des symboles, sans s'écarter du contenu concret de nos pensées.
Les langages artificiels sont largement utilisés dans la science et la technologie modernes. Ils ont une grande contribution au développement des mathématiques, de la physique, de la chimie, de la cybernétique, de l'informatique et des domaines similaires. Un exemple d'utilisation de langages artificiels est la formule Sos2+Sin2=1, qui exprime les côtés d'un triangle rectangle en mathématiques, la formule N2O, qui exprime l'eau en chimie, la formule exprimant la vitesse en mécanique , etc. Des langages algorithmiques spéciaux sont utilisés pour créer des programmes pour les calculatrices électroniques. Ils comprennent "Algol-60", "Algol-65", "Fortran", "Cobol", "PL-1", "Assembler", "Basic" et autres. Le langage artificiel est utilisé par la science de la logique pour analyser la structure de nos pensées d'un point de vue théorique.
Par conséquent, le langage naturel et le langage artificiel sont utilisés dans les connaissances scientifiques. Le langage scientifique comprend le langage naturel, le langage artificiel et les termes spéciaux.
La logique générale a son propre langage scientifique formalisé. Il a été créé afin d'exprimer clairement et clairement la structure de la pensée humaine. Pour en comprendre l'essence, il est nécessaire de clarifier ce qu'est la formalisation elle-même.
La formalisation signifie remplacer les pensées par un contenu concret par des symboles, c'est-à-dire exprimer la structure de la pensée (pensée) en créant une fonction propositionnelle, en introduisant des formules, en créant des règles logiques. Il y a une correspondance entre la structure de la pensée et la structure de l'expression de la logique dans le langage, c'est-à-dire qu'à chaque structure concrète de la pensée correspond une structure spécifique du langage. Nous pouvons le voir dans l'exemple de la génération d'une fonction proportionnelle. Si nous remplaçons le concept de "Tachkent" - S, et le concept de "la capitale de l'Ouzbékistan" - R dans la pensée "Tachkent - la capitale de l'Ouzbékistan", une fonction propositionnelle de la forme S-R est obtenue. Une fonction propositionnelle est une expression avec une valeur variable, lorsque cette valeur est remplacée par un argument, une idée significative concrète est formée.
Un langage formalisé doit répondre aux exigences suivantes.
1. Les personnages principaux doivent être clairement exprimés. Ces symboles représentent des concepts de base, des termes.
2. Toutes les règles de description doivent être spécifiées. Sur la base de ces règles, de nouveaux caractères plus courts sont générés à l'aide de caractères existants.
3. Toutes les règles de création de formules doivent être données. Un exemple de ceci est les règles de dérivation des phrases à partir des concepts.
4. Toutes les règles d'inférence doivent être spécifiées. Il fait référence à la représentation graphique des signes utilisés (mots, phrases, symboles).
5. les règles d'interprétation de la signification des symboles utilisés doivent être indiquées.
Une logique avec un langage formalisé peut utiliser une formule exprimant une pensée vraie pour générer une autre formule exprimant la même pensée vraie. Le contenu concret de l'avis rendu n'est pas pris en compte.
L'avantage d'un langage formalisé est qu'il n'implique pas la participation de motifs non intentionnels pour tirer une conclusion logique. De nombreux problèmes de mathématiques et de logique ne peuvent être résolus que de cette manière.
Enfin, un autre aspect précieux d'un langage formalisé est qu'un langage formalisé créé dans un domaine peut être utilisé pour résoudre des problèmes dans un autre domaine. Par exemple, dans les opérations avec des classes de logique, il est possible d'utiliser le langage des mathématiques (des termes tels que l'addition, la multiplication, la complétion et les symboles les représentant) pour exprimer la structure de la pensée. En cela, bien sûr, une signification particulière est donnée aux symboles utilisés.
L'inconvénient du langage formalisé est qu'il exprime l'objet plus superficiellement que le langage naturel. les langages formalisés qui existent aujourd'hui couvrent très peu de domaines d'existence et de savoir. Il est difficile de prédire dans quels domaines du savoir un langage formalisé peut être créé.
De plus, le langage formalisé ne remplace pas la recherche empirique. C'est pourquoi le langage scientifique ne peut se limiter à l'usage d'un langage formalisé.
Néanmoins, le langage formalisé a une importance importante dans les connaissances scientifiques et la vie pratique. En particulier, il crée un environnement parfait pour étudier la structure de la pensée, déterminer sa valeur logique, c'est-à-dire si elle est vraie ou fausse. Par conséquent, il y a un grand intérêt à créer un langage logique formalisé et à l'étudier en profondeur.
3. Les catégories sémantiques sont importantes dans l'étude de la forme logique de la pensée. Les catégories sémantiques consistent en des classes d'expressions linguistiques, qui diffèrent les unes des autres par les objets qu'elles représentent. Les catégories sémantiques de base comprennent la phrase et ses parties relativement indépendantes - termes descriptifs et logiques.
Une phrase peut exprimer une phrase, une question et une norme. une phrase exprimant un jugement confirme et nie la caractéristique de tout signe (propriété ou relation) au sujet. Il se compose d'une phrase.
Les expressions qui reflètent des objets, leurs propriétés et leurs relations dans une phrase sont appelées termes descriptifs. Les termes descriptifs sont divisés en noms d'objets ou termes (expressions qui expriment des objets, des ensembles d'objets) et en prédicateurs (expressions qui expriment des propriétés et des relations d'objets).
Les noms d'objets sont des mots et des phrases qui représentent des objets matériels (planète, électricité) et idéaux (sensation, pensée). Le nom du sujet a son propre contenu et sa propre signification car il est composé de symboles. Le contenu du nom représente l'objet et est appelé dénotation en logique. La signification du nom exprime les caractéristiques importantes et générales du sujet et s'appelle un concept. Par exemple, des expressions telles que "Aristote", "Fondateur de la science de la logique", "Auteur d'un ouvrage d'actualité" ont le même sens, c'est-à-dire qu'elles représentent un sujet, mais leur sens est différent, c'est-à-dire qu'elles enregistrent différents signes de l'objet en question.
De plus, les noms peuvent être au singulier («ville de Tachkent») ou communs («ville»). Dans ce cas, un nom unique représente un objet unique et un nom commun représente une classe d'objets.
Les prédicatifs peuvent être monosyllabiques ou pluriels, selon la quantité du nom auquel ils se réfèrent. Dans ce cas, les prédicats exprimant la propriété du sujet sont monoplaces, et les prédicats exprimant les relations entre eux sont considérés comme des prédicats pluriels. Par exemple, dans l'énoncé « l'Ouzbékistan est une république indépendante », le prédicateur est à un chiffre, dans l'opinion « l'Ouzbékistan a signé un accord économique avec la Turquie », le prédicateur « a signé un accord économique » est à deux chiffres, « l'Ouzbékistan est entre les Syrdarya et Amudarya Dans la phrase "situé", le prédicat "situé entre" a trois positions.
Les termes booléens (constantes booléennes) ont une valeur logique constante et sont utilisés pour lier des termes descriptifs dans une phrase. Ils sont exprimés en langue ouzbèke par des mots tels que "va", "kham", "khamda", "ou", "ou", "tous", "aucun", "certains", "non" et divers (simples et complexes), les éléments générateurs de jugement sont calculés. Par exemple, dans l'opinion selon laquelle "aucune marchandise n'est sans valeur", "aucune" et "non" sont des termes logiques, sans lesquels les termes descriptifs - "marchandise" et "valeur" ne peuvent pas être connectés.
Lors de la création d'un langage logique formalisé, les catégories sémantiques doivent être clairement définies et décrites. Ceci peut être réalisé en reflétant les catégories sémantiques dans des symboles concrets.
Ces symboles forment l'alphabet du langage formalisé de la logique. Il existe deux langages en logique : le langage de la logique des prédicats et le langage de la logique propositionnelle.
La logique de raisonnement est un système logique formalisé qui analyse le processus de raisonnement, en tenant compte de leur interrelation logique, en évitant l'étude de la structure interne des jugements. La logique du raisonnement comprend l'alphabet, les définitions des expressions et leur interprétation. En particulier, cet alphabet de langue se compose de :
1. р, q, р sont des variables propositionnelles, c'est-à-dire des symboles de jugements.
2. est un signe de conjonction ; correspond à des connecteurs tels que "va", "kham", "khamda" en langue ouzbèke. Par exemple, la phrase "La conférence s'est terminée (r) et sa discussion a commencé (q)" peut être exprimée sous la forme pq.
3. est un signe de disjonction ; En ouzbek, il correspond à des mots tels que « yo », « yoki », « ou ». Par exemple, la phrase "Le courant électrique est soit variable (r) soit constant (q)" s'écrit sous la forme pvq.
4. — signe d'implication ; il correspond à l'expression ouzbèke "Si... ce sera... ce sera". Par exemple, la phrase "Si l'élève travaille de manière autonome (r), il maîtrisera bien les supports pédagogiques (q)" s'écrit sous la forme p q.
5. Signe d'équivalence ; l'expression ouzbèke "Seulement et seulement parce que..." y correspond. Par exemple, l'énoncé "Seuls les nombres pairs (r) sont divisibles par 2 sans reste (q)" s'écrit sous la forme rq.
6. est un signe de négation. Par exemple, "Akhmedov Anvar est étudiant". Lorsque la phrase (r) est niée, "Akhmedov Anvar n'est pas un étudiant" se transforme en la phrase r, c'est-à-dire qu'elle se transforme en r, qui est la négation de la phrase.
La logique des prédicats est un système logique formalisé qui étudie le processus de discussion en tenant compte de la structure interne des jugements. L'alphabet de la logique des prédicats est formé en ajoutant de nouveaux symboles à l'alphabet de la logique propositionnelle. Ils sont les suivants :
1. a, v, s,..., sont des symboles représentant des noms de sujets, on les appelle des constantes.
2. x, u, z..., — symboles indiquant les noms généraux des sujets.
3. R1, Q1, R1..., Pn, Qn, Rn sont des symboles pour les prédicateurs ; où 1 désigne un prédicateur à un chiffre, 2 désigne un prédicateur à deux chiffres et des prédicateurs à nn chiffres.
4. symboles indiquant le montant du jugement : — quantificateur de généralité ; En ouzbek, des mots tels que "barcha", "khar bir", "khech bir" lui correspondent. Par exemple, la phrase "aucun parent ne souhaite faire de mal à son enfant" s'écrit sous la forme (x)P(x).
— quantificateur de disponibilité ; des mots tels que "bazi", "ayrim" lui correspondent en langue ouzbèke. Par exemple, la phrase "Certaines personnes travaillent individuellement" s'écrit sous la forme (x)P(x).
La logique des propositions et la logique des prédicats peuvent être construites comme un système d'inférence naturelle (ou système axiomatique).
Livres
1. IA Karimov. L'Ouzbékistan vers un grand avenir. — T. : "Ouzbékistan", 1998.
2. IA Karimov. Il n'y a pas d'avenir sans mémoire historique. "Discussion", 1998, n° 5.
3. IA Karimov. Une génération parfaite est la base du développement de l'Ouzbékistan. /Islam Karimov. En route vers la sécurité et le développement durable : T.6-T. : « Ouzbékistan », 1998.
4. IA Karimov. L'Ouzbékistan aspire au XXIe siècle. — T. : "Ouzbékistan", 1999.
5. IA Karimov. L'idéologie de l'indépendance nationale est la foi du peuple et la foi en un grand avenir : réponses aux questions du reporter du journal « Fidokor ». T., Ouzbékistan, 2000.
6. M. Khairullayev, M. Khagberdiyev. Logique, chapitre 2.
7. Yu.V. Ivlev. Logique, chapitre 2.
8. I. Rakhimov. Exercices pratiques et recommandations méthodiques de logique, chapitre 1.
9. NI Kondakov. Dictionnaire logique. M., 1976. Articles sur le sujet.
10. E.K. Voyshvillo. Ponyatiye kak forme michelenia. M., 1989, partie 1.
11. Oui.D. Smirnova. La base de la sémantique logique. M., 1989.
