自由邏輯是一種能夠處理空專名的非經典邏輯。有多種帶等號或不帶等號的謂詞演算系統。所謂“空專名”，即不指稱任何實存個體的專名（例如專名“孫悟空”是小說《西遊記》中的神靈，在現實世界中不指稱任何實存個體，就是一個空專名）。自由邏輯建構於20世紀50-60年代，是對經典謂詞邏輯系統作某種修正的結果。
經典謂詞邏輯系統在作解釋和構造模型時有兩個要求：(1)個體域非空；(2)個體常項及每一自由出現的個體變項指稱的是個體域中的一個個體。這使得經典邏輯在處理空專名時遇到了困難。自由邏輯則用邏輯的方法較好地處理了空專名。在自由邏輯系統中，通常引入一個特殊的表示“存在”的一元謂詞E!，若用個體常項a、b、…等來表示專名，則E!(a)就意味著a所指稱的個體存在，以此來鑑別哪些專名是空專名。自由邏輯在允許個體常項可以無所指的同時，也把全稱量詞隱含的存在含義揭示了出來：在全稱量詞(v x)轄域中的x都有所指，即Ef (x)成立。
