Логик гэж юу вэ?

Логик нь сэтгэхүйн шинжлэх ухааныг тодорхойлсон үг юм. Логикийн өөр нэг ойлголт бол "зөв, буруу үндэслэлийг ялгахад ашигладаг арга, зарчмуудын судалгаа" юм. Энэхүү шинжлэх ухаан нь аргумент, математик, мэдээлэл зүй зэрэг хэд хэдэн ойлголтыг хамардаг. Логикийг ямар талбарт ашиглаж болохыг доороос шалгана уу.

Логик гэдэг үг нь Грекийн логосоос гаралтай бөгөөд тодорхой сэтгэх аргатай холбоотой. Логик нь лого, учир шалтгаан, үг хэллэг, яриатай холбоотой бөгөөд үндэслэл, аргумент шаарддаг аливаа зүйлийн талаар тусгадаг тул философийн нэг хэсэг юм.

Платоны шавь Грекийн гүн ухаантан Аристотель бол логикийг ойлгоход маш чухал хүн юм. Тэрээр харилцаа холбоо, урлаг, хийсвэр сэтгэлгээ, шинжлэх ухаан зэрэг бүх зүйлийн төвд хэл байдаг гэдгийг анхлан судалж үзсэн. Гэхдээ үүнийг хэрэгжүүлэхийн тулд хэл шинжлэлийн үндэслэлийг дагах шаардлагатай.

Шинжлэх ухаан болгон танилцуулсан логикийг Аристотель тийм гэж үзээгүй. Товчхондоо, силлогизм нь саналуудаас бүрдсэн аргумент юм. Энэ нь дүгнэлтэнд хүрэхийн тулд дедукцийг ашигладаг сэтгэхүйн нэг хэлбэр тул хэд хэдэн асуудал эсвэл логик тоглоомууд байдаг.

Сэтгэцийн шинжлэх ухаантай хамтран ажилласан өөр нэг философич бол 19-р зуунд Германы Готлоб Фреге юм. Тэр анхааруулавлогикийг илүү сайн ойлгохын тулд математикийн хэрэгцээ. Энэ үндэслэлийг бодит болгохын тулд Фреж хэл шинжлэлийн саналуудыг математикийн дедукцаар судалдаг арга болох предикатын тооцоог боловсруулсан.

Метафизик -ийн утгыг эндээс үзнэ үү.

Аристотелийн логик

Аристотелийн логикийн тодорхойлолт нь сэтгэхүйгээр дамжуулан логикийг судлах явдал юм. Учир нь Грекийн гүн ухаантан логик бол бодлыг батлах механизм гэж үздэг байв. Үзэл баримтлал, шүүлт, үндэслэл нь логикийн байр суурь юм. Аристотелийн логикийн шинж чанарууд нь: хэрэглүүр, албан ёсны, пропеневтик/урьдчилсан, норматив, нотлох сургаал ба ерөнхий/хугацаагүй.

Мөн Аристотель уг саналыг шүүлтүүд нь сэтгэлгээг бүрдүүлдэг логикийн үндэс гэж онцолсон. Саналууд нь субьектэд предикат (чанар) өгдөг холболтууд бөгөөд ийм саналыг силлогизм гэж нэрлэдэг. Силлогизм нь философи болон шинжлэх ухааны сэтгэлгээний нэгдэл юм.

Хэл шинжлэлийн логикийн үндэс гэж нэрлэгддэг Аристотельээс ирсэн үндэслэл нь XIII зуун хүртэл үргэлжилсэн дундад зууны логикийн оргилд хүрсэн. Дундад зууны гол философичид нь Афродисиа Александр, Порфири, Гален нар байв. Дундад зууны үеийн логикийн ангилал нь бодлыг батлахын тулд үнэн зөвөөр дүгнэх шинжлэх ухаан байв.

Програмчлалын логик

Програмчлалын логик нь нарийн боловсруулахаас бүрддэг.логик дараалал. Үүний үндсэн зарчим нь хувилбарууд ба тогтмолууд, утгыг илэрхийлдэг, давталт шаарддаггүй нэрүүд, мөн өгөгдлийн төрлүүд бөгөөд тэдгээрийг 1-р төрөл: текст, төрөл 2: бүхэл тоо, төрөл 3: бодит, 4-р төрөл: логик гэж хуваадаг. Эдгээр өгөгдлийн төрлөөс:

1-р төрөл: нэг буюу хэд хэдэн тэмдэгтээс бүрдсэн мөр, ихэвчлэн давхар хашилтанд байна. Хоосон зай нь мөн тэмдэгт;

2-р төрөл: аравтын оронгүй сөрөг ба эерэг тоон утгууд;

3-р төрөл: аравтын оронтой сөрөг ба эерэг тоон утгууд;

4-р төрөл: ТИЙМ, ҮГҮЙ, ҮНЭН, ХУДАЛ гэх мэт хувилбарууд.

Дээрх ойлголтоор бичигдсэн логик дарааллыг бялууны жор шиг ажилладаг алгоритм гэж нэрлэдэг. Алгоритмууд нь компьютерт логик дараалал бүрээр юу хийхийг харуулдаг. Алгоритмууд нь өндөр эсвэл доод түвшний програмчлалын хэлийг ашиглан бичигдсэн байдаг.

Өндөр түвшний програмчлалын хэл нь ойлгоход хялбар байдаг, учир нь нэгдүгээрт, командыг диаграмм хэлбэрээр, зорилго болгон хөрвүүлэх замаар хийдэг. action, SQL (Specification Design Language) нь өндөр түвшний хэлний жишээ юм. Доод түвшний хэл гэдэг нь үсэг, тоогоор дүрслэгдсэн төхөөрөмж рүү чиглэсэн шууд зааврыг хэлнэ. ASSEMBLY хэл нь доод түвшний хэлний жишээ юм.

Эндээс үзнэ үү. Рационализм .

Аргументийн логик

Маргааны логик нь хүнийг хэрхэн үнэмшүүлэхийн тулд үндэслэлийг ашиглах явдал юм. Энэ логикт санал эсвэл мэдэгдлийн дарааллыг нэгтгэж, дүгнэлтэнд хүрдэг. Аргументацийн логикийн үндсэн ойлголтууд нь: аргумент, аналоги, дүгнэлт, дүгнэлт, дүгнэлт, үүнд:

Аргументаци нь үндэслэл буюу таамаглалын багц бөгөөд тэдгээрийн үр дүнг дүгнэлт гэнэ. Жишээ: p1: Бүх Гояночууд кантри хөгжим дуулдаг, p2: Бүх кантри дуучид хөгжимд дуртай, p3: Гоясын бүх хүмүүс кантри хөгжим дуулдаг;

Аналоги нь аргументуудын харьцуулалт юм, жишээ нь: "Гэрэл нь өдөрт зориулагдсан юм. харанхуй шөнө байдаг тул";

Дүгнэлт нь анхдагч нөхцөлүүдийг ашиглан дүгнэлтэнд хүрч байна. Хоёр төрлийн дүгнэлт байдаг: дедукц ба индукц. Хасах хэсэгт мэдээлэл нь тодорхой эсвэл санал болгож буй байдлаар байранд байна, жишээ нь: Угтвар үг А: Шувууд хушуутай. Угтвар үг Б: Шинэ төрлийн шувуу олдлоо. Дүгнэлт: Шинэ зүйл нь хушуутай. Индукцийн хувьд байр нь дүгнэлтэнд хүрэх хангалттай мэдээллийг дамжуулдаг. Индукцийн хувьд дүгнэлтийг хамгийн тохиромжтой магадлалаар гаргаж авдаг. Жишээ: Хэрэв бүх шувууд хушуутай бол шинэ төрөл зүйл нь мөн хушуутай байх ёстой.

Логикийн утга нь Философийн ангилалд багтана

Харна уу.мөн:

• Ёс зүйн утга учир
• Гносеологийн утга учир
• Гносеологийн утга
• Метафизикийн утга
• Ёс суртахууны утга
• Социологийн утга учир
• Эмпиризмын утга
• Эмпирик мэдлэгийн утга
• Соён гэгээрлийн утга
• Рационализмын утга
• 10>