АҚШ-қа дауыс беру (6)

C / C ++ нөміріндегі қайталанатын мәндерді анықтаудың/алдын алудың компиляция әдісі бар ма?

Айла сол анық мәндермен инициализацияланған бірнеше элементтер бар .

Фон:

Мен кейбір C кодын мұра еттім, мысалы:

#DEfine BASE1_VAL (5) #define BASE2_VAL (7) typedef enum (MsgFoo1A = BASE1_VAL, // 5 MsgFoo1B, // 6 MsgFoo1C, // 7 MsgFoo1D, // 8 MsgFoo1EF, // 2 Msg ... қайта). // Уф, тағы 8 ...) FOO;

Мәселе мынада, код ұлғайған сайын және әзірлеушілер MsgFoo1x тобына қосымша хабарларды қосқанда, ол ақырында BASE2_VAL асып кетеді.

Бұл код ақырында C ++ жүйесіне тасымалданады, сондықтан тек C ++ шешімі болса (үлгі сиқыры?), Бұл жақсы, бірақ C және C ++ тілдерімен жұмыс істейтін шешім жақсырақ.

Бұл компиляция уақытын тексерудің бірнеше жолы бар, бірақ олар әрқашан сіз үшін жұмыс істемеуі мүмкін. MsgFoo2A алдынан "маркер" маркер мәнін кірістіру арқылы бастаңыз.

typedef enum (MsgFoo1A = BASE1_VAL, MsgFoo1B, MsgFoo1C, MsgFoo1D, MsgFoo1E, MARKER_1_DONT_USE, / * Бұл мәнді пайдаланбаңыз, бірақ оны осында қалдырыңыз. * / MsgFoo2A = BASE2_VAL, MsgFoo2B) FOO;

Енді бізге MARKER_1_DONT_USE екеніне көз жеткізудің жолы қажет< BASE2_VAL во время компиляции. Есть два распространенных метода.

Теріс өлшемді массивтер

Теріс өлшемі бар массивті жариялау кезінде қате орын алды. Бұл аздап жағымсыз көрінеді, бірақ ол жұмыс істейді.

extern int IGNORE_ENUM_CHECK [MARKER_1_DONT_USE> BASE2_VAL? - он бір ];

MARKER_1_DONT_USE BASE_2_VAL мәнінен үлкен болса, кез келген дерлік жазылған компилятор қате жасайды. GCC түкіреді:

сынақ. c: 16: қате: ‘IGNORE_ENUM_CHECK’ жиымының өлшемі теріс

Статикалық бекітулер

Егер компилятор C11-ді қолдаса, _Static_assert пайдалана аласыз. C11 қолдауы барлық жерде бола бермейді, бірақ компиляторыңыз бәрібір _Static_assert қолдау көрсете алады, әсіресе сәйкес C ++ функциясына кеңінен қолдау көрсетілетіндіктен.

_Static_asssert (MARKER_1_DONT_USE< BASE2_VAL , "Enum values overlap." );

GCC келесі хабарламаны шығарады:

сынақ. c: 16: 1: қате: статикалық бекіту сәтсіз аяқталды: "Enum мәндері қабаттасып жатыр." _Static_asssert (MARKER_1_DONT_USE< BASE2_VAL , "Enum values overlap." ); ^

Басқа тәсіл қолмен тексеруге үміткерлерді анықтау үшін gccxml (немесе ыңғайлырақ pygccxml) сияқты нәрсені пайдалану болуы мүмкін.

Мен барлық нөмір мүшелерін автоматты түрде не тексеретіні туралы ештеңе білмеймін, бірақ инициализаторларға (немесе олар негізделген макростарға) болашақ өзгерістердің қайшылықтар тудырмайтынын тексергіңіз келсе:

ауыстырып-қосқыш (0) (MsgFoo1A: үзіліс; MsgFoo1B: үзіліс; MsgFoo1C: үзіліс; MsgFoo1D: үзіліс; MsgFoo1E: үзіліс; MsgFoo2A: үзіліс; MsgFoo2B: үзіліс;)

егер интегралдық мәндердің кез келгені қайта пайдаланылса, компилятор қатесіне әкеледі және компиляторлардың көпшілігі тіпті қандай мән (сандық мән) мәселе болғанын айтып береді.

Мен мұны тілдің өзі арқылы анықтаудың жолы бар деп сенбеймін, өйткені екі санау мәнінің бірдей болуын қалайтын ықтимал жағдайлар бар. Дегенмен, барлық анық орнатылған элементтер тізімнің басында екеніне әрқашан көз жеткізуге болады:

typedef enum (MsgFoo1A = BASE1_VAL, // 5 MsgFoo2A = BASE2_VAL, // 7 MsgFoo1B, // 8 MsgFoo1C, // 9 MsgFoo1D, // 10 MsgFoo1E, // 11 MsgFoo2 //1 FOO;

Белгіленген мәндер жоғарғы жағында болғанша, қандай да бір себептермен макростар бірдей мәндерге дейін кеңеймейінше, ешқандай соқтығыс болмайды.

Әдетте бұл мәселе әрбір MsgFooX тобы үшін бекітілген бит санын қамтамасыз ету және әр топтың толып кетпеуін қамтамасыз ету арқылы шешіледі, ол биттердің санын бөледі. «Биттер саны» шешімі жақсы, себебі ол қандай хабарлар тобына жататынын анықтау үшін биттік тестілеуге мүмкіндік береді. Бірақ бұл үшін кіріктірілген тіл функциясы жоқ, себебі екі бірдей мәнге ие нөмір үшін заңды жағдайлар бар:

typedef enum (сұр = 4, // Gry бірдей сұр болуы керек = 4, түс = 5, // Кейбір жағдайларда да мағынасы бар couleur = 5) FOO;

Бізде толық көрініс болмаса да, санау мәндерін қалпына келтіре алсаңыз, бұл мәселені шешуге болады.

Бір жерде бұл жарияланған:

enum E (A = 0, B = 0);

басқа жерде біз бұл механизмді құрастырамыз:

үлгі< typename S , S s0 , S ... s >struct бірінші_қалған_бірдей_емес: std :: true_type (); үлгі< typename S , S s0 , S s1 , S ... s >біріншіден_бір_дей емес_құрылым: std :: интеграл_тұрақты< bool , (s0 != s1 ) && first_not_same_as_rest < S , s0 , s ... >:: мән> (); үлгі< typename S , S ... s >struct is_distinct: std :: true_type (); үлгі< typename S , S s0 , S ... s >құрылым ерекше: std :: интегралдық_тұрақты< bool , std :: is_distinct < S , s ...>:: мәні && бірінші_қалғанымен_бірдей_емес< S , s0 , s ... >:: мән> ();

Сізде бұл жабдық (C ++ 11 қажет) болғаннан кейін біз келесі әрекеттерді орындай аламыз:

static_asssert (айырықша< E , A , B >:: мән, «Е-де қайталанатын мәндер анықталды»);

және компиляция уақытында біз екі элемент жоқ екеніне көз жеткіземіз.

Бұл O (n) рекурсия тереңдігін қажет етеді, ал O (n ^ 2) компиляция уақытында компилятормен жұмыс істейді, сондықтан өте үлкен сандар үшін бұл проблемалар тудыруы мүмкін. AO (lg (n)) және O (n lg (n)) әлдеқайда үлкен тұрақты коэффициентпен жұмыс істейді, алдымен элементтер тізімін сұрыптау арқылы жасалуы мүмкін, бірақ бұл әлдеқайда көп.

C ++ 1y-C ++ 17 үшін ұсынылған санама түрлендіру коды арқылы бұл элементтерді қайталамай орындауға болады.

Маған осы жерде жарияланған жауаптардың ешқайсысы ұнамады, бірақ олар маған біраз идеялар берді. Ең маңызды әдіс - коммутатор операторын қолдануға Бен Войттың жауабын пайдалану. Коммутатордағы бірнеше жағдайда бірдей нөмір болса, сіз құрастыру қатесін аласыз.

Маған ең пайдалы, мүмкін түпнұсқа постер, ол C ++ мүмкіндіктерін қажет етпейді.

Заттарды тазалау үшін мен aaronps жауабын қолдандым: C ++ санауын және тәуелді деректер құрылымын жасау кезінде өзімді қайталамауды қалай болдырмауға болады?

Алдымен оны бір жерде кейбір тақырыпта анықтаңыз:

#define DEFINE_ENUM_VALUE (атауы, мәні) атауы = мән, #define CHECK_ENUM_VALUE (аты, мәні) іс атауы: #define DEFINE_ENUM (enum_name, enum_values) \ typedef enum (enum_values ​​(DEFINE_ENUM_VALUE) enum_name;) #CHECK_ENUM мәнін анықтаңыз (енум_атауы, нөмір_мәндері) \ enum_name жарамсыз ## _тест (жарамсыз) (қосқыш (0) (сандық_мәндер (CHECK_ENNUM_VALUE);))

Енді санау қажет болғанда:

#ТҮС_МӘНДЕРІН анықтау (GEN) \ GEN (Қызыл, 1) \ GEN (Жасыл, 2) \ GEN (Көк, 2)

Соңында, бұл жолдар нақты листинг үшін қажет:

DEFINE_ENUM (Түс, COLOR_VALUES) CHECK_ENUM (Түс, COLOR_VALUES)

DEFINE_ENUM санау деректер түрін жасайды. CHECK_ENUM барлық санау мәндерін қамтитын сынақ функциясын орындайды. Егер сізде көшірмелер болса, CHECK_ENUM құрастыру кезінде компилятор бұзылады.

Қазіргі жағдайды талдап көрейік.

Алдымен, бір биіктікті өлшеудің әртүрлі әдістері неге әртүрлі нәтижелерге әкелгенін анықтайық.

Бір қарағанда, бірінші әдіс ең сенімді болып табылады. Ғимараттың бетіне таспа шарасын қолданып, қажетті биіктікті анықтаймыз. Нақтырақ талдау бұл мүлдем дұрыс емес екенін көрсетеді. Ғимарат аздап еңіс, ал өлшемдер жүргізілген жердегі қабырға белгілі бір қисықтыққа ие болады - ол дөңес, көшеге қарай. Бұл ғимараттың биіктігін емес, қабырғаның биіктігіне байланысты ұзындығын өлшегенімізді білдіреді.

Екінші әдіс – жанама өлшеу. Доптың құлау уақытын өлшеп, біз белгілі формуланы пайдаланып биіктікті есептейміз еркін құлау: h = gt 2/2. Бұл жолы өлшем шынымен биіктікке әсер етеді. Бірақ, біз доптың ауада қозғалатынын, демек, қоршаған ортаның қарсылығын сезінетінін ұмытып кеттік. Демек, формула бойынша есептелген мән де ғимарат биіктігінің шынайы мәні емес.

Үшінші өлшем, екінші сияқты, жанама. Биіктігі геометриялық тұрғыдан анықталады: в тікбұрышты үшбұрышқарама-қарсы катеттің ұзындығы көршілес катет ұзындығының бұрыштың жанамасының көбейтіндісіне тең. Біздің жағдайда биіктік бір аяқтың рөлін атқарады, ал лазерден ғимаратқа дейінгі қашықтық екіншісінің рөлін атқарады. Бұл жолы бізді ғимарат тұрған мінсіз көлденең беттің болжамы басқарды. Нәтиже - биіктік емес мән қайтадан өлшенді, бірақ қазір басқа себеппен.

Сонымен, әрбір әдісте кейбіреулер бар тұрақты факторлар(әрбір жағдайда өздерінің және олардың бірнешеуі болуы мүмкін), бұл пайда болуына әкеледі жүйелі қатеосылайша өлшеу. Бір шаманың мәні бірдей шарттарда өлшенген сайын жүйелі қателік бірдей мәнге ие болады. Егер бұл факторларды тиісті түзетулер енгізу арқылы ескеретін болса, онда өлшенетін шаманың нақты мәніне жақындауға болады, содан кейін әртүрлі әдістермен өлшеу нәтижелері (жүйелі қатені түзетуді ескере отырып) болуы мүмкін. әбден жақын. Осылайша, негізінен жүйелі қателерді есепке алуға және тіпті алып тастауға болады бірақ мұны іс жүзінде орындау өте қиын болуы мүмкін.

Енді бір биіктіктегі бірнеше өлшемдердің бірдей жолмен (бірдей құралдар жиынтығын қоса) неге бір-бірінен әртүрлі мәндерге әкелуі мүмкін екенін анықтауға тырысайық. Бұл бірқатар себептерге байланысты кездейсоқ факторлар... Қарастырылған мысалда шағын болуы мүмкін механикалық тербелістопырақ, ғимараттар мен құрылғылар, қабырғаның сызықтық өлшемдерінің өзгеруіне байланысты жылу эффектілері және пайдаланылған құрылғылар және т.б. Ақырында, жүріп жатқан процестерді қабылдаумен және осы қабылдауға реакциямен байланысты адам факторы да бар. Нәтижесінде бір шаманы қайталап өлшеу арқылы байланысты әртүрлі мәндерді алуға болады кездейсоқ қателер... Өлшеуден өлшеуге дейін кездейсоқ қате оның белгісін де, мәнін де өзгерте алады. Әсерлердің кездейсоқ сипатына байланысты мұндай қатенің шамасын алдын ала болжау мүмкін емес .

Біздің талдау заңды сұрақтарды тудырады:

1. Өлшенетін шаманың «шын» мәні қандай?

2. Қателерді ескере отырып, өлшеу нәтижелерін қалай ұсынуға болады?

Өйткені бұл сұрақтар қарастырылған мысалға ғана қатысты емес, бірақ

және кез келген басқа өлшемдер бойынша біз жалпылау мен жалпы ұсыныстарды әзірлеуге көшеміз.

Берілген нақты мысал көрсетті ортақ мүліккез келген өлшемдер үшін сипаттама - кез келген өлшеу қателермен бірге жүреді .

Сайып келгенде, бұл қасиет әрбір өлшем өлшеу процедурасына қатысушылардың белгілі бір өзара байланысты тізбегін болжайтындығына байланысты: бақылаушы – өлшеу құралы – талданатын объект – «сыртқы орта».

Бұл тізбектің элементтері біріктірілген орасан зор сомаәрекеттесулер мен қозғалыстар. Өлшеу процесі кезінде талданатын объект, өлшеу құралы және бақылаушы өлшеу нәтижесіне әсер ететін әртүрлі әсерлерге (соның ішінде өзара) ұшырауы мүмкін.

Әрине, өлшеу процедурасына тікелей қатысы жоқ әсерлерді азайтып, болмай қоймайтын әсерлерді есепке алуға тырыссақ, онда өлшеуіміздің дәлдігі артады. Бірақ мүлдем дәл өлшеу принцип бойынша мүмкін емес. Және бұл көбінесе өлшенетін шамалардың табиғатына байланысты.

Мысалы, біз металл шыбықтың ұзындығын абсолютті дәл өлшегіміз келсе, біз кристалдық тордың түбегейлі сөзсіз (өте аз болса да) тербелістерінің болуын анықтаймыз. Таяқшаның нақты «шын» ұзындығы жоқ. Ол үнемі кездейсоқ өзгеріп отырады, ең көп таралған мәндердің кейбірінен бір немесе басқа бағытта ауытқиды. Біз бұл мәнді ұзындықтың «шын» мәні ретінде қабылдай аламыз және онымен әрі қарай жұмыс істей аламыз, стерженнің ұзындығы туралы айтамыз немесе бұл мәнді кез келген есептеулер үшін пайдалана аламыз, мысалы, өзек көлемін анықтау үшін.

Мұндай жағдай басқа да көптеген өлшемдерде кездеседі. Өлшенетін шамалардың өзі кездейсоқ өзгеруі мүмкін, бұл жоғарыда айтылғандай, осы шамалардың физикалық табиғатына байланысты. Осылайша біз бетпе-бет келіп отырмыз кездейсоқ факторлардың түбегейлі сөзсіздігі ... Оларды азайтуға болады, бірақ оларды толығымен жою мүмкін емес. Демек, өлшеу нәтижелерін ұсынған кезде біз кездейсоқ өлшеу қателіктерін ескере отырып, шаманың «шын» мәнін бағалауға қатысты ақпаратты ұсынуымыз керек. (жүйелі қатені алып тастау немесе тиісті түзету түрінде есепке алу шартымен). Мұндай ақпаратты бірнеше өлшемдердің нәтижелері бойынша барынша толық беруге болатыны анық.

Орыс тілінде сирек емес. Көбінесе бір сөзді мүлдем басқа объектілерді немесе құбылыстарды атау және/немесе сипаттау үшін қолдануға болады. Мұндай сөздердің бір негізгі мағынасы бар – бастапқы, тура және бір (немесе бірнеше) – астарлы, астарлы, астарлы. Соңғысы әдетте қандай да бір белгі, ұқсастық, ассоциация негізінде туындайды.

Көп мағыналы зат есімдерге мысалдар

Зат есімдердің ішінде қос мағыналы сөздерге мысалдар көп. Міне, олардың бірнешеуі ғана:

Сөз	Тікелей мағына	Бейнелі мағына
Билет	Ұшақ немесе пойыз билеті, театр немесе кино билеті.	Емтихан билеті.
Төбе	Шашқа арналған құрал, тарақ.	Толқынның немесе таудың шыңы.
Сөз	Сөйлеу бірлігі.	Әдеби жанр... Мысалы, «Игорь полкі туралы сөз».
Қол	Дене бөлігі – оң қол, сол қол.	Адамның орны, ұстанымы – «Ол менің оң қолым». «Қолжазба», орындалу тәсілі, танылатын авторлық штрих – «ұлы суретшінің қолы». Физикалық күш - бұл «ауыр қол».
Щетка	Қол – білезіктен саусақ ұшына дейінгі дене бөлігі.	Бояулармен бояуға арналған құрал.
Жұмыс	Адамның дене еңбегі, күш-жігері, кәсібі.	Дене еңбегінің көзге көрінетін нәтижесі «Жақсы жұмыс!».
Парақ	Ағашта өсіп тұрған жапырақ.	Қағаз парағы, дәптер немесе пейзаж парағы.
Түбір	Ағаш тамыры. Ағаштың жер астында жатқан бөлігі.	Санның математикалық түбірі. Мысалы, 4-тің түбірі 2-ге тең. Қандай да бір құбылыстың немесе оқиғаның себебі «жамандықтың тамыры», «проблемалардың тамыры».
Міндет	Бір адамның екінші адамға уәде еткен ақша сомасы немесе материалдық құндылығы қарыз алудың нәтижесі болып табылады.	Бір нәрсеге моральдық ұмтылу, адамгершілік парыз.

Бұл толық тізім емес. Бүкіл шығарманы құрастыру мүмкін емес шығар, өйткені орыс тілінде қос мағыналы сөздер қанша бір мағыналы болса, сонша дерлік бар.

Полисемантикалық сын есімдерге мысалдар

Әртүрлі заттарбір сөз атауға ғана емес, мінездеме беруге де болады. Міне, осындай сөздердің кейбір мысалдары:

Сөз	Тікелей мағына	Бейнелі мағына
Болат	Болаттан жасалған. Мысалы, болат пышақ.	Өте күшті, мызғымас – «болат жүйке».
Алтын	Алтыннан жасалған – «алтын сырға», «алтын алқа».	Өте құнды, мейірімді, көрнекті адамгершілік қасиеті- «алтын адам», «алтын бала», «алтын жүрек».
Ауыр	Көп физикалық күш салу – «қажырлы еңбек».	Басқаларға шыдауы қиын нәрсе туралы – «қиын адам», «қиын мінез».
Ақ	Ақ – «ақ қар», «ақ парақ».	Үнтаспасыз өлең – «ақтаңдақ өлең».
Қара	Қара – «қара көздер», «қара маркер».	Ашулы, мысқыл, нәзік тақырыптарды дөрекі түрде қозғау – «қара юмор», «қара комедия».

Тағы да тізім толық емес. Сонымен қатар, қос мағыналы сөздер тізіміне бір мезгілде түстерді, иістерді және / немесе дәмді сипаттайтын сын есімдерді қамтуы мүмкін: апельсин, таңқурай, лимон, қара өрік және т.б.

Көп мағыналы етістіктерге мысалдар

Іс-әрекет сөздері бірнеше мағынаға ие болуы мүмкін:

Сөз	Тікелей мағына	Бейнелі мағына
Отыру	Орындыққа, орындыққа, атқа отырыңыз.	Пойызға отырыңыз (сөзбе-сөз пойыздың төбесінде отырмаңыз, бірақ бейнелі түрде - ондағы орыныңызды алыңыз).
Түсу / түсу	Пойыздан түсуге, қалаған аялдамадан түсуге, дүкенге баруға болады.	«Бару / жынды болу».
Соғу	Соққы.	«Бұлақ бұлақпен атқылайды», «Өмір қайнап жатыр».
Кесу	Пышақпен немесе басқа өткір пышақпен бөліктерге бөліңіз.	Жағымсыз сезім тудырыңыз - «жарық көзді ауыртады», «дыбыс құлақты ауыртады».

Көбінесе қос мағыналы сөздер бастапқы орыс сөздері. Қарызға алынған терминдер әдетте бір мағынаны білдіреді.

Омонимдерден айырмашылығы

Қос мағыналы сөздерді омонимдерден ажырату өте маңызды: жазылуы бірдей әртүрлі сөздер. Бар көп мағыналы сөздертура, негізгі мағынасы бар және кез келген негізде тасымалданады. Омонимдер үшін барлық мағыналар тәуелсіз. «қалам» (есік) және «қалам» (жазба) омонимдер, өйткені олардың арасында ешқандай байланыс жоқ. Бірақ «спутник» сөзі екі жақты – аспан денесі адам серігі сияқты планетаны айналып қозғалатындықтан «серік» деп аталды.

Белгіге берілген анықтаманың өзінен-ақ оның негізгі сипаттамасы оның өзіне тән өкілдік қызметі: қандай да бір (анықталған) объектінің берілген тілде өкілі немесе алмастырғышы болуы екені анық. Және бұл - мағынасыбелгісі. Сөз белгілерінің мағынасы ішіндегі объектілер болуы мүмкін кең мағынасөздер - қандай да бір түрде бөлектеп, атауға болатын, бір нәрсе расталатын немесе жоққа шығарылатын барлық нәрсе. Айта кету керек, мағыналар, ең алдымен, тілден тыс шындықтың объектілері - табиғи және әлеуметтік. Сөз таңбасының тағы бір маңызды белгісі – оның мағынасы. Мағынасытілдік өрнекОл өзі бейнелейтін объектіні (немесе бір типті объектілердің жиынтығын) басқа объектілерден ажыратуға мүмкіндік беретін, онымен байланысты ауызша форматталған ақпарат болып табылады. Мысалы, «Ай» сөзінің мағынасы - әдеттегі қолданыста - оның «Жердің табиғи серігі» сияқты сипаттамасы болуы мүмкін; неміс тіліндегі «DerSchneeistwei» сөйлемінің орыс тіліндегі мағынасы «Қар аппақ» сөйлемімен қайталанады; «ұрлық» сөзінің мағынасы «бөтеннің мүлкін жасырын ұрлау» т.б.

Бір объект (немесе объектілер жиынтығы) үшін әртүрлі ажырату сипаттамалары мүмкін екенін ескеріңіз. Бұл екі түрлі өрнектің әртүрлі мағынаға ие болуы мүмкін екенін білдіреді, бірақ мағынасы бірдей, мысалы, «тең қабырғалы үшбұрыш» және «тең қабырғалы үшбұрыш». Мағынасы бір сөздер (немесе сөз тіркестері) деп аталады эквивалентСонымен қатар, бір сөз бірнеше мағынаға ие болуы мүмкін, сондықтан экспрессиялануы мүмкін әртүрлі ұғымдар(мағыналары). Бұл құбылыс деп аталады екіұштылық... Сөздердің көп мағыналылығы ғылыми және кәсіби қарым-қатынаста орынсыз.

Мағына – сөз бен ол білдіретін заттың арасындағы байланыстырушы буын. Кейбір тілдік өрнектерге мағына беру тілге жаңа терминдерді енгізудің және бұрыннан бар сөздердің мағынасын нақтылаудың маңызды логикалық тәсілі болып табылады.

Мағына туралы айтқанда, біз айтамыз Түзусөздер мен сөз тіркестерінің мағынасына қарағанда, мысалы, жанама, бейнелі («ақ алтын», «қара алтын», «махаббат қанатында ұшады» және кейбір заттардың, процестердің, құбылыстардың басқалармен белгілі бір ұқсастығын ғана көрсететін метафоралық өрнектер). Тікелей мағынаны да «сөзбе-сөз» немесе ажырату керек этимологиялықмағынасы («география» сөзбе-сөз Жерді сипаттау, «өтірік» сөзбе-сөз «сөйлеу», «сөйлеу» т.б.).

Мағына мен мағынаға келетін болсақ, логикада белгінің мағынасы оның мағынасының қызметі деп жалпы қабылданған. Бұл мағынаның ерекше рөлін атап көрсетеді: ол белгімен көрсетілген нысанды бір мағыналы түрде көрсетеді, оны көптеген басқалардан ойша ажыратады.

Қоғамда да, әрбір жеке адамда да мағыналық ортасыз мағыналарымен корреляцияланатын сөздердің белгілі бір қоры болуы шарт екені анық. Мұнда мағыналарымен байланысы сөздің айтылуында және оның мағынасын бір мезгілде сезімдік қабылдауда, мысалы, түс («қызыл»), иіс, кеңістіктік конфигурацияда белгіленетін сөздерді белгілер ретінде қолданамыз. тағайындалған объект және т.б.

Табиғи тілдегі сөз тіркестерінің сөйлем мүшелеріне бөлінуін бәрі біледі. Логикалық «грамматикада» ұқсас бөлімше бар, бірақ басқа негізде, атап айтқанда, сөздермен (немесе сөз тіркестерімен) бейнеленген ойлау объектілерінің түріне байланысты.

Нысандардың бірінші түріне жеке элементтер кіреді. Біз мұндай таным объектілерін бір типті объектілерден әрқайсысының жеке айырмашылығы бар жеке объектілер ретінде қарастырамыз: 7 саны, А.С. Пушкин, Луна және т.б. Жеке субъектілерге сәйкес келетін тілдік өрнектердің логикалық категориясы болып табылады бойдақ атаулар.Олардың мағынасы олармен байланысты ақпарат болып табылады, бұл бір ғана нысанды бір типті объектілер жиынтығынан бір мәнді түрде ажыратуға мүмкіндік береді. Мұндай атаулардың мысалдары: «Петр 1», «Ресей Федерациясының қазіргі президенті», «Евгений Онегин» романының авторы, «Жеңіс күнінің 66 жылдығын мерекелеу. фашистік Германия« және т.б. Жалқы есімдер екіге бөлінеді сипаттамалық (күрделі)және одан әрі сипаттамасыз (қарапайым)атаулар. Қарапайым (сипатталмаған) атауларға мысал ретінде «Эверест», «Ю.А. Гагарин «, күрделі (сипаттау) атаулардың мысалдары - «Алғашқы ұшқыш-ғарышкер», «Еуропадағы ең үлкен өзен».

Объектілердің екінші түрі – объектілердің қасиеттері және олардың арасындағы байланыс. Тілдегі осындай объектілерді білдіретін өрнектер шақырылады әмбебаптар... Әмбебаптардың мысалдары: «Бұл кесте дөңгелек» деген сөйлемдегі «кесте» сөзі; «Иван Петрдің ағасы» деп жариялаудағы «аға» сөзі; «Ұрлық - қылмыс» деген сөйлемдегі «қылмыс» сөзі. Әмбебап сөйлемде қосарлы рөл атқара алатындығымен сипатталады: 1) логикалық «предикаттың» бөлігін құрайды, яғни «Бұл кесте дөңгелек"; бұл функцияда әмбебаптар шақырылады предикаттар; 2) логикалық «субъект» болу, яғни. мәлімдемеде «Кез келген қылмысқоғамға қауіпті». Мұндай әмбебаптар деп аталады пәндер.

Объектілердің үшінші түрі жағдайлар (жағдайлар)... Жағдайлар үшін қолайлы логикалық категориятілдік өрнектер құрайды баяндауыш сөйлемдер.Мысалы, «Еділ Каспий теңізіне құяды» деген сөйлемде Еділдің Каспий теңізіне құятын жағдайдың болуы, ал үшбұрыштың бұрыштарының қосындысы 180 ° -қа тең болған жағдай көрсетіледі. сөйлемде «Үшбұрыштың бұрыштарының қосындысы 2d-ге тең» т.б. Жағдаяттар оларды білдіретін сөйлемдердің жай немесе күрделі болуына қарай жай немесе күрделі болуы мүмкін. Күрделі сөйлемдерге және сәйкесінше жағдаяттарға мысалдар: «Егер сан 6-ға бөлінсе, онда ол 2-ге бөлінеді»; Бұл кезде Жан мен оның әкесі үйде болған», - дейді ол.

Үкімнің мағынасы – үкім. Бір табиғи тілден екінші табиғи тілге дұрыс аударма болып табылатын екі сөйлемді салыстыра отырып, пайымдау мен сөйлемнің айырмашылығын байқауға болады (пайымдаудың таңбалық формасы ретінде): таңба құрылымдары әртүрлі, бірақ олардың мағынасы бірдей. Сөйлемнің мағынасыжәне үкім бар. Әңгіме тілдің логикалық талдауы туралы болғандықтан, сөйлемнің мағынасы абстрактілі объектілердің кез келгені болып саналады. шыннемесе Өтірік.Сонымен, «Еділ Каспий теңізіне құяды» деген тұжырым шындықты білдіреді (өйткені бұл ұсыныс шындықтағы жағдайды көрсетеді), ал «Еділ Қара теңізге құяды» деген сөз өтірік (бұл шындыққа сәйкес келмейтіндіктен). ).

Әрбір ғылымның өзіне тән терминдері бар. Математикалық терминдер туралы айтуға болады: «сан», «геометриялық фигура», «жиын»; «масса», «элементар бөлшек», «электр заряды» сияқты физикалық терминдер бар; биологияда «жасуша», «ағза», «тұқым қуалаушылық» терминдері пайда болады; медицинада – «симптом», «синдром», «ауру»; заң ғылымында – «құқықтық норма», «қылмыс», «ұрлық». Бұл өрнектер категорияны құрайды сипаттайтын терминдер(латынша сипаттама – сипаттау), олардың әрқайсысы белгілі бір объект, кейбір қасиет немесе ұқсас объектілердің жиынтығы және т.б. Біздің талдауымызда сипаттау терминдері атаулар мен әмбебаптар болып табылады.

Кез келген ғылым тілінде өзінің пәндік саласының объектілерін сипаттайтын сипаттау терминдерімен қатар барлық ғылымдарда қолданылатын өрнектер қолданылады. Оларға «және», «немесе», «егер, онда», «жалған бұл», «онда, содан кейін ғана» сияқты кейбір бөлшектер мен конъюнктуралар жатады. Осы терминдердің көмегімен жай сөйлемдерден (пікірлерден) күрделі (құрама) сөйлемдер жасалады. «Пәнаралық» терминдердің бір тобына «бар» («мәні»), «барлығы» («әрқайсысы»), «кейбір» («бар»), «жоқ» тіркестері жатады, олардың көмегімен қарапайым жалғыз және бірнеше (жалпы және жеке) пайымдаулар.Олар категорияны құрайды логикалық терминдер(логикалық тұрақтылар).

Ешбір пайымдауды логикалық терминдерсіз айту мүмкін емес. Олар оларды барынша анықтайды жалпы құрылым – логикалық пішін, олармен байланысты логикалық қатынасжәне логика заңдары. Бұл терминдердің кейбіреулері сөздің қысқа болуы үшін кейде алынып тасталады, мысалы, «Адам өледі» деген сөзде. Үкімдерді логикалық талдауда біз олардың логикалық мазмұнын нақтылауға, олардың ақиқат немесе жалғандығы туралы мәселені шешуге мүмкіндік беретін осы «олқылықтардың» барлығын қалпына келтіруге міндеттіміз. Атап айтқанда, жаңа ғана келтірілген мәлімдеме келесі формада болады: «Барлық адамдар өледі». Осындай қайта құру мен аяқтағаннан кейін бұл сөйлемдер кейде біршама ыңғайсыз болып кетсе де, олар арқылы айтылған ойлар айқындық пен сенімділікке ие болады.