Vairāki viena un tā paša daudzuma mērījumi vienādi var dot dažādas vērtības. Vārdi ar dubultu nozīmi: definīcija, lietojuma piemēri Atšķirības no homonīmiem
Analizēsim pašreizējo situāciju.
Pirmkārt, noskaidrosim, kāpēc dažādi viena un tā paša augstuma mērīšanas veidi radīja dažādus rezultātus.
No pirmā acu uzmetiena pirmā metode ir visuzticamākā. Ēkas virsmai uzklājam mērlenti un nosakām nepieciešamo augstumu. Ciešāka analīze liecina, ka tā nav pilnīgi taisnība. Izrādās, ka ēkai ir neliels slīpums, un sienai mērījumu veikšanas vietā ir zināms izliekums - tā ir izliekta, un pret ielu. Tas nozīmē, ka mēs nemērījām ēkas augstumu, bet gan sienas garumu, kas saistīts ar augstumu.
Otrs veids ir netiešs mērījums. Izmērot bumbiņas krišanas laiku, mēs aprēķinām augstumu, izmantojot labi zināmo brīvā kritiena formulu: h = gt 2 /2. Šoreiz mērījums tiešām ir par augstumu. Bet mēs aizmirsām, ka bumba kustas gaisā un tāpēc piedzīvo vides pretestību. Tāpēc arī pēc formulas aprēķinātā vērtība nav patiesā ēkas augstuma vērtība.
Trešā dimensija, tāpat kā otrā, ir netieša. Augstumu nosaka no ģeometriskiem apsvērumiem: taisnleņķa trijstūrī pretējās kājas garums ir vienāds ar blakus esošās kājas garuma un leņķa pieskares reizinājumu. Mūsu gadījumā augstums spēlē vienas kājas lomu, un attālums no lāzera līdz ēkai ir otras. Šoreiz mūs pievīla pieņēmums par perfekti horizontālu virsmu, uz kuras atrodas ēka. Rezultāts - atkal izmērīta vērtība, kas nav augstums, bet tagad cita iemesla dēļ.
Tātad katrā metodē ir daži fiksētie faktori(katrā gadījumā savs, un var būt vairāki), kas noved pie izskata sistemātiska kļūda mērījumus šādā veidā. Katru reizi, kad viena un tā paša daudzuma vērtība tiek mērīta tādos pašos apstākļos, sistemātiskajai kļūdai ir tāda pati vērtība. Ja šos faktorus ņem vērā, ieviešot atbilstošas korekcijas, tad ir iespējams pietuvoties izmērītā daudzuma reālajai vērtībai, un tad mērījumu rezultāti ar dažādām metodēm (ņemot vērā sistemātiskas kļūdas korekcijas) var izrādīties tādi. būt diezgan tuvu. Tādējādi principā sistemātiskas kļūdas var ņemt vērā un pat izslēgt , lai gan praksē tas var būt diezgan liels izaicinājums.
Tagad mēģināsim noskaidrot, kāpēc atkārtoti vienāda augstuma mērījumi vienādi (ieskaitot vienu un to pašu instrumentu komplektu) var novest pie dažādām vērtībām. Tas ir saistīts ar vairākiem nejaušības faktori. Aplūkotajā piemērā var būt nelielas augsnes, ēkas un ierīču mehāniskās vibrācijas, termiskie efekti, kas saistīti ar sienas lineāro izmēru un izmantoto ierīču izmaiņām utt. Visbeidzot, ir arī cilvēciskais faktors, kas saistīts ar notiekošo procesu uztveri un reakciju uz šo uztveri. Tā rezultātā atkārtoti viena un tā paša daudzuma mērījumi var radīt dažādas vērtības, kas saistītas ar nejaušas kļūdas. No mērījuma līdz mērījumam nejauša kļūda var mainīt gan tās zīmi, gan lielumu. Iedarbības nejaušības dēļ iepriekš nav iespējams paredzēt šādas kļūdas lielumu .
Mūsu analīze rada pamatotus jautājumus:
1. Kāda ir izmērītā daudzuma "patiesā" vērtība?
2. Kā uzrādīt mērījumu rezultātus, ņemot vērā kļūdas?
Tā kā šie jautājumi attiecas ne tikai uz aplūkoto piemēru, bet
un jebkuri citi mērījumi, mēs pāriesim pie vispārinājumiem un vispārīgu ieteikumu izstrādes.
Dotais konkrētais piemērs demonstrēja kopīgu īpašību, kas raksturīga jebkuriem mērījumiem, - jebkuru mērījumu pavada kļūdas .
Šis īpašums galu galā ir saistīts ar faktu, ka jebkurš mērījums ietver noteiktu savstarpēji saistītu dalībnieku ķēdi mērīšanas procedūrā: novērotājs - mērierīce - analizējamais objekts - "ārējā vide".
Šīs ķēdes elementus savieno milzīgs skaits mijiedarbību un kustību. Mērīšanas procesā analizējamais objekts, mērierīce un novērotājs var tikt pakļauti dažādām (t.sk. savstarpējām) ietekmēm, kas ietekmē mērījuma rezultātu.
Protams, ja mēs samazinām ietekmes, kas nav tieši saistītas ar mērīšanas procedūru, un mēģināsim ņemt vērā nenoņemamas ietekmes, tad mūsu mērījumu precizitāte palielināsies. Bet absolūti precīzs mērījums principā nav iespējams. Un tas lielā mērā ir saistīts ar pašu izmērīto daudzumu raksturu.
Ja, piemēram, vēlamies absolūti precīzi izmērīt metāla stieņa garumu, tad mēs atklāsim fundamentāli nenoņemamu (kaut arī ļoti mazu) kristāla režģa vibrāciju klātbūtni. Nav absolūti precīza "patiesā" stieņa garuma. Tas pastāvīgi mainās nejauši, novirzoties vienā vai otrā virzienā no kādas visbiežāk sastopamās vērtības. Mēs varam pieņemt šo vērtību kā garuma “patieso” vērtību un pēc tam ar to darboties, runājot par stieņa garumu vai izmantojot šo vērtību jebkuriem aprēķiniem, piemēram, lai noteiktu stieņa tilpumu.
Šāda situācija ir sastopama daudzās citās dimensijās. Paši izmērītie lielumi var mainīties nejauši, kas, kā jau minēts iepriekš, ir saistīts ar šo lielumu fizisko raksturu. Tādējādi mēs saskaramies ar nejaušu faktoru fundamentāla nenoņemamība . Tos var samazināt līdz minimumam, bet tos nevar pilnībā novērst. Tāpēc uzrādot mērījumu rezultātus, jāsniedz informācija par mūsu aplēsi par lieluma "patieso" vērtību, ņemot vērā nejaušās mērījumu kļūdas (ar nosacījumu, ka sistemātiskā kļūda tiek izslēgta vai ņemta vērā atbilstošas korekcijas veidā). Ir skaidrs, ka šādu informāciju vispilnīgāk var sniegt no vairāku mērījumu rezultātiem.
Nav nekas neparasts krievu valodā. Ļoti bieži vienu un to pašu vārdu var saukt un/vai raksturot pilnīgi dažādus objektus vai parādības. Šādiem vārdiem ir viena galvenā nozīme - oriģināls, burtisks un viena (vai vairākas) - figurāla, pārnesta, metaforiska. Pēdējais parasti rodas, pamatojoties uz kādu pazīmi, līdzību, asociāciju.
Polisemantisko lietvārdu piemēri
Starp lietvārdiem jūs varat atrast daudz vārdu piemēru ar dubultu nozīmi. Šeit ir tikai daži no tiem:
| Vārds | tieša nozīme | Tēlainā nozīme |
| Biļete | Lidmašīnas vai vilciena biļete, teātra vai kino biļete. | Eksāmena biļete. |
| Crest | Ķemmēšanas instruments, matu suka. | Viļņa vai kalna virsotne. |
| Vārds | runas vienība. | literārais žanrs. Piemēram, "Pasaka par Igora kampaņu". |
| Roka | Ķermeņa daļa – labā roka, kreisā roka. |
|
| Ota | Roka ir ķermeņa daļa no plaukstas locītavas līdz pirkstu galiem. | Krāsošanas rīks. |
| Darbs | Fiziskais darbs, pūles, cilvēka nodarbošanās. | Fiziskā darba redzamais rezultāts ir "Labs darbs!". |
| Lapa | Lapa, kas aug uz koka. | Papīra loksne, piezīmju grāmatiņa vai ainavu lapa. |
| Sakne | Koka sakne. Koka daļa, kas atrodas pazemē. |
|
| Nodoklis | Naudas vai materiālās vērtības summa, ko viena persona solījusi otrai, aizņemšanās rezultāts. | Morāla vēlme pēc kaut kā, morāls pienākums. |
Šis nav viss saraksts. Droši vien visu vienkārši nav iespējams salikt, jo vārdu ar dubultu nozīmi krievu valodā ir gandrīz tikpat daudz, cik vienvērtīgo.
Polisēmisku īpašības vārdu piemēri
Dažādus objektus vienā vārdā var ne tikai nosaukt, bet arī raksturot. Šeit ir daži šādu vārdu piemēri:
| Vārds | tieša nozīme | Tēlainā nozīme |
| Tērauds | Izgatavots no tērauda. Piemēram, tērauda nazis. | Ļoti spēcīgi, nesatricināmi - "tērauda nervi". |
| Zelts | Izgatavoti no zelta - "zelta auskari", "zelta kaklarota". | Ļoti vērtīgs, labsirdīgs, ar izcilām morālām īpašībām - "zelta cilvēks", "zelta bērns", "zelta sirds". |
| Smags | Liela fiziskā piepūle - "smags darbs". | Par to, ko citiem grūti izturēt - "smags cilvēks", "smags raksturs". |
| Balts | Balts - "balts sniegs", "balts palags". | Dzejolis bez atskaņas ir "tukšais dzejolis". |
| Melns | Melna krāsa - "melnas acis", "melns marķieris". | Dusmīgs, sarkastisks, rupjā veidā aizskarot jūtīgas tēmas - "melnais humors", "melnā komēdija". |
Atkal saraksts ir nepilnīgs. Turklāt vārdu sarakstā ar dubultu nozīmi var būt īpašības vārdi, kas vienlaikus raksturo krāsas, smaržas un/vai garšas: apelsīns, avene, citrons, plūme utt.
Polisemantisko darbības vārdu piemēri
Darbības vārdiem var būt arī vairākas nozīmes:
| Vārds | tieša nozīme | Tēlainā nozīme |
| apsēdies | Sēdi uz krēsla, atzveltnes krēslā, uz zirga. | Iekāp vilcienā (nevis burtiski sēdies uz vilciena jumta, bet tēlaini - ieņem vietu tajā). |
| Izkāp / izkāp | Var izkāpt no vilciena, izkāpt vēlamajā pieturā, doties uz veikalu. | "Kļūsti traks/iet traks" |
| Beat | Streiks. | "Avots ir strūklaka", "dzīve rit pilnā sparā". |
| Griezt | Sadala gabalos ar nazi vai citu asu asmeni. | Izraisīt nepatīkamu sajūtu - "gaisma sāp acis", "skaņa sāp ausi". |
Visbiežāk vārdi ar dubultu nozīmi ir vietējie krievu vārdi. Aizņemtajiem terminiem parasti ir tāda pati nozīme.
Atšķirības no homonīmiem
Ir ļoti svarīgi atšķirt vārdus ar dubultu nozīmi no homonīmiem: dažādi vārdi, kas tiek rakstīti vienādi. Polisemantiskiem vārdiem ir tieša, pamata nozīme un tie tiek pārnesti uz kādu pamatojumu. Homonīmiem ir neatkarīga nozīme. "rokturis" (durvis) un "rokturis" (raksts) ir homonīmi, jo starp tiem nav nekādas saistības. Taču vārds "satelīts" ir neskaidrs - debess ķermeni sauca par "satelītu", jo tas pārvietojas pa planētu, tāpat kā cilvēka pavadonis.
balsot ASV (6)
Vai ir kāds apkopošanas veids, kā noteikt/novērst vērtību dublikātus C/C++ sarakstā?
Nozveja ir tā ir vairāki elementi, kas inicializēti ar precīzām vērtībām .
Fons:
Esmu mantojis kādu C kodu, piemēram:
#define BASE1_VAL (5 ) #define BASE2_VAL (7 ) typedef enum ( MsgFoo1A = BASE1_VAL , // 5 MsgFoo1B , // 6 MsgFoo1C , // 7 MsgFoo1D , // 8 MsgFoo1D , // 8 MsgFoo2E, BASE o9F , // Ak, ak !7 atkal... MsgFoo2B // Uh oh!8 atkal... ) FOO ;Problēma ir tāda, ka kodam pieaugot un izstrādātājiem pievienojot grupai MsgFoo1x vairāk ziņojumu, tas galu galā pārpildīs BASE2_VAL.
Šis kods galu galā tiks pārnests uz C++, tāpēc, ja ir tikai C++ risinājums (veidņu maģija?), tas ir labi, taču labāks ir risinājums, kas darbojas ar C un C++.
Ir vairāki veidi, kā pārbaudīt šo kompilēšanas laiku, taču tie var ne vienmēr noderēt. Sāciet, ievietojot marķiera vērtību "marķieris" tieši pirms MsgFoo2A.
typedef enum ( MsgFoo1A = BASE1_VAL , MsgFoo1B , MsgFoo1C , MsgFoo1D , MsgFoo1E , MARKER_1_DONT_USE , /* Neizmantojiet šo vērtību, bet atstājiet to šeit. */ MsgFoo2A = BASE2_VAL, MsgFoo2B) FOO;Tagad mums ir nepieciešams veids, kā nodrošināt, ka MARKER_1_DONT_USE< BASE2_VAL во время компиляции. Есть два распространенных метода.
Negatīvā izmēra masīvi
Kļūda, deklarējot masīvu ar negatīvu izmēru. Tas izskatās nedaudz neglīts, bet tas darbojas.
extern int IGNORE_ENUM_CHECK [ MARKER_1_DONT_USE > BASE2_VAL ? - vienpadsmit ];Gandrīz katrs jebkad uzrakstītais kompilators rada kļūdu, ja MARKER_1_DONT_USE ir lielāks par BASE_2_VAL. GCC izspļauj:
pārbaude. c: 16: kļūda: masīva “IGNORE_ENUM_CHECK” lielums ir negatīvsStatiski apgalvojumi
Ja jūsu kompilators atbalsta C11, varat izmantot _Static_assert . C11 atbalsts nav visuresošs, taču jūsu kompilators jebkurā gadījumā var atbalstīt _Static_assert, jo īpaši tāpēc, ka atbilstošā funkcija programmā C++ tiek plaši atbalstīta.
_Static_assert(MARKER_1_DONT_USE< BASE2_VAL , "Enum values overlap." );GCC izdod šādu ziņojumu:
pārbaude. c : 16 : 1 : kļūda : statisks apgalvojums neizdevās: "Enum vērtības pārklājas." _Static_assert(MARKER_1_DONT_USE< BASE2_VAL , "Enum values overlap." ); ^Vēl viena pieeja varētu būt izmantot kaut ko līdzīgu gccxml (vai ērtāk pygccxml), lai identificētu kandidātus manuālai pārbaudei.
Es neko nezinu par to, kas automātiski pārbaudīs visus enum dalībniekus, taču, ja vēlaties pārbaudīt, vai turpmākās izmaiņas inicializatoros (vai makro, uz kuriem tie balstās) neizraisa konfliktus:
slēdzis (0) ( gadījums MsgFoo1A: pārtraukums; gadījums MsgFoo1B: pārtraukums; gadījums MsgFoo1C: pārtraukums; gadījums MsgFoo1D: pārtraukums;radīs kompilatora kļūdu, ja kāda no integrālajām vērtībām tiek izmantota atkārtoti, un lielākā daļa kompilatoru pat pateiks, kura vērtība (skaitliskā vērtība) bija problēma.
Es neticu, ka ir veids, kā to noteikt ar pašu valodu, ņemot vērā to, ka ir iespējami gadījumi, kad vēlaties, lai divas enum vērtības būtu vienādas. Tomēr vienmēr varat pārliecināties, ka visi skaidri norādītie vienumi atrodas saraksta augšdaļā:
typedef enum ( MsgFoo1A = BASE1_VAL , // 5 MsgFoo2A = BASE2_VAL , // 7 MsgFoo1B , // 8 MsgFoo1C , // 9 MsgFoo1D , // 10 MsgFoo1D , // 10 MsgFoo1o1 , /sgFoo1o1) ;Kamēr piešķirtās vērtības atrodas augšpusē, sadursme nenotiek, ja vien kāda iemesla dēļ makro neizvēršas līdz vērtībām, kas ir vienādas.
Parasti šī problēma tiek novērsta, nodrošinot fiksētu bitu skaitu katrai MsgFooX grupai un nodrošinot, ka katra grupa nepārplūst, tā piešķir bitu skaitu. Risinājums "bitu skaits" ir labs, jo ļauj veikt bitu pārbaudi, lai noteiktu, kurai ziņojumu grupai kaut kas pieder. Taču šim nolūkam nav iebūvētas valodas funkcijas, jo ir likumīgi gadījumi, kad enum ir divas identiskas vērtības:
typedef enum ( pelēks = 4 , //Gry ir jābūt tādam pašam pelēkam = 4 , krāsa = 5 , //Arī dažos gadījumos ir jēga couleur = 5) FOO ;Lai gan mums nav pilnīgas pārdomas, varat atrisināt šo problēmu, ja varat atgūt uzskaites vērtības.
Kaut kur tas ir deklarēts:
enum E (A = 0, B = 0);citur mēs veidojam šo mehānismu:
veidne< typename S , S s0 , S ... s >struct first_not_same_as_rest : std::true_type(); veidne< typename S , S s0 , S s1 , S ... s >struct first_not_same_as_rest : std::integral_constant< bool , (s0 != s1 ) && first_not_same_as_rest < S , s0 , s ... >::vērtība>(); veidne< typename S , S ... s >struct is_dinct : std::true_type(); veidne< typename S , S s0 , S ... s >struct is_dinct : std::integral_constant< bool , std :: is_distinct < S , s ...>:: vērtība && pirmais_nav_tāds_atpūta< S , s0 , s ... >::vērtība>();Kad jums ir šī aparatūra (kurai nepieciešams C++11), mēs varam rīkoties šādi:
static_assert ( is_dinct< E , A , B >:: vērtība , "atklātas vērtību dublikāti E");un kompilēšanas laikā mēs garantējam, ka nav divu elementu.
Tam nepieciešams O(n) rekursijas dziļums, un O(n^2) palaiž kompilatoru kompilēšanas laikā, tāpēc ārkārtīgi lieliem uzskaitījumiem tas var radīt problēmas. AO(lg(n)) un O(n lg(n)) strādā ar daudz lielāku konstantu koeficientu, to var izdarīt, vispirms sakārtojot elementu sarakstu, bet tas ir daudz vairāk.
Izmantojot C++1y-C++17 ieteikto enum konvertēšanas kodu, to varēs izdarīt bez elementu atkārtošanas.
Man nepatika neviena no šeit jau ievietotajām atbildēm, taču tās man deva dažas idejas. Izšķirošā metode ir izmantot Ben Voigt atbildi, izmantojot slēdža paziņojumu. Ja vairākiem slēdža gadījumiem ir vienāds numurs, tiks parādīta kompilācijas kļūda.
Visnoderīgākais man un, iespējams, oriģinālajam plakātam, tam nav nepieciešamas nekādas C++ iespējas.
Lai noskaidrotu lietas, es izmantoju aaronps atbildi: Kā izvairīties no atkārtošanās, veidojot sarakstu C++ un atkarīgā datu struktūra?
Vispirms definējiet to kaut kur galvenē:
#define DEFINE_ENUM_VALUE (nosaukums, vērtība ) name = value , #define CHECK_ENUM_VALUE (nosaukums, vērtība ) gadījuma nosaukums : #define DEFINE_ENUM (enum_name, enum_values) \ typedef enum ( enum_values (DEFINE_ENUM_VALUE ) #define CHECK_ENUM (enum_name , enum_values ) \ void enum_name ## _test (void) ( switch(0) ( enum_values(CHECK_ENUM_VALUE); ) )Tagad, kad jums ir nepieciešams uzskaitījums:
#define COLOR_VALUES (GEN ) \ GEN (sarkans , 1 ) \ GEN (zaļš , 2 ) \ GEN (zils , 2 )Visbeidzot, šīs rindas ir nepieciešamas faktiskajam uzskaitījumam:
DEFINE_ENUM (Krāsa , COLOR_VALUES ) CHECK_ENUM (Krāsa , COLOR_VALUES )DEFINE_ENUM izveido enum datu tipu. CHECK_ENUM veic pārbaudes funkciju, kas ietver visas enum vērtības. Kompilators avarēs, kompilējot CHECK_ENUM, ja jums ir dublikāti.
Jau no pašas zīmes definīcijas ir skaidrs, ka tās galvenā īpašība ir tai piemītošā reprezentatīvā funkcija: būt kāda (noteikta) objekta pārstāvim vai aizstājējam noteiktā valodā. Un šī - nozīme zīme. Verbālo zīmju nozīme var būt objekti šī vārda visplašākajā nozīmē – viss, ko var kaut kā izcelt un nosaukt, par ko kaut kas tiek apstiprināts vai noliegts. Jāatzīmē, ka, pirmkārt, ekstralingvistiskās realitātes objekti, dabiski un sociāli, darbojas kā nozīmes. Vēl viena būtiska verbālās zīmes īpašība ir tās nozīme. Nozīmelingvistiskā izteiksme- šī ir ar to saistītā verbāli formalizētā informācija, kas ļauj atšķirt objektu, ko tas pārstāv (vai tāda paša veida objektu kopu) starp citiem objektiem. Piemēram, vārda "Mēness" nozīme - tā parastajā lietojumā - var būt tāda īpašība kā "dabisks Zemes pavadonis"; vācu teikuma "DerSchneeistwei" nozīmi krievu valodā atveido teikums "Sniegs ir balts"; vārda "zādzība" nozīme ir "slepena svešas mantas zādzība" utt.
Ņemiet vērā, ka vienam un tam pašam objektam (vai objektu kopai) ir iespējamas dažādas atšķirības pazīmes. Tas nozīmē, ka diviem dažādiem izteicieniem var būt atšķirīga nozīme, bet viena un tā pati nozīme, piemēram, "vienstūra trīsstūris" un "vienādmalu trīsstūris". Tiek saukti vārdi (vai frāzes) ar tādu pašu nozīmi ekvivalents.Turklāt vienam un tam pašam vārdam var būt vairākas nozīmes, un tāpēc tas var izteikt dažādus jēdzienus (nozīmes). Tādu parādību sauc neskaidrība. Zinātniskajā un profesionālajā saziņā vārdu neskaidrība ir nepiemērota.
Nozīme ir saikne starp vārdu un objektu, ko tas apzīmē. Nozīmes piešķiršana kādai valodas izteiksmei ir svarīgs loģisks veids, kā ieviest valodā jaunus terminus un precizēt tajā jau esošo vārdu nozīmes.
Kad mēs runājam par nozīmi, mēs domājam taisni vārdu un frāžu nozīme, pretstatā, piemēram, no netiešs, tēlains ("baltais zelts", "melnais zelts", "lido uz mīlestības spārniem" un citi metaforiski izteicieni, kas norāda tikai uz dažu objektu, procesu, parādību zināmu līdzību ar citiem). Tiešā nozīme ir jānošķir arī no "burtiskās" vai etimoloģisks nozīme ("ģeogrāfija" burtiski nozīmē Zemes aprakstu, "meli" burtiski nozīmē "runāt", "runāt" utt.).
Attiecībā uz nozīmi un nozīmi loģikā ir pieņemts pieņemt, ka zīmes nozīme ir tās nozīmes funkcija. Tas uzsver nozīmes īpašo lomu: tas nepārprotami norāda uz objektu, ko apzīmē ar zīmi, mentāli izceļot to no daudziem citiem.
Ir skaidrs, ka gan sabiedrībai, gan katram atsevišķam cilvēkam ir jābūt noteiktam vārdu krājumam, kas korelē ar to nozīmi bez nozīmes starpniecības. Šeit ir vārdu lietojums kā zīmes, kuru saikne ar nozīmi tiek noteikta vārda izrunas procesā un vienlaicīga tā nozīmes maņu uztvere, piemēram, krāsa (“sarkans”), smarža, telpiskā konfigurācija. noteiktais objekts utt.
Ikviens zina dabiskās valodas izteicienu iedalījumu runas daļās. Loģiskajā "gramatikā" ir līdzīgs iedalījums, bet uz cita pamata, proti, atkarībā no domu objektu veida, ko attēlo vārdi (vai frāzes).
Pirmā veida objekti ietvers atsevišķus vienumus. Par atsevišķiem objektiem mēs uzskatīsim tādus zināšanu objektus, kuriem katram ir individuāla atšķirība no viena veida objektiem: skaitlis 7, A.S. laulība. Puškins, Luna utt. Atsevišķiem objektiem atbilstošo lingvistisko izteiksmju loģiskā kategorija ir viens vārdus. To nozīme ir ar tiem saistītā informācija, kas ļauj viennozīmīgi atšķirt šo vienu objektu no daudziem viena veida objektiem ar to. Šādu nosaukumu piemēri: “Pēteris 1”, “Pašreizējais Krievijas Federācijas prezidents”, “Romāna “Jevgeņijs Oņegins” autors, “Uzvaras pār nacistiskā Vācija 66. gadadienas svinības” utt. Atsevišķi nosaukumi ir sadalīti sīkāk aprakstošs (sarežģīts) un tālāk neaprakstošs (vienkāršs) vārdus. Vienkāršu (neaprakstošu) nosaukumu piemēri ir vārdi "Everests", "Yu.A. Gagarins", sarežģītu (aprakstošu) nosaukumu piemēri - "Pirmais kosmonauts", "Lielākā upe Eiropā".
Otrs objektu veids ir objektu īpašības un attiecības starp tiem. Izteiksmes, kas attēlo šāda veida objektus valodā, mēs sauksim universālas. Universālu piemēri: vārds "tabula" paziņojumā "Šis galds ir apaļš"; vārdu "brālis" izteikumā "Ivans ir Pētera brālis"; vārdu "noziegums" paziņojumā "Zādzība ir noziegums". Universālajam raksturīgs tas, ka tas teikumā var spēlēt divējādu lomu: 1) veidot daļu no loģiskā "predikāta", t.i. apzīmē jebkuru objektu vai relāciju, kas piešķirta objektiem, kā tas ir piemērā “Šī tabula ir raunds»; šajā funkcijā tiks izsauktas universālas predikāti; 2) būt loģisks "subjekts", t.i. attēlo paziņojumā patvaļīgi ņemtu objektu no noteiktas tāda paša veida objektu kopas, kurām katram ir atbilstoša īpašība, kā tas ir piemērā “Jebkurš noziegums bīstami sabiedrībai." Tādi universāli tiks saukti priekšmetus.
Trešais objektu veids ir situācijas (lietu stāvokļi). Situācijām atbilstošā valodas izteiksmju loģiskā kategorija ir stāstījuma teikumi. Piemēram, situācijas klātbūtne, kad Volga ieplūst Kaspijas jūrā, tiek reproducēta teikumā "Volga ieplūst Kaspijas jūrā", un tiek reproducēta situācija, kad trijstūra leņķu summa ir vienāda ar 180 °. teikumā "Trijstūra leņķu summa ir 2d" utt. Situācijas var būt vienkāršas vai sarežģītas atkarībā no tā, vai tās attēlotie teikumi ir vienkārši vai sarežģīti. Sarežģītu teikumu piemēri un attiecīgi situācijas: “Ja skaitlis dalās ar 6, tad tas dalās ar 2”; "Jaņs un viņa tēvs tajā laikā bija mājās."
Teikuma nozīme ir spriedums. Atšķirību starp spriedumu un teikumu (kā sprieduma zīmju formu) var redzēt, ja salīdzinām divus teikumus, kas ir pareizi tulkojumi no vienas dabiskās valodas citā: zīmju struktūras ir dažādas, bet nozīme ir viena. Teikuma nozīme un ir spriedums. Tā kā mēs runājam par valodas loģisko analīzi, teikuma nozīme ir jebkurš no abstraktajiem objektiem taisnība vai meli. Tādējādi apgalvojums “Volga ietek Kaspijas jūrā” nozīmē patiesību (jo šis teikums atveido situāciju, kas notiek realitātē), un apgalvojums “Volga ietek Melnajā jūrā” ir meli (jo neatbilst realitātei ).
Katrai zinātnei ir īpaši termini. Var runāt par matemātiskiem terminiem: "skaitlis", "ģeometriskā figūra", "kopa"; ir tādi fiziski termini kā "masa", "elementārdaļiņa", "elektriskais lādiņš"; bioloģijā parādās termini "šūna", "organisms", "iedzimtība"; medicīnā - "simptoms", "sindroms", "slimība"; jurisprudencē - "tiesību norma", "noziegums", "zādzība". Šie izteicieni veido kategoriju aprakstošie termini(lat. apraksts - apraksts), no kuriem katrs ir konkrēts objekts, kāda īpašība vai tāda paša veida objektu kopa utt. Mūsu analīzē aprakstošie termini ir nosaukumi un universāli.
Jebkuras zinātnes valodā papildus aprakstošiem terminiem, kas raksturo savas priekšmeta jomas objektus, tiek lietoti izteicieni, kas tiek lietoti visās zinātnēs. Tie ietver dažas daļiņas un savienojumus, piemēram, "un", "vai", "ja, tad", "nav taisnība, ka", "tad un tikai tad". Ar šo terminu palīdzību no vienkāršiem apgalvojumiem (spriedumiem) tiek veidoti sarežģīti (salikti) apgalvojumi. Tajā pašā “starpdisciplināro” terminu grupā ietilpst izteicieni “ir” (“būtība”), “visi” (“katrs”), “daži” (“pastāv”), “nav”, ar kuru palīdzību vienkāršā vienskaitlī un daudzskaitlī ir uzbūvēti (vispārīgi un konkrēti) spriedumi.Tie veido kategoriju loģiskie termini(loģiskās konstantes).
Bez loģiskiem terminiem nevar izteikt spriedumu. Viņi nosaka savu galīgo vispārējo struktūru - loģiskā forma, ar tām saistītas loģiskās attiecības un loģikas likumi. Daži no šiem terminiem dažkārt tiek izlaisti īsuma labad, piemēram, "Cilvēks ir mirstīgs". Spriedumu loģiskajā analīzē mums ir pienākums atjaunot visus šos "izlaidumus", kas ļauj noskaidrot to loģisko saturu, atrisināt jautājumu par to patiesumu vai nepatiesību. Jo īpaši tikko citētais apgalvojums izpaudīsies šādā formā: "Visi cilvēki ir mirstīgi." Un, lai gan pēc šādas rekonstrukcijas un pabeigšanas šie teikumi dažkārt kļūst zināmā mērā neveikli, to izteiktās domas iegūst skaidrību un noteiktību.
