Elemen teori nama. Logika nama. Jenis-jenis nama Ciri-ciri umum suatu nama. Prinsip Teori Penamaan

Bentuk logis- ini adalah ciri pemikiran yang tidak bergantung pada isi spesifiknya, tetapi berfungsi untuk menghubungkan dan mengatur unsur-unsurnya.

Dalam bahasa, bentuk logika ditetapkan menggunakan variabel proposisional, nominal, dan lainnya, serta konstanta logika.

Konstanta Boolean adalah fungsi yang mempertahankan maknanya dalam argumen apa pun. Konstanta logika dilambangkan dengan simbol. Beberapa simbol telah disebutkan, sebut saja sisanya. Fungsi “dan” dilambangkan dengan L, “atau” dengan v, “salah satu atau” dengan ay, “jika, maka” – ®, “jika dan hanya jika kapan” – “, “tidak benar bahwa” – Ø, “perlu” – ÿ, “mungkin saja” – à.

Perlu dicatat bahwa pertanyaan tentang kebenaran pemikiran dan konsekuensi logis dari beberapa pemikiran dari pemikiran lain tidak selalu dapat diselesaikan berdasarkan “akal sehat.” Logika formal mengeksplorasi dan menawarkan cara yang tepat untuk memecahkan pertanyaan-pertanyaan tersebut.

Logika formal adalah ilmu tentang hukum berpikir yang benar, yaitu. pemikiran seperti itu, di mana transisi dicapai dari posisi yang telah ditetapkan sebelumnya ke pengetahuan baru berdasarkan pola mental yang terbentuk sebagai hasil pengulangan yang berulang-ulang dalam proses memahami kebenaran. Logika formal memperkuat kesimpulannya dengan menciptakan dan menggunakan salah satu jenis yang khusus, yang disebut. bahasa formal yang kalimatnya hanya terdiri dari konstanta dan variabel logis

Hukum logis. Alasan yang benar dan salah.

Hukum logis(atau kebenaran logis) adalah bentuk logika yang menghasilkan kalimat yang benar dengan substitusi apa pun terhadap nilainya (konten spesifik) alih-alih variabel.

Penggunaan bentuk-bentuk yang merupakan hukum-hukum logis memungkinkan seseorang untuk tetap berada dalam kerangka pengetahuan yang benar dan, atas dasar pengetahuan yang benar, memperoleh pengetahuan baru yang benar. Penalaran yang bentuknya hukum logika disebut benar. Penyimpangan dari persyaratan hukum logika menyebabkan pelanggaran terhadap kebenaran berpikir. Kebenaran berbeda dengan kebenaran penalaran. Kebenaran mencirikan pemikiran dalam hubungannya dengan kenyataan; jika suatu pemikiran benar, maka ia sesuai dengan kenyataan. Kebenaran mencirikan penalaran dari sudut pandang hubungan internal antara unsur-unsurnya. Penalaran yang benar dapat menghasilkan kesimpulan yang salah. Hal ini dimungkinkan bila data asli salah.

Mempertahankan kebenaran dengan data awal yang benar akan membawa hasil yang benar. Pada saat yang sama, kebenaran dapat didefinisikan sebagai jenis kebenaran khusus. Koneksi logis sesuai dengan dunia luar, mencerminkan hubungan paling sederhana dan universal di dalamnya. Oleh karena itu, hukum-hukum logika didefinisikan dengan menggunakan konsep kebenaran dan disebut dengan sendirinya kebenaran logis. Kesalahan kognitif yang terkait dengan pemahaman yang salah tentang realitas disebut berarti. Kesalahan yang berhubungan dengan pelanggaran pemikiran yang benar disebut formal atau logis. Mereka dibagi menjadi paralogisme Dan menyesatkan.

Paralogisme adalah kesalahan logika yang tidak disengaja. Biasanya, ini adalah produk dari budaya logis yang rendah. Sofisme- pelanggaran yang disengaja terhadap persyaratan logika, suatu teknik penipuan intelektual yang terkait dengan upaya untuk menyamarkan kebohongan sebagai kebenaran. Dll.: apa yang belum hilang, kamu miliki. - Ya. “Kamu tidak kehilangan tandukmu.” Oleh karena itu kamu bertanduk.

Topik 2. Pernyataan.

1. Logika proposisional sebagai bagian logika formal yang paling sederhana dan mendasar. Konsep ucapan. Makna logis dari pernyataan tersebut. Pernyataan, pertanyaan, perintah.

2. Pernyataannya sederhana dan kompleks. Konjungsi logika: konjungsi, disjungsi lemah, disjungsi kuat, implikasi, padanan, negasi. Mengekspresikan pernyataan kompleks dalam bentuk simbolis. Hubungan antara bentuk pernyataan logis. Hubungan keterbandingan dan ketidakterbandingan. Hubungan kompatibilitas: berikut, kompatibilitas lengkap (kesetaraan), kompatibilitas parsial, kohesi. Hubungan ketidakcocokan: kontradiksi, pertentangan.

3. Konsep hukum dalam logika proposisional. Metode tabel pemilihan hukum dalam logika proposisional. Hukum logika proposisional yang paling sederhana: hukum identitas, kontradiksi, tidak termasuk bagian tengah. Metode singkat untuk memilih hukum logis.

1. Logika proposisional sebagai bagian logika formal yang paling sederhana dan mendasar. Konsep ucapan. Makna logis dari pernyataan tersebut. Pernyataan, pertanyaan, perintah.

Teori logika yang mempelajari hubungan antar pernyataan, mengabaikan struktur internalnya, disebut logika proposisional atau logika proposisional. Ini adalah bagian logika formal yang paling sederhana dan sekaligus mendasar. Di dalamnya di bawah pernyataan itu dipahami sebagai ekspresi linguistik yang hanya dapat dikatakan satu dari dua hal: benar atau salah.

Oleh karena itu, kebenaran dan kepalsuan bertindak sebagai makna logis dari sebuah pernyataan.

Seharusnya dipertimbangkan kata-kata individual tersebut, jika kata-kata tersebut bukan mewakili pernyataan (misalnya, seperti “Dingin”), pertanyaan, permintaan Dan pesanan pernyataan tidak.

2. Pernyataannya sederhana dan kompleks. Konjungsi logika: konjungsi, disjungsi lemah, disjungsi kuat, implikasi, padanan, negasi. Mengekspresikan pernyataan kompleks dalam bentuk simbolis.

Pernyataan, dan bentuk logisnya, bisa sederhana (atom) atau kompleks (molekuler). Pernyataan sederhana biasanya dilambangkan dengan huruf kecil alfabet latin: p, q, r, ... Huruf kapital, A, B, C, D, dapat digunakan sebagai variabel pernyataan apa pun, sederhana atau kompleks.

Pernyataan kompleks dibentuk dengan bantuan fungsi khusus, atau kesatuan logis, yang terpenting adalah negasi, konjungsi, disjungsi lemah dan kuat, implikasi, kesetaraan. Pernyataan kompleks disebut dengan nama fungsi yang digunakan untuk membentuknya.

Mari kita tuliskan definisi pernyataan-pernyataan ini dan ungkapannya dalam bentuk simbolis:

Konjungsi(produk logis) adalah pernyataan molekuler, benar jika dan hanya jika semua pernyataan (argumen) penyusunnya benar. Dilambangkan: A Ù B, dibaca: A dan B. Dalam bahasa sehari-hari, konjungsi sesuai dengan konjungsi “a”, “tetapi”, “ya”, “meskipun”, “namun”, dll.

Lemah(tidak eksklusif) pemisahan adalah pernyataan kompleks yang benar jika dan hanya jika setidaknya salah satu argumennya benar. (Penambahan logis). Ditunjuk: A Ú B, dibaca: “A atau B”; “atau” digunakan dalam arti non-eksklusif.

Kuat(eksklusif) pemisahan adalah pernyataan kompleks yang benar jika dan hanya jika hanya salah satu argumennya yang benar. Ditunjuk: A Ú B, berbunyi: “A atau B.”

Implikasi adalah pernyataan molekuler, salah jika dan hanya jika mendahului benar, dan akibat PALSU Mendahului atau dasarnya adalah ekspresi sebelum operator implikasi, dan akibat- apa yang terjadi setelahnya. Implikasinya dilambangkan dengan “A ® B” dan berbunyi: “jika A, maka B,” atau “dari A mengikuti B.”

Persamaan derajatnya- pernyataan molekuler yang benar jika dan hanya jika keduanya argumen baik kebenaran, entah itu salah. Artinya, ketika nilai logikanya bertepatan. Dilambangkan: A «B, berbunyi: “Dan jika dan hanya jika B”, “A jika dan hanya jika B”.

Berikut tabel kebenaran pernyataan tersebut:

Penyangkalan pernyataan A adalah pernyataan yang benar jika dan hanya jika A salah. Ditandai dengan A dan berbunyi: “bukan-A”, “tidak benar bahwa A”. Definisi tersebut diungkapkan dengan menggunakan tabel berikut, di mana “I” berarti “benar” dan “L” berarti “salah”:

A	A
DAN	L
L	DAN

Operasi yang terdaftar digunakan baik untuk tindakan dengan pernyataan sederhana dan kompleks, dengan mengetahui nilai logika dari pernyataan asli, seseorang dapat menyusun tabel kebenaran untuk pernyataan dengan bentuk yang lebih kompleks. Urutan operasi, seperti dalam contoh matematika, akan ditunjukkan dengan tanda kurung. Contoh: jika saya lelah atau ingin tidur, maka saya tidak dapat menerjemahkan teks ini. Pernyataan ini merupakan implikasi, yang antesedennya merupakan pernyataan kompleks – disjungsi lemah.

Dengan menghubungkan pernyataan-pernyataan dengan bantuan konjungsi, kita dapat menghubungkan bentuk-bentuk logisnya dengan pernyataan-pernyataan tersebut.

3. Hubungan antar bentuk pernyataan yang logis. Hubungan keterbandingan dan ketidakterbandingan. Hubungan kompatibilitas: berikut, kompatibilitas lengkap (kesetaraan), kompatibilitas parsial, kohesi. Hubungan tidak cocok sti: kontradiksi, pertentangan.

Ketika membahas persoalan praktis dan ilmiah, berbagai ketentuan dan pendapat dibandingkan. Mereka dibandingkan, dikontraskan, dikontraskan, dan dengan demikian masuk ke dalam berbagai hubungan logis satu sama lain. Hubungan logis antar pernyataan dibangun melalui hubungan bentuk-bentuk logis di mana pernyataan-pernyataan ini diwujudkan. Bentuk-bentuk yang sebanding dan tidak dapat dibandingkan dibedakan.

Bentuk logis alfa dan beta sebanding, jika dan hanya jika terdapat setidaknya satu variabel yang terdapat dalam alfa dan beta. Dll.: bentuk pernyataan A Ù B dan C ® B sebanding, namun A Ù B dan C ® D tidak. Itu adalah:

Kedua pernyataan tersebut sebanding jika dan hanya jika terdapat paling sedikit satu pernyataan sederhana yang termasuk dalam struktur pernyataan pertama dan kedua.

Di antara bentuk-bentuk logika yang sebanding, dibuat perbedaan antara kompatibel dan tidak kompatibel.

Kompatibilitas Bentuk Logis ditentukan oleh adanya setidaknya satu kasus yang berisi pernyataan yang bersama-sama sebagai benar. Bentuk logis tidak kompatibel jika tidak ada kasus seperti itu. Dll.: bentuk pernyataan A Ù B dan A Ú B serasi. Jadi, saat mengganti A dan B, dihasilkan pernyataan benar yang keduanya benar. Hal ini dapat dilihat dari tabel:

A	DI DALAM	A dan B	AÚB
DAN	DAN	DAN	DAN

Formulir A Ú B dan A "B tidak kompatibel. Mengingat nilai A dan B yang sama, keduanya tidak memiliki nilai yang sama dengan “benar”.

Bentuk yang Kompatibel sedang menjalin hubungan: a) mengikuti atau menaati, B) , V) kompatibilitas parsial, G) mencengkeram.

sedang menjalin hubungan mengikuti atau menaati , yaitu. dari alpha mengikuti beta jika dan hanya jika setiap kali bentuk alpha diubah menjadi pernyataan benar, bentuk beta, untuk nilai variabel yang sama, juga diubah menjadi pernyataan benar.

