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