Modalitatea, enciclopedia umană

Primele reguli pentru tratarea modalităților au fost formulate de Aristotel, care, împreună cu silogismul asertiv, au pus în circulație silogismul modal. în cazul în care cel puțin una dintre locații este o declarație de tip "Un neapărat aparține lui B", "A poate aparține lui B". În același timp, Aristotel nu a considerat că este posibil. Aristotel nu a reusit sa rezolve problema modalitatilor in cadrul teoriei logice construite pe doua valori a silogismelor. În general, silogistica modală a lui Aristotel este interpretată ambiguu de cercetători și are acum doar o semnificație istorică.







Următorul pas în dezvoltarea logicii modale a fost realizat de elevul lui Aristotel, Theophrastus, care a început să atribuie modalități exprimărilor în general, și nu conceptelor individuale. În plus, el a acceptat teza: tot ce este posibil este posibil, care a deschis calea determinării posibilității prin necesitate: "poate A" este echivalentă cu "nu este necesar nu-A".

În Evul Mediu, multe intuitiv evident la ideea veche a logicii de modalități au fost uitate. Cu toate acestea, în mijlocul secolului al XIII B. Sherwood disting șase tipuri de modalități: adevărat, fals, probabil, imposibil, din întâmplare, este necesar. Ulterior, au fost reduse la trei forme: în mod inevitabil, probabil, imposibil, și apoi - adevărate, false și insolubile. În logica medievală a fost divizată modalități privind modalitatea de dicto (de vorbire), referitoare la declarația în ansamblu, și modalitatea de re (a lucrurilor), referitoare la proprietățile și care exprimă un anumit tip de comunicare subiect (obiect de gândire), cu un predicat (un semn inerent în subiect gânduri).

În logica secolele XII-XIII a fost acceptată distincția între cele două modalități trebuie: necessarium per se (nevoia în sine) și necessarium pe accidens (necesitatea accidentală). Declarațiile cu modalități de primul tip sunt indiferente în ceea ce privește timpul, adică ele sunt întotdeauna adevărate; afirmațiile cu modalități de tipul al doilea sunt adevărate doar într-un anumit interval de timp.

În secolul al XVIII-lea, I. Kant, pe baza modalităților, a clasificat judecățile în trei grupe:

  1. hotărâri de aserțiune;
  2. judecăți apodice;
  3. judecății problematice.

Logica tradițională (clasică) (vezi Logica) sub forma unui rudiment a păstrat doar clasificarea judecăților prin modalități. Distinge între următoarele trei grupe de exprimări modale:

  1. declarații apodice cu modalități de necesitate (S trebuie să fie P);
  2. declarații problematice cu modalități de posibilitate (S poate fi P);
  3. declarații de afirmație cu modalități ale realității (S este P), în funcție de necesitatea, posibilitatea sau realitatea evenimentelor.

Creatorii logicii matematice. inclusiv G. Frege, care caută să identifice și să exploreze pe deplin toate posibilitățile de logică extensivă (logica volumelor), au ignorat total importanța modalităților logice. concepte Modal au fost aproape complet excluse din logica până cercetarea KI Lewis 1912-1918 ani, care a formulat axiomatic sistemul logicii modale, pe care el a numit sistemul de estimări ale S1 - S6. În mod intensiv, modalitățile au început să fie studiate numai după dezvoltarea semanticii model-teoretice.







În modalități logice moderne sunt considerate ca declarații „metalogică“ de evaluare (a se vedea. Metalogic) și a studiat în logica modală (a se vedea. Modal Logic), care a diferitelor tipuri posibile de estimări modale alege câteva, cele mai interesante.

În logica modală, se investighează următoarele grupuri de declarații modale și conexiunile lor logice:

  1. modalități aletice, care sunt împărțite în logică (transcendental), caracterizate prin capacitatea și potența inteligenței și fizice (ontologică sau metafizică), ce caracterizează acuratețea relației dintre limbaj și realitate, așa cum este subliniat în această limbă:
  • modalitatea logică (modalitate de absolută: „logic necesar“, „logic accident“, „logic posibil“, „logic imposibilă“, modalitate comparativă: „implică în mod logic“, „este consecința logică“);
  • fizice (ontologică, cauzală) modalitatea (modalitate absolută „necesară fizic“, „accident fizic“, „imposibil fizic“, „este posibil fizic“; modalitate comparativă: „există un motiv“, „este o consecință a“, „nu este nici cauza, nici o consecință ").
  • Epistemică modalitate (modalitate legate de cunoaștere: „discutabile“, „refutabilă“, „insolubile“, modalitățile referitoare la concluzia: „convingătoare“, „îndoielnic“, „respins de“, „permis“; modalitate asociată cu o caracteristică de adevăr, absolut „adevărat“, „fals“, „incert“, comparativ modalitate „probabil“, „mai puțin probabil“, „la fel de probabil“).
  • Modalități deontologice (normative) ("obligatoriu", "normativ indiferent", "interzis", "permis").
  • Axiologică (evaluativă) modalitatea (modalitate de absolut „bun“, „indiferență axiologic“, „rău“, modalitate comparativă, „mai bine“, „echivalent“, „mai rău“).
  • Modalități temporale (temporale): modalități absolute: "a fost", "este", "va," "întotdeauna", "uneori", "niciodată"; modalități comparative: "mai devreme", "simultan", "mai târziu".

    • Toate modalitățile sunt împărțite în absolut, fără a fi legate de niciunul dintre condițiile și relative, asociate cu orice condiții. Modalitățile de diferite tipuri au proprietăți formale comune. Indiferent de grup, care sunt modalitatea în care sunt definite în ceea ce privește una peste alta pe același model (de exemplu, orice este posibil, în cazul în care opusul nu este necesar, este permisă, în cazul în care opusul nu este în mod necesar, valabil, în cazul în care opusul nu este interzisă, coincidență, care nu este nici necesară, nici imposibilă, insolubilă, care nu poate fi dovedită și incontestabilă și așa mai departe).

    În logica modernă modalităților includ operatori mai logici cu care reușește să țină seama de gradul de adevăr al revendicărilor, chiar dacă, luând în considerare anumite secțiuni și izolate logica lor, să le studieze, în logica modală. Exemple de astfel de subiecte sunt logice temporale (operatori „va fi întotdeauna“, „întotdeauna a fost“ și „va fi vreodată“, „a fost odată“), cunoașterea logicii ( „agent n știe“), logica provability ( „această teorie demonstrabil "), logică dinamică (" după executarea programului l ") și multe altele. Un astfel de studiu de extensie în domeniul logicii modale obiect, datorită faptului că ideile și metodele utilizate în aceste secțiuni similare specifice, aplicate inițial ca regulă operatorilor modale clasice „necesară“ și „posibil“. În același timp, aceste secțiuni particulare ale logicii modale au numeroase aplicații în domenii specifice de cunoaștere, de exemplu, în filozofie, în bazele matematicii, fundamentele teoretice ale informaticii și aplicațiile sale în științele cognitive, lingvistică și altele.







    Articole similare

    Pagina anterioară

    Pagina următoare

    Trimiteți-le prietenilor: