"Суждения" - это такой класс высказываний, когда из посылок следует заключение. 
Например. 
- Если из "А" следует "В" и "А" истинно, то "В" тоже истинно (modus ponens). (Т.е., если посылки верны, то и заключение верно.) 
- Если из "А" следует "В" и "А" ложно, то "В" не определено (т.е. из ложных посылок следует что угодно). 
Есть ещё включающее "или" и исключающее. 
Вот этот класс высказываний и есть суждения. (Силлогистика к ним не принадлежит.) 
И только для суждений справедливы три закона Аристотеля. 
- тождества (т.е. посылки, во в сём множестве высказываний по данной проблеме, не могут быть изменены, т.е. должны оставаться тождественны самим себе.) 
- противоречие - признак бракованных суждений (посылки или некоторые из них, в процессе рассуждений, приобрели другое содержание.) 
- и исключение третьего: одному и тому же водно и то же время, и в одном и том же отношении не может быть присуще и не присуще "а". 
И только те высказывания, которые принадлежат этому их классу и есть суждения. 
Синтез - это обобщение наблюдений над некоторым классом отношений с включением в это обобщения некоторой идеи. 
В физике - это масса. Непосредственно массу никто и никогда не наблюдал, но без неё нет динамики. 
Или "прибавочная стоимость" Маркса, без которой невозможно наше понимание источника богатства.

-Формирование обобщения предыдущего опыта - есть абстракция.

А моделирование принадлежит другому классу деятельности - конструктивизму.

Т.е., обобщение и конструктивизм, хоть и совершается в мышлении, но ----обобщение существует в языковой среде (в словах, понятиях и терминах),

 тогда как конструктивизм возможен только в среде операций и технических средствах (блоках), воспроизводящих эти операции.

И, по существу, современная логика постепенно, но настойчиво и непрерывно смещается из области анализа и обобщений в область редукции и конструктивизма. А это говорит нам о том, что возможности аналитической философии исчерпали себя и ей на смену приходит редукционная философия.

-----------------------------