發(fā)布時(shí)間：2018-05-04 23:25

  本文選題：命題形式 + 命題的符號化�。� 參考：《北京理工大學(xué)學(xué)報(bào)(社會科學(xué)版)》2008年01期

【摘要】：命題形式是用符號來表示的,但命題形式是不是就是命題的符號化?傳統(tǒng)邏輯對這個(gè)問題的回答似乎是不言而喻的,但數(shù)理邏輯卻使這個(gè)問題變得復(fù)雜起來。數(shù)理邏輯的謂詞邏輯對非邏輯常項(xiàng)的引入,導(dǎo)致了命題的符號化和命題形式之間的相對分離,使命題形式已不能簡單地等同于命題的符號化。命題的符號化可以借助非邏輯常項(xiàng)實(shí)現(xiàn),但純命題形式不包含非邏輯常項(xiàng),在純形式推演中也沒有真正意義上的非邏輯常項(xiàng)。
[Abstract]:Propositional forms are represented by symbols, but is propositional form symbolic of propositions? The answer to this question seems self-evident in traditional logic, but complicated by mathematical logic. The introduction of predicate logic of mathematical logic to the nonlogical constant term leads to the relative separation between the symbolization of propositions and the form of propositions, so that the form of propositions can no longer be equated simply with the symbolization of propositions. The symbolization of propositions can be realized by means of non-logical constant terms, but the pure propositional form does not contain non-logical constant terms, and there is no real non-logical constant term in the pure form deduction.
【作者單位】： 首都經(jīng)濟(jì)貿(mào)易大學(xué)人文學(xué)院
【分類號】：B812

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 李秀敏;論亞相容邏輯中的“矛盾”——達(dá)科斯塔的亞相容邏輯思想述評[J];安徽大學(xué)學(xué)報(bào);2005年01期

2 杜國平;馬亮;;哲思邏輯的判定問題[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2007年05期

3 沈躍春;悖論與20世紀(jì)邏輯學(xué)的發(fā)展[J];安慶師范學(xué)院學(xué)報(bào)(社會科學(xué)版);2000年06期

4 何自強(qiáng);一個(gè)－階邏輯公理系統(tǒng)獨(dú)立性的證明[J];北京航空航天大學(xué)學(xué)報(bào);1994年01期

5 劉q，

本文編號：1845153