Үй-жай - Premise

Бұл мақала пайдалану туралы алғышарт дискурс пен логикада. Басқа мақсаттар үшін қараңыз Үй-жай (айыру).

A алғышарт немесе алдын ала[a] аргументтік шағымдар а-ны тудыратын немесе негіздейтін тұжырым қорытынды.[1] Бұл бір нәрсе рас деген болжам.

Түсіндіру

Жылы логика, an дәлел талап етеді орнатылды (кем дегенде) екі декларативті сөйлемдер (немесе «ұсыныстар» ) басқа үй-жаймен бірге «үй-жай» (немесе «алғышарттар») ретінде белгілі декларативті сөйлем (немесе «ұсыныс»), ретінде белгілі қорытынды. Екі ғимараттың және бір тұжырымның бұл құрылымы негізгі аргументтік құрылымды құрайды. Неғұрлым күрделі аргументтер бірнеше үй-жайларды бір тұжырыммен байланыстыру немесе бастапқы жайлардан бірқатар қорытындылар шығару үшін ережелер тізбегін қолдана алады, содан кейін олар қосымша қорытындылар жасау үшін алғышарт ретінде қызмет етеді. Бұған мысал ретінде қорытынды жасау ережелері ішінде табылған символикалық логика.

Аристотель кез-келген логикалық аргументті екі жайға және қорытындыға дейін қысқартуға болады деп есептеді.[2] Үй-жайлар кейде белгіленбей қалады, бұл жағдайда олар жетіспейтін үй-жайлар деп аталады, мысалы:

Сократ өлімге ұшырайды, өйткені барлық адамдар өледі.

Үндемей түсінген талаптың Сократты адам екендігі айқын көрінеді. Толығымен көрсетілген дәлелдеме:

Барлық адамдар өлімші, ал Сократ ер адам болғандықтан, Сократ өлімге толы.

Бұл мысалда тәуелсіз тармақтар үтірдің алдында (атап айтқанда, «барлық адамдар өледі» және «Сократ - адам») үй-жайлар, ал «Сократ - өлімшіл» - қорытынды.

Қорытынды дәлелі екеуіне де байланысты шындық үй-жайдың және жарамдылық аргумент. Сондай-ақ, тұжырымның толық мағынасы мен сәйкес келетіндігін анықтау үшін алғышарттың мағынасынан жоғары қосымша ақпарат қажет.[3]

Үшін Евклид, үй-жайлар а-дағы үш ұсыныстың екеуін құрайды силлогизм, екіншісі - қорытынды.[4] Бұл категориялық ұсыныстар үш терминді қамтиды: қорытынды тақырыбы және предикаты және орта мерзімді. Қорытынды тақырыбы кіші термин деп аталады, ал предикат негізгі термин болып табылады. Орта мерзімді және негізгі терминді қамтитын алғышартты негізгі алғышарт деп атайды, ал орта мерзімді және кіші терминді қамтитын алғышартты кіші алғышарт деп атайды.[5]

Егер тұжырымдар логикалық аргументке біріктірілген болса және мұндай сөздердің бір немесе бірнеше сөйлемдердің рөлін белгілеу үшін индикатор сөз бола алады.[6] Бұл оған бекітілген тұжырымның алғышарт екендігін көрсетеді.[6]

Сондай-ақ қараңыз

Ескертулер

  1. ^ Жалпы қолданыста «алғышарт» емлесі жиі кездеседі; дегенмен, логика саласында «премиссия» емлесі жиі қолданылады, әсіресе британдық жазушылар арасында.

Пайдаланылған әдебиеттер

  1. ^ Ауди, Роберт, ред. (1999). Кембридж философиясының сөздігі (2-ші басылым). Кембридж: Кембридж университетінің баспасы. б. 43. ISBN  0-521-63136-X. Аргумент: олардың кейбіреулері ( үй-жайлар) олардың екіншісін қабылдауға негіздеме беру үшін қорытынды
  2. ^ Галлберг, қаңтар (1997). Математика: Сандар пайда болған кезден. Нью-Йорк: W. W. Norton & Company. б.216. ISBN  0-393-04002-X.
  3. ^ Бирн, Патрик Хью (1997). Аристотельдегі талдау және ғылым. Нью-Йорк: Нью-Йорк штатының мемлекеттік университеті. б. 43. ISBN  0791433218.
  4. ^ Райан, Джон (2018). Философия және философия тарихы бойынша зерттеулер, 1 том. Вашингтон, Колумбия округу: CUA Press. б. 178. ISBN  9780813231129.
  5. ^ Поттс, Роберт (1864). Евклидтің геометрия элементтері, 1-кітап. Лондон: Лонгмен, Жасыл, Лонгмен, Робертс және Жасыл. б. 50.
  6. ^ а б Лакхардт, C. Грант; Бахтел, Уильям (1994). Логикамен қалай істеу керек. Hillsdale, NJ: Lawrence Erlbaum Associates, Publishers. б. 13. ISBN  0805800751.

Сыртқы сілтемелер