Bentuk alfa dan beta sedang menjalin hubungan kompatibilitas penuh atau kesetaraan , jika dan hanya jika setiap kali pernyataan pertama sesuai dengan pernyataan benar, maka pernyataan kedua juga sesuai dengan pernyataan benar, dan sebaliknya. Artinya, dengan nilai komponen yang sama, makna logis dari pernyataan tersebut sepenuhnya bertepatan. Sehubungan dengan kesetaraan juga terdapat pernyataan-pernyataan yang bentuk logikanya sebagai berikut:

Hubungan kesetaraan memungkinkan, dalam proses penalaran, tanpa mengurangi makna, untuk menukar pernyataan-pernyataan dalam bentuk yang berbeda, seperti dalam semua kasus ini, untuk menghilangkan informasi yang berlebihan, seperti dalam kasus 10, 13, untuk mengidentifikasi bentuk-bentuk baru - 12, 15. Rumus-rumus yang berada dalam suatu hubungan kecocokan sempurna mengikuti satu sama lain dari seorang teman, yaitu. sedang menjalin hubungan saling suksesi.

Bentuk logis alfa dan beta sedang menjalin hubungan kompatibilitas parsial , jika dan hanya jika pernyataan-pernyataan tersebut bersesuaian dengan pernyataan-pernyataan yang keduanya bisa benar, namun tidak bisa salah jika digabungkan.

Bentuk logis yang tidak kompatibel sedang menjalin hubungan: a) kontradiksi, B) ketidakkonsistenan.

Bentuk logis alfa dan beta sedang menjalin hubungan kontradiksi, jika dan hanya jika dengan bantuannya dihasilkan pernyataan yang tidak mungkin benar dan tidak mungkin salah secara bersamaan.

Bentuk logis alfa dan beta sedang menjalin hubungan menjijikkan , jika dan hanya jika pernyataan-pernyataan tersebut bersesuaian dengan pernyataan-pernyataan yang tidak mungkin benar keduanya, tetapi bisa salah jika digabungkan.

Bentuk logis yang sebanding alfa dan beta berada dalam relasi gabungan jika dan hanya jika kebenaran (kepalsuan) pernyataan bentuk alfa tidak mengecualikan kepalsuan (kebenaran) pernyataan bentuk beta, dan sebaliknya.

Membangun hubungan antara bentuk-bentuk logis memfasilitasi analisis yang bermakna dan menjamin keakuratan dan kepastian penalaran.

4. Konsep hukum dalam logika proposisional. Metode tabel pemilihan hukum dalam logika proposisional. Hukum logika proposisional yang paling sederhana: hukum identitas, kontradiksi, tidak termasuk bagian tengah. Metode seleksi lo yang dipersingkat hukum yang ajaib.

Hukum-hukum logika mencirikan kebenaran konstruksi berpikir logis, proses alirannya ditinjau dari kepastian, konsistensi, dan konsistensi validitasnya. Praktik manusia menegaskan kecukupan koneksi logis terhadap koneksi umum dan hubungan antar hal. Hukum logika formal berkaitan dengan kebenaran berpikir, namun tidak secara langsung, melainkan tidak langsung. Kebenaran pemikiran sesuai dengan kebenaran dan kepalsuannya. Dll.: Dari pernyataan salah “semua ikan adalah mamalia” dan “paus adalah ikan”, maka kesimpulan sebenarnya adalah “paus adalah mamalia”.

Harus diingat bahwa dari premis-premis yang benar, dengan tunduk pada hukum dan aturan logika, tidak mungkin memperoleh kesimpulan yang salah - kesimpulan itu pasti benar.

Hukum logika dipahami sebagai hubungan yang diperlukan baik antara unsur-unsur pemikiran maupun antar pemikiran, yang diungkapkan dalam suatu penilaian atau kesimpulan. Hubungan ini diekspresikan dalam pola-pola bentuk-bentuk teratur yang berkembang dalam proses praktik berpikir selama berabad-abad. Skema ini dinyatakan dalam rumus yang mengambil nilai “DAN” untuk semua nilai variabel yang termasuk di dalamnya. Dalam logika proposisional, rumus-rumus ini disebut benar secara identik. Kekhususan hukum logika proposisional adalah bahwa pernyataan individu bertindak sebagai bentukan integral sebagai variabel yang termasuk dalam struktur bentuk logis. Saat mensubstitusi variabel apa pun ke dalam hukum logika, pernyataan kompleks yang dihasilkan akan selalu benar.

Jumlah rumus yang benar-benar identik tidak terbatas, oleh karena itu jumlah hukum dalam logika tidak terbatas.

Hukum dasar logika proposisional adalah hukum identitas, kontradiksi, dan eksklusi tengah.

Hukum identitas: setiap pemikiran dalam proses penalaran harus identik dengan dirinya sendiri. Ditunjuk: A « A.

Hukum kontradiksi(non-kontradiksi): dua pernyataan yang saling menyangkal tidak mungkin benar jika digabungkan; Ditunjuk: Ø(A ÙØA).

Hukum tengah yang dikecualikan: dua pernyataan yang saling meniadakan tidak mungkin keduanya salah. Salah satunya pasti benar, yang ketiga dikecualikan. Undang-undang ini berlaku untuk yang bertentangan, atau disebut. pernyataan yang kontradiktif dan dilambangkan: AÚØA.

Ketika suatu pernyataan dinyatakan dengan rumus dengan sejumlah kecil variabel, akan lebih mudah untuk menggunakan metode tabel, sehingga digunakan metode yang disingkat untuk memilih hukum logika.

Singkatan metode pemilihan hukum logika dapat diketahui dengan menggunakan contoh bentuk ((A ® B) Ù (B ® C) Ù A) ® C. Alur pemikirannya di sini adalah sebagai berikut:

1) katakanlah bentuk ini bukan hukum logika. Kemudian, dengan beberapa substitusi, itu akan menjadi pernyataan yang salah.

2) Karena bentuk ini merupakan implikasi, maka pernyataan tersebut dapat menjadi pernyataan yang salah hanya jika, dengan beberapa substitusi, antesedennya benar dan konsekuensinya salah, yaitu ketika ((A ® B) Ù (B ® C ) Ù A) – benar dan c salah.

3) Anteseden ini merupakan konjungsi, dan agar benar, kedua sukunya harus benar, yaitu (A ® B) Ù (B ® C) dan A harus benar.

4) Karena (A ® B) Ù (B ® C) merupakan konjungsi, maka jika benar, maka kedua suku, A ® B dan B ® C pasti benar.

5) A ® B – implikasi sebenarnya; pendahulunya A benar menurut paragraf 3, B juga benar.

6) Karena B ® C adalah implikasi benar, dan b benar, maka C juga benar.

7) Ternyata pernyataan C harus sekaligus salah, menurut ayat 2, dan benar, menurut ayat 6. ini tidak mungkin, karena menurut definisi, setiap pernyataan bisa benar atau salah. Kontradiksi yang ditimbulkannya merupakan akibat asumsi pada ayat 1 yang harus ditinggalkan dan diakui bahwa bentuk yang dipertimbangkan adalah hukum yang logis.

Perlu diingat bahwa penggunaan metode yang disingkat memerlukan orientasi yang baik dalam definisi konjungsi logis dasar.

Topik 3. Nama.

1. Konsep sebuah nama. Mengekspresikan nama dalam bahasa alami. Volume dan isi sebagai ciri utama sebuah nama.

2. Konsep tanda. Jenis tanda. Ciri-cirinya bersifat umum (generik) dan khas (spesifik). Isi utama dan lengkap dari nama tersebut.

3. Nama dan konsep. Nama-nama itu tunggal, umum, kosong. Konsep alam semesta penalaran dan nama-nama universal. Nama jelas dan tidak jelas.

4. Hubungan antar nama. Keterbandingan dan ketidakterbandingan nama. Kompatibilitas dan tipenya - kompatibilitas lengkap (volume sama), subordinasi, kompatibilitas parsial (persimpangan). Ketidakcocokan dan jenisnya - kontradiksi, di luar posisi, subordinasi, oposisi. Diagram lingkaran Euler dan diagram Venn untuk menggambarkan hubungan antar nama.

5. Operasi dengan volume nama. Generalisasi, pembatasan, perluasan, lokalisasi, tipifikasi. Transisi mental dari sebagian ke keseluruhan dan sebaliknya.

6. Divisi. Pembagian logis, tujuan dan strukturnya. Jenis pembagian logis - pembagian standar dan non-standar, dikotomis dan politomis (dengan modifikasi suatu karakteristik).

7. Klasifikasi dan Tipologi. Klasifikasi (tipologi) alami dan buatan. Aturan pembagian logis dan kesalahan jika dilanggar. Pembagian analitis, periodisasi.

8. Pengertian, tujuan dan strukturnya. Definisi nominal dan riil. Definisi eksplisit dan implisit. Jenis definisi eksplisit (atributif, genetik, operasional). Definisi implisit dan jenisnya (melalui abstraksi, kontekstual, induktif dan aksiomatik). Kekhususan definisi yang mencolok. Definisi mendaftar, mendalilkan, mengklarifikasi. Penentuan aturan dan kesalahan jika dilanggar. Teknik yang mirip dengan definisi (deskripsi, penokohan, dengan menunjukkan kebalikannya, dll). Makna definisi dalam berbagai bidang aktivitas manusia.

1. Konsep sebuah nama. Mengekspresikan nama dalam bahasa alami. Ruang lingkup dan konten sebagai ciri utama dari nama tersebut.

Nama– ekspresi bahasa yang menunjukkan suatu objek atau himpunan, kumpulan objek. “Objek” dalam hal ini dipahami secara umum, dalam arti seluas-luasnya. Benda-benda yang digabungkan secara mental ke dalam suatu himpunan, atau kelas tertentu, disebut elemen himpunan (kelas).

Nama menunjuk, memberi nama, mewakili beberapa objek dalam bahasa. Barang-barang ini disebut arti nama.

Ciri utama sebuah nama adalah volume dan isinya.

volume nama adalah himpunan, kumpulan, kelas benda yang dilambangkan dengan nama. Beri nama konten- ini adalah sekumpulan atribut objek yang dapat dibayangkan dalam namanya.

2. Konsep tanda. Jenis tanda. Ciri-ciri umum (generik) dan ciri-ciri pembeda akhir (spesies). Isi utama dan lengkap dari nama tersebut.

Tanda- ini adalah properti apa pun, karakteristik apa pun dari suatu objek. Isi nama menetapkan ciri-ciri benda-benda yang secara kolektif dimiliki oleh setiap benda yang disorot dengan nama ini, yaitu. termasuk dalam ruang lingkupnya.

Ciri-ciri yang menyusun isi suatu nama dibedakan menjadi generik, spesifik, dan individual. Jika kita mengidentifikasi kelas objek yang lebih sempit di dalam kelas objek yang lebih luas, maka ciri-ciri yang membedakan kelas objek yang lebih luas disebut generik, dan ciri-ciri yang membedakan kelas objek yang lebih sempit disebut spesifik. Artinya, ciri-ciri generik berperan sebagai ciri-ciri umum, dan ciri-ciri khusus berperan sebagai ciri khas.

Ciri-ciri kelahiran- ini adalah tanda-tanda kelas objek di mana kelas yang lebih sempit (subkelas) dibedakan.

Karakteristik spesies– ini adalah karakteristik yang membedakan subkelas dalam suatu kelas.

Membedakan dasar Dan menyelesaikan isi nama. Isi dasar nama– bagian minimum dari isi suatu nama yang menjadi sumber seluruh sisa isinya (yang dalam hal ini disebut turunan).

3. Nama dan konsep. Nama-nama itu tunggal, umum, kosong. Konsep alam semesta penolakan dan nama universal. Nama jelas dan tidak jelas.

Konsep- suatu bentuk pemikiran di mana objek-objek dari kelas tertentu diidentifikasi dan digeneralisasikan menurut ciri-ciri pembeda yang signifikan. Penting adalah tanda yang menentukan kekhususan kualitatif suatu benda tertentu dan yang membedakan benda tersebut dengan benda lainnya. Fitur ini mendasari pemilihan objek dan kombinasinya ke dalam kelas. Setiap konsep dicirikan oleh volume dan konten.

Ruang lingkup suatu konsep adalah sekumpulan objek yang mempunyai ciri-ciri yang menjadi isi konsep tersebut. Objek tersendiri yang berkaitan dengan ruang lingkup konsep tertentu disebut elemen kelas.

Konsep diungkapkan dalam bahasa alami melalui nama- kata atau frasa. Nama yang terdiri dari satu kata disebut sederhana, di antara dua - kompleks, diungkapkan dengan frasa – deskriptif atau deskriptif.

Volume yang dilambangkan dengan namanya disebut denotasi, dan subjek terpisah dari buku ini adalah penunjukan nama.

Ada nama tunggal, umum, dan kosong.

Nama tunggal menunjukkan satu objek dan dinyatakan dengan kata benda yang tepat. Artinya, ruang lingkup satu nama mencakup satu elemen.

Nama yang umum menunjukkan lebih dari satu hal. Artinya, ruang lingkup nama umum meliputi lebih dari satu elemen. Ruang lingkup nama umum adalah kelas (kumpulan) objek yang dicakupnya. Kelas itu adalah ruang lingkup namanya, ditelepon arti nama ini.

Nol ( kosong) nama adalah nama yang cakupannya tidak mengandung satu elemen pun. Sebuah kelas tanpa satu elemen pun disebut nol atau kosong.

Jenis khusus dari nama umum adalah nama universal. Nama mereka, seperti yang Anda duga, berasal dari kata “universum”. Setiap bidang kognisi memiliki kelas objek yang ditelitinya masing-masing. Ini bisa berupa tubuh fisik, organisme hidup, angka, dll. Dalam logika dan metodologi kognisi, kelas atau himpunan semacam ini disebut semesta bidang pengetahuan yang sesuai, atau, seperti yang juga mereka katakan, semesta penalaran . Artinya pernyataan dan penalaran dalam suatu bidang ilmu tertentu berhubungan dengan objek-objek tersebut. Misalnya, untuk biologi, alam semesta secara keseluruhan akan menjadi kelas semua makhluk hidup, untuk bagian yang sesuai - kelas vertebrata. Dalam logika dan metodologi sains semesta terkadang bisa diartikan sebagai variasi yang sangat luas, – himpunan yang memuat semua benda sebagai elemennya. Jadi:

Nama ditelepon universal, jika pada bagian tertentu isinya hanya dicatat ciri-ciri yang melekat pada setiap unsur kelas, yaitu alam semesta penalaran. Misalnya, jika suatu benda terbuat dari logam, maka benda tersebut mempunyai sifat dapat menghantarkan arus listrik.

Di antara nama-nama universal, ada nama-nama yang isi spesifiknya mencerminkan suatu hukum obyektif, dan ada pula yang isinya tidak mencerminkan hukum tersebut. Nama tipe pertama- disebut tentu saja atau membutuhkan universal, konten spesifiknya mengungkapkan beberapa pola penting yang terkait dengan hukum yang bersifat objektif (logika atau alam). Contoh: “suatu benda yang benar mempunyai sifat P atau tidak mempunyai sifat P”. Rumusan umum ini berhubungan dengan “segitiga dengan jumlah sudut 180 derajat” (dalam kasus geometri Euclidean). Nama-nama tipe kedua dapat dikaitkan dengan secara tidak sengaja bersifat universal. Contoh: semua orang yang berkumpul di antara penonton mengenakan topi. Maka “orang di antara penonton yang memakai topi” secara tidak sengaja akan menjadi nama universal.

Namanya disebut jelas(akurat, pasti), jika sehubungan dengan suatu objek dimungkinkan untuk secara akurat dan jelas memutuskan apakah objek tersebut termasuk atau tidak termasuk dalam lingkup nama tertentu. Jika tidak, maka nama tersebut dikatakan fuzzy (kabur, samar-samar, samar-samar, tidak tepat) cakupannya.

4. Hubungan antar nama. Keterbandingan dan ketidakterbandingan nama. Kompatibilitas dan tipenya - kompatibilitas lengkap (volume sama), subordinasi, kompatibilitas parsial (persimpangan). Ketidakcocokan dan jenisnya - kontradiksi, di luar posisi, subordinasi, oposisi. Diagram lingkaran Euler dan Diagram Venn untuk menggambarkan hubungan antar nama.

Hubungan antar nama dibedakan berdasarkan kekhususan hubungan antara isi dan volumenya.

Nama sebanding satu sama lain jika isinya mempunyai ciri-ciri yang sama. Nama-namanya adalah tak tertandingi, jika isinya tidak memiliki ciri-ciri umum yang memungkinkan identifikasi dasar perbandingan. Nama yang sebanding dibagi menjadi teliti Dan tidak kompatibel.

Nama kompatibel jika volumenya setidaknya sebagian bertepatan, yaitu, mereka memiliki unsur-unsur yang sama. Kalau tidak, nama-nama itu tidak kompatibel.

Hubungan Kompatibilitas dibagi menjadi: 1) hubungan kesetaraan (kesetaraan), 2) penyerahan, 3) persimpangan (persimpangan).

Nama yang volumenya sepenuhnya bertepatan, adalah volume yang sama (setara).

Nama-namanya ada di menghormati subordinasi, jika volume yang satu seluruhnya termasuk dalam volume yang lain, tetapi tidak bertepatan dengannya. Nama inklusif disebut berpangkat lebih rendah, termasuk – bawahan.

Nama-namanya adalah berpotongan (crossing), jika volumenya hanya mencakup sebagian satu sama lain.

Ketidakcocokan nama memanifestasikan dirinya dalam kasus di mana ada: 1) hubungan subordinasi, 2) kontradiksi, 3) berlawanan.

bawahan, jika total volumenya merupakan bagian dari volume nama bawahan tertentu. Kehadiran nama subordinatif yang lebih umum diperlukan untuk hubungan subordinatif.

Nama yang tidak kompatibel dipanggil kontradiktif, jika mereka sepenuhnya menghabiskan ruang lingkup nama bawahan ketiga, dan salah satunya menunjukkan objek tanpa properti yang termasuk dalam konten nama kedua. Dua nama seperti itu, yang mencakup seluruh alam semesta, mengecualikan kemungkinan volume ketiga terletak di antara keduanya.

Nama yang tidak kompatibel dipanggil di depan, jika isinya mengungkapkan karakteristik ekstrim apa pun dalam rangkaian sifat yang berubah secara bertahap. Banyak pasangan nama yang berlawanan cakupannya tidak jelas. Nama-nama yang berlawanan tidak membatasi ruang lingkup kelas di mana mereka dibandingkan. Masing-masing nama tersebut termasuk dalam ruang lingkupnya saja set ekstrim elemen volume kelas ini.

Diagram lingkaran Euler dan diagram Venn digunakan untuk menggambarkan hubungan antar nama.

Rasio keseimbangan volume(persamaan derajatnya)

A dan B. Dll.: A – persegi, B – persegi panjang,

yang diagonal-diagonalnya saling tegak lurus.

Hubungan subordinasi

A – siswa, B – siswa tahun pertama.

Hubungan persimpangan(persimpangan)

A – pelajar, B – penduduk Minsk.

Hubungan subordinasi

A – penduduk Rudenssk, B – penduduk Minsk,

S adalah warga negara Republik Belarus.

Sikap kontradiksi

A - pelajar, B - bukan pelajar

Sikap sebaliknya

A - warga terkaya

Republik Belarus, B – termiskin

warga negara Republik Belarus

Hubungan antara nama-nama yang tak ada bandingannya.

Berbeda dengan subordinasi, dalam kasus

ketidakterbandingan nama tidak lagi ditentukan

kelas luas yang mensubordinasikan volume mereka.

5. Operasi dengan volume nama. Generalisasi, pembatasan, perluasan, lokalisasi, tipifikasi. Transisi mental dari sebagian ke keseluruhan dan sebaliknya.

Hubungan antara nama berdasarkan volume memungkinkan Anda melakukan operasi logis dengannya, yang menghasilkan nama baru. Operasi yang paling penting adalah generalisasi, pembatasan, perluasan, lokalisasi, tipifikasi.

Generalisasi volume A- ini adalah operasi logis, sebagai akibatnya suatu nama dibentuk dengan volume B, mengandung volume A. Artinya, menggeneralisasi nama A berarti membentuk nama lain B (genus), yang akan mensubordinasikan A (spesies).

Apalagi jika digeneralisasi, nama B mungkin masih belum diketahui, harus dipilih isinya, harus ditetapkan atau diperjelas ruang lingkupnya, dan namanya sendiri harus dirumuskan ulang. Proses generalisasi merupakan komponen integral dari pengetahuan ilmiah. Dalam proses kognisi, nama generalisasi itu sendiri dapat digeneralisasikan, dan seterusnya. batas generalisasi adalah beberapa nama universal. Dalam ilmu yang berbeda, ini adalah nama-nama yang memperbaiki konsep ilmiah yang mendasar- disebut kategori ilmiah. Misalnya, dalam matematika, dalam geometri - sebuah titik, sebuah bidang; dalam logika - properti, hubungan: dalam fisika, dalam mekanika - gaya, massa, titik material.

Keterbatasan adalah operasi logika kebalikan dari generalisasi. Apabila dilakukan pembatasan, ditemukan nama dengan volume B, yang berisi volume A. Batasan volume A adalah ditemukannya nama lain seperti B (spesies), yang berada dalam hubungan subordinasi terhadap nama A genus). Batasan pembatasannya adalah nama-nama yang volumenya sama dengan satu benda, yaitu. nama tunggal. Misalnya batas nama “ibukota” adalah Minsk, Warsawa, dll.

Mengetik- jenis pembatasan khusus.

Jenis adalah nama yang sesuai dengan objek homogen sampai tingkat tertentu.

Jika beberapa item buatlah volume nama A dan di antara mereka ada yang niscaya, yaitu. dengan gelar sama dengan satu, milik volume b, dan yang lain memiliki properti ini dalam beberapa hal, yaitu. ., kurang dari satu, maka nama dengan volume B melambangkan jenis. Contoh: dengan membatasi ruang lingkup nama “man”, Anda bisa mendapatkan “low man” atau “tall man”. “orang rendahan” adalah sebuah tipe; tipe lainnya adalah “pria jangkung”. Jadi:

Jenis adalah nama dengan ruang lingkup yang tidak jelas.

Istilah "tipe" juga dapat digunakan dalam arti lain, ketika perwakilan tipikal hanya mencakup objek-objek yang pasti, dengan derajat yang sama dengan satu, termasuk dalam ruang lingkup nama fuzzy. Dalam hal ini isi tipe dalam bentuk terkonsentrasi memuat ciri-ciri objek yang berkaitan. Dalam arti ini jenis- Ini nama sampel, standar untuk mendeskripsikan dan mengevaluasi objek. Ingat perwakilan khas karakter sastra Rusia abad ke-19, misalnya karakter Gogol atau Dostoevsky (“remaja”, “manusia bawah tanah”, dll.).

Perluasan volumeA– penambahan objek baru ke volume A yang dalam beberapa hal identik dengan objek lama.

Lokalisasi nama volume A- operasi kebalikan dari pemuaian, penghilangan benda-benda dari volume A yang identik dengan benda-benda lainnya menurut beberapa ciri. Contoh: dalam biologi, paus pernah dikeluarkan dari kelas ikan, namun ruang lingkup dan isi nama “ikan” tetap tidak berubah.

Faktanya adalah bahwa dalam kasus penambahan atau penghapusan objek tertentu dari ruang lingkup nama tertentu, ruang lingkup atau isi nama tersebut tidak berubah. Tanda yang digunakan untuk mengalokasikan dan mencatat volume tetap tidak berubah.

Transisi mental dari bagian ke keseluruhan dan dari keseluruhan ke bagian berbeda dari operasi logika dengan volume nama. Dalam operasi logis, hubungan antara karakteristik generik dan spesifik dibangun. Jadi, nama yang digeneralisasi mengandung hasil generalisasi, tetapi tidak sebaliknya. Spesies ini memiliki setiap orang ciri-ciri genus, tetapi tidak sebaliknya, genus tidak memilikinya setiap orang tanda-tanda spesies tersebut. Berbeda dengan hubungan antara genus dan spesies, bagian tidak mengandung konten c hampir tidak. Oleh karena itu, mengacaukan pengoperasian generalisasi atau pembatasan dengan pengoperasian transisi mental dari sebagian ke keseluruhan atau dari keseluruhan ke sebagian tidak dapat diterima dan mengarah pada kesalahpahaman.

