ABD'ye oy verin (6)

C/C++ numaralandırmasında yinelenen değerleri algılamanın/önlemenin bir derleme yolu var mı?

İşin püf noktası şu ki açık değerlerle başlatılan birkaç öğe var .

Arka plan:

Bazı C kodlarını miras aldım, örneğin:

#define base1_val (5) #define base2_val (7) typedef enum (msgfoo1a = base1_val, // 5 msgfoo1b, // 6 msgfoo1d, // 7 msgfoo1d, // 8 msgfoo1e, // 9 msgfoo2a = base2_val, // uh ! yine 7... MsgFoo2B // Ah yine... ) FOO ;

Sorun şu ki, kod büyüdükçe ve geliştiriciler MsgFoo1x grubuna daha fazla mesaj ekledikçe, sonunda BASE2_VAL değerini aşıyor.

Bu kod eninde sonunda C++'a taşınacaktır, dolayısıyla yalnızca bir C++ çözümü varsa (şablon büyüsü?) sorun değil - ancak hem C hem de C++ ile çalışan bir çözüm daha iyidir.

Bu derleme süresini kontrol etmenin birkaç yolu vardır, ancak bunlar her zaman işinize yaramayabilir. MsgFoo2A'nın hemen öncesine "token" belirteç değerini ekleyerek başlayın.

typedef enum ( MsgFoo1A = BASE1_VAL , MsgFoo1B , MsgFoo1C , MsgFoo1D , MsgFoo1E , MARKER_1_DONT_USE , /* Bu değeri kullanmayın, burada bırakın */ MsgFoo2A = BASE2_VAL, MsgFoo2B) FOO;

Artık MARKER_1_DONT_USE olmasını sağlayacak bir yola ihtiyacımız var< BASE2_VAL во время компиляции. Есть два распространенных метода.

Negatif Boyutlu Diziler

Negatif boyutlu bir dizi bildirilirken hata oluştu. Biraz çirkin görünüyor ama işe yarıyor.

extern int IGNORE_ENUM_CHECK [ MARKER_1_DONT_USE > BASE2_VAL ? - 1 : 1 ];

MARKER_1_DONT_USE, BASE_2_VAL'den büyükse, şimdiye kadar yazılan hemen hemen her derleyici hata üretir. GCC şunları söylüyor:

test. c: 16: hata: ' IGNORE_ENUM_CHECK ' dizisinin boyutu negatif

Statik iddialar

Derleyiciniz C11'i destekliyorsa _Static_assert'i kullanabilirsiniz. C11 desteği her yerde mevcut değildir, ancak derleyiciniz yine de _Static_assert'i destekleyebilir, özellikle de C++'daki ilgili işlev yaygın olarak desteklendiğinden.

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

GCC aşağıdaki mesajı yayınlıyor:

test. c : 16 : 1 : hata : statik iddia başarısız oldu : "Enum değerleri çakışıyor." _Static_assert (MARKER_1_DONT_USE< BASE2_VAL , "Enum values overlap." ); ^

Başka bir yaklaşım, manuel incelemeye adayları belirlemek için gccxml (veya daha uygun bir şekilde pygccxml) gibi bir şey kullanmak olabilir.

Tüm numaralandırma üyelerini otomatik olarak neyin kontrol edeceği hakkında hiçbir şey bilmiyorum, ancak başlatıcılarda (veya güvendikleri makrolarda) gelecekteki değişikliklerin çakışmalara neden olmadığını kontrol etmek istiyorsanız:

anahtar (0) ( case MsgFoo1A : break ; case MsgFoo1B : break ; case MsgFoo1C : break ; case MsgFoo1D : break ; case MsgFoo1E : break ; case MsgFoo2A : break ; case MsgFoo2B : break ; )

İntegral değerlerden herhangi biri yeniden kullanılırsa derleyici hatasıyla sonuçlanacaktır ve çoğu derleyici size sorunun hangi değerde (sayısal değer) olduğunu bile söyleyecektir.

