Elementi teorije imena. Logika imena. Vrste imena Opće karakteristike imena. Načela teorije imenovanja

Logičan oblik- to je svojstvo misli koje ne ovisi o njezinu konkretnom sadržaju, već služi povezivanju i organiziranju njezinih elemenata.

U jeziku je logički oblik fiksiran korištenjem iskaznih, nominalnih i drugih varijabli, kao i logičkih konstanti.

Booleova konstanta je funktor koji zadržava svoje značenje u bilo kojem argumentu. Logičke konstante su označene simbolima. Neki simboli su već spomenuti, nabrojimo ostale. Funktor "i" označen je s L, "ili" s v, "ili ili" s v, “ako, onda” – ®, “ako i samo ako kada” – “, “nije istina da” – Ø, “potrebno je da” – ÿ, “moguće je da” – à.

Treba napomenuti da se pitanja o ispravnosti razmišljanja i logičnoj posljedici nekih misli drugih ne mogu uvijek riješiti na temelju "zdravog razuma". Formalna logika istražuje i nudi precizne načine rješavanja takvih pitanja.

Formalna logika je znanost o zakonima ispravnog mišljenja, tj. takvo mišljenje, u kojem se ostvaruje prijelaz s prethodno utvrđenih pozicija na nova znanja temeljena na mentalnim obrascima nastalim kao rezultat opetovanog ponavljanja u procesu shvaćanja istine. Formalna logika svoje zaključke potkrepljuje stvaranjem i korištenjem jedne od varijanti posebnih, tzv. formalizirani jezik čije se rečenice sastoje isključivo od logičkih konstanti i varijabli

Logički zakon. Ispravno i netočno zaključivanje.

Logički zakon(ili logička istina) je logički oblik koji generira istinitu rečenicu s bilo kojom zamjenom njihovih vrijednosti (konkretnog sadržaja) umjesto varijabli.

Korištenje oblika koji su logički zakoni omogućuje vam da ostanete u okvirima istinskog znanja i da na temelju istinskog znanja dobijete novo istinsko znanje. Rezoniranje, čiji je oblik logički zakon, naziva se ispraviti. Odstupanje od zahtjeva logičkih zakona dovodi do kršenja ispravnosti razmišljanja. Ispravnost se razlikuje od istine rasuđivanja. Istina karakterizira mišljenje u odnosu na stvarnost; ako je misao istinita, ona odgovara stvarnosti. Ispravnost karakterizira rasuđivanje s gledišta unutarnje povezanosti njegovih elemenata. Ispravno razmišljanje može dovesti do lažnih zaključaka. To je moguće kada su izvorni podaci lažni.

Održavanje točnosti s istinitim početnim podacima dovodi do pravih rezultata. Pritom se ispravnost može definirati kao posebna vrsta istine. Logičke veze su u skladu s vanjskim svijetom, odražavajući najjednostavnije i najuniverzalnije odnose u njemu. Stoga su logički zakoni definirani pomoću koncepta istine i sami se nazivaju logičke istine. Kognitivne pogreške povezane s netočnim razumijevanjem stvarnosti nazivaju se smisleno. Pogreške povezane s kršenjem ispravnog razmišljanja nazivaju se formalnim ili logičkim. Dijele se na paralogizmi I sofizam.

Pogrešan zaključak je nenamjerna logička pogreška. U pravilu je proizvod niske logičke kulture. Sofizam- namjerno kršenje zahtjeva logike, tehnika intelektualne prijevare povezana s pokušajem da se laž predstavi kao istina. itd.:što nisi izgubio, imaš. - da "Nisi izgubio rogove." Stoga ste rogati.

Tema 2. Izjava.

1. Propozicionalna logika kao najjednostavniji i najtemeljniji dio formalne logike. Pojam iskaza. Logičko značenje iskaza. Izjava, pitanje, zapovijed.

2. Iskazi su jednostavni i složeni. Logičke konjunkcije: konjunkcija, slaba disjunkcija, jaka disjunkcija, implikacija, ekvivalencija, negacija. Izražavanje složenih iskaza u simboličkom obliku. Odnosi između logičkih oblika iskaza. Odnosi usporedivosti i neusporedivosti. Odnosi kompatibilnosti: slijeđenje, potpuna kompatibilnost (ekvivalencija), djelomična kompatibilnost, kohezija. Odnosi inkompatibilnosti: proturječnost, suprotnost.

3. Pojam zakona u iskaznoj logici. Tabularna metoda za odabir zakona u iskaznoj logici. Najjednostavniji zakoni iskazne logike: zakoni identiteta, proturječnosti, isključene sredine. Skraćena metoda odabira logičkih zakona.

1. Propozicionalna logika kao najjednostavniji i najtemeljniji dio formalne logike. Pojam iskaza. Logičko značenje iskaza. Izjava, pitanje, zapovijed.

Logička teorija koja proučava veze između iskaza, zanemarujući njihovu unutarnju strukturu, naziva se iskazna logika ili iskazna logika. Ovo je najjednostavniji i ujedno temeljni dio formalne logike. U tome ispod izjave shvaća se kao jezični izraz o kojem se može reći samo jedna od dvije stvari: istina ili laž.

Prema tome, istina i laž djeluju kao logička značenja izjave.

Treba uzeti u obzir da pojedine riječi, kada nisu predstavnici iskaza (npr. "Zahladilo je"), pitanja, zahtjevi I narudžbe izjave nisu.

2. Iskazi su jednostavni i složeni. Logičke konjunkcije: konjunkcija, slaba disjunkcija, jaka disjunkcija, implikacija, ekvivalencija, negacija. Izražavanje složenih iskaza u simboličkom obliku.

Izjave i njihovi logički oblici mogu biti jednostavni (atomski) ili složeni (molekularni). Jednostavni iskazi obično se označavaju malim slovima latinične abecede: p, q, r, ... Velika slova, A, B, C, D, mogu se koristiti kao varijable bilo kojeg iskaza, jednostavnog ili složenog.

Složeni iskazi nastaju uz pomoć posebnih funktora, odnosno logičkih unija, od kojih su najvažnije negacija, konjunkcija, slaba i jaka disjunkcija, implikacija, ekvivalencija. Složeni iskaz naziva se imenom funktora uz pomoć kojeg je oblikovan.

Zapišimo definicije ovih iskaza i njihovih izraza u simboličkom obliku:

Konjunkcija(logički proizvod) je molekularna izjava, istinita ako i samo ako su svi njezini sastavni iskazi (argumenti) istiniti. Označava se: A Ù B, čitaj: A i B. U razgovornom jeziku veznicima odgovaraju veznici “a”, “ali”, “da”, “iako”, “međutim” itd.

Slab(nije isključivo) disjunkcija je složena izjava koja je istinita ako i samo ako je barem jedan od njenih argumenata istinit. (Logičan dodatak). Označeno: A Ú B, čitaj: "A ili B"; "ili" se koristi u neisključivom smislu.

Jaka(ekskluzivan) disjunkcija je složena izjava koja je istinita ako i samo ako je samo jedan od njenih argumenata istinit. Označeno: A Ú B, glasi: "ili A ili B."

implikacija je molekularna izjava, lažna ako i samo ako prethodnik je istina, i posljedično lažno prethodnik ili je osnova izraz prije operator implikacije, i posljedično- što dolazi poslije. Implikacija se označava kao "A ® B" i glasi: "ako A, onda B" ili "iz A slijedi B."

Ekvivalencija- molekularna izjava koja je istinita ako i samo ako oba argument bilo istina, bilo lažno. Odnosno, kada se njihove logičke vrijednosti podudaraju. Označava se: A «B, glasi: “I ako i samo ako B”, “A ako i samo ako B”.

Evo tablice istinitosti ovih izjava:

Poricanje iskaza A je iskaz koji je istinit ako i samo ako je A lažan. Označava se s A i glasi: “nije-A”, “nije istina da je A”. Definicija je izražena pomoću sljedeće tablice, gdje "I" označava "točno", a "L" označava "netočno":

A	A
I	L
L	I

Navedene operacije koriste se i za akcije s jednostavnim i složenim iskazima, poznavajući logičke vrijednosti izvornih iskaza, mogu se sastaviti tablice istine za iskaze složenijeg oblika. Redoslijed operacija, kao u matematičkim primjerima, bit će označen zagradama. Primjer: ako sam umoran ili želim spavati, onda ne mogu prevesti ovaj tekst. Ova izjava je implikacija, čiji je prethodnik složena izjava - slaba disjunkcija.

Povezivanjem iskaza uz pomoć veznika možemo s njima povezati njihove logičke oblike.

3. Odnosi između logičkih oblika iskaza. Odnosi usporedivosti i neusporedivosti. Odnosi kompatibilnosti: slijeđenje, potpuna kompatibilnost (ekvivalencija), djelomična kompatibilnost, kohezija. Veze su nespojive sti: proturječnost, suprotnost.

Pri raspravljanju praktičnih i znanstvenih pitanja uspoređuju se razne odredbe i mišljenja. Uspoređuju se, suprotstavljaju, suprotstavljaju i tako međusobno stupaju u različite logičke odnose. Logički odnosi među iskazima uspostavljaju se kroz odnose logičkih oblika u koje su ti iskazi utjelovljeni. Razlikuju se poredbeni i neusporedivi oblici.

Logički oblici alfa i beta su usporedivi, ako i samo ako postoji barem jedna varijabla sadržana u alfa i beta. itd.: oblici iskaza A Ù B i C ® B su usporedivi, ali A Ù B i C ® D nisu. To je:

Dvije su izjave usporedive ako i samo ako postoji barem jedna jednostavna izjava uključena u strukturu i prve i druge izjave.

Među usporedivim logičkim oblicima razlikujemo kompatibilne i nekompatibilne.

Kompatibilnost logičkih oblika određene prisutnošću barem jednog slučaja kada sadrže izjave koje su zajedno kao istina. Logički oblici nekompatibilan u nedostatku takvog slučaja. itd.: oblici iskaza A Ù B i A Ú B su kompatibilni. Dakle, kada se zamjenjuju A i B, generiraju se istinite izjave koje su obje istinite. To se može vidjeti iz tablice:

A	U	A Ù B	A Ú B
I	I	I	I

Obrasci A Ú B i A "B su nekompatibilni. S obzirom na iste vrijednosti A i B, one nemaju istu vrijednost kao "točno".

Kompatibilni oblici su u vezi: a) slijeđenje ili pokoravanje, b) , V) djelomična kompatibilnost, G) kvačilo.

su u vezi slijeđenje ili pokoravanje , tj. iz alfa slijedi beta ako i samo ako kad god se oblik alfa transformira u istinit iskaz, oblik beta se, za iste vrijednosti varijabli, također transformira u istinit iskaz.

Alfa i beta oblici su u vezi puna kompatibilnost ili istovjetnost , ako i samo ako kad god prvi odgovara istinitom iskazu, drugi također odgovara istinitom iskazu i obrnuto. Odnosno, s istim vrijednostima komponenti, logička značenja izjava potpuno se podudaraju. U odnosu na ekvivalenciju također postoje iskazi sljedećih logičkih oblika:

Odnos ekvivalencije omogućuje, u procesu zaključivanja, bez ugrožavanja značenja, izmjenu iskaza različitih oblika, kao u svim ovim slučajevima, uklanjanje suvišnih informacija, kao u slučajevima 10, 13, identificiranje novih oblika - 12, 15. Formule koje su u odnosu potpune kompatibilnosti slijede jedna drugu od prijatelja t.j. su u vezi uzajamna sukcesija.

Logički oblici alfa i beta su u vezi djelomična kompatibilnost , ako i samo ako odgovaraju iskazima koji mogu biti i istiniti, ali ne mogu zajedno biti lažni.

Nespojive logičke forme su u vezi: a) proturječja, b) nedosljednost.

Logički oblici alfa i beta su u vezi proturječnosti, ako i samo ako se uz njihovu pomoć generiraju iskazi koji ne mogu biti istovremeno istiniti i netočni zajedno.

Logički oblici alfa i beta su u vezi odvratan , ako i samo ako odgovaraju izjavama koje ne mogu biti obje istinite, ali mogu biti lažne zajedno.

Usporedni logički oblici alfa i beta su u vezi ulančavanja ako i samo ako istinitost (neistinitost) iskaza alfa oblika ne isključuje neistinitost (istinitost) iskaza beta oblika, i obrnuto.

Uspostavljanje odnosa između logičkih oblika olakšava smislenu analizu i osigurava točnost i sigurnost zaključivanja.

4. Pojam zakona u iskaznoj logici. Tabularna metoda za odabir zakona u iskaznoj logici. Najjednostavniji zakoni iskazne logike: zakoni identiteta, proturječnosti, isključene sredine. Skraćena metoda odabira lo gički zakoni.

Zakoni logike karakteriziraju ispravnost konstrukcije logičkog mišljenja, proces njegova tijeka s gledišta njegove sigurnosti, dosljednosti i dosljednosti valjanosti. Ljudska praksa potvrđuje primjerenost logičkih veza općim vezama i odnosima među stvarima. Zakoni formalne logike povezani su s istinom mišljenja, ali ne izravno, već neizravno. Ispravnost mišljenja je kompatibilna i s njegovom istinom i lažnošću. itd.: Iz lažnih izjava "sve su ribe sisavci" i "kit je riba" slijedi pravi zaključak "kit je sisavac".

Treba imati na umu da je iz istinitih premisa, podložnih zakonima i pravilima logike, nemoguće dobiti pogrešan zaključak - on će nužno biti istinit.

Zakon logike shvaća se kao nužna veza između elemenata mišljenja i između misli, izraženih u sudu ili zaključivanju. Ta se povezanost izražava u obrascima pravilnih oblika koji su se razvili u procesu višestoljetne prakse mišljenja. Ove sheme su izražene u formulama koje uzimaju vrijednost "I" za sve vrijednosti varijabli uključenih u njih. U iskaznoj logici te se formule nazivaju identično istinitima. Specifičnost zakona iskazne logike je u tome što pojedinačni iskazi djeluju kao cjelovite tvorevine kao varijable uključene u strukturu logičkih oblika. Prilikom zamjene bilo koje varijable u logički zakon, rezultirajuća složena izjava uvijek će biti istinita.

Broj identično istinitih formula je neograničen, stoga je broj zakona u logici beskonačan.

Osnovni zakoni iskazne logike su zakoni identiteta, proturječnosti i isključene sredine.

Zakon identiteta: svaka misao u procesu rasuđivanja mora biti identična sama sebi. Označeno: A « A.

Zakon kontradikcije(nekontradiktornost): dvije tvrdnje koje negiraju jedna drugu ne mogu biti istinite zajedno; barem jedna od njih je lažna. Označeno: Ø(A ÙØA).

Zakon isključene sredine: dvije izjave koje negiraju jedna drugu ne mogu biti obje lažne. Jedan od njih je nužno istinit, treći je isključen. Ovaj zakon vrijedi za kontradiktorne, odnosno tzv. kontradiktorne izjave i označava se: AÚØA.

Kada je tvrdnja izražena formulom s malim brojem varijabli, zgodno je koristiti tabelarnu metodu, stoga se koriste skraćene metode za odabir logičkih zakona.

Skraćena metoda za odabir logičkih zakona može se pronaći pomoću primjera oblika ((A ® B) Ù (B ® C) Ù A) ® C. Tok misli ovdje će biti sljedeći:

1) recimo da ovaj oblik nije logički zakon. Onda, uz neku zamjenu, to će biti lažna izjava.

2) Budući da je ovaj oblik implikacija, može se pokazati kao netočan iskaz samo kada je, uz neku zamjenu, njegov antecedent istinit, a konzekvent lažan, odnosno kada ((A ® B) Ù (B ® C ) Ù A) – točno i c je netočno.

3) Ovaj antecedent je veznik, a da bi bio istinit, potrebno je da su oba njegova člana istinita, tj. (A ® B) Ù (B ® C) i A moraju biti istiniti.

4) Budući da je (A ® B) Ù (B ® C) konjunkcija, ako je istinita, oba izraza, A ® B i B ® C moraju biti istinita.

5) A ® B – istinita implikacija; njegov prethodnik A je istinit prema paragrafu 3, B će također biti istinit.

6) Budući da je B ® C istinita implikacija, a b istinito, tada je i C također istinito.

7) Ispostavilo se da izjava C mora istovremeno biti lažna, prema klauzuli 2, i istinita, prema klauzuli 6. to je nemoguće, budući da je po definiciji svaka izjava ili istinita ili lažna. Nastala kontradikcija rezultat je pretpostavke iz stavka 1. koju ćemo morati napustiti i priznati da je razmatrani oblik logički zakon.

Treba imati na umu da korištenje skraćene metode zahtijeva dobro snalaženje u definicijama osnovnih logičkih veznika.

Tema 3. Imena.

1. Pojam imena. Izražavanje imena prirodnim jezikom. Volumen i sadržaj kao glavne karakteristike imena.

2. Pojam znaka. Vrste znakova. Obilježja su opća (generička) i razlikovna (specifična). Glavni i potpuni sadržaj naziva.

3. Naziv i pojam. Nazivi su pojedinačni, opći, prazni. Koncept svemira razmišljanja i univerzalnih imena. Imena su jasna i nejasna.

4. Odnosi među imenima. Usporedivost i neusporedivost imena. Kompatibilnost i njezine vrste - potpuna kompatibilnost (ekvivalencija), podređenost, djelomična kompatibilnost (presjek). Inkompatibilnost i njezine vrste - kontradikcija, izvan pozicije, podređenost, opozicija. Eulerovi kružni dijagrami i Vennovi dijagrami za prikaz odnosa između imena.

5. Operacije s volumenima imena. Generalizacija, ograničavanje, proširenje, lokalizacija, tipizacija. Mentalni prijelazi iz dijela u cjelinu i obrnuto.

6. Podjela. Logička podjela, njezini ciljevi i struktura. Vrste logičke podjele - standardna i nestandardna podjela, dihotomna i politomna (modifikacijom obilježja).

7. Klasifikacija i tipologija. Klasifikacija (tipologija) prirodnih i umjetnih. Pravila logičke podjele i pogreške kada se ona krše. Analitička podjela, periodizacija.

8. Definicija, svrha i struktura. Nominalne i realne definicije. Eksplicitne i implicitne definicije. Vrste eksplicitnih definicija (atributivne, genetske, operacionalne). Implicitne definicije i njihove vrste (putem apstrakcije, kontekstualne, induktivne i aksiomatske). Specifičnost ostenzivnih definicija. Registriranje definicija, postuliranje, pojašnjenje. Pravila određivanja i pogreške kada se krše. Tehnike slične definiciji (opis, karakterizacija, ukazivanje na suprotno itd.). Značenje definicija u različitim sferama ljudske djelatnosti.

1. Pojam imena. Izražavanje imena prirodnim jezikom. Opseg i sadržaj kao glavne karakteristike imena.

Ime– jezični izraz koji označava predmet ili skup, skup objekata. “Objekt” se u ovom slučaju shvaća općenito, u najširem smislu. Objekti koji se mentalno spajaju u određeni skup, odnosno klasu, nazivaju se elementima skupa (klase).

Imena označavaju, imenuju, predstavljaju neke predmete u jeziku. Te se stavke nazivaju značenjima imena.

Glavne karakteristike imena su njegov volumen i sadržaj.

Volumen imena je skup, zbirka, klasa objekata označena imenom. Sadržaj imena- ovo je skup atributa objekata zamislivih u imenu.

2. Pojam znaka. Vrste znakova. Opća (generička) svojstva i razlikovna obilježja nal (vrsta). Glavni i potpuni sadržaj naziva.

Znak- ovo je bilo koje svojstvo, bilo koja karakteristika objekta. Sadržaj naziva fiksira karakteristike objekata koji zajedno pripadaju svakom objektu istaknutom ovim nazivom, tj. uključena u njegov djelokrug.

Obilježja koja čine sadržaj imena dijele se na generička, posebna i individualna. Ako identificiramo užu klasu objekata unutar šire klase objekata, tada ćemo karakteristike koje razlikuju širu klasu objekata nazvati generičkim, a one koje razlikuju užu klasu specifičnima. Odnosno, generičke karakteristike djeluju kao opće, a specifične kao razlikovne.

Značajke rođenja- to su oznake klase objekata u kojoj se izdvaja uža klasa (potklasa).

Karakteristike vrste– to su karakteristike prema kojima se razlikuju podrazredi unutar klase.

razlikovati Osnovni, temeljni I potpuna sadržaj imena. Osnovni sadržaj naziva– minimalni dio sadržaja imena iz kojeg se izvodi sav njegov preostali sadržaj (koji se u ovom slučaju naziva izvedenica).

3. Naziv i pojam. Nazivi su pojedinačni, opći, prazni. Pojam svemira poricanja i univerzalna imena. Imena su jasna i nejasna.

Koncept- oblik mišljenja u kojem se objekti određene klase identificiraju i generaliziraju prema značajnim razlikovnim obilježjima. Bitno je znak koji određuje kvalitativnu specifičnost pojedinih predmeta i koji te predmete razlikuje od svih ostalih. Ova značajka je temelj odabira objekata i njihove kombinacije u klase. Svaki pojam karakterizira obujam i sadržaj.

Opseg pojma je skup objekata koji imaju značajku koja čini sadržaj pojma. Odvojeni objekt koji se odnosi na opseg određenog pojma naziva se element klase.

Pojmovi se izražavaju prirodnim jezikom kroz imena- riječi ili fraze. Ime koje se sastoji od jedne riječi naziva se jednostavan, od to dvoje – kompleks, izražen izrazom – deskriptivna ili deskriptivna.