6. Divisi. Pembagian logis, tujuan dan strukturnya. Jenis pembagian logis - pembagian standar dan non-standar, dikotomis dan politomis (menurut modifikasi karakteristik).

Pembagian logis– suatu operasi dimana volume suatu nama (genus) didistribusikan di antara kelas-kelas (spesies) sesuai dengan beberapa karakteristik. Dalam hal ini genusnya disebut nama yang dapat dibagi, jenis - anggota divisi, tanda - dasar pembagian. Terkadang atribut juga bisa disebut sudut pandang atau aspek pertimbangan.

Dasar pembagiannya dapat berupa suatu ciri yang hanya melekat pada beberapa objek dari kelas tertentu. Dalam hal ini benda dibagi menjadi benda yang mempunyai ciri tertentu dan benda yang tidak mempunyai ciri tersebut. Pembagian ini disebut dikotomis. Dll.: membagi bilangan menjadi genap dan ganjil. Pembagian menurut ciri-ciri yang dimiliki semua benda dalam genus dan berbeda-beda antar spesies disebut politom. Pembagian dikotomis lebih sederhana dan biasanya digunakan pada tahap awal pembelajaran mata pelajaran, ketika ada kejelasan mengenai beberapa mata pelajaran yang ditunjuk dengan nama pemisah.

Pembagian logis bisa bersifat klasik dan non-klasik. Pada klasik pembagian genus dan spesies diberi nama volume jernih, pada non-klasik- Ini nama yang kabur dan tidak jelas atau jenis.

Operasi pembagian dapat dicirikan dari sudut pandang

Analisis semantik bahasa alami memungkinkan penerapan tipologi ekspresi linguistik sesuai dengan jenis struktur mental, sifat, dan hubungan yang dibawanya. Namun ekspresi bahasa alami dapat dianggap sebagai tanda yang membawa nama. Mengingat hal ini, semua ekspresi linguistik yang bermakna (bermakna) dalam logika modern dianggap sebagai nama. Dalam proses aktivitas kognitif dan praktis, hal-hal nyata atau konvensional menjadi bahan pemikiran manusia. Seseorang tidak dapat melakukannya tanpa menunjuk objek-objek ini.

Dengan kata lain, terdapat hubungan penamaan antara benda-benda (nyata atau khayalan) dan cara penggunaannya dalam proses pertukaran pendapat. Hubungan penamaan melibatkan dua objek: yang dilambangkan dan yang dilambangkan.

Menunjuk adalah produk aktivitas mental manusia dan bersifat subjektif.

Apa yang dilambangkan bisa bergantung pada subjek kognisi (jika kita berbicara tentang objek imajiner) dan independen (jika kita berbicara tentang objek yang ada secara objektif). Penunjukan dapat berupa kata, kalimat, gabungan kalimat.

Jadi, ekspresi linguistik yang mempunyai sifat menunjukkan disebut aku aku dan aku. Nama-nama tersebut mencakup kata-kata individual (“Shevchenko”, “Dnieper”, “sungai”) dan frasa (“penulis puisi “The Dream””, “sungai di tepi tempat ibu kota Ukraina berada”). Masing-masing nama menunjukkan objek individual atau kumpulan objek.

Nama yang saya maksudkan disebut d e n o t at o m(designatum, nominee) atau arti nama.

Denotasi yang sama mungkin memiliki nama yang berbeda. Jadi, nama “T. Shevchenko” dan “penulis puisi “Mimpi”” menunjukkan orang yang sama. Keadaan ini mengharuskan untuk menjelaskan apa yang memungkinkan dalam setiap kasus tertentu mengasosiasikan (mengkorelasikan) nama tertentu dengan objek yang bersangkutan (denotasi). Ternyata ada semacam perantara yang terlibat dalam proses penamaan, yang tanpanya tidak mungkin menggunakan nama atau menemukan dan membedakan suatu objek dengan objek lainnya. Mediatornya adalah informasi, pengetahuan tentang objek yang ditunjuk. Informasi ini disebut cm dan l o m (konsep) dari namanya.

Makna (konsep) dan makna (denotasi) membentuk isi nama. Pembawa sebuah nama tidak hanya berupa kata dan frasa, tetapi juga beberapa kalimat.

Makna (konsep) suatu kalimat nama adalah keterangan yang terkandung dalam kalimat tersebut (ada yang ditegaskan atau disangkal), dan maknanya merupakan objek abstrak, bervalensi logis (“benar” atau “salah”).

Hanya nama asli yang memiliki arti ("Prancis", "penemu radio", "Kyiv"). Nama imajiner hanya secara simbolis menunjukkan hal ini, karena pada kenyataannya benda yang ditunjuknya tidak ada (seperti nama “Pegasus”, “benda tegar mutlak”, “v-1”, dll.).

Semua nama mempunyai arti. Mengidentifikasi arti suatu nama sangatlah penting, karena makna itulah yang menjadi penghubung antara nama dengan bendanya. Logika dalam teori nama justru tertarik pada penjelasan bagaimana nama dihubungkan dengan objek realitas ekstralinguistik.

Mari kita pertimbangkan perlunya menganalisis teori nama untuk logika.

Logika menjadikan nama sebagai objek analisis untuk memecahkan, pertama-tama, pertanyaan-pertanyaan berikut:

1) hubungan antara nama dan konsep, yaitu: arti nama dan isi konsep;

2) bagaimana makna logis suatu pernyataan bergantung pada makna nama-nama yang terkandung di dalamnya;

3) sarana logis apa yang dapat memastikan invarian pernyataan selama interaksinya dalam proses inferensi.

Jenis nama

Bergantung pada apakah nama menunjukkan objek yang terpisah atau membedakan suatu objek dari banyak objek, semua nama dibagi menjadi:

Milik dan

Nama menunjuk pada objek (individu).

Nama umum membedakan satu item dari banyak item.

Misalnya, “negara bagian”, “kota”, “buku”, “satelit alam”.

Membandingkan nama dengan nama umum yang menunjukkan himpunan, mari kita perhatikan fakta bahwa nama umum menunjukkan perwakilan tak tentu dari sekumpulan objek - semacam negara bagian, lalu kota, dll. Faktanya, nama umum, tidak seperti nama diri, tidak memiliki arti atau makna.

Misalnya kata "kota" adalah nama untuk "Kyiv", "Warsawa", maka ternyata itu adalah nama di atas nama, karena setiap benda yang diberi nama memiliki namanya masing-masing.

Ia menjelaskan situasinya dengan cukup meyakinkan dengan pemahaman yang benar tentang nama umum B. Russell. Ia menunjukkan bahwa kata "manusia" mengacu pada beberapa orang, dan bukan orang tertentu.

Oleh karena itu, masuk akal untuk mengatakan bahwa nama umum tidak menunjukkan, tetapi mewakili objek tertentu (sewenang-wenang) dari suatu himpunan, karena variabel (x) dalam matematika mewakili suatu bilangan sembarang. Dalam pengertian ini, nama-nama umum dapat diartikan sebagai variabel objektif yang unik, pertama dan kedua, konsekuensi dari fakta ini adalah bahwa nama-nama umum bukanlah nama dalam arti sebenarnya, karena variabel objektif bukanlah nama. salah satu.

Semua ini memungkinkan kita untuk menyimpulkan bahwa kelas nama tidak mencakup seluruh rangkaian ekspresi linguistik, tetapi hanya bertepatan dengan kategori istilah konstan. Hal ini menunjukkan adanya keragaman hubungan antara tanda verbal dan objek. Hubungan penamaan (penunjukan) hanyalah salah satu dari hubungan tersebut.

Oleh karena itu, jika kita berbicara tentang arti, makna, prinsip penamaan, yang kita maksud adalah sifat hubungan nama (suku tetap) dengan benda yang diwakilinya. Tata cara menentukan arti sebuah nama berbeda-beda sifatnya. Dalam beberapa kasus, sebuah nama secara langsung menunjukkan maknanya, dalam kasus lain, tindakan tambahan diperlukan untuk mengidentifikasi maknanya (penjelasan khusus, referensi ke konteks, dll.).

Nama dalam bahasa alami dinyatakan tidak hanya dengan kata atau frasa (“Shakespeare”, “tanah air Shakespeare”), tetapi juga dengan seluruh kalimat menggunakan operator deskripsi yang ditunjuk, yang disebut operator iota dan dalam bahasa alami ditulis dalam bentuk dari ungkapan "orang yang..". Misalnya, “orang yang menulis puisi “Aeneid”, “Orang yang pertama kali menemukan Amerika”. Bentuk ungkapan "orang yang..." tidak secara jelas menyampaikan namanya dalam bahasa alami.

Mari kita ambil contoh nama yang berbunyi seperti ini: “Orang yang merupakan penulis “Kobzar”. Arti dari nama ini adalah orang sungguhan bernama Shevchenko, ia lahir pada tahun 1814 di desa Morintsy di wilayah Cherkassy; adalah seorang budak di Engelhardt; Salah satu aktivitas kreatif Shevchenko adalah puisi, dan berkontribusi pada lahirnya "Kobzar".

Dengan menganalisis nama ini, Anda dapat dengan mudah memastikan bahwa di dalamnya terdapat nuansa (aspek, penekanan, bayangan) yang dapat digunakan untuk membedakan satu nama dengan nama lain yang memiliki denotasi yang sama. Nuansa inilah, yang terisolasi dari keseluruhan informasi tentang subjek (yang kita miliki saat ini), yang membentuk arti nama tersebut.

Atau ambil kalimat: “Yang merupakan pencipta lukisan “Ekaterina”, yang juga merupakan nama dengan denotasi yang sama, namun dalam hal ini maknanya akan memiliki corak informasi yang berbeda, yaitu: T. Shevchenko memiliki bakat seorang seniman, adalah teman Soshenko, yang memperhatikan kemampuan Taras muda, lulusan Akademi Seni St.

Tentunya ada nama-nama yang maknanya cukup mudah diketahui. Namun keadaan menjadi lebih rumit ketika nama tersebut dianggap di luar konteks, misalnya kata “Kyiv”. Denotasinya bisa berupa kota, kapal perang, atau hotel. Untuk mengetahui dengan jelas arti nama tersebut, diperlukan analisis dan penjelasan tambahan.

Jika arti suatu nama ditentukan oleh situasi atau konteks tertentu, maka disebut p r o s t i m atau tidak deskriptif.

Misalnya, "Jupiter", "Dnepr", "Ukraina".

Jika arti suatu nama ditentukan oleh konstruksinya, maka disebut dengan gudang atau deskriptif.

Misalnya “murid Plato”, “guru Alexander Agung”, “ibu kota Perancis” dan lain-lain.

Mengisolasi corak yang berbeda dalam rangkaian informasi tentang suatu denotasi menciptakan situasi di mana denotasi yang sama memiliki nama yang berbeda (inilah ciri khas nama deskriptif, di mana setiap nama baru adalah corak semantik baru).

Namun seringkali nama yang sama menunjukkan arti yang berbeda. Hal ini tidak lagi membagi rangkaian informasi tentang denotasi ke dalam corak (seperti halnya dengan nama yang kompleks), tetapi menemukan rangkaian informasi baru yang memungkinkan pemisahan yang jelas antara satu denotasi dengan denotasi lainnya. Inilah tepatnya properti untuk NON-deskriptif

Dengan demikian, tata cara mengidentifikasi makna dan denotasi suatu nama mengandaikan adanya konteks ungkapan ujaran.

Di bawah KONTEKS untuk ekspresi arbitrer (A) yang kami maksud adalah ekspresi linguistik yang menyertakan (A) tanpa melanggar kaidah sintaksis bahasa yang digunakan.

Jelas bahwa konteks untuk A akan berupa bagian kalimat, kalimat utuh, atau penggalan teks. Misalnya, ambil nama “guru Aristoteles dan pendiri Akademi”, “guru dan teman Aristoteles”, “guru Aristoteles dan penulis teori gagasan”. Semua contoh memiliki nama yang tepat "Aristoteles". Ekspresi yang menyertakan nama "Aristoteles" tanpa melanggar aturan sintaksis bahasa tertentu disebut konteks nama tersebut.

Jika ruang lingkup nama hanya mencakup satu objek, maka nama tersebut disebut lajang.

Nama yang umum adalah nama yang cakupannya mencakup lebih dari satu elemen. Kelas yang merupakan ruang lingkup dari nama umum disebut arti nama ini.

Jenis khusus dari nama umum adalah universal nama, atau alam semesta . Mereka mencatat semua kelas objek, semua elemen yang dipelajari dalam bidang kognisi tertentu. Nama-nama yang termasuk dalam alam semesta yang sama disebut terkait .

Nama kosong (kosong). dalam bentuk paling umum didefinisikan sebagai nama yang ruang lingkupnya tidak mengandung satu elemen pun. Kelas yang tidak berisi satu elemen pun disebut null, atau kosong.

Ada juga nama deskriptif Dan memiliki . Nama deskriptif mengidentifikasi objek dengan menunjukkan karakteristiknya yang sesuai. Nama diri menunjuk pada suatu benda melalui korelasi langsung dengannya, karena tradisi dan norma penamaan tertentu telah berkembang dalam budaya komunitas manusia.

Penting untuk membedakan antara nama kolektif dan non-kolektif. Non-kolektif disebut dengan nama seperti itu, yang setiap elemen volumenya mewakili sesuatu yang tunggal, integral. kolektif disebut dengan nama yang setiap unsurnya merupakan kumpulan, kumpulan, kesatuan beberapa benda.

Ada nama positif dan negatif. Hal ini didasarkan pada kenyataan bahwa suatu benda dapat dicirikan baik oleh ada maupun tidaknya sifat-sifat tertentu pada suatu benda. Positif dianggap sebagai nama yang isinya menunjukkan sifat-sifat yang melekat pada suatu benda. Negatif sebuah nama dianggap, yang isinya menunjukkan sifat-sifat yang tidak ada pada benda.

Terakhir, kami menunjukkan pembagian nama menjadi jelas dan tidak jelas. Jika namanya sedemikian rupa sehingga sehubungan dengan suatu benda dimungkinkan untuk secara akurat dan jelas memutuskan apakah benda itu termasuk atau tidak dalam lingkup nama yang diberikan, maka nama ini disebut jernih (tepat, terdefinisi) dalam cakupannya (misalnya angka rasional, pertanian subsisten, pertanggungjawaban pidana). Kalau tidak, nama itu akan dianggap kusut (tidak jelas, tidak jelas, tidak jelas, tidak tepat) dalam volume (misalnya, produk mahal, pemuda, penampilan bagus).

HUBUNGAN KOMPATIBILITAS

Nama diperhitungkan kompatibel jika volumenya setidaknya sebagian bertepatan, mis. volume ini memiliki elemen yang sama.

Jenis nama yang kompatibel:

1) Volume yang sama (setara) nama-nama dianggap yang volumenya benar-benar bertepatan (Gbr. 1). Dengan hubungan volume nama yang sama A Dan B setiap item diidentifikasi dengan nama A, dapat ditunjukkan dengan nama B, dan sebaliknya.

2) Nama-nama ada hubungannya penyerahan , jika volume yang satu seluruhnya termasuk dalam volume yang lain, tetapi tidak bertepatan dengannya. Dalam hal ini, nama inklusif disebut bawahan, atau generik, dan nama yang disertakan disebut bawahan, atau spesifik. Jika namanya A mematuhi namanya B(Gbr. 2), lalu semua tanda B melekat pada isi namanya A, dan setiap item dilambangkan dengan nama A, dapat dilambangkan dengan namanya B(tetapi tidak sebaliknya).

3) Berpotongan (crossing) adalah nama-nama yang volumenya hanya mencakup sebagian satu sama lain. Apalagi beberapa benda ditunjuk dengan namanya A, dapat ditunjukkan dengan namanya B, dan sebaliknya. Jika nama-namanya A Dan B berada dalam kaitannya dengan perpotongan (Gbr. 3), maka benda-benda termasuk dalam volume nama secara bersamaan A Dan B, yaitu terletak pada perpotongan volume-volume tersebut, mempunyai ciri-ciri yang sama.

Hubungan antar nama yang berkaitan.

Hubungan ketidakcocokan

Dalam hal terjadi ketidakcocokan isi salah satu nama, ditunjukkan tanda-tanda yang mengecualikan tanda-tanda isi nama lainnya.

Jenis nama yang tidak kompatibel:

1) Kontradiksi dua nama yang tidak kompatibel disebut, konten spesifik yang salah satunya (yaitu, totalitas karakteristik spesifiknya) merupakan negasi dari konten spesifik yang lain. Nama-nama seperti itu sepenuhnya menghabiskan ruang lingkup nama ketiga yang mensubordinasikannya (Gbr. 4).

2) Bawahan nama-nama yang tidak sesuai tersebut disebut, yang volumenya secara total merupakan bagian dari volume beberapa nama bawahan (generik). Karena A Dan B, karena bersifat eksternal, sekaligus tersubordinasi DENGAN, itu sebabnya mereka juga disebut di luar cakupan relatif DENGAN(Gbr. 5).

3) Berlawanan mereka menyebut nama-nama yang isinya mengungkapkan karakteristik ekstrem apa pun dalam serangkaian sifat yang berubah secara bertahap (Gbr. 6).

Generalisasi dan pembatasan sebagai operasi pada nama

Generalisasi volume A- operasi logika yang menghasilkan nama dengan volume B, berisi volume A. Dengan kata lain, menggeneralisasikan namanya A- artinya membentuk nama lain B(genus), yang akan menentukan namanya sendiri A(melihat). Batasan generalisasi dalam setiap kasus tertentu adalah nama universal tertentu.

Keterbatasan- operasi logika kebalikan dari generalisasi. Ini terdiri dari menemukan nama dengan volume B, yang terkandung dalam volume A. Batasi volumenya A- artinya mencari nama lain B(spesies), yang akan berada dalam hubungan subordinasi A(keluarga). Batasan pembatasannya adalah nama-nama yang volumenya sama dengan satu benda (nama tunggal).

Tipe batasan khusus adalah pemilihan tipe, atau mengetik . Tipe adalah nama yang sesuai dengan objek homogen sampai tingkat tertentu. Jika beberapa item membentuk volume nama A dan di antara mereka ada yang tanpa syarat (yaitu dengan derajat sama dengan 1) termasuk dalam volume B, dan yang lain memiliki properti ini sampai tingkat tertentu (kurang dari 1), kemudian diberi nama dengan volume B mewakili suatu tipe.

Koneksi ke volume A objek baru yang identik dengan objek lama menurut kriteria tertentu disebut operasi logika ekstensi volume A.

Operasi kebalikan dari pemuaian, yaitu penghilangan volume A benda-benda yang identik dengan benda-benda lain menurut beberapa cirinya disebut lokalisasi volume nama A.

Operasi logika dengan volume nama tidak boleh disamakan dengan transisi mental dari bagian ke keseluruhan dan, sebaliknya, dari keseluruhan ke bagian. Kekhususan yang terakhir ini paling jelas terungkap ketika dibandingkan dengan operasi generalisasi dan pembatasan.

OPERASI DIVISI

Pembagian logis adalah operasi logis dimana ruang lingkup suatu nama (genus) didistribusikan di antara kelas-kelas (spesies).

Divisi analitis - Ini adalah operasi yang terkait dengan isolasi mental dari bagian-bagiannya secara keseluruhan. Operasi-operasi ini tidak boleh dicampur.

Pembagiannya bisa klasik atau non klasik. Pada klasik pembagian genus dan spesies - nama dengan volume yang jelas, dengan non-klasik nama atau tipenya tidak jelas dan tidak jelas.

Pembagian logika klasik terdiri dari pencarian nama A nama-nama seperti itu A 1 , A 2 , ..., A N ( N– bilangan akhir) yang:

a) setiap jilid A 1 , A 2 , ... , A n berada dalam hubungan subordinasi terhadap volume A);

b) jumlah volume A 1 , A 2 , ... , A n sama dengan volume A;

c) setiap pasang volume A 1 , A 2 , ... , A n dihubungkan oleh relasi ketidakcocokan. Sekaligus namanya A ditelepon nama yang dapat dibagi , A A 1 , A 2 , ... , A N - anggota divisi .

Bisa jadi dasar pembagiannya adalah suatu ciri yang hanya melekat pada sebagian objek suatu kelas tertentu. Dalam hal ini, objek dibagi menjadi objek yang memiliki ciri tersebut dan objek yang tidak memilikinya. Pembagian ini disebut dikotomis(Yunani dicho - menjadi dua bagian, tebal - bagian). Sebaliknya, pembagian menurut ciri yang dimiliki semua objek dalam genus dan berbeda-beda antar spesies disebut politom Orang yunani polis – banyak).

Perbedaan antara pembagian dan pemotongan didasarkan pada perbedaan sifat hubungan “seluruh bagian” dan “genus-spesies”.

ATURAN DIVISI

1. Aturan kecukupan.Pembagiannya harus proporsional. Artinya jika terjadi perpecahan masing-masing volume A 1 , A 2 , ... , A n harus merupakan jenis volume A, dan jumlah dari A 1 , A 2 , ... , A n harus menghabiskan seluruh volume A;dalam hal pemotongan hubungan mental bagian-bagian harus sama dengan keseluruhan. Penyimpangan dari aturan ini menyebabkan kesalahan, yang paling terkenal adalah: " pembagian dengan anggota tambahan", ketika beberapa volume (bagian) Sebuah 1, Sebuah 2, ... , Sebuah bukan suatu spesies A(tidak dimasukkan sebagai bagian dari keseluruhan A); "pembagian yang tidak lengkap", bila tidak semua jenis (bagian) dari genus yang habis dibagi (keseluruhan) diberi nama, dan jumlah volume anggota pembagian lebih kecil dari volume nama yang dibagi.

2. Aturan Perbedaan. Anggota divisi (dismemberment) harus saling mengecualikan, yaitu. volumenya tidak boleh memiliki unsur-unsur yang sama dalam hal pembagian klasik, dan bagian-bagiannya tidak boleh saling tumpang tindih dalam hal pemotongan.

3. Aturan keunikan dasar. Pembagian harus dilakukan dengan menggunakan basis yang sama. Ketika aturan ini terpenuhi, objek yang termasuk dalam lingkup nama yang dapat dibagi diberkahi dengan satu atribut - atribut yang menjadi dasar pembagian. Penyimpangan dari aturan ini menyebabkan kesalahan, yang disebut basis pencampuran.

Alih-alih istilah "pembagian", istilah "klasifikasi" terkadang digunakan sebagai sinonim. Klasifikasi dalam arti sempit (dalam pengertian inilah kita akan menggunakan istilah ini di masa depan) - ini adalah pembagian bercabang multi-tahap, sehingga setiap anggota yang diperoleh selama operasi ini menjadi subjek pembagian lebih lanjut.

Menurut pembagian klasik dan non-klasik, perlu dibedakan antara klasifikasi klasik dan non-klasik. Yang terakhir disebut tipologi .

Sejauh ini, belum ada istilah yang sederhana dan jelas yang ditetapkan untuk divisi multi-tahap dan bercabang. Operasi ini bisa disebut hierarki .

Klasifikasi dan hierarki tunduk pada semua aturan pembagian. Selain itu, mereka punya aturan khusus sendiri.

1. Aturan urutan . Dalam hal klasifikasi, seseorang harus berpindah dari genus ke spesies terdekat, dan dalam kasus hierarki, dari keseluruhan ke bagian-bagiannya pada tingkat yang sama, tanpa melewatkannya. Jika aturan ini dilanggar, kesalahan yang diperbolehkan adalah “ lompatan dalam klasifikasi (hierarki) ».

2. Aturan materialitas alasan . Klasifikasi (hierarki) harus dilakukan menurut ciri-ciri esensial. Kriteria signifikansi suatu atribut tertentu adalah kemampuan objek yang memilikinya untuk berfungsi sebagai sarana penyelesaian tugas.

Kasus khusus pemotongan adalah periodisasi Keunikannya, pertama, merupakan indikasi perkembangan objek yang ditampilkan dari waktu ke waktu. Kedua, anggota-anggota pembagian (periode) dibedakan berdasarkan ukurannya sebagai kesatuan ciri-ciri kualitatif dan kuantitatif suatu benda.

DEFINISI ATAU DEFINISI (KARAKTERISTIK UMUM)

Dalam logika, pada dasarnya ada dua arti berbeda dari istilah “definisi”. Pertama, di bawah definisi dipahami sebagai operasi yang memungkinkan Anda memilih suatu objek di antara objek lain, untuk membedakannya dengan jelas dari objek tersebut. Hal ini dicapai dengan menunjukkan fitur yang melekat pada objek ini, dan hanya ini. Ciri ini disebut khas (spesifik). Apa yang kita lakukan, misalnya, jika kita ingin mengekstraksi persegi dari kelas persegi panjang? Kami menunjukkan fitur yang melekat pada persegi dan tidak melekat pada persegi panjang lainnya, – pada kesetaraan pihak mereka.

Kedua, definisi tersebut disebut logis suatu operasi yang memungkinkan untuk mengungkapkan, memperjelas atau membentuk makna dari beberapa ekspresi linguistik dengan bantuan ekspresi linguistik lainnya. Jadi, jika seseorang tidak mengetahui apa arti kata “vertshok”, mereka menjelaskan kepadanya bahwa vershok tersebut – ini adalah ukuran kuno yang panjangnya sama dengan 4,4 cm. Karena seseorang mengetahui sebelumnya apa itu “ukuran kuno yang panjangnya sama dengan 4,4 cm”, maka arti kata “puncak” menjadi jelas dan dapat dimengerti olehnya.

Pengertian yang memberikan ciri khas pada suatu benda disebut nyata. Definisi yang mengungkapkan, memperjelas, atau membentuk makna suatu ungkapan linguistik dengan bantuan ungkapan lain disebut nominal.

Cara menetapkan makna suatu ekspresi linguistik dengan menghubungkannya secara langsung dengan objek atau gambarannya disebut mewah definisi.

DI DALAM struktur definisi ada tiga bagian:

1) nama tertentu atau ekspresi yang memuatnya (ditunjukkan dengan tanda Dfd – singkatan dari Lat. definisi);

2) ungkapan yang mengungkapkan, memperjelas atau membentuk arti dari nama yang didefinisikan (ditunjukkan dengan tanda Dfn - singkatan dari bahasa Latin definiens);

3) kata penghubung definitif yang menghubungkan Dfd dan Dfn menurut maknanya (ditandai dengan tanda º).

Secara formal, struktur definisi diwakili oleh ungkapan: Dfd º Dfn.

ATURAN DEFINISI

1. Aturan proporsionalitas. Dfd dan Dfn harus memiliki volume yang sama.

Penyimpangan dari aturan proporsionalitas menyebabkan kesalahan:

1) "definisi yang terlalu luas" - volume Dfn lebih besar dari volume Dfd;

2) "definisi yang terlalu sempit" - volume Dfn lebih kecil dari volume Dfd;

3) “Pada saat yang sama definisinya terlalu luas dan terlalu sempit” - volume Dfd dan Dfn berada dalam hubungan perpotongan.

4) definisi melalui nama kosong- Dfd dan Dfn ternyata tidak kompatibel.

2. Aturan lingkaran anti setan. Dilarang mendefinisikan Dfd melalui Dfn, yang selanjutnya didefinisikan melalui Dfd. Pelanggaran yang diperbolehkan dalam hal ini disebut " lingkaran setan dalam definisi". Kasus khusus dari "lingkaran setan" adalah ulangan yg tdk berguna – pengulangan Dfd dan Dfn (walaupun dalam bentuk verbal yang berbeda) tanpa menetapkan makna Dfd.

3. Aturan ketidakjelasan. Setiap Dfn harus sama persis dengan satu Dfd, dan sebaliknya. Aturan ini menghilangkan fenomena sinonim dan homonimi serta melarang penggunaan metafora dan gambar artistik.

4. Aturan kesederhanaan. Dfn harus dinyatakan dengan nama deskriptif yang mencirikan objek yang ditentukan hanya berdasarkan karakteristik dasarnya. Jika tidak, definisi tersebut akan menjadi mubazir. Dalam definisi klasik, aturan ini dipenuhi dengan ketentuan: a) genus yang termasuk dalam Dfn paling dekat dengan Dfd, yaitu. sedemikian rupa sehingga tidak ada nama lain, di bawah gender dan di bawah Dfd, yang telah didefinisikan sebelumnya; b) di Dfn tidak ada ekspresi dalam relasi berikut (subordinasi).

5. Aturan kompetensi. Dfn hanya dapat berisi ekspresi yang nilainya telah diterima atau ditentukan sebelumnya. Penyimpangan dari aturan ini disebut "mendefinisikan yang tidak diketahui melalui yang tidak diketahui".

Informasi terkait.

3.1. Karakteristik logis umum dari sebuah nama

Ciri esensial seseorang adalah pemikiran linguistik abstrak. Hal ini didasarkan pada kemampuan seseorang, mengalihkan perhatian dari objek dan fenomena tertentu, untuk beralih ke esensinya. Pada saat yang sama, baik objek dan fenomena nyata (“rumah”, “pagi”), dan propertinya (“kemurnian”, “harmoni”) ditentukan dengan nama dalam bahasa. Oleh karena itu, nama adalah satuan dasar logis dan semiotik, bentuk dasar, dan proses berpikir adalah proses mengoperasikan nama-nama dan menjalin hubungan-hubungan khusus di antara mereka. Sebuah nama menunjukkan suatu objek pemikiran dilihat dari ciri-cirinya yang khas. DI DALAM

Dalam bahasa, suatu nama diungkapkan dengan menggunakan kata dan frasa, yang dalam suatu kalimat paling sering digunakan sebagai subjek atau bagian nominal dari predikat. Di luar bentuk verbal, nama tidak ada, tetapi nama dan kata tidak identik: nama yang sama dalam bahasa berbeda mempunyai bentuk linguistik berbeda, dan banyak kata mempunyai beberapa arti.

3.2. Volume dan isi nama

DI DALAM Logikanya, nama apa pun memiliki cakupan dan konten. Isi sebuah nama mewakili makna semantiknya, yaitu totalitas ciri-ciri benda dan kelas-kelas yang dilambangkannya.

Volume sebuah nama diwakili oleh totalitas pembawa atau sebutannya, yang dapat berupa benda material atau hanya benda yang dapat dibayangkan.

Volume dan isi nama, yang mencirikannya dari sudut yang berbeda, berkaitan erat. Studi tentang hubungan ini memungkinkan untuk mengidentifikasi pola khusus, yang dinyatakan dalam hukum hubungan terbalik antara isi dan volume sebuah nama: Dengan menambah isi nama, kita memperkecil volumenya, dan sebaliknya. Isi namanya bertambah karena masuknya fitur-fitur baru. Misalnya nama “siswa”. Ruang lingkupnya mencakup semua mahasiswa lembaga pendidikan tinggi dari semua bentuk pendidikan (penuh waktu, paruh waktu, malam, pembelajaran jarak jauh, dll.). Dengan menambahkan fitur baru ke dalamnya - "siswa korespondensi", kami memperkaya konten nama "siswa", namun mengurangi volumenya, mengecualikan siswa dari semua bentuk pendidikan lainnya. Operasi logis di mana kita berpindah dari nama dengan volume lebih besar ke nama dengan volume lebih kecil disebut membatasi ruang lingkup nama. Batasan pembatasannya adalah

nama dengan volume minimal (tunggal, paling sering tepat).

Operasi kebalikan dalam logika disebut generalisasi ruang lingkup nama. Ini mewakili transisi dari nama dengan volume lebih kecil ke nama dengan volume lebih besar karena pengecualian fitur-fitur tertentu dari kontennya. Misalnya nama “buku teks logika”. Dengan mengecualikan atribut dari kontennya, kami mendapatkan nama dengan volume lebih besar - "buku teks", tetapi dengan konten lebih sedikit. Dalam hal ini, batas generalisasi adalah nama-nama dengan cakupan seluas mungkin - kategori yang menunjukkan fenomena, proses, dan koneksi yang sangat luas dan abstrak (“ruang”, “baik”, “materi”, dll.).

3.3. Jenis nama

Jenis nama bergantung pada nomor peruntukannya dan karakteristik yang dilambangkannya. Berdasarkan volume, nama dibagi menjadi tunggal, umum dan kosong (null). Dalam hal konten - aktif konkret dan abstrak, positif dan negatif, relatif dan non-relatif, kolektif dan non-kolektif.

Nama tunggal adalah nama yang mempunyai satu sebutan (“kosmonot pertama”, “Konstitusi Republik Belarus”, “Immanuel Kant”). Biasanya, nama diri juga termasuk dalam bentuk tunggal. Nama-nama yang mempunyai dua atau lebih sebutan disebut umum (“mahasiswa”, “hukum”, “konstitusi”). Nama yang tidak mempunyai designata disebut kosong (nol). Nama-nama tersebut memiliki makna semantik, tetapi tidak memiliki pokok bahasan. Ini termasuk nama-nama dari bidang fantasi manusia, dongeng, mitos (“putri duyung”, “Serpent Gorynych”, “unicorn”), konsep ilmiah sebagai hasil abstraksi ekstrem (“gas ideal”, “benda yang benar-benar hitam”) dan nama-nama yang isinya membayangkan tanda-tanda yang bertentangan dengan sifat benda yang ditunjuk (“kotak segitiga”, “matahari es”).

Nama dibagi menjadi abstrak dan konkrit tergantung pada apa yang mereka maksud. Jika namanya menunjukkan objek nyata dan kelasnya, maka itu spesifik (“siswa”, “rumah”, “centaur”, “badai petir”). Nama yang menunjukkan sifat individu suatu objek dan hubungan di antara mereka disebut abstrak (“kemurnian”, “cinta”, “keberanian”).

Nama dibagi menjadi positif dan negatif tergantung pada apakah mereka mencatat keberadaan beberapa atribut pada objek yang ditunjuk atau ketidakhadirannya. Sebuah nama disebut positif jika menunjukkan keberadaan beberapa atribut dalam objek (“orang percaya”, “keteraturan”).

Sebaliknya, nama yang menunjukkan tidak adanya suatu ciri pada suatu benda disebut negatif (“asimetri”, “kekurangan”). Biasanya, nama negatif dibentuk menggunakan partikel negatif (bukan-, tanpa-, a-). Jika nama tanpa awalan negatif tidak digunakan karena berbagai alasan (perkembangan bahasa, perubahan norma leksikal), maka nama tersebut positif (“kebencian”, “disonansi”).

Tidak relevan adalah nama yang menunjuk pada benda itu sendiri, terlepas dari hubungan dan hubungan benda tersebut dengan benda lain (“manusia”, “rumah”). "baik" - jahat", "siang - malam").

Nama yang menunjukkan kumpulan objek, yang dianggap sebagai satu kesatuan, disebut nama kolektif (“rasi bintang”, “layanan”). Apalagi yang namanya keutuhan tidak sesuai dengan nama benda yang menyusunnya. Dengan demikian, yang dimaksud dengan nama “rasi bintang” adalah Rasi Bintang Ursa Major dan rasi bintang lainnya, dan bukan bintang dan benda langit. Non-kolektif nama diberikan yang menunjukkan objek dan kelasnya dan dipahami bukan sebagai entitas independen, tetapi ada secara terpisah (“planet”, “jendela”).

Dengan menentukan jenis nama berdasarkan volume dan konten, kami memberikan deskripsi logis lengkap: planet - umum, spesifik, positif, terlepas, non-kolektif. Deskripsi logis yang lengkap memungkinkan untuk memperjelas ruang lingkup dan isi sebuah nama, menggunakan ekspresi verbalnya dengan lebih tepat dalam sebuah teks, diskusi, dll.

3.4. Hubungan antar nama berdasarkan volume

Keseluruhan rangkaian nama dapat dibedakan menjadi nama yang sebanding dan tidak dapat dibandingkan adalah nama yang mempunyai paling sedikit satu ciri yang sama (“pelajar” dan “atlet”) . Dalam hubungan logis hanya ada nama yang sebanding. Nama-nama yang sebanding, pada gilirannya, dibagi menjadi kompatibel dan tidak kompatibel. Nama-nama yang kompatibel mencakup nama-nama yang volumenya sama seluruhnya atau sebagian, dan nama-nama yang tidak kompatibel mencakup nama-nama yang volumenya tidak sama seluruhnya atau sebagian. Hubungan antar nama direpresentasikan secara grafis pada lingkaran Euler.

Jenis kompatibilitas:

1. Identitas (keseimbangan).