İki enum değerinin aynı olmasını istediğiniz akla yatkın durumlar olduğu göz önüne alındığında, bunu dilin kendisiyle tespit etmenin bir yolu olduğuna inanmıyorum. Ancak, açıkça belirtilen tüm öğelerin her zaman listenin başında olduğundan emin olabilirsiniz:

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

Atanan değerler en üstte olduğu sürece, makrolar herhangi bir nedenle aynı değerlere genişlemedikçe çarpışma meydana gelmez.

Tipik olarak bu sorun, her MsgFooX grubu için sabit sayıda bit sağlanarak ve her grubun taşmadığından emin olunarak bir dizi bit tahsis edilerek aşılır. Bit Sayısı çözümü iyidir çünkü bir şeyin hangi mesaj grubuna ait olduğunu belirlemek için parça parça test yapılmasına olanak tanır. Ancak bunun için yerleşik bir dil özelliği yoktur, çünkü aynı değerlerden ikisine sahip bir enum için geçerli durumlar vardır:

typedef enum ( grey = 4 , //Gry aynı olmalı grey = 4 , color = 5 , //Ayrıca bazı durumlarda anlamlıdır couleur = 5) FOO;

Tam yansımamız olmasa da, enum değerlerini geri yükleyebilirseniz bu sorunu çözebilirsiniz.

Bu bir yerde belirtiliyor:

numaralandırma E(A=0,B=0);

Başka yerlerde bu mekanizmayı kuruyoruz:

şablon< typename S , S s0 , S ... s >struct ilk_aynı_as_rest : std :: true_type (); şablon< 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 ... >::değer>(); şablon< typename S , S ... s >struct is_distinct : std :: true_type (); şablon< typename S , S s0 , S ... s >yapı is_distinct : std :: integral_constant< bool , std :: is_distinct < S , s ...>:: değer && ilk_aynı_as_rest_değil< S , s0 , s ... >::değer>();

Bu donanıma sahip olduğunuzda (C++11 gerektirir), aşağıdakileri yapabiliriz:

static_assert(is_distinct< E , A , B >::değer "E'de yinelenen değerler algılandı");

ve derleme zamanında iki öğenin olmadığından emin oluruz.

Bu, O(n) özyineleme derinliğini ve derleme zamanında derleyici tarafından O(n^2) çalışma süresini gerektirir, bu nedenle aşırı büyük numaralandırmalar için bu sorunlara neden olabilir. AO(lg(n)) ve O(n lg(n)) çok daha büyük bir sabit faktörle çalışır, önce elementlerin listesi sıralanarak yapılabilir, ancak bundan çok daha fazlası vardır.

C++1y-C++17 için önerilen enum dönüşüm koduyla bu, elemanları tekrar etmeden yapılabilecektir.

Burada yayınlanan yanıtların hiçbirini beğenmedim, ancak bana bazı fikirler verdiler. En önemli yöntem, Ben Voight'un switch ifadesinin kullanımına ilişkin cevabını kullanmaktır. Bir anahtardaki birden fazla durum aynı numaraya sahipse derleme hatası alırsınız.

Bana ve belki de orijinal postere en faydalı olan şey, herhangi bir C++ özelliği gerektirmemesidir.

İşleri açıklığa kavuşturmak için Aaronps'un cevabını kullandım: C++ numaralandırması ve bağımlı veri yapısı oluştururken kendimi tekrar etmekten nasıl kaçınabilirim?

İlk önce bir yerde bir başlıkta tanımlayın:

#define DEFINE_ENUM_VALUE (ad, değer) ad = değer, #define CHECK_ENUM_VALUE (ad, değer) vaka adı: #define DEFINE_ENUM (enum_name, enum_values) \ typedef enum ( enum_values ​​​​(DEFINE_ENUM_VALUE)) enum_name; #define CHECK_ENUM (enum_name, enum_values ​​​​) \ void enum_name ## _test (void) ( switch(0) ( enum_values(CHECK_ENUM_VALUE); )) )

Şimdi bir numaralandırmaya ihtiyacınız olduğunda:

#define COLOR_VALUES (GEN) \ GEN (Kırmızı, 1) \ GEN (Yeşil, 2) \ GEN (Mavi, 2)

Son olarak, gerçek numaralandırma için şu satırlara ihtiyaç vardır:

DEFINE_ENUM (Renkli, COLOR_VALUES) CHECK_ENUM (Renkli, COLOR_VALUES)

DEFINE_ENUM Bir numaralandırma veri türü oluşturur. CHECK_ENUM, tüm numaralandırma değerlerini içeren bir test işlevi gerçekleştirir. Kopyalarınız varsa CHECK_ENUM derlenirken derleyici çökecektir.

Mevcut durumu analiz edelim.

İlk olarak, aynı yüksekliği ölçmenin farklı yollarının neden farklı sonuçlara yol açtığını öğrenelim.

İlk bakışta ilk yöntem en güvenilir olanıdır. Binanın yüzeyine bir mezura uygulayıp gerekli yüksekliği belirliyoruz. Daha yakından yapılan bir analiz bunun tamamen doğru olmadığını gösteriyor. Binanın hafif bir eğime sahip olduğu ve ölçümlerin alındığı yerdeki duvarın belli bir eğriliğe sahip olduğu - dışbükey ve sokağa doğru olduğu ortaya çıktı. Bu, binanın yüksekliğini değil, yükseklikle ilişkili duvar uzunluğunu ölçtüğümüz anlamına geliyor.

İkinci yöntem ise dolaylı ölçümdür. Topun düşme süresini ölçerek yüksekliği şu şekilde hesaplarız: bilinen formülİçin serbest düşüş: h = gt 2/2. Bu sefer ölçüm gerçekten yükseklikle ilgili. Ancak topun havada hareket ettiğini ve dolayısıyla çevreden gelen dirençle karşılaştığını unuttuk. Dolayısıyla formülle hesaplanan değer aynı zamanda bina yüksekliğinin gerçek değeri de değildir.

Üçüncü boyut da ikinci boyut gibi dolaylıdır. Yükseklik geometrik hususlara göre belirlenir: dik üçgen karşı bacağın uzunluğu, bitişik bacağın uzunluğu ile açının tanjantının çarpımına eşittir. Bizim durumumuzda yükseklik bir tarafın rolünü, lazerden binaya olan mesafe ise diğer tarafın rolünü oynuyor. Bu kez binanın üzerinde durduğu mükemmel yatay yüzey varsayımı bizi hayal kırıklığına uğrattı. Sonuç: Yine yükseklik olmayan bir miktarı ölçtük, ancak şimdi farklı bir nedenden dolayı.

Yani her yöntemde bazı sabit faktörler(her durumda kendilerine ait ve birkaç tane olabilir), bu da görünüme yol açar sistematik hata Bu yöntemi kullanarak ölçümler yapın. Aynı miktarın değeri aynı koşullar altında her ölçüldüğünde sistematik hata aynı değere sahiptir. Uygun düzeltmeler getirilerek bu faktörler dikkate alınırsa, ölçülen miktarın gerçek değerine yaklaşılabilir ve daha sonra farklı yöntemler kullanılarak yapılan ölçüm sonuçları (sistematik hata düzeltmeleri dikkate alınarak) oldukça yakın olabilir. . Böylece, prensip olarak sistematik hatalar dikkate alınabilir ve hatta hariç tutulabilir , ancak bunu pratikte yapmak oldukça zor olabilir.

Şimdi aynı yöntemi kullanarak (aynı alet seti dahil) aynı yüksekliğin tekrarlanan ölçümlerinin neden farklı değerlere yol açabileceğini bulmaya çalışalım. Bu bir dizi şeyle ilgilidir rastgele hareket eden faktörler. Ele alınan örnekte küçük olabilir mekanik titreşimler toprak, binalar ve cihazlar, duvarın ve kullanılan cihazların doğrusal boyutlarındaki değişikliklerle ilişkili termal etkiler vb. Son olarak devam eden süreçlerin algılanması ve bu algıya verilen tepkiyle ilişkilendirilen insan faktörü de vardır. Sonuç olarak aynı miktarın tekrarlanan ölçümleri nedeniyle farklı değerler ortaya çıkabilir. rastgele hatalar. Rastgele bir hata, ölçümden ölçüme hem işaretini hem de büyüklüğünü değiştirebilir. Etkilerin rastgele doğası nedeniyle Böyle bir hatanın büyüklüğünü önceden tahmin etmek imkansızdır. .

Analizimiz mantıksal soruları gündeme getiriyor:

1. Ölçülen büyüklüğün “gerçek” değeri nedir?

2. Hatalar dikkate alınarak ölçüm sonuçları nasıl sunulur?

Bu sorular yalnızca ele alınan örnekle ilgili olmadığından, aynı zamanda

ve diğer ölçümler için genellemelere ve genel önerilerin geliştirilmesine geçeceğiz.

Verilen somut örnek gösterdi genel mülk, herhangi bir ölçümün özelliği, – herhangi bir ölçüme hatalar eşlik eder .

Bu özellik, sonuçta, herhangi bir ölçümün, ölçüm prosedüründe birbirine bağlı belirli bir katılımcı zincirini varsayması gerçeğinden kaynaklanmaktadır: gözlemci – ölçüm cihazı – analiz edilen nesne – “dış ortam”.

Bu zincirin elemanları birbirine bağlıdır çok büyük bir miktar etkileşimler ve hareketler. Ölçüm işlemi sırasında analiz edilen nesne, ölçüm cihazı ve gözlemci, ölçüm sonucunu etkileyen çeşitli etkilere (ortak olanlar dahil) maruz kalabilir.

Elbette ölçüm prosedürüyle doğrudan ilgili olmayan etkileri azaltırsak ve indirgenemez etkileri hesaba katmaya çalışırsak ölçümlerimizin doğruluğu artacaktır. Ancak prensipte kesinlikle doğru ölçüm mümkün değildir. Ve bu büyük ölçüde ölçülen büyüklüklerin doğasından kaynaklanmaktadır.

Örneğin, bir metal çubuğun uzunluğunu kesinlikle doğru bir şekilde ölçmek istiyorsak, kristal kafesin temelde indirgenemez (çok küçük de olsa) titreşimlerinin varlığını keşfedeceğiz. Çubuğun kesinlikle kesin bir "gerçek" uzunluğu yoktur. Sürekli olarak rastgele değişir, en sık meydana gelen değerden bir yönde veya başka bir yönde sapar. Bu değeri uzunluğun "gerçek" değeri olarak alabilir ve daha sonra çubuğun uzunluğundan bahsederken onunla çalışabilir veya bu değeri herhangi bir hesaplama için, örneğin çubuğun hacmini belirlemek için kullanabiliriz.

Bu tür bir duruma başka birçok boyutta da rastlanır. Ölçülen büyüklüklerin kendileri rastgele değişebilir; bu, yukarıda belirtildiği gibi, bu niceliklerin fiziksel doğasından kaynaklanmaktadır. Böylece karşı karşıyayız rastgele faktörlerin temel indirgenemezliği . En aza indirilebilirler ancak tamamen ortadan kaldırılamazlar. Buradan, Ölçüm sonuçlarını sunarken, rastgele ölçüm hatalarını dikkate alarak bir büyüklüğün "gerçek" değerine ilişkin değerlendirmemize ilişkin bilgi vermeliyiz. (Sistematik hatanın hariç tutulması veya uygun bir düzeltme şeklinde dikkate alınması şartıyla). Bu tür bilgilerin, çoklu ölçümlerin sonuçlarına dayanarak en eksiksiz şekilde sunulabileceği açıktır.

Rusça'da alışılmadık bir durum değil. Çoğunlukla aynı kelime tamamen farklı nesneleri veya olguları adlandırmak ve/veya karakterize etmek için kullanılabilir. Bu tür kelimelerin bir temel anlamı vardır - orijinal, gerçek ve bir (veya daha fazla) - mecazi, mecazi, mecazi. İkincisi genellikle bazı özellikler, benzerlikler veya ilişkiler temelinde ortaya çıkar.

Belirsiz isimlere örnekler

İsimler arasında çift anlamlı kelimelerin birçok örneğini bulabilirsiniz. İşte bunlardan sadece birkaçı:

Kelime	Doğrudan anlam	mecazi anlam
Bilet	Uçak veya tren bileti, tiyatro veya sinema bileti.	Sınav kartı.
Kret	Saç taramak için alet, tarak.	Bir dalganın veya dağın zirvesi.
Kelime	Konuşma ünitesi.	Edebi tür. Örneğin, "Igor'un Kampanyasının Hikayesi."
El	Vücut kısmı - sağ el, sol el.	Bir kişinin konumu, konumu - “O benim sağ elim.” "El yazısı", icra tarzı, tanınabilir bir yazarın dokunuşu - "büyük bir sanatçının eli." Fiziksel güç “ağır bir eldir”.
Fırçalamak	El, vücudun bilekten parmak uçlarına kadar olan kısmıdır.	Boyalarla boyama için araç.
İş	Fiziksel emek, çaba, insan mesleği.	Fiziksel emeğin görünür sonucu “İyi iş!”
Çarşaf	Ağaçta büyüyen yaprak.	Bir sayfa kağıt, defter veya yatay sayfa.
Kök	Ağaç kökü. Ağacın toprak altında kalan kısmı.	Bir sayının matematiksel kökü. Örneğin 4'ün kökü 2'dir. Bazı olgu veya olayların nedeni “kötülüğün kökü”, “sorunların kökü”dür.
Görev	Bir kişinin diğerine borçlanma sonucu vaat ettiği para veya maddi değer.	Bir şeye duyulan ahlaki arzu, ahlaki görev.

Bu listenin tamamı değil. Muhtemelen her şeyi derlemek imkansızdır, çünkü Rus dilinde neredeyse tek anlamlı kelimeler kadar çift anlamlı kelimeler vardır.

Belirsiz sıfat örnekleri

Çeşitli öğeler tek kelimeyle onu yalnızca adlandırmakla kalmaz, aynı zamanda tanımlayabilirsiniz. İşte bu tür kelimelere bazı örnekler:

Kelime	Doğrudan anlam	mecazi anlam
Çelik	Çelikten yapılmıştır. Örneğin çelik bir bıçak.	Çok güçlü, sarsılmaz - "çelik gibi sinirler."
Altın	Altından yapılmış - “altın küpeler”, “altın kolye”.	Çok değerli, nazik, olağanüstü ahlaki nitelikler- “altın adam”, “altın çocuk”, “altın kalp”.
Ağır	Büyük miktarda fiziksel çaba gerektiren - "sıkı çalışma."	Başkalarının tahammül etmesi zor bir şey hakkında - "zor bir insan", "zor bir karakter".
Beyaz	Beyaz - “beyaz kar”, “beyaz yaprak”.	Kafiyesiz bir şiir “boş şiir”dir.
Siyah	Siyah - “siyah gözler”, “siyah işaretleyici”.	Kızgın, alaycı, hassas konulara kaba bir şekilde değiniyor - "kara mizah", "kara komedi".

Liste yine eksik. Ek olarak, çift anlamlı kelimelerin listesi aynı anda renkleri, kokuları ve/veya tatları tanımlayan sıfatları içerir: portakal, ahududu, limon, erik vb.

Belirsiz fiil örnekleri

Eylem kelimelerinin birden fazla anlamı da olabilir:

Kelime	Doğrudan anlam	mecazi anlam
oturmak	Atın üzerinde bir sandalyeye, bir koltuğa oturun.	Trene binin (tam anlamıyla trenin çatısına oturun, ancak mecazi olarak - içinde yerinizi alın).
Kalk / git	Trenden inebilir, istediğiniz durakta inebilir veya mağazaya gidebilirsiniz.	"Git/çıldır."
Vurmak	Çarpmak.	“Bahar çeşme gibi akıyor”, “hayat tüm hızıyla akıyor.”
Kesmek	Bir bıçak veya başka bir keskin bıçak kullanarak parçalara ayırın.	Hoş olmayan bir his uyandırın - "ışık gözleri acıtır", "ses kulakları acıtır".

Çoğu zaman çift anlamı olan kelimeler yerli Rusça kelimelerdir. Ödünç alınan terimlerin genellikle tek bir anlamı vardır.

Eşseslilerden farklılıklar

Çift anlamlı kelimeleri eş anlamlılardan ayırmak çok önemlidir: aynı şekilde yazılan farklı kelimeler. sen çok anlamlı kelimeler doğrudan, temel bir anlamı vardır ve bazı niteliklere göre aktarılmıştır. Homonimlerin tüm bağımsız anlamları vardır. “Kulp” (kapı) ve “kulp” (yazı) aralarında bir bağlantı olmadığından eş anlamlıdır. Ancak "uydu" kelimesinin birçok anlamı vardır - gök cismine "uydu" adı verilmiştir çünkü o, bir insan uydusu gibi gezegenin etrafında hareket etmektedir.

Bir işaretin tanımından itibaren, onun ana özelliğinin, içkin temsil işlevi olduğu zaten açıktır: belirli bir dilde bazı (belirli) nesnelerin temsilcisi veya ikamesi olmak. Ve bu - Anlam imza. Sözlü işaretlerin anlamı nesneler olabilir geniş anlamda kelimeler - bir şekilde vurgulanabilen ve adlandırılabilen, hakkında bir şeyin onaylandığı veya reddedildiği her şey. Anlamların her şeyden önce dil dışı gerçekliğin nesneleri - doğal ve sosyal - olduğu unutulmamalıdır. Sözlü işaretin bir diğer temel özelliği anlamıdır. Anlamdilsel ifade– bu, temsil ettiği nesneyi (veya aynı türden bir dizi nesneyi) diğer nesnelerden ayırmanıza olanak tanıyan, onunla ilişkili sözlü resmileştirilmiş bilgidir. Örneğin “Ay” kelimesinin anlamı -her zamanki kullanımıyla- “Dünya'nın doğal uydusu” gibi bir özellik olabilir; Almanca “DerSchneeistwei” cümlesinin Rusçadaki anlamı “Kar beyazdır” cümlesiyle yeniden üretilir; "Hırsızlık" kelimesinin anlamı "başkasının malının gizlice çalınması" vb.'dir.

Aynı nesne (veya nesneler kümesi) için farklı ayırt edici özelliklerin mümkün olduğunu unutmayın. Bu, iki farklı ifadenin farklı anlamlara sahip olabileceği ancak aynı anlama gelebileceği anlamına gelir; örneğin “eşkenar üçgen” ve “eşkenar üçgen”. Aynı anlama gelen kelimelere (veya ifadelere) denir eş değer.Ayrıca aynı kelimenin birden fazla anlamı olabilir ve bu nedenle ifade edilebilir. farklı kavramlar(anlamlar). Bu fenomene denir çok anlamlılık. Kelimelerin çok anlamlılığı bilimsel ve profesyonel iletişimde uygun değildir.

Anlam, bir kelime ile işaret ettiği nesne arasındaki bağlantıdır. Dilsel bir ifadeye anlam kazandırmak, dile yeni terimler kazandırmanın ve o dilde zaten mevcut olan kelimelerin anlamlarını açıklığa kavuşturmanın önemli bir mantıksal yoludur.

Anlam hakkında konuştuğumuzda şunu kastedeceğiz: doğrudan kelimelerin ve cümlelerin anlamları, örneğin dolaylı, mecazi (“beyaz altın”, “siyah altın”, “sevginin kanatlarında uçar” ve bazı nesnelerin, süreçlerin, fenomenlerin diğerleriyle yalnızca belirli bir benzerliğini gösteren diğer metaforik ifadeler). Doğrudan anlam aynı zamanda “gerçek” olandan da ayırt edilmelidir veya etimolojik anlamı (“coğrafya” kelimenin tam anlamıyla Dünya'nın bir açıklaması anlamına gelir, “yalan” kelimenin tam anlamıyla “konuşmak”, “konuşmak” vb. anlamına gelir).

Mantıkta anlam ve önem konusunda genel olarak bir işaretin anlamının, anlamının bir fonksiyonu olduğu kabul edilir. Bu, anlamın özel rolünü vurgular: İşaretle gösterilen nesneye açıkça işaret eder ve onu zihinsel olarak diğerlerinden ayırır.

Hem toplumun hem de her bireyin, anlamın aracılığı olmadan, kendi anlamlarıyla ilişkilendirilen belirli bir kelime dağarcığına sahip olması gerektiği açıktır. Burada, anlamlarıyla bağlantısı, kelimenin telaffuzu sürecinde kurulan ve anlamının eşzamanlı duyusal algısı olan, örneğin renk ("kırmızı"), koku, mekansal konfigürasyon gibi kelimelerin işaret olarak kullanılmasıyla karşı karşıyayız. belirlenmiş nesne vb.

Doğal dildeki ifadelerin konuşma bölümlerine ayrıldığını herkes bilir. Mantıksal "gramer"de de benzer bir bölünme vardır, ancak farklı bir temelde, yani kelimelerle (veya ifadelerle) temsil edilen düşünce nesnelerinin türüne bağlı olarak.

İlk nesne türü tekli öğeleri içerecektir. Her biri aynı türdeki nesnelerden bireysel bir farklılığa sahip olan bu tür biliş nesnelerini tek nesneler olarak ele alacağız: 7 sayısı, A.S.'nin evliliği. Puşkin, Ay vb. Bireysel nesnelere karşılık gelen dilsel ifadelerin mantıksal kategorisi Bekar isimler. Anlamları, bu tek nesneyi aynı türdeki birçok nesneden açık bir şekilde ayırmayı mümkün kılan, onlarla ilişkili bilgidir. Bu tür isimlere örnekler: “Peter 1”, “Rusya Federasyonu'nun Şu Anki Başkanı”, “Romanın yazarı“Eugene Onegin”, “Zaferin 66. Yıldönümünün Kutlanması” Nazi Almanyası"vesaire. Tek isimler ikiye ayrılır açıklayıcı (karmaşık) ve üzerinde açıklayıcı olmayan (basit) isimler. Basit (açıklayıcı olmayan) adlara örnek olarak "Everest", "Y.A." kelimeleri verilebilir. Gagarin”, karmaşık (tanımlayıcı) adlara örnek olarak “İlk kozmonot”, “Avrupa'nın en büyük nehri” verilebilir.

İkinci tür nesneler ise nesnelerin özellikleri ve aralarındaki ilişkilerdir. Bir dilde bu tür nesneleri temsil eden ifadeleri çağıracağız. evrenseller. Evrensellere örnekler: “Bu masa yuvarlaktır” ifadesindeki “masa” kelimesi; "İvan, Peter'ın erkek kardeşidir" sözündeki "kardeş" kelimesi; "Hırsızlık suçtur" ifadesinde "suç" kelimesi yer alıyor. Bir evrensel, bir cümlede ikili bir rol üstlenebilmesiyle karakterize edilir: 1) mantıksal bir "yüklem"in parçasını oluşturur, yani. "Bu tablo yuvarlak"; bu fonksiyonda evrenseller diyeceğiz yüklemler; 2) mantıksal bir “konu” olun, yani. "Herhangi biri" örneğinde olduğu gibi, her biri karşılık gelen bir özelliğe sahip olan, aynı türdeki belirli bir nesne kümesinden keyfi olarak alınmış bir nesneyi bir ifadede temsil eder. suç toplum için tehlikelidir." Bu tür evrenselleri arayacağız konular.

Üçüncü tür nesneler ise durumlar (durum). Durumlara uygun mantıksal kategori dilsel ifadeler oluşur anlatan cümleler.Örneğin “Volga Hazar Denizi'ne akıyor” cümlesinde Volga'nın Hazar Denizi'ne aktığı bir durumun varlığı, bir üçgenin açılarının toplamının 180°'ye eşit olduğu bir durum yeniden üretilmektedir. "Bir üçgenin açılarının toplamı 2d'dir" vb. cümlesinde. Durumlar, onları temsil eden cümlelerin basit ya da karmaşık olmasına bağlı olarak basit ya da karmaşık olabilir. Karmaşık cümlelere ve buna bağlı olarak durumlara örnekler: “Bir sayı 6'ya bölünüyorsa 2'ye de bölünür”; "Ian ve babası o sırada evdeydi."

Cümlenin anlamı bir önermedir. Bir yargı ile bir cümle arasındaki fark (bir yargının gösterge biçimi olarak), bir doğal dilden diğerine doğru tercüme olan iki cümleyi karşılaştırdığımızda görülebilir: işaret yapıları farklıdır, ancak anlamları aynıdır. Cümlenin anlamı ve bir hüküm var. Dilin mantıksal analizinden bahsettiğimiz için cümlenin anlamı soyut nesnelerden herhangi biri olarak kabul edilir. doğru veya yalan. Dolayısıyla “Volga Hazar Denizi'ne akıyor” ifadesi gerçeği ifade ediyor (çünkü bu cümle gerçekte meydana gelen bir durumu yeniden üretiyor) ve “Volga Karadeniz'e akıyor” ifadesi bir yalan (çünkü bu ifadeyle örtüşmüyor) gerçeğe).

Her bilimin kendine özgü terimleri vardır. Matematiksel terimler hakkında konuşabilirsiniz: “sayı”, “geometrik şekil”, “küme”; “kütle”, “temel parçacık”, “elektrik yükü” gibi fiziksel terimler var; biyolojide “hücre”, “organizma”, “kalıtım” terimleri karşımıza çıkıyor; tıpta – “semptom”, “sendrom”, “hastalık”; içtihatta – “yasal norm”, “suç”, “hırsızlık”. Bu ifadeler kategoriyi oluşturur açıklayıcı terimler(Latince açıklama - açıklama), her birinin arkasında belirli bir nesne, bazı özellikler veya aynı türden bir dizi nesne vb. Vardır. Analizimizde tanımlayıcı terimler isimler ve evrensellerdir.

Herhangi bir bilimin dilinde, kendi konu alanının nesnelerini karakterize eden tanımlayıcı terimlerin yanı sıra, tüm bilimlerde kullanılan ifadeler de kullanılır. Bunlar “ve”, “veya”, “eğer, o zaman”, “bu doğru değil”, “o zaman ve ancak o zaman” gibi bazı edat ve bağlaçları içerir. Bu terimlerin yardımıyla basit ifadelerden (yargılardan) karmaşık (bileşik) ifadeler oluşturulur. Aynı "disiplinlerarası" terimler grubu, "dir" ("öz"), "hepsi" ("herkes"), "bazıları" ("var"), "değil" ifadelerini içerir; bunların yardımıyla basit tekil ve Çoğul olanlar ise yapılandırılmış (genel ve özel) yargılardır. mantıksal terimler(mantıksal sabitler).

Mantıksal terimler olmadan hiçbir yargı ifade edilemez. Onları son derece tanımlıyorlar genel yapı – mantıksal biçim, onlarla ilişkilidir mantıksal ilişkiler ve mantık yasaları. Bu terimlerin bazıları, "İnsan ölümlüdür" ifadesinde olduğu gibi, kısalık sağlamak amacıyla bazen atlanmıştır. Yargıların mantıksal analizinde, tüm bu "boşlukları" onarmak zorundayız, bu da onların mantıksal içeriğini netleştirmemize ve onların doğruluğu ya da yanlışlığı sorununu çözmemize olanak tanır. Özellikle az önce verilen ifade şu şekli alacaktır: "Bütün insanlar ölümlüdür." Ve her ne kadar böyle bir yeniden inşa ve tamamlamadan sonra bu cümleler bazen biraz hantallaşsa da, onların ifade ettiği düşünceler netlik ve kesinlik kazanıyor.