1)Формальная или естественная, когда слово употребляется для обозначения множества вне языковых предметов: юрист- это человек, имеющий юридическое образование.

2) Материальная или автонимное обозначение, когда слово обозначает самого себя: Слово «юрист» состоит из пяти букв.

3) Персональная суппозиция, когда слово в контексте обозначает единичного представителя множества, в которое он входит: Вчера встретил юриста.

4)Простая суппозиция, когда слово или языковое выражение обозначает абстрактно само множество, класс объектов определенного рода: Например, юрист как класс таких людей, которые обладают свойством быть юристом (^(х) юрист (х)).

Представители классической логики, развивая идее и проблемы традиционной логики, стремились построить логическую модель выводимого знания в различных науках на основе исследования логического союза «если,то» в естественном языке.

Они полагали, что материальная импликация в виде символа «→» (точнее в виде подковы) адекватно отражает выводной смысл «если,то» в логике. Некоторые логики придерживаются этой точки зрения и сегодня. Однако расширение со временем области логических исследований породило полемику о том, так ли это в действительности?

Пояснение. В логике сложные суждения называются условными сложными, в которых говорится, что одно событие или положение дел служит основанием или условием для другого. В формуле (A→ B): Символ «А» называется антецедентом или основанием, условием для В. Символ «В» называется консеквентов или следствием из «А». Символ «→»- это автонимное обозначение «если,то». Чтобы понять отношение логического вывода или следования из антецедента «А» консеквента «В», надо уточнить значение логического союза «если,то» в естественных и научных языках.

8.2.2.В каких значениях употребляется «если, то» в русском языке?

Рассмотрим несколько употреблений суждений с использованием союза «если, то» в русском языке, пытаясь понять, в каких из них речь идет о следовании в логическом смысле.

1) Нет здоровья, нет успеха.

2) Если бросить камень в воду, то он потонет.

3) Если Цезарь- число, то Папа Римский живет в Ватикане.

4) Если в огороде бузина, то в Киеве дядька.

5) Мыслю, следовательно, существую.

6) Если будут деньги, поеду отдыхать.

7) Если стыжусь, стало быть, являюсь человеком.

8) Если Земля- звезда, то город Москва столица Р.Ф.

9) Если знал бы, где упаду, соломку бы подстелил.

10) Если ты такой умный, то, что же ты такой бедный.

11) Если будет засуха, то посевы погибнут.

12) Если 8 делится на 2, то 2 можно разделить на 8.

Размышление над смыслом этих условных суждений наводит на мысль, что суждение (11) более соответствует содержанию обусловленности одного событий другим, как его основанием.

Например, суждение (6) явно отличается от суждения (11) формой не обусловленностью, а контрафактичностью. Денег в принципе вообще может и не быть. Такие суждения в логике называются контрафактическими условными суждениями. В них истинность основания жестко определяет истинность вытекающего из него следствия.

В тоже время в суждении (11) реально такие ситуации: