形式主語是代替不定式或主語從句,放在句首的it.能作形式主語的只有it.
eg.It is said that he will marry our boss's daughter.
邏輯主語是就非謂語動詞而言.因為非謂語動詞雖然不能作謂語,但依然保留有一定的動詞性,即可以帶賓語、狀語,如to write a letter中,不定式的動詞為write,write 的賓語是a letter；carring a bag 中動詞carry的賓語為a bag.那么,作本動作的人或事物就是這個非謂語動詞的邏輯主語.因為它在句中并不一定擔任語法上的主語,所以只能叫作“邏輯主語”.
eg.I came to take my bag .本句中to take my bag這個不定式的邏輯主語是I,因為是“我”要拿包.
Can you imagine him doing such a bad thing?本句中doing such a bad thing的邏輯主語為him,因為是“他”做了一件壞事.
總之,形式主語是語法上真正的主語,卻不是意義上的主語（意義上的主語是指做了某一動作的人或事物）.而邏輯主語不是語法上的主語,卻在意義上是某一個非謂語動詞的主語.