Volumen označen imenom naziva se denotacija, a posebna tema ovog sveska je designatum Ime.

Postoje pojedinačna, opća i prazna imena.

Jedno ime označava jedan predmet i izriče se vlastitom imenicom. To jest, opseg jednog imena uključuje jedan element.

Uobičajeno ime označava više od jedne stvari. Odnosno, opseg općeg naziva uključuje više od jednog elementa. Opseg uobičajenih imena su klase (skupovi) objekata koje pokrivaju. Klasa koja je opseg imena, nazvao značenje ovo ime.

nula ( prazan) imena su imena čiji opseg ne sadrži niti jedan element. Poziva se klasa bez ijednog elementa nula ili prazan.

Posebna vrsta običnog imena je univerzalna imena. Njihovo ime, kao što pretpostavljate, dolazi od riječi "universum". Svako područje spoznaje ima svoju klasu objekata koji se proučavaju. To mogu biti fizička tijela, živi organizmi, brojevi itd. U logici i metodologiji spoznaje ova vrsta klase, odnosno skupa, naziva se svemir odgovarajuće polje znanja, ili, kako se još kaže, univerzum rasuđivanja . To znači da se izjave i obrazloženja u određenom području znanja odnose na te objekte. Na primjer, za biologiju će svemir kao cjelina biti klasa svih živih bića, za odgovarajući odjeljak - klasa kralješnjaka. U logici i metodologiji znanosti svemir ponekad se može protumačiti kao izuzetno širok izbor, – skup koji uključuje sve objekte kao svoje elemente. Tako:

Ime nazvao univerzalni, ako su u određenom dijelu njegovog sadržaja zabilježene samo takve značajke koje su svojstvene svakom elementu klase, koji je univerzum razmišljanja. Na primjer, ako je predmet metal, onda ima svojstvo provođenja električne struje.

Među univerzalnim nazivima postoje oni čiji specifični sadržaj odražava neku objektivnu zakonitost i oni čiji sadržaj ne odražava takvu zakonitost. Imena prvi tip- tzv prirodno ili potrebna univerzalna, njihov specifični sadržaj izražava neki nužni obrazac povezan sa zakonima objektivne prirode (logike ili prirode). Primjer: "objekt za koji je istina da ima svojstvo P ili da nema svojstvo P." Ova opća formulacija odgovara "trokutu sa zbrojem kutova od 180 stupnjeva" (u slučaju euklidske geometrije). Imena drugog tipa mogu se pripisati slučajno univerzalni. Primjer: svi okupljeni u publici stavili su šešire. Tada će "osoba u danoj publici koja nosi šešir" slučajno biti univerzalno ime.

Ime se zove jasno(točan, određen), ako je za bilo koji objekt moguće točno i nedvosmisleno odlučiti je li taj objekt uključen ili ne u opseg određenog naziva. U protivnom se kaže da je naziv nejasnog (neodređenog, nejasnog, nejasnog, nepreciznog) opsega.

Odnosi među imenima razlikuju se ovisno o specifičnostima odnosa njihova sadržaja i volumena.

Imena usporediv međusobno ako njihov sadržaj ima zajedničke karakteristike. Imena su neusporediv, ako njihov sadržaj nema zajedničke značajke koje omogućuju prepoznavanje osnova za usporedbu. Usporedni nazivi dijele se na savjestan I nekompatibilan.

Imena kompatibilan ako im se volumeni barem djelomično podudaraju, tj. imaju zajedničke elemente. Inače su imena nekompatibilna.

Odnosi kompatibilnosti dijele se na: 1) odnose istovjetnost (ekvivalencija), 2) podnošenje, 3) raskrižja (križanja).

Imena čiji svesci potpuno podudaraju, su jednak u volumenu (ekvivalent).

Imena su unutra poštovanje podređenosti, ako je volumen jednog potpuno uključen u volumen drugog, ali se ne podudara s njim. Inkluzivno ime se zove podređujući, uključeno – podređeni.

Imena su križanje (križanje), ako njihovi volumeni samo djelomično uključuju jedan drugog.

Nekompatibilnost imena očituje se u slučajevima kada postoje: 1) odnosi podređenosti, 2) proturječja, 3) suprotnosti.

podređeni, ako njihovi ukupni volumeni čine dio volumena određenog podređenog naziva. Za podređeni odnos nužna je prisutnost općenitijeg podređenog naziva.

Zovu se nespojiva imena kontradiktoran, ako u potpunosti iscrpljuju opseg trećeg, podređenog naziva, a jedan od njih označava objekte lišene svojstava uključenih u sadržaj drugog naziva. Dva takva imena, iscrpljujući cijeli svemir u opsegu, isključuju mogućnost trećeg sveska smještenog između njih.

Zovu se nespojiva imena suprotan, ako njihov sadržaj izražava bilo kakve ekstremne karakteristike u nekom uređenom nizu svojstava koja se postupno mijenjaju. Mnogi parovi suprotnih imena nejasnog su opsega. Suprotna imena ne iscrpljuju opseg klase unutar koje se uspoređuju. Svaki takav naziv uključuje samo svoj opseg ekstremni setovi volumenski elementi ove klase.

Eulerovi kružni dijagrami i Vennovi dijagrami koriste se za opisivanje odnosa između imena.

Omjer ekvivolumena(ekvivalencija)

A i B. itd.: A – kvadrat, B – pravokutnik,

čije su dijagonale međusobno okomite.

Odnos podređenosti

A – student, B – student prve godine.

Odnos presjeka(prijelaz)

A – student, B – stanovnik Minska.

Odnos podređenosti

A – stanovnik Rudenska, B – stanovnik Minska,

S je državljanin Republike Bjelorusije.

Stav kontradikcije

A - student, B - nestudent

Suprotan stav

A - najbogatiji građani

Republika Bjelorusija, B – najsiromašnija

državljani Republike Bjelorusije

Odnos između neusporedivih imena.

Za razliku od podređenosti, u slučaju

neusporedivost imena više nije navedena

široka klasa koja podređuje svoje sveske.

5. Operacije s volumenima imena. Generalizacija, ograničavanje, proširenje, lokalizacija, tipizacija. Mentalni prijelazi iz dijela u cjelinu i obrnuto.

Odnosi između imena prema volumenu omogućuju vam da s njima izvodite logičke operacije, zbog čega se pojavljuju nova imena. Najvažnije operacije su generalizacija, restrikcija, ekspanzija, lokalizacija, tipizacija.

Generalizacija sveska A- ovo je logična operacija, kao rezultat koje se formira ime s volumenom B, koji sadrži volumen A. To jest, generalizirati naziv A znači formirati drugi naziv B (rod), koji bi podredio A (vrsta).

Štoviše, kod generaliziranja naziv B još uvijek može biti nepoznat, potrebno je odabrati sadržaj, utvrditi ili razjasniti opseg, a samo ime preformulirati. Proces generalizacije je sastavni dio znanstvenog znanja. U procesu spoznaje može se generalizirati i sam generalizirajući naziv itd. granica generalizacije je neka univerzalno ime. U različitim znanostima to su nazivi koji popravljaju temeljni znanstveni pojmovi- tzv znanstvene kategorije. Na primjer, u matematici, u geometriji - točka, ravnina; u logici - svojstvo, odnos: u fizici, u mehanici - sila, masa, materijalna točka.

Ograničenje je logička operacija inverzna generalizaciji. Kod limitiranja se nalazi naziv s volumenom B koji sadrži volumen A. Volumno ograničenje A je nalaženje drugog takvog imena B (vrsta), koje je u odnosu subordinacije prema imenu A roda). Granica ograničenja su imena čiji su volumeni jednaki jednoj stavci, tj. pojedinačna imena. Na primjer, ograničenje za naziv "glavni grad" je Minsk, Varšava itd.

Tipkanje- posebna vrsta ograničenja.

Tip je naziv kojem homogeni objekti odgovaraju u jednom ili drugom stupnju.

Ako neki predmetičine svezak imena A i među njima ima onih koji nedvojbeno, tj. s diplomom jednako jedan, pripadaju volumenu b, a drugi imaju to svojstvo na neki način, tj. ., manje od jednog, tada naziv s volumenom B predstavlja tip. Npr.: ograničavanjem opsega imena "čovjek", možete dobiti "nizak čovjek" ili "visok čovjek". “niski čovjek” je tip; drugi tip je "visoki čovjek". Tako:

Tip je naziv s nejasnim opsegom.

Pojam “vrsta” može se koristiti iu drugom smislu, kada tipični predstavnici uključuju samo one objekte koji sigurno, sa stupnjem jednakim jedinici, pripadaju opsegu nejasnog naziva. U ovom slučaju sadržaj tipa u koncentriranom obliku sadrži karakteristike povezanih objekata. U tom smislu tip- Ovo naziv uzorka, standard za opisivanje i ocjenjivanje objekata. Sjetite se tipičnih predstavnika likova ruske književnosti 19. stoljeća, na primjer, likova Gogolja ili Dostojevskog ("tinejdžer", "podzemni čovjek" itd.).

Proširenje volumena A– dodatak svesku A novih objekata koji su na neki način identični starim.

Lokalizacija naziva volumena A- operacija inverzna ekspanziji, uklanjanje iz volumena A objekata koji su identični preostalima prema nekim karakteristikama. Npr.: u biologiji su kitovi nekada izbačeni iz razreda riba, ali opseg i sadržaj naziva “riba” ostao je nepromijenjen.

Činjenica je da se u slučaju dodavanja ili uklanjanja određenih objekata iz opsega određenog naziva, opseg ili sadržaj naziva ne mijenja. Predznak prema kojem se volumen dodjeljuje i bilježi ostaje nepromijenjen.

Mentalni prijelazi s dijela na cjelinu i s cjeline na dio razlikuju se od logičkih operacija s volumenima imena. U logičkim operacijama uspostavljaju se odnosi između generičkih i specifičnih karakteristika. Dakle, generalizirani naziv sadrži rezultat generalizacije, ali ne i obrnuto. Vrsta ima svatko karakteristike roda, ali ne i obrnuto, rod ne posjeduje svatko znakovi vrste. Za razliku od odnosa između roda i vrste, dio ne sadrži c sadržaj jedva. Stoga je brkanje operacije generalizacije ili ograničenja s operacijom mentalnog prijelaza iz dijela u cjelinu ili iz cjeline u dio neprihvatljivo i dovodi do pogrešnih predodžbi.

6. Podjela. Logička podjela, njezini ciljevi i struktura. Vrste logičke podjele - standardna i nestandardna podjela, dihotomna i politomna (prema modifikacija karakteristike).

Logička podjela– operacija kojom se obujam imena (roda) raspoređuje među razrede (vrste) u skladu s nekim obilježjem. U ovom slučaju rod se zove djeljivo ime, vrste - članovi divizije, znak – osnova podjele. Ponekad se značajka može nazvati i gledištem ili aspektom razmatranja.

Osnova za podjelu može biti značajka koja je svojstvena samo nekim objektima određene klase. U ovom slučaju objekti se dijele na one koji imaju to svojstvo i one koji nemaju. Ova podjela se zove dihotomni. itd.: dijeljenje brojeva na parne i neparne. Podjela prema osobini koju posjeduju svi objekti roda i koja se razlikuje među vrstama naziva se politomni. Dihotomna podjela je jednostavnija i koristi se, u pravilu, u početnoj fazi učenja predmeta, kada postoji jasnoća u vezi s nekim od predmeta označenih razdjelnim nazivom.

Logička podjela može biti klasična i neklasična. Na klasični podjela rod i vrsta su imena sa čisti volumen, na neklasičan- Ovo nejasna, nejasna imena ili vrste.

Operacija podjele može se okarakterizirati sa stajališta

Semantička analiza prirodnog jezika omogućila je provedbu tipologije jezičnih izraza u skladu s tipovima mentalnih struktura od kojih oni pripadaju, njihovim svojstvima i odnosima. Ali izrazi prirodnog jezika mogu se smatrati znakovima koji su nositelji imena. Uzimajući to u obzir, svi smisleni (smisleni) jezični izrazi u modernoj logici smatraju se imenima. U procesu spoznajne i praktične djelatnosti stvarne ili konvencionalne stvari postaju predmetom ljudskog mišljenja. Osoba ne može bez označavanja ovih predmeta.

Drugim riječima, postoji odnos imenovanja između predmeta (stvarnih ili imaginarnih) i načina na koji se oni koriste u procesu razmjene mišljenja. Odnos imenovanja uključuje dva objekta: označeno i označeno.

Označavanje je proizvod ljudske mentalne aktivnosti i subjektivne je naravi.

Označeno može biti ovisno o subjektu spoznaje (kada je riječ o imaginarnim predmetima) i neovisno (kada je riječ o objektivno postojećim predmetima). Označavanje mogu biti riječi, rečenice, kombinacije rečenica.

Dakle, nazivaju se jezični izrazi koji imaju svojstvo označavanja ja m e n a m i. Imena uključuju pojedinačne riječi ("Ševčenko", "Dnjepar", "rijeka") i izraze ("autor pjesme "San"", "rijeka na čijim se obalama nalazi glavni grad Ukrajine"). Svako od imena označava ili pojedinačni objekt ili skup objekata.

Ono na što se odnosim ime se zove d e n o t a t o m(designatum, nominee) ili značenje imena.

Ista oznaka može imati različite nazive. Dakle, imena "T. Ševčenko" i "autor pjesme "San"" označavaju istu osobu. Ova okolnost čini nužnim objasniti što omogućuje pridruživanje (korelaciju) u svakom konkretnom slučaju određenog naziva s odgovarajućim objektom (denotatom). Ispostavilo se da je u procesu imenovanja uključen neki posrednik, bez kojeg je nemoguće koristiti imena ili pronaći i razlikovati jedan predmet od drugog. Posrednik je informacija, znanje o označenom objektu. Ove informacije nazivaju se cm i l o m (koncept) imena.

Značenje (pojam) i značenja (denotacija) čine sadržaj imena. Nositelji imena mogu biti ne samo riječi i fraze, već i neke rečenice.

Značenje (koncept) imenske rečenice je informacija koju rečenica sadrži (nešto se potvrđuje ili negira), a značenje je apstraktni objekt, logička valencija ("istinito" ili "neistinito").

Samo prava imena imaju značenje ("Francuska", "izumitelj radija", "Kijev"). Imaginarni nazivi to samo simbolično označavaju, jer u stvarnosti objekti koje označavaju ne postoje (kao što su nazivi “Pegaz”, “apsolutno kruto tijelo”, “v-1” itd.).

Sva imena imaju značenje. Identificiranje značenja imena je vrlo važno, jer je značenje ono što je poveznica koja povezuje ime s predmetom. Logiku u teoriji imena zanima upravo objašnjenje kako su imena povezana s objektima izvanjezične stvarnosti.

Razmotrimo potrebu analize teorije imena za logiku.

Logika čini ime predmetom analize kako bi se prije svega riješila sljedeća pitanja:

1) kako su ime i pojmovi povezani, i to: značenje imena i sadržaj pojma;

2) kako logično značenje izjave ovisi o značenju imena koja su u njoj uključena;

3) koja vrsta logičkih sredstava može osigurati nepromjenjivost iskaza tijekom njihove interakcije u procesu zaključivanja.

Vrste imena

Ovisno o tome označava li naziv zaseban objekt ili razlikuje objekt od više objekata, sva se imena dijele na:

Vlastiti i

Imena označavaju (pojedinačne) predmete.

Uobičajeni nazivi razlikuju jedan predmet od mnogih predmeta.

Na primjer, "država", "grad", "knjiga", "prirodni satelit".

Uspoređujući nazive s općim nazivima koji označavaju skupove, obratimo pozornost na činjenicu da zajednički nazivi označavaju neodređenog predstavnika iz skupa objekata - neku državu, zatim grad itd. Zapravo, zajednička imena, za razliku od vlastitih imena, nemaju nikakvog smisla niti smisla.

Na primjer, ako je riječ "grad" naziv za "Kijev", "Varšava", onda ispada da je to ime nad imenima, jer svaki objekt koji imenuje ima svoje ime.

Dosta je uvjerljivo objasnio situaciju ispravnim razumijevanjem općeg imena B. Russell. Istaknuo je da riječ "čovjek" označava nekoliko ljudi, a ne konkretnu osobu.

Stoga ima smisla reći da zajednički naziv ne označava, već predstavlja određeni (proizvoljni) objekt iz skupa, budući da varijabla (x) u matematici predstavlja određeni proizvoljni broj. U tom smislu, uobičajena imena se mogu tumačiti kao jedinstvene objektivne varijable, to je, prvo, a drugo, posljedica ove činjenice je da uobičajena imena nisu imena u pravom smislu riječi, jer ni objektivne varijable nisu imena.

Sve to nam omogućuje da zaključimo da klasa imena ne pokriva cijeli skup jezičnih izraza, već se podudara samo s kategorijom stalnih pojmova. To ukazuje na raznolikost odnosa između verbalnih znakova i predmeta. Odnos imenovanja (imenovanja) samo je jedan od tih odnosa.

Dakle, kada govorimo o značenju, značenju, načelima imenovanja, mislimo na prirodu veze imena (stalnih pojmova) s predmetima koje predstavljaju. Postupci za određivanje značenja imena su različite prirode. U nekim slučajevima ime izravno ukazuje na svoje značenje, u drugima su potrebne dodatne radnje za identifikaciju značenja (posebna objašnjenja, reference na kontekst itd.).

Imena u prirodnom jeziku izražavaju se ne samo riječju ili izrazom ("Shakespeare", "Shakespeareova domovina"), već i cijelim rečenicama pomoću naznačenog operatora opisa, koji se naziva operator jote i u prirodnom jeziku piše u obliku izraza "onaj koji.. ". Na primjer, "onaj koji je napisao pjesmu "Eneida"," "onaj koji je prvi otkrio Ameriku." Oblik izraza "onaj koji..." ne prenosi jasno svoje ime na prirodnom jeziku.

Uzmimo za primjer ime koje zvuči ovako: “Onaj koji je autor “Kobzara”. Oznaka ovog imena je stvarna osoba po imenu Shevchenko, rođen je 1814. u selu Morintsy u regiji Cherkassy; bio kmet u Engelhardtu; Jedna od Ševčenkovih stvaralačkih aktivnosti bila je poezija, te je pridonijela rađanju "Kobzara".

Analizirajući ovo ime, možete se lako uvjeriti da unutra postoji nijansa (aspekt, naglasak, nijansa) koja se može koristiti za razlikovanje jednog imena od drugog s istim oznakama. Upravo ta nijansa, izolirana od cijelog niza informacija o predmetu (koje trenutno posjedujemo), čini značenje imena.

Ili uzmimo rečenicu: “Onaj koji je autor slike “Ekaterina”,” što je također ime s istom oznakom, ali u ovom slučaju značenje će biti drugačija nijansa informacije, naime: T. Shevchenko je imao talent umjetnika, bio je prijatelj Sošenka, koji je skrenuo pozornost na sposobnosti mladog Tarasa, koji je diplomirao na Akademiji umjetnosti u Sankt Peterburgu.

Očito, postoje imena čije je značenje prilično lako utvrditi. Ali situacija postaje kompliciranija kada se ime smatra izvan konteksta, recimo riječ "Kyiv". Oznaka može biti grad, ratni brod ili hotel. Za nedvosmisleno utvrđivanje značenja imena potrebna je dodatna analiza i objašnjenje.

Ako je značenje imena određeno određenom situacijom ili kontekstom, ono se naziva p r o s t i m ili nije opisno.

Na primjer, "Jupiter", "Dnjepar", "Ukrajina".

Ako je značenje imena određeno njegovom konstrukcijom, ono se zove sa skladištem ili opisno.

Na primjer, "Platonov učenik", "učitelj Aleksandra Velikog", "prijestolnica Francuske" i drugi.

Izdvajanje različitih nijansi u nizu informacija o denotatu stvara situaciju u kojoj isti denotat ima različita imena (to je upravo ono što je tipično za deskriptivna imena, gdje je svako novo ime nova semantička nijansa).

Ali vrlo često isto ime označava različite oznake. To više nije cijepanje niza informacija o denotatu u nijanse (kao što je slučaj sa složenim nazivima), već pronalaženje novih nizova informacija koji omogućuju jasno odvajanje jednog denotata od drugog. Ovo je upravo svojstvo za NEopisno

Dakle, postupak identifikacije značenja i denotacije imena pretpostavlja prisutnost konteksta govornog izražavanja.

Pod, ispod KONTEKST za proizvoljni izraz (A) mislimo na lingvistički izraz koji uključuje (A) bez kršenja sintaktičkih pravila jezika koji se koristi.

Jasno je da će konteksti za A biti dijelovi rečenice, cijele rečenice ili fragmenti teksta. Na primjer, uzmite imena "Aristotelov učitelj i osnivač Akademije", "Aristotelov učitelj i prijatelj", "Aristotelov učitelj i autor teorije ideja". Svi primjeri imaju vlastito ime "Aristotel". Izrazi koji uključuju ime "Aristotel" bez kršenja sintaktičkih pravila danog jezika nazivaju se kontekstom za to ime.

Ako opseg imena uključuje samo jedan objekt, tada se takvo ime naziva singl.

Uobičajeno ime je naziv čiji opseg uključuje više od jednog elementa. Poziva se klasa koja je opseg zajedničkog imena značenje ovo ime.

Posebna vrsta običnog imena je univerzalni imena, ili svemiri . Oni bilježe sve klase objekata, sve elemente koji se proučavaju u određenom području spoznaje. Nazivaju se imena koja pripadaju istom svemiru srodni .

Nulta (prazna) imena u najopćenitijem obliku definiraju se kao imena čiji opseg ne sadrži niti jedan element. Klasa koja ne sadrži niti jedan element naziva se null ili prazna.

Ima i imena opisni I vlastiti . Opisna imena identificiraju objekte navodeći njihove odgovarajuće karakteristike. Vlastita imena označavaju predmete u izravnoj korelaciji s njima, zbog činjenice da su se u kulturi ljudske zajednice razvile određene tradicije i norme imenovanja.

Važno je razlikovati skupna i nezbirna imena. Nekolektivno naziva se takvim imenom, svaki element volumena koji predstavlja nešto pojedinačno, integralno. kolektivni naziva se takvim imenom, čiji je svaki element zbirka, zbirka, unija nekih objekata.

Postoje pozitivna i negativna imena. Temelji se na činjenici da se objekti mogu karakterizirati i prisutnošću i odsutnošću određenih svojstava u objektima. Pozitivan smatra se imenom čiji sadržaj ukazuje na svojstva svojstvena objektima. Negativan smatra se naziv čiji sadržaj ukazuje na svojstva koja objekti nemaju.

Na kraju ukazujemo na podjelu imena na jasna i nejasna. Ako je naziv takav da se u odnosu na bilo koji objekt može točno, nedvosmisleno odlučiti je li taj objekt uključen ili ne u opseg danog imena, tada se taj naziv naziva čisto (precizan, definiran) u opsegu (npr. racionalni broj, poljoprivreda za vlastite potrebe, kaznena odgovornost). Inače se uzima u obzir ime mutan (nejasan, nejasan, zamagljen, netočan) u volumenu (na primjer, skup proizvod, mladić, dobar izgled).

ODNOS KOMPATIBILNOSTI

Imena se računaju kompatibilan ako im se volumeni barem djelomično podudaraju, tj. ti svesci imaju zajedničke elemente.

Vrste kompatibilnih imena:

1) Jednak volumen (ekvivalent) razmatraju se imena čiji se volumeni potpuno podudaraju (sl. 1). Uz odnos jednakog volumena imena A I B svaka stavka označena imenom A, može biti naznačeno imenom B, i obrnuto.

2) Imena su u odnosu podnošenje , ako je volumen jednog potpuno uključen u volumen drugog, ali se ne podudara s njim. U tom se slučaju inkluzivno ime naziva podređenim ili generičkim, a uključeno ime naziva se podređenim ili specifičnim. Ako ime A pokorava se imenu B(slika 2), zatim svi znakovi B svojstven sadržaju imena A, a svaka stavka označena imenom A, može se označiti imenom B(ali ne obrnuto).

3) Presijecanje (križanje) su imena čiji se svesci samo djelomično međusobno uključuju. Štoviše, neki objekti označeni imenom A, može se označiti imenom B, i obrnuto. Ako imena A I B su u odnosu na raskrižje (sl. 3), zatim objekti uključeni istovremeno u volumene imena A I B, odnosno oni koji se nalaze na sjecištu ovih volumena, imaju iste karakteristike.

Odnosi među srodnim imenima.

Odnos nekompatibilnosti

U slučaju nekompatibilnosti u sadržaju jednog od naziva, naznačeni su znakovi koji isključuju znakove sadržaja drugog naziva.

Vrste nekompatibilnih imena:

1) Kontradiktorno nazivaju se dva nespojiva imena od kojih je specifičan sadržaj jednog (tj. ukupnost njegovih specifičnih karakteristika) negacija specifičnog sadržaja drugog. Takvi nazivi potpuno iscrpljuju opseg trećeg naziva koji ih podređuje (sl. 4).

2) Podređeni nazivaju se tako nespojivi nazivi čiji svesci ukupno čine dio svezaka nekog podređenog (generičkog) naziva. Jer A I B, budući da su vanjski, istovremeno su podređeni S, tako se i zovu izvan okvira relativno S(slika 5).

3) Suprotno imenuju nazive čiji sadržaj izražava bilo koje ekstremne karakteristike u nekom uređenom nizu postupno mijenjajućih svojstava (slika 6).

Generalizacija i restrikcija kao operacije nad imenima

Generalizacija volumena A- logična operacija koja rezultira imenom s volumenom B, koji sadrži volumen A. Drugim riječima, generalizirajte ime A- znači oblikovati takvo drugo ime B(rod), koji bi sebi podredio ime A(pogled). Granica generalizacije u svakom konkretnom slučaju je određeni univerzalni naziv.

Ograničenje- logička operacija inverzna generalizaciji. Sastoji se od pronalaženja imena s volumenom B, koji je sadržan u svesku A. Ograničite glasnoću A- znači pronaći takvo drugo ime B(vrsta), koja bi bila u odnosu podređenosti prema A(obitelj). Granica ograničenja su imena čiji je volumen jednak jednoj stavci (pojedinačna imena).

Posebna vrsta ograničenja je izbor tipa, odn tipkanje . Vrsta je naziv kojem homogeni objekti odgovaraju u jednom ili drugom stupnju. Ako neki predmeti čine volumen imena A a među njima ima i onih koji bezuvjetno (tj. sa stupnjem jednakim 1) pripadaju volumenu B, a drugi imaju ovo svojstvo do nekog (manje od 1) stupnja, zatim ime s volumenom B predstavlja tip.

Veza s volumenom A novi objekti koji su identični starim prema nekom kriteriju naziva se logička operacija proširenja volumen A.

Operacija obrnuta od ekspanzije, tj. uklanjanja iz volumena A nazivaju se objekti koji su po nekim karakteristikama identični ostalima lokalizacija ime svezak A.

Logičke operacije s volumenima imena ne treba brkati s mentalnim prijelazima s dijela na cjelinu i, obrnuto, s cjeline na dio. Specifičnost potonjih najjasnije se otkriva kada se usporede s operacijama generalizacije i ograničenja.

OPERACIJA PODJELE

Logička podjela je logična operacija kojom se opseg imena (roda) raspodjeljuje među razredima (vrstama).

Analitički odjel - Ovo je operacija povezana s mentalnom izolacijom njegovih dijelova u cjelini. Ove se operacije ne smiju miješati.

Podjela može biti klasična i neklasična. Na klasični podjela i roda i vrste - imena s jasnim volumenom, sa neklasičan to su nejasna, nejasna imena ili tipovi.

Klasična logička podjela sastoji se od pronalaženja imena A takva imena A 1 , A 2 , ..., A n ( n– konačni broj) da:

a) svaki svezak A 1 , A 2 , ... , A n je u odnosu podređenosti volumenu A);

b) zbroj volumena A 1 , A 2 , ... , A n je jednako volumenu A;

c) svaki par svezaka A 1 , A 2 , ... , A n je povezan relacijom nekompatibilnosti. Ujedno i ime A nazvao djeljivo ime , A A 1 , A 2 , ... , A n – članovi divizije .

Moguće je da je osnova za podjelu značajka svojstvena samo dijelu objekata određene klase. U ovom slučaju objekti se dijele na one koji posjeduju to svojstvo i one koji ga nemaju. Ova podjela se zove dihotomni(grč. dicho - na dva dijela, tome - odjeljak). Nasuprot tome, zove se podjela prema osobini koju posjeduju svi objekti roda i koja se razlikuje među vrstama politomni grčki polis – puno).

Razlika između podjele i rastavljanja temelji se na različitoj prirodi odnosa "cjelina-dio" i "rod-vrsta".

PRAVILA PODJELE

1. Pravilo adekvatnosti.Podjela mora biti proporcionalna. To znači da u slučaju diobe svaki od volumena A 1 , A 2 , ... , A n mora biti vrsta volumena A, a zbroj A 1 , A 2 , ... , A n mora iscrpiti cijeli volumen A;u slučaju komadanja mentalna povezanost dijelova mora biti jednaka cjelini. Odstupanje od ovog pravila dovodi do pogrešaka od kojih su najpoznatije: " odjel s dodatnim članovima"kada neki od svezaka (dijelova) A 1, A 2, ... , A n nije vrsta A(nije uključeno kao dio cjeline A); "nepotpuna podjela“, kada nisu imenovane sve vrste (dijelovi) djeljivog roda (cjeline), a zbroj volumena članova diobe manji je od volumena naziva koji se dijeli.

2. Pravilo razlikovanja. Članovi podjele (rasparčavanja) moraju se međusobno isključiti, tj. njihovi volumeni ne bi smjeli imati zajedničke elemente u slučaju klasične podjele, a dijelovi se ne bi smjeli međusobno preklapati u slučaju raščlanjivanja.

3. Pravilo jedinstvenosti baze. Podjela se mora izvršiti koristeći istu bazu. Kada se poštuje ovo pravilo, objekti uključeni u opseg djeljivog naziva obdareni su jednim jedinim atributom - onim koji djeluje kao osnova za podjelu. Odstupanje od ovog pravila dovodi do greške, koja je tzv baze za miješanje.

Umjesto pojma "podjela" ponekad se kao sinonim koristi izraz "klasifikacija". Klasifikacija u užem smislu (u tom smislu ćemo ubuduće koristiti ovaj izraz) - ovo je višefazna, razgranata podjela, tako da svaki od članova dobiven ovom operacijom postaje predmet daljnje podjele.

Prema klasičnoj i neklasičnoj podjeli treba razlikovati klasičnu i neklasičnu klasifikaciju. Posljednji se zove tipologija .

Do sada još nije dodijeljen jednostavan i nedvosmislen pojam za višestupanjsku i razgranatu podjelu. Ova se operacija može nazvati hijerarhizacija .

Klasifikacija i hijerarhizacija podliježu svim pravilima podjele. Osim toga, oni imaju svoja posebna pravila.

1. Pravilo slijeda . Kod klasifikacije treba ići od roda prema najbližoj vrsti, a kod hijerarhizacije od cjeline do njezinih dijelova iste razine, ne preskačući ih. Ako se ovo pravilo prekrši, dopuštena pogreška je " skok u klasifikaciji (hijerarhizacija) ».

2. Pravilo materijalnosti razloga . Razvrstavanje (hijerarhizaciju) treba izvršiti prema bitnim karakteristikama. Kriterij značaja pojedinog atributa je sposobnost predmeta koji ga posjeduje da posluži kao sredstvo za rješavanje postavljenog zadatka.

Poseban slučaj rasparčavanja je periodizacija Njegova posebnost je, prije svega, pokazatelj razvoja prikazanog predmeta tijekom vremena. Drugo, članovi odjeljka (razdoblja) razlikuju se svojom mjerom kao jedinstvom kvalitativnih i kvantitativnih karakteristika predmeta.

DEFINICIJA ILI DEFINICIJA (OPĆE KARAKTERISTIKE)

U logici postoje prvenstveno dva različita značenja pojma “definicija”. Prvo, pod definicija se shvaća kao operacija koja vam omogućuje odabir objekta među ostalim objektima, kako biste ga jasno razlikovali od njih. To se postiže označavanjem značajke svojstvene ovom, i samo ovom objektu. To se obilježje naziva distinktivno (specifično). Što radimo, na primjer, ako želimo izdvojiti kvadrate iz klase pravokutnika? Ističemo značajku koja je svojstvena kvadratima, a nije svojstvena drugim pravokutnicima, – na ravnopravnost svojih strana.

Drugo, definicija se naziva logičkom radnja koja omogućuje otkrivanje, razjašnjavanje ili oblikovanje značenja nekih jezičnih izraza uz pomoć drugih jezičnih izraza. Dakle, ako osoba ne zna što znači riječ "vertshok", oni mu objasne da vershok – ovo je drevna mjera duljine jednaka 4,4 cm. Budući da osoba unaprijed zna što je "drevna mjera duljine jednaka 4,4 cm", značenje riječi "vrh" postaje mu jasno i razumljivo.

Definicija koja daje razlikovno svojstvo određenog predmeta naziva se stvaran. Definicija koja otkriva, pojašnjava ili oblikuje značenje nekih jezičnih izraza uz pomoć drugih naziva se nominalni.

Metoda utvrđivanja značenja jezičnog izraza njegovim izravnim suodnošenjem s označenim predmetom ili njegovom slikom naziva se ostenzivno definicija.

U struktura definicije postoje tri dijela:

1) definirano ime ili izraz koji ga sadrži (označen znakom Dfd – kratica od lat. definiendum);

2) izraz koji otkriva, pojašnjava ili oblikuje značenje definiranog imena (označeno znakom Dfn - skraćenica od lat. definiens);

3) definitivni veznik koji povezuje Dfd i Dfn prema njihovu značenju (označeno znakom º).

Formalno, struktura definicije predstavljena je izrazom: Dfd º Dfn.

PRAVILA DEFINICIJE

1. Pravilo proporcionalnosti. Dfd i Dfn moraju biti jednakog volumena.

Odstupanje od pravila proporcionalnosti dovodi do pogrešaka:

1) "preširoka definicija" - volumen Dfn je veći od volumena Dfd;

2) "preuska definicija" - volumen Dfn je manji od volumena Dfd;

3) “istovremeno preširoka i preuska definicija” - volumeni Dfd i Dfn su u odnosu presjeka.

4) definicija preko praznog imena- Dfd i Dfn ispadaju nespojivi.

2. Pravilo protiv začaranog kruga. Zabranjeno je definirati Dfd kroz Dfn, koji je pak definiran kroz Dfd. Kršenje dopušteno u ovom slučaju naziva se " začarani krug u definiciji". Poseban slučaj "začaranog kruga" je tautologija – ponavljanje Dfd i Dfn (čak i ako su u drugom verbalnom obliku) bez utvrđivanja značenja Dfd.

3. Pravilo jednoznačnosti. Svaki Dfn mora točno odgovarati jednom jedinom Dfd-u i obrnuto. Ovo pravilo eliminira pojave sinonimije i homonimije, zabranjuje upotrebu metafora i umjetničkih slika.

4. Pravilo jednostavnosti. Dfn treba izraziti opisnim nazivom koji definirane objekte karakterizira samo njihovim osnovnim karakteristikama. Inače će definicija biti suvišna. U klasičnim definicijama ovo je pravilo zadovoljeno pod uvjetom da: a) je rod uključen u Dfn najbliži Dfd-u, tj. tako da nijedno drugo ime, podređeno rodu i podređeno Dfd-u, nije prethodno definirano; b) u Dfn nema izraza u odnosu slijeđenja (podređenosti).

5. Pravilo kompetencije. Dfn može sadržavati samo izraze čije su vrijednosti već prihvaćene ili prethodno definirane. Odstupanje od ovog pravila naziva se "definiranje nepoznatog kroz nepoznato".

Povezane informacije.

3.1. Opće logičke karakteristike imena

Bitna osobina osobe je apstraktno jezično mišljenje. Temelji se na sposobnosti osobe, odvraćajući pažnju od određenih predmeta i pojava, da se okrene njihovoj biti. U isto vrijeme, i stvarni predmeti i pojave ("kuća", "jutro") i njihova svojstva ("čistoća", "harmonija") označeni su imenima u jeziku. Dakle, ime je osnovna logička i semiotička jedinica, elementarni oblik, a proces mišljenja je proces operiranja imenima i uspostavljanja posebnih veza među njima. Ime označava bilo koji predmet mišljenja u smislu njegovih razlikovnih obilježja. U

U jeziku se naziv izražava riječima i izrazima koji se u rečenici najčešće upotrebljavaju kao subjekt ili nominalni dio predikata. Izvan verbalnog oblika ime ne postoji, ali ime i riječ nisu identični: isto ime u različitim jezicima ima različit jezični oblik, a mnoge riječi imaju više značenja.

3.2. Volumen i sadržaj naziva

U Logično, svaki naziv ima opseg i sadržaj. Sadržaj imena predstavlja njegovo semantičko značenje, odnosno ukupnost onih karakteristika predmeta i njihovih klasa koje ono označava.

Volumen imena predstavljen je ukupnošću njegovih nositelja ili oznaka, koji mogu biti materijalni objekti ili samo zamislivi.

Volumen i sadržaj imena, koji ga karakteriziraju s različitih strana, usko su povezani. Proučavanje ove veze omogućilo je identificiranje posebnog uzorka, koji je izražen u zakonu obrnutog odnosa između sadržaja i volumena imena: Povećavanjem sadržaja naziva smanjujemo njegov volumen i obrnuto. Sadržaj naziva se povećava zbog uključivanja novih značajki. Na primjer, naziv "student". Njegov djelokrug uključuje sve studente visokih učilišta svih oblika obrazovanja (redovni, izvanredni, večernji, na daljinu i dr.). Dodavanjem nove značajke „dopisni student“ obogatili smo sadržaj naziva „student“, ali smanjili njegov obujam, isključivši iz njega studente svih ostalih oblika obrazovanja. Logička operacija u kojoj prelazimo s naziva većeg volumena na naziv manjeg volumena naziva se ograničavanje opsega imena. Granica ograničenja je

nazivi minimalnog volumena (jednostruki, najčešće vlastiti).

Obrnuta operacija u logici naziva se uopćavanje opsega naziva. Predstavlja prijelaz s naziva manjeg obujma na naziv većeg obujma zbog izuzimanja pojedinih obilježja iz njegova sadržaja. Na primjer, naziv "udžbenik logike". Isključivanjem atributa iz njegovog sadržaja dobivamo naziv s više volumena - “udžbenik”, ali s manje sadržaja. U ovom slučaju granica generalizacije su nazivi sa najširim mogućim opsegom - kategorije koje označavaju krajnje široke i apstraktne pojave, procese i veze ("prostor", "dobro", "materija" itd.).

3.3. Vrste imena

Vrsta imena ovisi i o broju njegovih designata i o karakteristikama koje označava. Po obujmu imena se dijele na jedan, zajednički i prazan (nula). U sadržajnom smislu – na konkretno i apstraktno, pozitivno i negativno, relativno i nerelativno, kolektivno i nekolektivno.

Jedno ime je ime koje ima jednu oznaku ("prvi kozmonaut", "Ustav Republike Bjelorusije", "Immanuel Kant"). U jednine u pravilu spadaju i vlastita imena. Nazivi koji imaju dva ili više designata nazivaju se općim (“student”, “zakon”, “ustav”). Zovu se imena koja nemaju designata prazan (nula). Takvi nazivi imaju semantičko značenje, ali su lišeni predmeta. Tu spadaju nazivi iz sfere ljudske fantazije, bajki, mitova (“sirena”, “Zmija Gorynych”, “jednorog”), znanstveni pojmovi kao rezultat krajnje apstrakcije (“idealni plin”, “apsolutno crno tijelo”) i nazivi u sadržaju u kojima su zamišljeni znakovi koji proturječe prirodi označenih predmeta („trokutasti kvadrat“, „ledeno sunce“).

Imena se dijele na apstraktno i konkretno ovisno o tome što znače. Ako naziv označava stvarne objekte i njihove klase, on je specifičan (“učenik”, “kuća”, “kentaur”, “oluja”). Nazivi koji označavaju pojedinačna svojstva predmeta i odnose među njima nazivaju se apstraktnim ("čistoća", "ljubav", "hrabrost").

Imena se dijele na pozitivno i negativno Ovisno o tome bilježe li prisutnost nekog svojstva u označenom predmetu ili njegovu odsutnost naziva se pozitivom naziv koji označava prisutnost nekog svojstva u predmetu (“vjernik”, “red”).

Naprotiv, naziv koji ukazuje na odsutnost karakteristike u objektu naziva se negativnim ("asimetrija", "neadekvatnost"). U pravilu se negativna imena tvore pomoću negativnih čestica (ne-, bez-, a-). Ako se ime bez negativnog prefiksa ne koristi iz raznih razloga (razvoj jezika, promjene u leksičkim normama), onda je pozitivno ("mržnja", "nesklad").

Nebitno su imena koja označuju predmete same po sebi, bez obzira na odnose i veze tih predmeta s drugima („čovjek“, „kuća“) su imena koja označuju predmete koji ne postoje samostalno, već samo kao članovi nekog odnosa (). "dobro" - zlo", "dan - noć").

Ime koje označava skup predmeta, zamišljenih kao jedinstvena cjelina, naziva se skupnim imenom ("zviježđe", "služba"). Štoviše, ime cjelovitosti ne podudara se s imenima objekata koji ga sačinjavaju. Dakle, oznaka naziva "konstelacija" je Zviježđe Velikog medvjeda i druga zviježđa, a ne zvijezde i nebeska tijela. Nekolektivno daju se nazivi koji označavaju objekte i njihove klase i nisu zamišljeni kao neovisni entiteti, već postoje zasebno ("planet", "prozor").

Određujući vrste imena po volumenu i sadržaju, dajemo mu potpuni logički opis: planet - opći, specifični, pozitivni, neovisni, nesebični. Potpuni logički opis omogućuje razjašnjavanje opsega i sadržaja naziva, pravilniju upotrebu njegovog verbalnog izraza u tekstu, raspravi i sl.

3.4. Odnosi među nazivima prema volumenu

Cijeli skup imena može se podijeliti na usporediva i neusporediva. Imena koja imaju barem jednu zajedničku karakteristiku (“učenik” i “sportaš”) neusporediva su imena, pa ih je nemoguće uspoređivati. U logičkim odnosima mogu postojati samo usporediva imena. Usporedna imena se pak dijele na kompatibilna i nekompatibilna. Kompatibilna imena su imena čiji se obujam potpuno ili djelomično podudara, a nespojiva imena su imena čiji se obujam ne podudara ni u potpunosti ni djelomično. Odnosi između imena grafički su prikazani na Eulerovim kružnicama.

Vrste kompatibilnosti:

1. Identitet (ekvivolumen).

A – student, B – student.

čiji se volumeni potpuno podudaraju. Štoviše, imaju podudarne designate, budući da označuju isti objekt, ali njihov sadržaj može biti različit. Odnos između jednakih imena prikazan je na slici 1.

2. Raskrižje

A – student, B – šahist, C – učenik šaha

U U odnosu presjeka nalaze se imena čiji se volumeni djelomično podudaraju. U ovom slučaju, kao rezultat križanja svezaka imena, formira se nova klasa koju tvore designati zajednički imenima koja se križaju. Na sl. 2 prikazuje odnos presjeka.

3. Podnošenje

A – student, B – student.

U odnosu na subordinaciju postoje nazivi od kojih je opseg jednog potpuno uključen u opseg drugog, ali ga ne iscrpljuje. Ovaj odnos je prikazan na sl. 3.

Vrste nekompatibilnosti: 1. Podređenost

A – sveučilište, B – BNTU, C – BSU.

U U odnosu subordinacije nalaze se dvije ili više vrsta istog roda. U odnosu na generički naziv nalaze se u odnosu subordinacije, a među sobom - subordinacije, tj. njihovi se volumeni ne sijeku. Odnos subordinacije prikazan je na sl. 4.

2. Suprotno

A – bijela, B – crna, C – u boji.

U u odnosu suprotnosti (suprotno) nalaze se nazivi od kojih jedan ima određene karakteristike, a drugi ih isključuje, zamjenjujući ih suprotnim. Ovaj odnos je prikazan na sl. 5.

Budući da logika proučava oblike misli i načine njihovog izražavanja u jeziku, logika je također znanost o jeziku. U logici se proučavaju pojedini aspekti prirodnih jezika (jezici koji su nastali i razvijaju se uglavnom spontano) i stvaraju se umjetni jezici - posebni jezici logike. Jedan od tih jezika je jezik predikatska logika, naširoko se koristi u identificiranju veza između misli njihovim logičkim oblicima. Glavna prednost ovog jezika je što su njegovi izrazi nedvosmisleni. Nema homonima niti nejasnih izraza. To vam omogućuje strogo bilježenje tijeka zaključivanja i točno rješavanje pitanja njihove ispravnosti ili netočnosti, kao i niza drugih pitanja.

U logičkoj analizi jezik se promatra kao sustav znakova.

znak - to je materijalni predmet koji se koristi u procesu spoznaje ili komunikacije kao predstavnik predmeta.

Mogu se razlikovati sljedeće tri vrste znakova: (1) indeksni znakovi; (2) simboli-slike; (3) znakovi-simboli.

Indeksni znakovi povezani su s objektima koje materijalno predstavljaju, na primjer, kao posljedice s uzrocima. Tako dim ukazuje na prisutnost vatre, povišena tjelesna temperatura na bolest, promjena boje noktiju na bolest unutarnjih organa, a promjena u visini živinog stupca na promjenu atmosferskog tlaka.

Imaginativni znakovi su oni znakovi koji sami nose informaciju o predmetima koje predstavljaju (karta prostora, slika, crtež), budući da su u odnosu sličnosti s označenim objektima.

Znakovi-simboli nisu materijalno povezani i nisu slični predmetima koje predstavljaju.

Logika istražuje znakove potonjeg tipa.

Znakovi u pravilu imaju objektivno i semantičko značenje. Predmetno značenje je objekt koji je predstavljen (ili označen) znakom. Semantičko značenje- obilježje predmeta izraženo jezikom, čiji je predstavnik znak, koji omogućuje razlikovanje označenog predmeta od drugih predmeta. Predmetno se značenje često naziva jednostavno značenjem, a semantičko značenje naziva se značenjem.

Neki znakovi nemaju nikakvo značenje, npr. predstavljaju nepostojeće objekte (npr. “perpetum mobile”), a neki nemaju smisla, tj. označavaju neke objekte, ali ne nose informacije o njima, barem takve koje su izražene jezikom i omogućuju vam da nedvosmisleno identificirate objekte označene znakom.

Ulogu znakova u znanju proučavao je Aristotel. Tim problemom bavili su se Leibniz i drugi znanstvenici. Posebno je aktualan razvoj učenja o znakovima u 19. stoljeću. u vezi s potrebama lingvistike i simboličke logike. Američki filozof Charles Peirce (1839.-1914.) postavio je temelje posebne znanosti o znakovima - semiotike. U ovoj znanosti postoje tri dijela - sintaksa, semantika i pragmatika,što je zbog prisutnosti tri aspekta jezika.

Sintaksa je dio semiotike koji proučava odnose između materijalnih objekata koji djeluju kao znakovi (pravila za konstruiranje i transformaciju jezičnih izraza itd.). U procesu ovog istraživanja odvraća se od značenja i značenja znakova.

Semantika je grana semiotike koja prvenstveno proučava odnos znakova prema objektima koje predstavljaju, kao i značenja znakova, budući da su oni jedno od sredstava uspostavljanja veze između znakova i njihovih značenja.

Pragmatika proučava što pojedinci i društvene skupine unose u razumijevanje znakova, odnos osobe prema znakovima te odnose među ljudima u procesu znakovne komunikacije.

Jedna vrsta znakova su imena. Nauk o imenima, tzv teorija imenovanja, razvio ga je relativno u potpunosti njemački znanstvenik Gottlob Frege (1848-1925). Veliki doprinos stvaranju ove doktrine dali su američki logičari R. Carnap (1891-1970) i A. Church (1903-1995), kao i domaći logičar E.K. Voishvillo (r. 1913.).

Glavni koncept teorije imenovanja je koncept "ime".

Ime - Ovo je riječ ili fraza koja označava predmet. Budući da je ime znak, ono ima značenje ili značenje (ili oboje). Značenje imena je ono što je označeno tim imenom. Druga imena za značenje imena - denotacija, designatum, nomine. Značenje (ili pojam) je informacija o objektima predstavljena u jeziku, koja je izražena imenom i koja omogućuje nedvosmislenu identifikaciju objekata koji su značenja imena.

Postoje dvije vrste imena. Ime koje pripada prvom tipu označava jedan objekt. Naziv drugog tipa zajednički je za objekte određene klase. Imena prve vrste nazivaju se pojedinačna, a druga opća. Primjeri pojedinačnih imena: Mjesec; glavni grad Rusije; autor romana "Rat i mir". Primjeri uobičajenih imena: životinja s mekim ušnim školjkama; europska država; student. Dakle, značenje jednog imena je jedan subjekt. Uobičajene vrijednosti naziva su stavke neke klase koje sadrže više od jednog elementa. Klasa koja se sastoji od objekata koji su značenja imena naziva se opseg imena. Svezak jednog naziva je razred koji se sastoji od jednog predmeta.

Grafički:

mark">univerzalni. Univerzalni nazivi su opći nazivi čiji je opseg cijeli univerzum promišljanja, tj.: cijelo predmetno područje o kojem se rasuđuje. Na primjer, "osoba koja zna neke strane jezike ili ne znati jedan strani jezik.” Univerzum rezoniranja je skup (svih) ljudi. Naziv “osoba koja zna neke strane jezike” nije univerzalan podudarati sa skupom (svih) ljudi određeno je kontekstom u kojem se koristi.

Mogu postojati imena s različitim značenjima i istim volumenom (na primjer, "najveći grad u Engleskoj" i "glavni grad Engleske"), ali ne mogu postojati nazivi s istim značenjem, ali različitim volumenom.

Imena mogu označavati objekte koji ne postoje u svemiru razmišljanja. Takvi nazivi su izmišljeni. Primjeri: "sirena", "najudaljenija točka svemira". Ta su imena imaginarna ako se svemir razmišljanja sastoji od objekata koji postoje u objektivnoj stvarnosti. Opseg imaginarnog imena je prazan skup.

označi">važeći .

Frege i Church vjeruju da sva imena imaju značenje. Voishvillo smatra da ne sve. Argumentirajući svoje gledište, on imena prema vrsti značenja dijeli na dvije vrste – na imena koja imaju svoje značenje, i imena koja nemaju svoje značenje. Nazivi koji imaju svoje značenje su opisni nazivi poput "najveća rijeka u Europi". Značenje takvih imena određeno je njihovom strukturom i značenjima ili značenjima imena koja čine ta opisna imena. Ako imena uključena u složeni naziv nemaju smisla, tada u ovom slučaju opisni naziv ima značenje. Ovo značenje označava odnos između značenja sastavnih imena. Neopisni nazivi poput "Volga" nemaju nikakvo značenje. Ako imaju neko značenje, ono je samo dano. Neopisnim imenima pridaje se značenje pomoću opisnih imena koja su s njima povezana. Opisna imena pak uključuju neopisna imena. Također im se daje značenje kroz opisni jezik. Očito, takav proces ne može biti beskonačan, tj. neka neopisna imena imaju značenje, ali nemaju smisla. Ova imena označavaju objekte, ali ne nose informaciju o njima, koja se izražava jezikom i omogućuje razlikovanje ovih objekata od drugih objekata svemira. Značenja takvih imena određena su osjetilima ili intuicijom.

U prirodnom jeziku neki izrazi, ovisno o kontekstu, označavaju različite objekte, a ima i slučajeva kada značenja izraza mogu biti sami ti izrazi itd. Ovakva situacija je neprihvatljiva u jezicima znanosti koji podliježu sljedeća tri normativna načela: (1) načelo objektivnosti; (2) načelo jednoznačnosti; (3) načelo zamjenjivosti.

Prema načelu objektivnosti, iskazi moraju potvrditi ili poreći nešto o značenju imena uključenih u rečenice, a ne o samim imenima. Mora se, naravno, imati na umu da su značenja nekih imena imena. Takvi slučajevi nisu u suprotnosti s načelom objektivnosti. Na primjer, u rečenici "Materija je primarna, a svijest sekundarna", "materija" je naziv objektivne stvarnosti, au rečenici "Materija je filozofska kategorija", riječ "materija" uzeta u navodnike oznake, naziv je imena, naziv kategorije. Takvi se nazivi nazivaju navodnicima. Ponekad u prirodnom jeziku postoje slučajevi gdje je ime imena samo izvorno ime. Na primjer, u rečenici "Riječ stol sastoji se od četiri slova", riječ "stol" je naziv same riječi. Ovakvo korištenje naziva naziva se autonimno. Samostalna uporaba imena neprihvatljiva je u znanstvenim jezicima jer dovodi do nesporazuma. Dakle, u poznatoj definiciji V.I. Lenjin: “Materija je filozofska kategorija za označavanje objektivne stvarnosti, koja je dana osobi u njegovim osjetima, koja se kopira, fotografira, prikazuje našim osjetima, postoji neovisno o njima” - postoji autonomna upotreba naziva “materija ”. To je izazvalo polemiku o tome što je V.I. Lenjin je materija, objektivna stvarnost ili kategorija, t.j. misao, koncept stvarnosti.

Prema načelu jednoznačnosti, izraz koji se koristi kao ime mora biti naziv samo jednog objekta, ako se radi o jednom imenu, a ako se radi o općem imenu, onda taj izraz mora biti naziv zajednički objektima istog. razreda. U prirodnom jeziku ovo se načelo ne poštuje uvijek. Njegovo poštivanje je neophodno pri konstruiranju umjetnih jezika, na primjer, jezika logike predikata.

Načelo zamjenjivosti: ako u složenom nazivu zamijenite dio, koji je pak naziv, drugim imenom s istim značenjem, tada značenje složenog naziva dobivenog takvom zamjenom mora biti isto kao i značenje izvornog složenog imena. Neka je navedena rečenica “Zemlja se okreće oko Sunca” (pretpostavit ćemo da su rečenice ujedno i imena i da je značenje rečenice točno ili netočno). Zamijenimo naziv "Sunce" u gornjoj rečenici s nazivom "središnje tijelo Sunčevog sustava". Očito je da su značenja ovih imena ista. Kao rezultat takve zamjene dobivamo istinitu rečenicu od istinite rečenice.

Načelo zamjenjivosti čini se prirodnim, ali postoje primjeri zamjene imena koji mu proturječe. Razmotrite rečenicu: "Ptolomej je vjerovao da se Sunce okreće oko Zemlje." Istina je. Zamijenimo naziv "Sunce" nazivom "središnje tijelo Sunčevog sustava", koji ima isto značenje. Dobit ćemo lažnu ponudu.

Takve nedosljednosti s načelom zamjenjivosti nazivaju se antinomije odnosa imenovanja.

Potrebno je razlikovati dva načina uporabe imena. Prvi je da naziv jednostavno identificira stavku(e). Drugi je da se predmeti označeni imenom razmatraju u određenom aspektu. Ako se ime koristi u drugom značenju, tada se može zamijeniti drugim imenom s istim značenjem, ako se samo u drugom imenu predmeti razmatraju u istom aspektu. Gornja zamjena se mogla izvršiti da je Ptolemej vjerovao da su značenja imena "Sunce" i "središnje tijelo Sunčevog sustava" ista. Tada bi značenje rečenice "Ptolemej vjerovao da se Sunce okreće oko Zemlje" bilo "lažno". Rečenica koja proizlazi iz zamjene također bi bila lažna: "Ptolomej je vjerovao da središnje tijelo Sunčevog sustava kruži oko Zemlje."

Jezični izrazi dijele se na klase ovisno o vrstama značenja koja izražavaju, kao i o vrstama objekata koje označuju ili predstavljaju. Ovi razredi se nazivaju semantičke kategorije.

Prije svega, razlikuju se rečenice, kao i dijelovi rečenice koji imaju samostalnu ulogu u sastavu rečenice.

Rečenice se dijele na razrede ovisno o tome da li izražavaju sud, pitanje, normu itd. Rečenice koje izražavaju sudove nazivaju se iskazima.

Među izrazima koji su uključeni u rečenice i igraju samostalnu ulogu u njima, opisni i logični pojmovi.

Opisni pojmovi uključuju: 1) imena u jednini; 2) narodna imena; 3) znakovi svojstava i odnosa; 4) znakovi znakova; 5) znakovi objektivnih funkcija.

Pojedinačna i uobičajena imena opisana su gore.

Svojstva su način na koji se objekti i pojave razlikuju jedni od drugih. Ako uspoređujemo ljude, možemo reći da je jedan visok, a drugi nizak, jedan je crnook, a drugi plavook, itd. Povezujući svojstvo s predmetom u našim mislima, dobivamo istinitu ili lažnu rečenicu.

Stav se razlikuje od svojstva po tome što se, da bi se dobila istinita ili lažna rečenica, on (stav) mora u mislima pripisati paru ili trojci itd. stavke. Primjeri odnosa: "veći od", "nalazi se između", itd.

U suvremenoj logici, znakovi svojstva i znakovi odnosa uključeni su u jednu semantičku kategoriju - kategoriju znakova koji predstavljaju karakteristike nizova objekata. U ovom slučaju svojstva se smatraju karakteristikama nizova koji se sastoje od jednog objekta, a relacije - karakteristikama nizova koji se sastoje od više objekata (dvostruke relacije - karakteristike parova objekata, relacije na tri mjesta - karakteristike tripleta objekata itd. ).

Relacija “veće od” je dvomjesna, jer da bi se dobila istinita ili lažna rečenica mora se u mislima povezati s parom predmeta. Odnos "smješten između" je tromjesni odnos, mora biti povezan s trostrukim objektima kako bi se dobila istinita ili netočna rečenica.

Znak "objekta je prisutnost ili odsutnost ovog ili onog svojstva ili odnosa s drugim objektima." Oznaka n (par, trojka, itd. objekata) je prisutnost ili odsutnost bilo kakvog odnosa između njegovih elemenata. Riječi ili fraze koje izražavaju karakteristike nizova od n objekata definiranih predikatima.

Rečenica "Ovaj stol je žut" potvrđuje da je ovaj stol žut. Izraz "je žut" je znak karakteristike, a riječ "žut" je znak svojstva. U rečenici "Moskva je veća od Arhangelska", "više" je znak atributa para objekata (Moskva, Arhangelsk). Sadržaj ove rečenice može se izraziti drugačije: “Moskva je veća od Arhangelska.” Ovdje je "više od" ("više") znak atributa, a "veće od" je znak odnosa.

Nije uvijek lako razlikovati opća imena, s jedne strane, od znakova svojstava i odnosa, s druge strane. Izvan konteksta, na primjer, riječ "crveno" može se smatrati i znakom svojstva i općim nazivom. U potonjem slučaju, to je opći naziv za crvene predmete.

Pri konstruiranju jezika logike predikata svojstva ćemo shvatiti kao opća imena objekata, a n-arne relacije kao opća imena n-arnih objekata. U ovom širokom tumačenju uobičajena imena nazivat ćemo predikatorima.

Znakovi funkcije subjekta, odn funkcionalni znakovi, ili subjektni funktori, predstavljaju funkcije subjekta.

Funkcija je korespondencija na temelju koje su objekti (objekt, par, trojka objekata itd.) iz određenog skupa, koji se naziva domena definicije funkcije, u korelaciji s objektima iz drugog ili istog skupa, nazivamo vrijednostima funkcije.

Objektna funkcija je funkcija čije su vrijednosti objekti. Primjeri funkcija subjekta: sin, log, +, masa. Primjenjujući funkcionalnu oznaku "masa" na naziv jednine "Zemlja", dobivamo kao vrijednost singularni naziv "masa Zemlje", koji označava određenu količinu, tj. artikal. Dakle, ova funkcija uspoređuje objekte (materijalne objekte s masom) s drugim objektima (vrijednosti mase).

Glavni logični pojmovi Ruski jezik uključuje sljedeće riječi i fraze: "jest" ("suština"), "i", "ili", "ako..., onda...", "ne", "nije istina to". ..”, “svi” (“svi”), “svi”, “neki”, “onaj... koji...”, “dakle”. Neki od ovih pojmova izražavaju odnose stvarnosti. Na primjer, "i" izražava koegzistenciju dvaju stanja stvari ili situacija, a "ako..., onda..." - vezu dviju situacija kada se, uz prisutnost prve, uvijek odvija druga. Takvi se odnosi nazivaju logičkim za razliku od nelogičkih odnosa, tj. odnosi predstavljeni opisnim pojmovima.

Razmotrite rečenicu: “Ako niti jedan član obitelji Ivanov nije poštena osoba, a Stepan je član obitelji Ivanov, onda Stepan nije poštena osoba” i odredite kojim semantičkim kategorijama pripadaju izrazi koji su njezini dijelovi. . U ovoj rečenici, "ako..., onda..." je logičan pojam, "nijedan" ("svi") je logičan pojam, "član obitelji Ivanov" je prediktor (uobičajeno ime), "ne ” je logičan pojam, “je” (“je”) je logičan pojam, “pošten čovjek” je predikator (opće ime), “i” je logičan pojam, “Stepan” je ime u jednini.

Objasnimo (još jednom) koji je dio značenja deskriptivnih pojmova sačuvan kada se identificira logički oblik mišljenja.

Analizirajmo dva argumenta.

(1) Svi sudionici ovog zločina su identificirani od strane žrtve. Žrtva nije identificirala nikoga od članova obitelji Petrov. Nitko od osoba koje su sudjelovale u počinjenju ovog kaznenog djela nije kazneno odgovarao za njegovo počinjenje. Slijedom toga niti jedan član obitelji Petrov nije kazneno odgovarao za počinjenje ovog zločina.

(2) Svatko tko je zdrave pameti može razumjeti logiku. Nijedan od Croxovih sinova ne razumije logiku. Ludi ne smiju glasati. Posljedično, nijednom od Croxovih sinova nije dopušteno glasati.

Zamijenimo termine deskriptivnih predikatora koji se nalaze u svakom od ovih argumenata s varijablama P, Q, R, S redoslijedom kojim se pojavljuju u argumentu.

Prvi argument uključuje četiri deskriptivna predikatorska pojma, redoslijed njihovog unosa u argument je sljedeći: prvi je pojam “sudionik u ovom zločinu” (P), drugi je “identificiran od strane žrtve” (Q), treći je “član obitelji Petrov” (R), četvrti - “priveden kaznenoj odgovornosti za počinjenje ovog zločina” (S). Treba napomenuti da se pojam „nesudjelovanje u počinjenju ovog kaznenog djela” može smatrati dobivenim kao rezultat primjene operacije logičke negacije „ne” na pojam „sudionik u ovom kaznenom djelu” i označen kao „ne-P” .

U drugom argumentu pojavljuju se četiri deskriptivna izraza sljedećim redoslijedom: "zdrave pameti" (P), "sposoban razumjeti logiku" (Q), "Croxov sin" (R), "kvalificiran za glasanje" (S) . Pojam "lud" odgovara izrazu "nepriseban" i označen je kao "ne-P".

Prepišimo oba argumenta koja razmatramo, zamijenivši odgovarajuće varijable umjesto opisnih termina. Riječ "dakle" zamijenit ćemo linijom koja odvaja zadnje rečenice argumenta od prethodnih rečenica:

mark">logička forma .

Prilikom identificiranja logičkog oblika pohranjuje se informacija o tome kojoj semantičkoj kategoriji pripada opisni termin zamijenjen varijablom. Stoga se prilikom konstruiranja formaliziranih jezika logike, posebice jezika logike predikata, uvode različiti simboli za izraze različitih kategorija. Osim toga, prilikom identificiranja logičkog oblika, različita pojavljivanja istog pojma u kontekstu zamjenjuju se istim simbolom, a različiti pojmovi različitim simbolima.