邏輯學(xué)研究思維形式的結(jié)構(gòu)及其規(guī)律，并研究推理方法。要研究人類認(rèn)知的本質(zhì)，了解知識(shí)的產(chǎn)生、發(fā)展的規(guī)律，從邏輯學(xué)能獲得很大的啟發(fā)。
本系列文章先從普通邏輯開始研究學(xué)習(xí)，并用計(jì)算機(jī)建模的技術(shù)和方法，為邏輯學(xué)建議一個(gè)UML模型，作為知識(shí)和推理的計(jì)算機(jī)化的基礎(chǔ)。
概念是邏輯學(xué)最重要的組成部分，作為第一篇，首先對(duì)概念及其操作進(jìn)行建模。
對(duì)于客觀世界存在的對(duì)象，存在著一個(gè)“認(rèn)知主體”。人們通過對(duì)客觀對(duì)象的觀察和思考，認(rèn)識(shí)到認(rèn)知主體的存在。經(jīng)過思維的抽象，在思想中產(chǎn)生了“概念”。
概念是思維的產(chǎn)物，在思維領(lǐng)域，概念用來反映思維對(duì)象特有屬性或本質(zhì)屬性。那么屬性是什么呢？屬性是指事物的性質(zhì)及其與其它事物的關(guān)系。
并非所有的屬性都可以用來表達(dá)概念。前面說過，概念反映思維對(duì)象特有屬性或本質(zhì)屬性。特有屬性是指一類事物都具有并且獨(dú)有（其他種類的事物不具有）的某種屬性；而本質(zhì)屬性是指決定一事物之所以成為該事物并區(qū)別于其他事物的屬性。
概念屬于思維領(lǐng)域，為了交流，人們使用語(yǔ)詞表達(dá)概念。（還可以使用其他的方式，比如UML圖）。語(yǔ)詞是概念的語(yǔ)言形式，但語(yǔ)詞和概念并不是一一對(duì)應(yīng)的。表現(xiàn)在：
有些語(yǔ)詞（虛詞）不表達(dá)概念；
同一個(gè)概念可以用不同的語(yǔ)詞表達(dá)（典型的，多種語(yǔ)言的語(yǔ)詞）
同一個(gè)語(yǔ)詞在不同的語(yǔ)境中表達(dá)不同的概念。
概念，語(yǔ)詞，客觀對(duì)象的關(guān)系如下圖所示：
概念的兩個(gè)基本邏輯特征是：內(nèi)涵與外延。
內(nèi)涵：概念的含義，反映在概念中的思維對(duì)象的特有屬性或本質(zhì)屬性。
外延：概念的適用對(duì)象，具有概念所反映的特有屬性或本質(zhì)屬性的對(duì)象，概念所指稱或表達(dá)的對(duì)象。
明確了內(nèi)涵和外延，就可以對(duì)概念進(jìn)行分類、比較和運(yùn)算。