Mantıksal sabit - Logical constant
In mantık , bir mantıksal sabit a dilin bir olan sembol aynı vardır anlamsal değeri her altında yorumlanması ait . Mantıksal sabitler iki önemli türleri mantıksal bağlaçlar ve nicelik . Eşitlik yüklem (genellikle '=' yazılı), aynı zamanda bir çok mantıksal bir sabit olarak kabul edilir mantık sistemleri .
Mantık felsefesindeki temel sorulardan biri "Mantıksal sabit nedir?"; yani, belirli sabitlerin hangi özel özelliği onları doğada mantıklı kılar ?
Genellikle mantıksal sabitler olarak kabul edilen bazı semboller şunlardır:
| Sembol | İngilizce anlamı |
|---|---|
| T | "NS" |
| F | " yanlış " |
| ¬ | " değil " |
| ∧ | " ve " |
| ∨ | " veya " |
| → | " , ", "eğer... o zaman" anlamına gelir |
| ∀ | " herkes için " |
| ∃ | " var ", "bazıları için" |
| = | " eşittir " |
| "mutlaka" | |
| "muhtemelen" |
Bu mantıksal sabitlerin çoğu bazen alternatif sembollerle gösterilir ( örneğin , mantıksal ve 'yi belirtmek için "∧" yerine "&" sembolünün kullanılması ).
Mantıksal sabitleri tanımlamak Gottlob Frege ve Bertrand Russell'ın çalışmalarının önemli bir parçasıdır . Russell, The Principles of Mathematics'in ikinci baskısının (1937) önsözünde , mantığın dilsel hale geldiğini belirterek mantıksal sabitler konusuna geri döndü : "Onlar hakkında kesin bir şey söyleyeceksek, [onlar] dil, dilin hakkında konuştuğu şeyin bir parçası olarak değil." Bu kitabın metni, R bağıntılarını , bunların karşıtlarını ve tümleyenlerini ilkel kavramlar olarak kullanır , ayrıca aRb biçiminde mantıksal sabitler olarak alınır.
Ayrıca bakınız
Referanslar
Dış bağlantılar
 |
Bu mantık lı makale bir taslaktır . Vikipedi'yi genişleterek yardımcı olabilirsiniz . |