Plan:
1. Dil bilgisi sembolleri sistemi.
2. Doğal ve yapay diller, etkileşimleri.
3. Anlamsal dil kategorileri.
1. Dil, düşünceyle ayrılmaz bir şekilde bağlantılı, düşüncelerimizin doğrudan varlığını sağlayan ve insanlar arasında iletişim kurmaya hizmet eden bir bilgi sembolleri sisteminden oluşur. Dil öğrenmek, mantık ilminin önemli görevlerinden biridir. Düşünmenin dünyayı soyutlayan ve özetleyen ideal bir olgu olduğu bilinmektedir. Soyut şeyler, genellemeler ancak dil yardımıyla kaydedilebilir.
Dil ve düşünce birliği konuşmada ifade edilir. Konuşma, düşüncelerimizin maddi bir forma, yani algılanabilir bir forma girdiği sözlü ve yazılı formda mevcuttur ve bu nedenle artık bir bireye değil topluma aittir.
Dil, insanların sosyal çalışmaları temelinde yaratıldı ve geliştirildi. Bu nedenle derin bir sosyal anlamı vardır ve kültürümüzün ve tarihimizin önemli bir parçasıdır.
Dilin yardımıyla bilgi oluşturulur, biriktirilir ve bir nesilden diğerine aktarılır. Bu şekilde eğitim ve öğretim çalışmalarının yürütülmesine, kültürümüzün gelişmesine yardımcı olur.
İşaret, biliş sürecinde başka bir nesnenin temsilcisi olarak hareket eden ve onunla ilgili belirli mesajların verilmesine, saklanmasına, işlenmesine ve iletilmesine olanak sağlayan maddi bir nesnedir. her sembol bir dil sembolü olamaz. Dilsel olmayan işaretler, kopya işaretleri (örneğin, bir fotoğraf kartı, parmak izi vb.), indeks işaretleri veya gösterge niteliğindeki işaretleri (örneğin, vücut sıcaklığındaki bir artış bir hastalık belirtisidir, duman bir yangın işaretidir) içerir. vb.) dahildir.
Dil göstergeleri, semboller biçiminde var olur ve temsil ettikleri nesnelerle yapı olarak hiçbir benzerliği yoktur. Mantık, bu tür dilsel işaretlerin incelenmesine odaklanır.
Dil göstergelerinin kendi anlam ve içerikleri vardır. Bir dil göstergesinin içeriği, temsil ettiği nesneden oluşur. Örneğin, "izleyici" kelimesi, var olan gerçek bir nesneyi temsil eder - izleyiciyi yansıtan düşünce içeriği. Dil işaretinin anlamı, ifade ettiği nesnenin özelliğidir (tanımıdır). Örneğin, "Oditoryum" kelimesinin anlamı "eğitim için tasarlanmış bir oda", "özel donanımlı bir oda" vb.
Aristoteles ve Leibniz gibi düşünürler, sembollerin bilişteki işlevinin incelenmesine büyük önem verdiler. Sembol doktrininin gelişimi 1839. yüzyılda güncel bir konu haline geldi. Bu dönemde Amerikalı filozof Charles Pierce (1914-XNUMX) semiyotik işaretler bilimini kurdu. Bu disiplin, dilsel göstergeyi üç farklı yönde analiz eder. Birincisi, bir gösterge ile temsil ettiği nesne arasındaki ilişkiyi inceleyen semantiktir. İkincisi, insanların işaretlerle ilişkisini ve işaretler yardımıyla insanlar arasındaki ilişkileri inceleyen edimbilimdir. Üçüncüsü, işaretler arasındaki ilişkileri (dil oluşturma kuralları) inceleyen sözdizimi olarak adlandırılır. Mantık bilimi daha çok dil sembollerinin semantiği ile ilgilenir.
2. İki tür dil vardır. Doğal ve yapay dillerdir. Doğal veya ulusal diller, tarihsel olarak oluşturulmuş ses (konuşma) ve grafik (yazı) bilgi sembollerinden oluşur. Doğal dilin izole edilmiş herhangi bir sembolü kendi başına hiçbir şeyi temsil etmez. Bu işaretler, ancak insanın pratik faaliyetinin ve düşüncesinin gelişimi temelinde oluşturulan dil sistemine girdiklerinde belirli bir anlam ve içerik kazanan işaretler haline gelir.
Doğal dil, nesnel dünyanın ve bilginin çeşitli alanlarına ait nesneleri, olguları ve bunların özelliklerini ve ilişkilerini kapsamak ve ifade etmek için büyük bir fırsata sahiptir. Anlamsal olarak kapalı bir sistem olarak kabul edilir. Başka bir deyişle, doğal dil, diğer dillere başvurmadan bağımsız olarak kendini kurabilir ve ifade edebilir.
Bunun yanı sıra doğal dil kullanımı bilişsel süreçte bazı zorluklara da neden olmaktadır. Aşağıdakilerle ilişkilidirler: 1) doğal dildeki kelimelerin anlamı zamanla değişir; 2) doğal dilde, bir kelime birkaç kavramı (eş anlamlı) ifade edebilir veya bir kavram birkaç kelimeyle (eş anlamlı) ifade edilebilir; 3) Doğal dilde bazı kelimeler yardımıyla ifade edilen fikrin açık bir anlamı yoktur (örneğin, "Kerim bir yabancı dili iyi bilmez" görüşünde, Kerim'in yabancı bir dil bilmediği belirtilmez) Kimin veya hangi görevi yerine getireceğine ilişkin iyi bir dil). Doğal dilde bu tür olgulardan kurtulmak için bilimsel bilgide terimler (terimler) kullanılmaktadır. Terim, belirli ve belirli bir anlamı olan bir kelimedir ve bu anlam bir tanımla belirtilir. Ayrıca yapay dil kullanılarak doğal dilde doğruluk elde edilir.
Yapay dil, mevcut mesajları açık ve ekonomik bir şekilde ifade etmeye ve iletmeye hizmet eden, doğal dil temelinde oluşturulmuş bir yardımcı bilgi sembolleri sisteminden oluşur. Yapay dil, yapay olarak oluşturulmuş özel karakterler, yani semboller-semboller kullanır. Doğal dildeki somut içerikli düşünceler bilimsel bilgide yerini bu tür sembollere bırakır. Dolayısıyla yapay dil, düşüncelerimizin somut içeriğinden ayrılmadan sadece simgelerle çalışmayı sağlar.
Yapay diller, modern bilim ve teknolojide yaygın olarak kullanılmaktadır. Matematik, fizik, kimya, sibernetik, bilgisayar ve benzeri alanların gelişimine büyük katkıları vardır. Matematikte dik üçgenin kenarlarını ifade eden Sos2+Sin2=1 formülü, kimyada suyu ifade eden N2O formülü, mekanikte hızı ifade eden formül yapay dillerin kullanımına örnektir. , ve bunun gibi. Elektronik hesap makineleri için programlar oluşturmak için özel algoritmik diller kullanılır. "Algol-60", "Algol-65", "Fortran", "Cobol", "PL-1", "Assembler", "Basic" ve diğerlerini içerir. Yapay dil, mantık bilimi tarafından düşüncelerimizin yapısını teorik bir bakış açısıyla analiz etmek için kullanılır.
Bu nedenle bilimsel bilgide hem doğal dil hem de yapay dil kullanılmaktadır. Bilimsel dil, doğal dil, yapay dil ve özel terimlerden oluşur.
Genel mantığın kendi özel bilimsel resmileştirilmiş dili vardır. İnsan düşüncesinin yapısını açık ve net bir şekilde ifade etmek için yaratılmıştır. Bunun özünü anlamak için, resmileştirmenin kendisinin ne olduğunu açıklığa kavuşturmak gerekir.
Biçimlendirme, düşünceleri somut içerikle sembollerle değiştirmek, yani önerme işlevi oluşturarak, formüller getirerek, mantıksal kurallar oluşturarak düşünmenin (düşüncenin) yapısını ifade etmek anlamına gelir. Düşüncenin yapısı ile mantığın dildeki ifade yapısı arasında bir uygunluk vardır, yani belirli bir dil yapısı, düşüncenin her somut yapısına karşılık gelir. Bunu orantılı bir fonksiyon oluşturma örneğinde görebiliriz. "Taşkent-Özbekistan'ın başkenti" düşüncesindeki "Taşkent" - S kavramını ve "Özbekistan'ın başkenti" - R kavramını değiştirirsek, S-R biçiminde bir önerme işlevi elde edilir. Önerme işlevi, değişken değeri olan bir ifadedir, bu değer bir argümanla değiştirildiğinde somut ve anlamlı bir fikir oluşur.
Resmileştirilmiş bir dil aşağıdaki gereksinimleri karşılamalıdır.
1. Ana karakterler açıkça ifade edilmelidir. Bu semboller temel kavramları, terimleri temsil eder.
2. Tüm açıklama kuralları belirtilmelidir. Bu kurallara göre, mevcut karakterler kullanılarak yeni, daha kısa karakterler oluşturulur.
3. Formül oluşturma ile ilgili tüm kurallar verilmelidir. Kavramlardan cümle türetme kuralları buna bir örnektir.
4. Tüm çıkarım kuralları belirtilmelidir. Kullanılan işaretlerin (kelimeler, cümleler, semboller) grafik gösterimini ifade eder.
5. Kullanılan sembollerin anlamının yorumlanmasına ilişkin kurallar belirtilmelidir.
Biçimlendirilmiş bir dile sahip bir mantık, gerçek bir düşünceyi ifade eden bir formülü, aynı doğru düşünceyi ifade eden başka bir formül oluşturmak için kullanabilir. Verilen görüşün somut içeriği dikkate alınmaz.
Resmileştirilmiş bir dilin avantajı, mantıklı bir sonuca varmak için amaçlanmamış gerekçelerin katılımını içermemesidir. Matematik ve mantıkla ilgili birçok problem ancak bu şekilde çözülebilir.
Son olarak, biçimselleştirilmiş bir dilin bir başka değerli yönü de, bir alanda oluşturulmuş biçimselleştirilmiş bir dilin başka bir alandaki sorunları çözmek için kullanılabilmesidir. Örneğin mantıkta sınıflarla yapılan işlemlerde, düşünce yapısını ifade etmek için matematiğin dilini (toplama, çarpma, tamamlama gibi terimler ve bunları temsil eden semboller) kullanmak mümkündür. Bunda elbette kullanılan sembollere özel bir anlam verilmektedir.
Resmi dilin dezavantajı, nesneyi doğal dilden daha yüzeysel olarak ifade etmesidir. bugün var olan resmi diller, çok az varoluş ve bilgi alanını kapsamaktadır. Biçimselleştirilmiş dilin hangi bilgi alanlarında yaratılabileceğini tahmin etmek zordur.
Ayrıca, biçimselleştirilmiş dil ampirik araştırmanın yerini tutmaz. Bu nedenle bilimsel dil, biçimselleştirilmiş dilin kullanımıyla sınırlandırılamaz.
Bununla birlikte, biçimselleştirilmiş dil, bilimsel bilgi ve pratik yaşamda önemli bir öneme sahiptir. Bilhassa düşüncenin yapısını incelemek, mantıksal değerini, yani doğru mu yanlış mı olduğunu belirlemek için mükemmel bir ortam yaratır. Bu nedenle, biçimselleştirilmiş bir mantık dili oluşturmaya ve onu derinlemesine incelemeye büyük ilgi vardır.
3. Anlamsal kategoriler, mantıksal düşünme biçimini incelemede önemlidir. Anlamsal kategoriler, temsil ettikleri nesneler açısından birbirinden farklı dil ifadeleri sınıflarından oluşur. Ana anlam kategorileri, cümleyi ve nispeten bağımsız kısımlarını içerir - tanımlayıcı ve mantıksal terimler.
Bir cümle bir cümleyi, bir soruyu ve bir normu ifade edebilir. bir yargıyı ifade eden bir cümle, özneye herhangi bir işaretin (özellik veya ilişki) özelliğini onaylar ve reddeder. Bir cümleden oluşur.
Bir cümlede nesneleri, onların özelliklerini ve ilişkilerini yansıtan ifadelere betimleyici terimler denir. Tanımlayıcı terimler, nesne adlarına veya terimlere (nesneleri, nesne kümelerini ifade eden ifadeler) ve belirticilere (nesnelerin özelliklerini ve ilişkilerini ifade eden ifadeler) ayrılır.
Nesne adları, maddi (gezegen, elektrik) ve ideal (duyum, düşünce) nesneleri temsil eden bazı kelime ve deyimlerdir. Konu adı sembollerden oluştuğu için kendine has bir içeriği ve anlamı vardır. Adın içeriği nesneyi temsil eder ve mantıkta düz anlam olarak adlandırılır. İsmin anlamı, konunun önemli, genel özelliklerini ifade eder ve kavram olarak adlandırılır. Örneğin “Aristoteles”, “Mantık ilminin kurucusu”, “Ticari eserin müellifi” gibi ifadeler aynı manaya sahiptir, yani bir konuyu temsil ederler fakat anlamları farklıdır, yani farklı kaydederler. söz konusu nesnenin işaretleri.
Ayrıca isimler tekil ("Taşkent şehri") veya ortak ("şehir") olabilir. Bu durumda, tek bir ad, tek bir nesneyi temsil eder ve ortak bir ad, bir nesne sınıfını temsil eder.
Yüklemler, atıfta bulundukları ismin miktarına bağlı olarak tek heceli veya çoğul olabilir. Bu durumda öznenin özelliğini ifade eden yüklemler tek-yer olup aralarındaki ilişkileri ifade eden yüklemler çoğul yüklem olarak kabul edilir. Örneğin “Özbekistan bağımsız bir cumhuriyettir” ifadesinde yüklem tek haneli, “Özbekistan Türkiye ile ekonomik anlaşma imzaladı” görüşünde “ekonomik anlaşma imzaladı” yüklemi çift haneli, “Özbekistan iki ülke arasında” Syrdarya ve Amudarya "konumlu" cümlesinde "arasında bulunan" yüklemi üç konumludur.
Boole terimleri (Boole sabitleri) sabit bir mantıksal değere sahiptir ve bir cümlede tanımlayıcı terimleri bağlamak için kullanılır. Özbek dilinde "va", "kham", "khamda", "veya", "veya", "hepsi", "hiç", "bazı", "değil" ve çeşitli (basit) gibi kelimelerle ifade edilirler. ve karmaşık) muhakemeler, muhakeme oluşturan unsurlar hesaplanır. Örneğin, "değersiz hiçbir meta yoktur", "hiçbiri" "değildir" görüşünde, bunlar olmadan tanımlayıcı terimler - "meta", "değer" bağlanamaz.
Biçimlendirilmiş bir mantık dili oluştururken, anlamsal kategoriler açıkça tanımlanmalı ve tanımlanmalıdır. Bu, anlamsal kategorileri somut sembollere yansıtarak elde edilebilir.
Bu semboller, resmileştirilmiş mantık dilinin alfabesini oluşturur. Mantıkta iki dil vardır - yüklem mantığının dili ve önermeler mantığının dili.
Akıl yürütme mantığı, yargıların iç yapısının incelenmesinden kaçınarak, mantıksal karşılıklı ilişkilerini dikkate alarak akıl yürütme sürecini analiz eden resmileştirilmiş bir mantıksal sistemdir. Akıl yürütme mantığı, alfabeyi, ifadelerin tanımlarını ve yorumlarını içerir. Bu dil alfabesi özellikle şunlardan oluşur:
1. р, q, р önermesel değişkenlerdir, yani yargılar için sembollerdir.
2. bir bağlaç işaretidir; Özbek dilinde "va", "kham", "khamda" gibi bağlaçlara karşılık gelir. Örneğin "Ders bitti (r) ve tartışması başladı (q)" cümlesi pq şeklinde ifade edilebilir.
3. bir ayrılma işaretidir; Özbekçe'de "yo", "yoki", "veya" gibi kelimelere karşılık gelir. Örneğin "Elektrik akımı ya değişkendir (r) ya da sabittir (q)" cümlesi pvq şeklinde yazılır.
4. — ima işareti; Özbekçe "Eğer ... olacak ... olacak" ifadesine karşılık gelir. Örneğin “Öğrenci bağımsız çalışırsa (r), eğitim materyallerine iyi hakim olur (q)” cümlesi p q şeklinde yazılır.
5. Denklik işareti; Özbekçe "Sadece ve sadece çünkü..." ifadesi buna karşılık gelir. Örneğin "Yalnızca çift sayılar (r) 2 ile kalansız (q) bölünebilir" ifadesi rq şeklinde yazılır.
6. bir olumsuzlama işaretidir. Örneğin, "Akhmedov Anvar bir öğrencidir". (r) cümlesi olumsuzlandığında "Akhmedov Anvar öğrenci değildir" cümlesi r cümlesine dönüşür yani cümlenin olumsuzluğu olan r olarak değişir.
Tahmin mantığı, yargıların iç yapısını dikkate alarak tartışma sürecini inceleyen resmileştirilmiş bir mantıksal sistemdir. Önermeler mantığının alfabesine yeni semboller eklenerek yüklem mantığının alfabesi oluşturulur. Bunlar aşağıdaki gibidir:
1. a, v, s,..., öznelerin adlarını temsil eden sembollerdir, bunlara sabit denir.
2. x, u, z..., — konuların genel adlarını gösteren semboller.
3. R1, Q1, R1..., Pn, Qn, Rn, tahmin ediciler için sembollerdir; burada 1, tek basamaklı bir belirticiyi, 2, iki basamaklı bir yüklemi ve nn basamaklı bir yüklemi belirtir.
4. yargı miktarını gösteren semboller: — genellik niceleyicisi; Özbekçede "barça", "khar bir", "khech bir" gibi kelimeler buna karşılık gelmektedir. Örneğin “hiçbir ebeveyn çocuğuna zarar gelmesini istemez” cümlesi (x)P(x) şeklinde yazılır.
— kullanılabilirlik niceleyici; "bazi", "ayrim" gibi kelimeler Özbek dilinde buna karşılık gelmektedir. Örneğin "Bazı insanlar bireysel olarak çalışır" cümlesi (x)P(x) şeklinde yazılır.
Önermelerin mantığı ve yüklemlerin mantığı, doğal bir çıkarım sistemi (veya aksiyomatik) sistemi olarak inşa edilebilir.
Kitabın
1. İA Kerimov. Özbekistan büyük bir geleceğe doğru. — T.: "Özbekistan", 1998.
2. İA Kerimov. Tarihsel hafıza olmadan gelecek yoktur. "Tartışma", 1998, Sayı 5.
3. İA Kerimov. Mükemmel bir nesil, Özbekistan'ın kalkınmasının temelidir. /İslam Kerimov. Güvenlik ve sürdürülebilir kalkınma yolunda: T.6-T.: "Özbekistan", 1998.
4. İA Kerimov. Özbekistan 1999. yüzyıl için çabalıyor. — T.: "Özbekistan", XNUMX.
5. İA Kerimov. Ulusal bağımsızlık ideolojisi, halkın inancı ve büyük bir geleceğe olan inancıdır: "Fidokor" gazetesi muhabirinin sorularını yanıtlıyor. T., Özbekistan, 2000.
6. M. Khairullayev, M. Khagberdiyev. Mantık, Bölüm 2.
7. Yu.V. Ivlev. Mantık, Bölüm 2.
8. I. Rakhimov. Mantıktan pratik alıştırmalar ve metodik öneriler, bölüm 1.
9. NI Kondakov. Mantık sözlüğü. M., 1976. Konuyla ilgili makaleler.
10. E.K. Voyshvillo. Ponyatiye kak form michelenia. M., 1989, 1. bölüm.
11. Ye.D. Smirnova. Mantıksal semantiğin temeli. M., 1989.
