Yeah I agree on those points

(edit: not about subjective reality.. i'll make a complete response in a bit)
The funny thing about logic is that while it's purpose is to help us create infallible statements, it's still just as prone to error as anything (well, within reason) because we as humans can screw up the statements
Even the best calculations need reality checks. It's funny how in the end we have to verify the validity of our beautiful logical systems through our imprecise senses of sight and touch and sound.