A – pelajar, B – mahasiswa.

yang volumenya sama persis. Selain itu, mereka memiliki sebutan yang sama, karena mereka menunjukkan objek yang sama, tetapi isinya mungkin berbeda. Hubungan antara nama yang sama ditunjukkan pada Gambar 1.

2. Persimpangan

A – pelajar, B – pemain catur, C – siswa catur

DI DALAM Dalam hubungan perpotongan terdapat nama-nama yang volumenya sebagian berhimpitan. Dalam hal ini, sebagai hasil perpotongan volume nama, terbentuklah kelas baru, yang dibentuk oleh sebutan yang sama dengan nama-nama yang berpotongan. Pada Gambar. 2 menunjukkan hubungan perpotongan.

3. Penyerahan

A – pelajar, B – pelajar.

Berkenaan dengan subordinasi, ada nama-nama yang ruang lingkup salah satunya sepenuhnya termasuk dalam ruang lingkup yang lain, tetapi tidak menghabiskannya. Hubungan ini ditunjukkan pada Gambar. 3.

Jenis-jenis ketidakcocokan: 1. Subordinasi

A – universitas, B – BNTU, C – BSU.

DI DALAM Dalam hubungan subordinasi terdapat dua atau lebih spesies dari genus yang sama. Sehubungan dengan nama generik mereka berada dalam hubungan subordinasi, dan di antara mereka sendiri - subordinasi, yaitu. volumenya tidak berpotongan. Hubungan subordinasi ditunjukkan pada Gambar. 4.

2. Berlawanan

A – putih, B – hitam, C – berwarna.

DI DALAM dalam hubungan pertentangan (bertentangan) ada nama-nama yang salah satunya mempunyai ciri-ciri tertentu, dan yang lain mengecualikannya, menggantikannya dengan yang sebaliknya. Hubungan ini ditunjukkan pada Gambar. 5.

Karena logika mempelajari bentuk-bentuk pemikiran dan cara mengungkapkannya dalam bahasa, logika juga merupakan ilmu bahasa. Logika mempelajari aspek-aspek tertentu dari bahasa alami (bahasa yang muncul dan berkembang terutama secara spontan), dan juga menciptakan bahasa buatan - bahasa logika khusus. Salah satu bahasa tersebut adalah bahasa logika predikat, banyak digunakan dalam mengidentifikasi hubungan antara pemikiran dengan bentuk logisnya. Keuntungan utama bahasa ini adalah ekspresinya tidak ambigu. Tidak ada homonim dan tidak ada ekspresi yang tidak jelas. Hal ini memungkinkan Anda mencatat secara ketat jalannya penalaran dan secara akurat menyelesaikan masalah benar atau salahnya, serta sejumlah masalah lainnya.

Dalam analisis logis, bahasa dianggap sebagai sistem tanda.

Tanda - itu adalah objek material yang digunakan dalam proses kognisi atau komunikasi sebagai representasi dari suatu objek.

Dapat dibedakan tiga jenis tanda sebagai berikut: (1) tanda indeks; (2) simbol-gambar; (3) tanda-simbol.

Tanda indeks dihubungkan dengan objek yang diwakilkannya secara material, misalnya sebagai akibat dengan sebab. Jadi, asap menandakan adanya api, peningkatan suhu tubuh menandakan adanya penyakit, perubahan warna kuku menandakan adanya penyakit pada organ dalam, dan perubahan ketinggian kolom air raksa menandakan adanya perubahan tekanan atmosfer.

Tanda-tanda imajinatif adalah tanda-tanda yang dengan sendirinya membawa informasi tentang benda-benda yang diwakilinya (peta suatu daerah, lukisan, gambar), karena mempunyai hubungan kemiripan dengan benda-benda yang ditunjuk.

Tanda-simbol tidak berhubungan secara material dan tidak serupa dengan objek yang diwakilinya.

Logika mengeksplorasi tanda-tanda tipe terakhir.

Biasanya, tanda memiliki makna obyektif dan semantik. Arti subjek adalah objek yang diwakili (atau dilambangkan) dengan tanda. Arti semantik- ciri suatu benda yang dinyatakan dalam bahasa, yang wakilnya berupa tanda, yang memungkinkan seseorang membedakan benda yang ditunjuk itu dengan benda lain. Makna subyek sering disebut makna sederhana, dan makna semantik disebut makna.

Beberapa tanda tidak ada artinya, mis. mewakili objek yang tidak ada (misalnya, “mesin gerak abadi”), dan beberapa tidak masuk akal, mis. menunjuk beberapa objek, tetapi tidak membawa informasi tentangnya, setidaknya yang diungkapkan dalam bahasa dan memungkinkan Anda mengidentifikasi objek yang dilambangkan dengan tanda dengan jelas.

Peran tanda dalam pengetahuan dipelajari oleh Aristoteles. Leibniz dan ilmuwan lain menangani masalah ini. Perkembangan doktrin tanda pada abad ke-19 menjadi sangat relevan. sehubungan dengan kebutuhan linguistik dan logika simbolik. Filsuf Amerika Charles Peirce (1839-1914) meletakkan dasar-dasar ilmu khusus tentang tanda - semiotika. Ada tiga bagian dalam ilmu ini - sintaksis, semantik dan pragmatik, Hal ini disebabkan adanya tiga aspek bahasa.

Sintaks adalah bagian semiotika yang mempelajari hubungan antara objek material yang berperan sebagai tanda (aturan konstruksi dan transformasi ekspresi bahasa, dll). Dalam proses penelitian ini, seseorang teralihkan dari makna dan makna tanda-tanda.

Semantik adalah cabang semiotika yang terutama mempelajari hubungan tanda dengan objek yang diwakilinya, serta makna tanda, karena merupakan salah satu sarana untuk menjalin hubungan antara tanda dan maknanya.

Pragmatik mempelajari apa yang dibawa oleh individu dan kelompok sosial pada pemahaman tentang tanda, hubungan seseorang dengan tanda, dan hubungan antar manusia dalam proses komunikasi tanda.

Salah satu jenis tanda adalah nama. Doktrin nama, disebut teori penamaan, dikembangkan relatif sepenuhnya oleh ilmuwan Jerman Gottlob Frege (1848-1925). Kontribusi besar terhadap penciptaan doktrin ini dibuat oleh ahli logika Amerika R. Carnap (1891-1970) dan A. Church (1903-1995), serta ahli logika dalam negeri E.K. Voishvillo (lahir 1913).

Konsep utama teori penamaan adalah konsep “nama”.

Nama - Ini adalah kata atau frasa yang menunjukkan suatu objek. Karena nama adalah sebuah tanda, maka ia mempunyai arti atau makna (atau keduanya). Arti sebuah nama adalah hal yang dilambangkan dengan nama itu. Nama lain untuk arti nama - denotasi, penunjukan, calon. Arti (atau konsep) adalah informasi tentang objek yang disajikan dalam bahasa, yang diungkapkan oleh sebuah nama dan yang memungkinkan seseorang untuk secara jelas mengidentifikasi objek yang merupakan arti dari sebuah nama.

Ada dua jenis nama. Nama yang termasuk dalam tipe pertama menunjukkan satu objek. Nama tipe kedua umum untuk objek kelas tertentu. Nama tipe pertama disebut tunggal, dan nama tipe kedua disebut umum. Contoh nama tunggal: Bulan; ibu kota Rusia; penulis novel "Perang dan Damai". Contoh nama umum: hewan yang daun telinganya lembut; negara Eropa; murid. Jadi, arti satu nama adalah satu subjek. Nilai nama umum adalah item dari beberapa kelas yang mengandung lebih dari satu elemen. Kelas yang terdiri dari objek-objek yang merupakan arti suatu nama disebut ruang lingkup nama. Volume satu nama adalah kelas yang terdiri dari satu mata pelajaran.

Secara grafis:

tandai">universal. Nama universal adalah nama umum, yang ruang lingkupnya adalah seluruh alam semesta penalaran, yaitu: seluruh bidang studi yang menjadi alasan seseorang. Misalnya, “seseorang yang mengetahui beberapa bahasa asing atau tidak tahu satu bahasa asing.” Alam semesta penalaran di sini adalah himpunan (semua) orang. Ruang lingkup namanya adalah himpunan yang sama. Nama “orang yang menguasai beberapa bahasa asing” tidak bersifat universal, karena ruang lingkupnya tidak bertepatan dengan kumpulan (semua) orang ditentukan oleh konteks di mana nama tersebut digunakan.

Boleh ada nama dengan arti berbeda dan volume yang sama (misalnya, “kota terbesar di Inggris” dan “ibu kota Inggris”), tetapi tidak boleh ada nama dengan arti yang sama tetapi volumenya berbeda.

Nama dapat menandakan benda-benda yang tidak ada dalam jagat penalaran. Nama-nama seperti itu hanyalah khayalan. Contoh: “putri duyung”, “titik terjauh di Alam Semesta”. Nama-nama tersebut bersifat khayalan jika alam semesta penalaran terdiri dari objek-objek yang ada dalam realitas objektif. Ruang lingkup nama imajinernya adalah himpunan kosong.

tandai">valid .

Frege dan Church percaya bahwa semua nama memiliki arti. Voishvillo percaya bahwa tidak semuanya. Dalam sudut pandangnya, ia membagi nama menjadi dua jenis menurut jenis maknanya, yaitu nama yang mempunyai arti tersendiri, dan nama yang tidak mempunyai arti tersendiri. Nama yang mempunyai arti tersendiri merupakan nama deskriptif seperti “sungai terbesar di Eropa”. Makna nama-nama tersebut ditentukan oleh strukturnya dan makna atau makna nama-nama yang menyusun nama deskriptif tersebut. Jika nama-nama yang termasuk dalam nama kompleks tidak masuk akal, maka dalam hal ini nama deskriptif mempunyai arti. Makna ini untuk menunjukkan hubungan antara makna nama-nama penyusunnya. Nama non-deskriptif seperti “Volga” tidak memiliki arti tersendiri. Kalaupun ada artinya, itu hanya arti tertentu saja. Nama non-deskriptif diberi makna melalui nama deskriptif yang diasosiasikan dengannya. Nama deskriptif, pada gilirannya, menyertakan nama nondeskriptif. Mereka juga diberi makna melalui bahasa deskriptif. Jelasnya, proses seperti itu tidak akan ada habisnya, mis. beberapa nama non-deskriptif mempunyai arti tetapi tidak bermakna. Nama-nama ini menunjuk pada objek, tetapi tidak membawa informasi tentangnya, yang diungkapkan dalam bahasa dan memungkinkan objek tersebut dibedakan dari objek lain di alam semesta. Arti nama tersebut ditentukan melalui indera atau intuisi.

Dalam bahasa alami, beberapa ekspresi, bergantung pada konteksnya, menunjukkan berbagai objek, dan ada juga kasus ketika makna ekspresi dapat berupa ekspresi itu sendiri, dll. Keadaan ini tidak dapat diterima dalam bahasa ilmu pengetahuan yang tunduk pada tiga prinsip normatif berikut: (1) prinsip objektivitas; (2) prinsip ketidakjelasan; (3) prinsip pertukaran.

Menurut prinsip objektivitas, pernyataan harus menegaskan atau menyangkal sesuatu tentang arti nama-nama yang terdapat dalam kalimat, dan bukan tentang nama itu sendiri. Tentu saja harus diingat bahwa arti beberapa nama adalah nama. Kasus-kasus seperti ini tidak bertentangan dengan prinsip objektivitas. Misalnya, dalam kalimat “Materi adalah yang utama, dan kesadaran adalah yang kedua”, “materi” adalah nama realitas objektif, dan dalam kalimat “Materi” adalah kategori filosofis, kata “materi” diambil dalam kutipan. tanda, adalah nama nama, nama kategori. Nama-nama seperti itu disebut tanda petik. Terkadang dalam bahasa natural ada kasus dimana nama suatu nama adalah nama aslinya itu sendiri. Misalnya pada kalimat “Tabel kata terdiri dari empat huruf”, kata “tabel” adalah nama kata itu sendiri. Penggunaan nama seperti ini disebut otonom. Penggunaan nama secara otonom tidak dapat diterima dalam bahasa ilmiah, karena dapat menyebabkan kesalahpahaman. Jadi, dalam definisi terkenal V.I. Lenin: “Materi adalah kategori filosofis untuk menunjuk realitas objektif, yang diberikan kepada seseorang dalam sensasinya, yang disalin, difoto, ditampilkan oleh sensasi kita, yang ada secara independen dari sensasi tersebut” - ada penggunaan nama “materi” secara otonom. ”. Hal ini menimbulkan kontroversi tentang apa yang disebut V.I. Lenin adalah materi, realitas objektif atau kategori, yaitu. pemikiran, konsep realitas.

Menurut prinsip ketidakambiguitasan, suatu ekspresi yang digunakan sebagai nama harus berupa nama satu objek saja, jika berupa nama tunggal, dan jika merupakan nama umum, maka ekspresi tersebut harus berupa nama umum untuk objek yang sama. kelas. Dalam bahasa alami, prinsip ini tidak selalu dipatuhi. Ketaatannya diperlukan ketika membangun bahasa buatan, misalnya bahasa logika predikat.

Asas pertukaran: jika dalam suatu nama kompleks diganti bagian yang selanjutnya merupakan nama dengan nama lain yang mempunyai arti yang sama, maka arti nama kompleks yang diperoleh dari penggantian itu harus sama dengan nama kompleks tersebut. arti nama kompleks aslinya. Misalkan diberikan kalimat “Bumi berputar mengelilingi Matahari” (kita asumsikan kalimat tersebut juga merupakan nama dan arti kalimat tersebut benar atau salah). Mari kita ganti nama “Matahari” pada kalimat di atas dengan nama “pusat Tata Surya”. Jelas sekali, arti dari nama-nama tersebut sama. Sebagai hasil dari penggantian tersebut, kita memperoleh kalimat yang benar dari kalimat yang benar.

Prinsip pertukaran nama tampak wajar, namun ada contoh substitusi nama yang bertentangan. Perhatikan kalimat: “Ptolemy percaya bahwa Matahari berputar mengelilingi Bumi.” Itu benar. Mari kita ganti nama “Matahari” dengan nama “pusat Tata Surya” yang memiliki arti yang sama. Kami akan menerima tawaran palsu.

Ketidaksesuaian dengan prinsip dapat dipertukarkan disebut antinomi dari hubungan penamaan.

Penting untuk membedakan dua cara penggunaan nama. Yang pertama adalah bahwa nama hanya mengidentifikasi itemnya. Kedua, benda-benda yang diberi nama dianggap dalam aspek tertentu. Apabila suatu nama digunakan dalam pengertian yang kedua, maka dapat diganti dengan nama lain yang mempunyai arti yang sama, asalkan pada nama kedua itu benda-benda itu dianggap dalam aspek yang sama. Penggantian di atas bisa saja dilakukan jika Ptolemy percaya bahwa arti nama “Matahari” dan “benda pusat tata surya” adalah sama. Maka arti kalimat “Ptolemeus percaya bahwa Matahari berputar mengelilingi Bumi” adalah “salah”. Kalimat yang dihasilkan dari penggantian tersebut juga salah: “Ptolemy percaya bahwa pusat tata surya berputar mengelilingi bumi.”

Ekspresi bahasa dibagi menjadi beberapa kelas tergantung pada jenis makna yang diungkapkannya, serta jenis objek yang dilambangkan atau diwakilinya. Kelas-kelas ini disebut kategori semantik.

Pertama-tama, kalimat dibedakan, serta bagian-bagian kalimat yang berperan independen dalam penyusunan kalimat.

Kalimat dibagi menjadi beberapa kelas tergantung pada apakah kalimat tersebut mengungkapkan penilaian, pertanyaan, norma, dll. Kalimat yang mengungkapkan penilaian disebut pernyataan.

Di antara ungkapan-ungkapan yang termasuk dalam kalimat dan memainkan peran independen di dalamnya, adalah deskriptif dan istilah logis.

Istilah deskriptif meliputi: 1) nama tunggal; 2) nama umum; 3) tanda-tanda sifat dan hubungan; 4) tanda-tanda tanda; 5) tanda-tanda fungsi tujuan.

Nama tunggal dan umum dijelaskan di atas.

Properti adalah perbedaan objek dan fenomena satu sama lain. Jika kita membandingkan orang, kita dapat mengatakan bahwa yang satu tinggi dan yang lain pendek, yang satu bermata hitam dan yang lain bermata biru, dan seterusnya. Dengan menghubungkan suatu sifat dengan suatu objek dalam pikiran kita, kita memperoleh kalimat yang benar atau salah.

Suatu sikap berbeda dengan suatu sifat, untuk memperoleh suatu kalimat yang benar atau salah, sikap itu harus dikaitkan dalam pikiran kepada satu atau tiga pasangan, dan seterusnya. item. Contoh relasi: “lebih besar dari”, “terletak di antara”, dll.

Dalam logika modern, tanda properti dan tanda relasi termasuk dalam satu kategori semantik - kategori tanda yang mewakili ciri-ciri rangkaian objek. Dalam hal ini, properti dianggap sebagai ciri-ciri barisan yang terdiri dari satu objek, dan relasi - sebagai ciri-ciri barisan yang terdiri dari beberapa objek (relasi dua tempat - ciri-ciri pasangan benda, relasi tiga tempat - ciri-ciri kembar tiga benda, dll.).

Relasi “lebih besar dari” bersifat dua tempat, karena untuk memperoleh kalimat benar atau salah harus ada keterkaitan dalam pikiran dengan sepasang benda. Relasi “terletak di antara” merupakan relasi tiga tempat, harus berkaitan dengan rangkap tiga benda agar diperoleh kalimat benar atau salah.

Tanda “suatu benda adalah ada atau tidaknya suatu sifat atau hubungan dengan benda lain”. Tanda suatu n (benda berpasangan, rangkap tiga, dsb) adalah ada tidaknya hubungan antar unsur-unsurnya. Kata atau frasa yang mengungkapkan ciri-ciri barisan n objek yang ditentukan oleh predikat.

Kalimat “Tabel ini berwarna kuning” menegaskan bahwa tabel ini berwarna kuning. Ungkapan “berwarna kuning” adalah tanda suatu sifat, dan kata “kuning” adalah tanda suatu sifat. Pada kalimat “Moskow lebih besar dari Arkhangelsk”, “lebih” merupakan tanda atribut sepasang benda (Moskow, Arkhangelsk). Isi kalimat ini dapat diungkapkan secara berbeda: “Moskow lebih besar dari Arkhangelsk.” Di sini “ada lebih besar dari” (“lebih”) adalah tanda atribut, dan “lebih besar dari” adalah tanda hubungan.

Tidak selalu mudah untuk membedakan antara nama-nama umum, di satu sisi, dan tanda-tanda properti dan hubungan, di sisi lain. Di luar konteks, misalnya, kata "merah" dapat dianggap sebagai tanda properti dan nama umum. Dalam kasus terakhir, ini adalah nama umum untuk item berwarna merah.

Saat membangun bahasa logika predikat, kita akan memahami properti sebagai nama umum objek, dan relasi n-ary sebagai nama umum objek n-ary. Dalam penafsiran luas ini kita akan menyebut nama-nama umum sebagai predikator.

Tanda fungsi subjek, atau tanda fungsional, atau fungsi subjek, mewakili fungsi subjek.

Fungsi adalah suatu korespondensi yang berdasarkan benda-benda (benda, pasangan, rangkap tiga benda, dan lain-lain) dari suatu himpunan tertentu, yang disebut daerah definisi fungsi, dikorelasikan dengan benda-benda dari himpunan lain atau yang sama, disebut nilai fungsi.

Fungsi objek adalah fungsi yang nilainya berupa objek. Contoh fungsi subjek: sin, log, +, massa. Dengan menerapkan tanda fungsional “massa” pada nama tunggal “Bumi”, kita memperoleh nilai nama tunggal “massa Bumi”, yang menunjukkan besaran tertentu, yaitu barang. Jadi, fungsi ini membandingkan benda (benda material bermassa) dengan benda lain (nilai massa).

Utama istilah logis Bahasa Rusia mencakup kata dan frasa berikut: “adalah” (“esensi”), “dan”, “atau”, “jika…, maka…”, “tidak”, “tidak benar itu. ..”, “semua orang” (“semua orang”), “semua”, “beberapa”, “itu… yang…”, “oleh karena itu”. Beberapa istilah ini mengungkapkan hubungan realitas. Misalnya, "dan" mengungkapkan koeksistensi dua keadaan atau situasi, dan "jika..., maka..." - hubungan dua situasi ketika, di hadapan yang pertama, yang kedua selalu terjadi. Hubungan seperti itu disebut logis, berbeda dengan hubungan non-logis, yaitu. hubungan yang diwakili oleh istilah deskriptif.

Perhatikan kalimat: “Jika tidak ada satu pun anggota keluarga Ivanov yang jujur, dan Stepan adalah anggota keluarga Ivanov, maka Stepan bukanlah orang jujur” dan tentukan kategori semantik mana yang termasuk dalam ekspresi bagian-bagiannya. . Dalam kalimat ini, “jika…, maka…” adalah istilah logis, “tidak ada” (“semua”) adalah istilah logis, “anggota keluarga Ivanov” adalah predikator (nama umum), “tidak ” adalah istilah logis, “adalah” (“is”) adalah istilah logis, “orang jujur” adalah predikator (nama umum), “dan” adalah istilah logis, “Stepan” adalah nama tunggal.

Mari kita jelaskan (sekali lagi) bagian mana dari makna istilah deskriptif yang dipertahankan ketika bentuk pemikiran logis diidentifikasi.

Mari kita menganalisis dua argumen.

(1) Seluruh pelaku tindak pidana ini telah diketahui identitasnya oleh korban. Tak satu pun anggota keluarga Petrov yang teridentifikasi oleh korban. Tak satu pun dari orang-orang yang ikut serta dalam melakukan kejahatan ini telah dibawa ke tanggung jawab pidana atas perbuatannya. Akibatnya, tidak ada satu pun anggota keluarga Petrov yang dimintai pertanggungjawaban pidana atas melakukan kejahatan ini.

(2) Siapapun yang berakal sehat dapat memahami logika. Tak satu pun dari putra Crox yang bisa memahami logika. Orang gila tidak diperbolehkan memilih. Akibatnya, tidak ada putra Crox yang diperbolehkan memilih.

Mari kita ganti suku-suku predikator deskriptif yang terdapat pada masing-masing argumen ini dengan variabel P, Q, R, S sesuai urutan kemunculannya dalam argumen tersebut.

Argumen pertama mencakup empat istilah predikator deskriptif, urutan masuknya ke dalam argumen adalah sebagai berikut: yang pertama adalah istilah “peserta kejahatan ini” (P), yang kedua adalah “diidentifikasi oleh korban” (Q), yang yang ketiga adalah "anggota keluarga Petrov" (kanan), yang keempat - "dibawa ke tanggung jawab pidana karena melakukan kejahatan ini" (S). Perlu dicatat bahwa istilah "tidak ikut serta dalam melakukan kejahatan ini" dapat dianggap diperoleh sebagai akibat dari penerapan operasi negasi logis "tidak" pada istilah "peserta dalam kejahatan ini" dan dilambangkan dengan "bukan-P" .

Dalam argumen kedua, muncul empat istilah deskriptif dengan urutan sebagai berikut: “berpikiran sehat” (P), “mampu memahami logika” (Q), “putra Crox” (kanan), “memenuhi syarat untuk memilih” (S) . Istilah "gila" sama dengan istilah "tidak waras" dan dilambangkan dengan "bukan-P".

Mari kita tulis ulang kedua argumen yang sedang dipertimbangkan, gantikan variabel yang sesuai dengan istilah deskriptif. Kami akan mengganti kata “oleh karena itu” dengan baris yang memisahkan kalimat terakhir argumen dari kalimat sebelumnya:

tandai">bentuk logis.

Saat mengidentifikasi bentuk logis, informasi disimpan tentang kategori semantik mana yang termasuk dalam istilah deskriptif, yang digantikan oleh variabel. Oleh karena itu, ketika membangun bahasa logika yang diformalkan, khususnya bahasa logika predikat, simbol yang berbeda diperkenalkan untuk ekspresi dari kategori yang berbeda. Selain itu, ketika mengidentifikasi bentuk logika, kemunculan istilah yang sama dalam konteks yang berbeda diganti dengan simbol yang sama, dan istilah yang berbeda dengan simbol yang berbeda.